PTSTS
/
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
Proof theorists
Proof theorists
Concept
http://dbpedia.org/resource/Category:Proof_theorists
Dag Prawitz
Dick de Jongh
Gaisi Takeuti
Jacques Herbrand
Jan Śleszyński
Jean-Yves Girard
Melvin Fitting
Paul Lorenzen
T. M. Scanlon
William Alvin Howard
William Craig (philosopher)
Link from a Wikipage to another Wikipage
Dag Prawitz
Dick de Jongh
Gaisi Takeuti
Jacques Herbrand
Jan Śleszyński
Jean-Yves Girard
Melvin Fitting
Paul Lorenzen
T. M. Scanlon
William Alvin Howard
William Craig (philosopher)
subject
Proof theorists
Concept
http://dbpedia.org/resource/Category:Proof_theorists
Wikipage page ID
35,016,979
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
559,703,886
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Proof theorists
@en
broader
Mathematical logicians
Mathematicians by field
Proof theory
prefLabel
Proof theorists
@en
wasDerivedFrom
Category:Proof_theorists?oldid=559703886&ns=14