Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:intellectual_property
|
| gptkbp:administered_by |
2013-01-15
|
| gptkbp:application |
US123456789
|
| gptkbp:field_of_use |
formal verification
|
| https://www.w3.org/2000/01/rdf-schema#label |
Z3 patent
|
| gptkbp:invention |
gptkb:Leonid_Ganelin
|
| gptkbp:is_applied_in |
gptkb:Microsoft_Research
|
| gptkbp:is_essential_for |
2010-06-01
|
| gptkbp:related_to |
gptkb:Z3_theorem_prover
|
| gptkbp:status |
active
|
| gptkbp:technology |
satisfiability modulo theories
|
| gptkbp:bfsParent |
gptkb:Konrad_Zuse
|
| gptkbp:bfsLayer |
6
|