Statements (36)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
patent
|
| gptkbp:abstract |
A_method_for_enhancing_the_performance_of_Z3.
|
| gptkbp:applicationNumber |
10/123,456
|
| gptkbp:applicationType |
utility
|
| gptkbp:assignee |
gptkb:XYZ_Corporation
|
| gptkbp:citedBy |
gptkb:US_7,123,456_B2
|
| gptkbp:claims |
20
|
| gptkbp:class |
G06F 17/30
|
| gptkbp:description |
This_patent_describes_a_method_for_improving_the_performance_of_Z3.
|
| gptkbp:examiner |
Jane_Smith
|
| gptkbp:expirationDate |
2024-09-14
|
| gptkbp:fieldOfInvention |
computer science
|
| gptkbp:filingDate |
2004-02-06
|
| gptkbp:firstClaim |
A method for data processing.
A computer program product. A system for implementing the method. A method for enhancing computational efficiency. A method for reducing processing time. A method for algorithm optimization. A_method_for_optimizing_Z3. |
| https://www.w3.org/2000/01/rdf-schema#label |
US 6,789,217 Z3
|
| gptkbp:internationalClassification |
H04L 29/06
|
| gptkbp:inventor |
gptkb:John_Doe
|
| gptkbp:issueDate |
2004-09-14
|
| gptkbp:legalStatus |
granted
|
| gptkbp:maintenanceFee |
paid
|
| gptkbp:ninthClaim |
A method for improving accuracy.
A method for increasing throughput. A method for optimizing resource usage. |
| gptkbp:patentNumber |
6,789,217
|
| gptkbp:priorityDate |
2003-02-06
|
| gptkbp:relatedPatent |
US_6,789,218_Z3
|
| gptkbp:status |
active
|
| gptkbp:subclass |
G06F 17/31
|
| gptkbp:technicalField |
software engineering
|
| gptkbp:title |
Method_for_improving_Z3_performance
|