FRINK Linked Data Fragments server
Wikidata
Search Wikidata by triple/quad pattern
subject
predicate
object
graph
Matches in Wikidata for
{ ?s ?p automatic theorem prover ?g. }
Showing items 1 to 1 of
1
with
100
items per page.
Q7912960
description
"
automatic theorem prover
"
@default
.
