About: Extension by new constant and function names

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Conservative_extension dbc:Proof_theory dbc:Theorems_in_the_foundations_of_mathematics dbr:Functional_predicate dbr:Formal_language dbr:Extension_by_definitions dbc:Mathematical_logic dbr:Axiom dbr:Mathematical_logic dbr:Extension_by_definition dbr:Theory_(mathematical_logic) dbr:First-order_theory
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Logic-stub dbt:Mathlogic-stub dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Proof_theory dbc:Theorems_in_the_foundations_of_mathematics dbc:Mathematical_logic
rdfs:label	Extension by new constant and function names (en)
owl:sameAs	wikidata:Extension by new constant and function names dbpedia-global:Extension by new constant and function names
prov:wasDerivedFrom	wikipedia-en:Extension_by_new_constant_and_function_names?oldid=1290147133&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Extension_by_new_constant_and_function_names
is dbo:wikiPageRedirects of	dbr:Conservativity_theorem
is dbo:wikiPageWikiLink of	dbr:Conservative_extension dbr:Extension_by_definitions dbr:Conservativity_theorem
is foaf:primaryTopic of	wikipedia-en:Extension_by_new_constant_and_function_names

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International