About: Functional predicate

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

Mathematically mappings

Property	Value
dbo:description	mathematically mappings (en)
dbo:wikiPageWikiLink	dbr:Subtyping dbr:Function_composition dbr:Function_(mathematics) dbr:Set_(mathematics) dbr:Codomain dbr:Axiom_schema_of_replacement dbr:If_and_only_if dbr:Metalogic dbr:Formal_system dbr:Mathematics dbr:Formal_language dbr:Zermelo–Fraenkel_set_theory dbr:Formal_logic dbr:Logical_connective dbr:Schema_(logic) dbc:Model_theory dbr:Material_conditional dbr:Theorem dbr:Logical_constant dbr:Mathematical_symbols dbr:Model_(logic) dbr:0_(number) dbr:Mapping_(mathematics) dbr:Predicate_(logic) dbr:Predicate_logic dbr:Given_any dbr:There_exists dbr:For_all dbr:Function_symbol_(logic) dbr:Unique_(mathematics) dbr:Gödel's_incompleteness_theorem dbr:Typed_logic dbr:Universally_quantify
dbp:wikiPageUsesTemplate	dbt:Unreferenced dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Model_theory
rdfs:label	Functional predicate (en) Predicato funzionale (it) Symbol funkcyjny (pl) 泛函谓词 (zh)
owl:sameAs	freebase:Functional predicate wikidata:Functional predicate dbpedia-it:Functional predicate dbpedia-zh:Functional predicate dbpedia-pl:Functional predicate dbpedia-global:Functional predicate
prov:wasDerivedFrom	wikipedia-en:Functional_predicate?oldid=1258450409&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Functional_predicate
is dbo:wikiPageDisambiguates of	dbr:Predicate
is dbo:wikiPageRedirects of	dbr:Mapping_(logic) dbr:Function_symbol
is dbo:wikiPageWikiLink of	dbr:Software_testability dbr:Function_(mathematics) dbr:Predicate dbr:Data_integration dbr:Axiom_schema_of_replacement dbr:Proposition dbr:Cylindric_algebra dbr:Map_(disambiguation) dbr:List_of_mathematical_logic_topics dbr:Axiom_schema_of_specification dbr:Deductive_database dbr:Content_Assembly_Mechanism dbr:Extension_by_new_constant_and_function_names dbr:Mapping_(logic) dbr:Function_symbol
is foaf:primaryTopic of	wikipedia-en:Functional_predicate