FRINK Linked Data Fragments server
Wikidata
Search Wikidata by triple/quad pattern
subject
predicate
object
graph
Matches in Wikidata for
{ ?s ?p Cut-elimination theorem ?g. }
Showing items 1 to 2 of
2
with
100
items per page.
Cut-elimination_theorem
name
"
Cut-elimination theorem
"
@default
.
Q376166
altLabel
"
Cut-elimination theorem
"
@default
.
