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
Formalism (deductive)
Formalism (deductive)
Concept
http://dbpedia.org/resource/Category:Formalism_(deductive)
ADM formalism
BSSN formalism
Canonical form
David Hilbert
Formalism (philosophy of mathematics)
Implementation of mathematics in set theory
Parameterized post-Newtonian formalism
Resolvent formalism
Scientific formalism
Link from a Wikipage to another Wikipage
ADM formalism
BSSN formalism
Canonical form
David Hilbert
Formalism (philosophy of mathematics)
Implementation of mathematics in set theory
Parameterized post-Newtonian formalism
Resolvent formalism
Scientific formalism
subject
Formal languages
Large-scale mathematical formalization projects
broader
Formalism (deductive)
Concept
http://dbpedia.org/resource/Category:Formalism_(deductive)
Wikipage page ID
26,352,924
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
975,237,583
http://www.w3.org/2001/XMLSchema#integer
wikiPageUsesTemplate
Template:Cat_main
Template:Commons
type
Concept
label
Formalism (deductive)
@en
sameAs
Formalism_(deductive)
broader
Formal sciences
Formalism (philosophy)
Philosophy of mathematics
Theories of deduction
prefLabel
Formalism (deductive)
@en
wasDerivedFrom
Category:Formalism_(deductive)?oldid=975237583&ns=14