Interpretability

http://dbpedia.org/resource/Interpretability an entity of type: Agent

In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other. rdf:langString
rdf:langString Interpretability
xsd:integer 621176
xsd:integer 949981418
rdf:langString In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other.
xsd:nonNegativeInteger 1403
dbpedia-owl:Agent
<http://dbpedia.org/resource/Category:Proof_theory>
<http://dbpedia.org/resource/Interpretability_logic>
<http://dbpedia.org/resource/Interpretation_(logic)>
<http://dbpedia.org/resource/Interpretation_(model_theory)>
<http://dbpedia.org/resource/Category:Proof_theory>
<http://dbpedia.org/resource/Mathematical_logic>
<http://dbpedia.org/resource/Theorem>
<http://dbpedia.org/resource/Andrzej_Mostowski>
<http://dbpedia.org/resource/Giorgi_Japaridze>
<http://dbpedia.org/resource/Alfred_Tarski>
<http://dbpedia.org/resource/Well-formed_formula>
<http://dbpedia.org/resource/Language>
<http://dbpedia.org/resource/Cointerpretability>
<http://dbpedia.org/resource/Theory_(mathematical_logic)>
<http://dbpedia.org/resource/Translation>
<http://dbpedia.org/resource/Weak_interpretability>
<http://dbpedia.org/resource/Tolerance_(in_logic)>
<http://dbpedia.org/resource/Raphael_Robinson>
<http://dbpedia.org/resource/Cotolerance>
<http://rdf.freebase.com/ns/m.02xj8w>
<http://www.wikidata.org/entity/Q17027399>
<https://global.dbpedia.org/id/fPkv>
<http://dbpedia.org/resource/Template:Logic-stub>
<http://dbpedia.org/resource/Relation>
<http://en.wikipedia.org/wiki/Interpretability?oldid=949981418&ns=0>
<http://en.wikipedia.org/wiki/Interpretability>

data from the linked data cloud