milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
ACL2 theorem prover
ACL2 theorem prover
http://dbpedia.org/resource/ACL2_theorem_prover
ACL2_theorem_prover
primaryTopic
ACL2 theorem prover
http://dbpedia.org/resource/ACL2_theorem_prover
Wikipage page ID
13,457,753
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
ACL2
Wikipage revision ID
160,646,276
http://www.w3.org/2001/XMLSchema#integer
label
ACL2 theorem prover
@en
wasDerivedFrom
ACL2_theorem_prover?oldid=160646276
isPrimaryTopicOf
ACL2_theorem_prover