US 6,789,020 Z3

GPTKB entity

Properties (43)
Predicate Object
gptkbp:instanceOf patent
gptkbp:abstract A_method_for_enhancing_the_performance_of_Z3.
gptkbp:applicationNumber 10/123,456
gptkbp:applicationStatus published
gptkbp:applicationType utility
gptkbp:assignee gptkb:New_York
gptkb:XYZ_Corporation
gptkbp:citedBy gptkb:US_7,123,456_B2
gptkbp:claims 20
gptkbp:coInventor Jane_Smith
gptkbp:description This_patent_describes_a_method_for_optimizing_the_performance_of_Z3.
gptkbp:drawings included
gptkbp:examiner gptkb:Michael_Johnson
gptkbp:expirationDate 2024-02-06
gptkbp:fieldOfInvention computer science
gptkbp:fieldOfUse software development
gptkbp:filedIn gptkb:USPTO
gptkbp:filingDate 2004-02-06
gptkbp:firstClaim A method for improving performance.
https://www.w3.org/2000/01/rdf-schema#label US 6,789,020 Z3
gptkbp:internationalClassification G06F 17/50
gptkbp:internationalRelations EP 03012345
gptkbp:inventor gptkb:John_Doe
gptkbp:inventorResidence gptkb:California
gptkbp:issueDate 2004-09-14
gptkbp:legalStatus granted
gptkbp:maintenanceFee paid
gptkbp:nonPatentCitation IEEE Paper 12345
gptkbp:patentCitation US_5,678,901
gptkbp:patentFamily US_6,789,020_Z3,_US_6,789,021_Z3
gptkbp:patentLink https://patents.google.com/patent/US6789020Z3
gptkbp:patentNumber 6,789,020
USXXXXXXX
gptkbp:patentOffice gptkb:United_States_Patent_and_Trademark_Office
gptkbp:patentType granted patent
Utility patent for a method.
gptkbp:priorityDate 2003-02-06
gptkbp:relatedApplication US_10/123,457
gptkbp:relatedPatent gptkb:US_6,789,021_Z3
gptkbp:researchField algorithm optimization
gptkbp:status active
gptkbp:technologyArea artificial intelligence
gptkbp:title Method_for_improving_Z3_performance