Cambridge Automated Reasoning Project
GPTKB entity
Statements (10)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research
|
| gptkbp:affiliatedWith |
gptkb:University_of_Cambridge
|
| gptkbp:focusesOn |
automated reasoning
formal verification theorem proving |
| gptkbp:locatedIn |
gptkb:Cambridge,_United_Kingdom
|
| gptkbp:website |
https://www.cl.cam.ac.uk/research/hvg/AR/
|
| gptkbp:bfsParent |
gptkb:University_of_Cambridge_Computer_Laboratory
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cambridge Automated Reasoning Project
|