|
gptkbp:instanceOf
|
patent
|
|
gptkbp:abstract
|
A_method_for_improving_Z3_performance.
|
|
gptkbp:applicationNumber
|
32,123,370
|
|
gptkbp:applicationPublicationNumber
|
gptkb:US_2021/0123456_A1
|
|
gptkbp:applicationType
|
utility
|
|
gptkbp:assignee
|
gptkb:Tech_Innovations_LLC
|
|
gptkbp:citedBy
|
US_32,456,789
|
|
gptkbp:claims
|
20
|
|
gptkbp:coInventor
|
Jane_Smith
|
|
gptkbp:description
|
This_patent_describes_a_novel_approach_to_Z3_technology.
|
|
gptkbp:examiner
|
gptkb:Michael_Johnson
|
|
gptkbp:fieldOfInvention
|
computer technology
|
|
gptkbp:filingCountry
|
gptkb:United_States
|
|
gptkbp:filingDate
|
2020-01-15
|
|
gptkbp:firstClaim
|
A_method_for_optimizing_Z3_algorithms.
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
US 32,123,370 Z3
|
|
gptkbp:internationalClassification
|
G06F
|
|
gptkbp:inventiveStep
|
non-obvious
|
|
gptkbp:inventor
|
gptkb:John_Doe
|
|
gptkbp:issuedBy
|
gptkb:United_States_Patent_and_Trademark_Office
|
|
gptkbp:legalStatus
|
active
|
|
gptkbp:maintenanceFee
|
paid
|
|
gptkbp:novelty
|
new method
|
|
gptkbp:patentClassification
|
CPC_G06F_17/30
|
|
gptkbp:patentExpiration
|
2040-01-15
|
|
gptkbp:patentFamily
|
US_32,123,370,_EP_1234567,_JP_12345678
|
|
gptkbp:patentInventor
|
20 years
|
|
gptkbp:patentNumber
|
32,123,370
|
|
gptkbp:patentType
|
granted patent
|
|
gptkbp:priorityDate
|
2019-01-15
|
|
gptkbp:publicationDate
|
2021-07-20
|
|
gptkbp:relatedPatent
|
US_32,456,789_Z3
|
|
gptkbp:relatedTo
|
Z3_computing_systems
|
|
gptkbp:status
|
granted
|
|
gptkbp:technicalField
|
artificial intelligence
|
|
gptkbp:title
|
Advanced_Z3_Technology
|