FRINK Linked Data Fragments server
Wikidata
Search Wikidata by triple/quad pattern
subject
predicate
object
graph
Matches in Wikidata for
{ ?s ?p CutEliminationTheorem ?g. }
Showing items 1 to 2 of
2
with
100
items per page.
Q376166
P2812
"
CutEliminationTheorem
"
@default
.
Q376166-3E14D553-5404-49FE-BC66-BCBDFC25251F
P2812
"
CutEliminationTheorem
"
@default
.
