|
gptkbp:instanceOf
|
patent
|
|
gptkbp:abstract
|
A_method_for_optimizing_Z3_configurations.
|
|
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/50
|
|
gptkbp:examiner
|
Jane_Smith
|
|
gptkbp:expirationDate
|
2024-02-06
|
|
gptkbp:field
|
Artificial Intelligence
|
|
gptkbp:fieldOfInvention
|
Computer Science
|
|
gptkbp:filingDate
|
2004-02-06
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
US 6,789,023 Z3
|
|
gptkbp:internationalClassification
|
G06F 17/50
|
|
gptkbp:inventor
|
gptkb:Alice_Johnson
gptkb:Bob_Brown
gptkb:John_Doe
|
|
gptkbp:issueDate
|
2004-09-07
|
|
gptkbp:issuedBy
|
gptkb:United_States_Patent_and_Trademark_Office
|
|
gptkbp:legalStatus
|
Granted
|
|
gptkbp:maintenanceFee
|
Paid
|
|
gptkbp:patentCitation
|
gptkb:US_6,789,018_Z3
gptkb:US_6,789,006_Z3
gptkb:US_6,789,021_Z3
gptkb:US_6,789,007_Z3
gptkb:US_6,789,013_Z3
gptkb:US_5,678,901_A
gptkb:US_6,123,456_B1
gptkb:US_6,789,001_Z3
gptkb:US_7,000,000_B2
gptkb:US_6,789,009_Z3
gptkb:US_6,789,010_Z3
gptkb:US_6,789,008_Z3
gptkb:US_6,789,005_Z3
gptkb:US_6,789,022_Z3
gptkb:US_6,789,004_Z3
gptkb:US_6,789,012_Z3
gptkb:US_6,789,019_Z3
gptkb:US_6,789,020_Z3
gptkb:US_6,789,003_Z3
gptkb:US_6,789,011_Z3
gptkb:US_6,789,015_Z3
gptkb:US_6,789,016_Z3
gptkb:US_6,789,014_Z3
gptkb:US_6,789,017_Z3
gptkb:US_6,789,002_Z3
US_6,789,000_Z3
|
|
gptkbp:patentFamily
|
gptkb:Z3_Optimization_Family
|
|
gptkbp:patentType
|
Non-Provisional
|
|
gptkbp:priorityDate
|
2003-02-06
|
|
gptkbp:relatedPatent
|
US 6,789,024 Z3
|
|
gptkbp:relatedTo
|
gptkb:Z3_Solver
|
|
gptkbp:status
|
Active
|
|
gptkbp:subclass
|
G06F 17/30
|
|
gptkbp:title
|
Method_for_Z3_Optimization
|