FRINK Linked Data Fragments server
Wikidata
Search Wikidata by triple/quad pattern
subject
predicate
object
graph
Matches in Wikidata for
{ ?s ?p Theorem Proving System ?g. }
Showing items 1 to 4 of
4
with
100
items per page.
Q7782343
name
"
Theorem Proving System
"
@default
.
Theorem_Proving_System
name
"
Theorem Proving System
"
@default
.
Q7782343
label
"
Theorem Proving System
"
@default
.
Q7782343
prefLabel
"
Theorem Proving System
"
@default
.
