US 6,789,586 Z3

GPTKB entity

Properties (50)
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_optimizing_the_performance_of_Z3.
gptkbp:examiner Jane_Smith
gptkbp:expirationDate 2024-02-06
gptkbp:fieldOfInvention computer science
gptkbp:filingDate 2004-02-06
https://www.w3.org/2000/01/rdf-schema#label US 6,789,586 Z3
gptkbp:internationalClassification G06F 17/30
gptkbp:inventor gptkb:John_Doe
gptkbp:inventorCountry gptkb:USA
gptkbp:issueDate 2004-09-14
gptkbp:legalStatus granted
gptkbp:maintenanceFee paid
gptkbp:patentCitation gptkb:US_9,012,345_B4
gptkb:US_5,123,456_A
gptkb:US_5,654,321_A
gptkb:US_7,890,123_B2
gptkb:US_6,789,012_B1
US 8,901,234 B3
US 18,901,234 B13
US_21,234,567_B16
US_10,123,456_B5
US_11,234,567_B6
US_12,345,678_B7
US_13,456,789_B8
US_14,567,890_B9
US_15,678,901_B10
US_16,789,012_B11
US_17,890,123_B12
US_19,012,345_B14
US_20,123,456_B15
US_22,345,678_B17
US_23,456,789_B18
US_24,567,890_B19
US_25,678,901_B20
gptkbp:patentFamily US_6,789,586_Z3,_US_6,789,585_Z2
gptkbp:patentNumber 6,789,586
gptkbp:priorityDate 2003-02-06
gptkbp:relatedPatent US_6,789,585_Z2
gptkbp:status active
gptkbp:subclass G06F 17/31
gptkbp:technicalField software engineering
gptkbp:title Method_for_improving_Z3_performance