Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Witness_(mathematics)> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Witness_(mathematics) abstract "In mathematical logic, a witness is a specific value t to be substituted for variable x of an existential statement of the form ∃x φ(x) such that φ(t) is true.".
- Witness_(mathematics) wikiPageID "24879634".
- Witness_(mathematics) wikiPageLength "3329".
- Witness_(mathematics) wikiPageOutDegree "17".
- Witness_(mathematics) wikiPageRevisionID "641963431".
- Witness_(mathematics) wikiPageWikiLink Category:Logic.
- Witness_(mathematics) wikiPageWikiLink Category:Mathematical_logic.
- Witness_(mathematics) wikiPageWikiLink Category:Quantification.
- Witness_(mathematics) wikiPageWikiLink Certificate_(complexity).
- Witness_(mathematics) wikiPageWikiLink Equisatisfiability.
- Witness_(mathematics) wikiPageWikiLink Existential_quantification.
- Witness_(mathematics) wikiPageWikiLink First-order_logic.
- Witness_(mathematics) wikiPageWikiLink Game_semantics.
- Witness_(mathematics) wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Witness_(mathematics) wikiPageWikiLink Jaakko_Hintikka.
- Witness_(mathematics) wikiPageWikiLink Leon_Henkin.
- Witness_(mathematics) wikiPageWikiLink Logical_equivalence.
- Witness_(mathematics) wikiPageWikiLink Mathematical_logic.
- Witness_(mathematics) wikiPageWikiLink Recursive_set.
- Witness_(mathematics) wikiPageWikiLink Skolem_normal_form.
- Witness_(mathematics) wikiPageWikiLink Term_(logic).
- Witness_(mathematics) wikiPageWikiLink Universal_quantification.
- Witness_(mathematics) wikiPageWikiLinkText "Witness (mathematics)".
- Witness_(mathematics) wikiPageWikiLinkText "witness".
- Witness_(mathematics) wikiPageWikiLinkText "witnesses".
- Witness_(mathematics) subject Category:Logic.
- Witness_(mathematics) subject Category:Mathematical_logic.
- Witness_(mathematics) subject Category:Quantification.
- Witness_(mathematics) hypernym T.
- Witness_(mathematics) type MartialArtist.
- Witness_(mathematics) type Field.
- Witness_(mathematics) comment "In mathematical logic, a witness is a specific value t to be substituted for variable x of an existential statement of the form ∃x φ(x) such that φ(t) is true.".
- Witness_(mathematics) label "Witness (mathematics)".
- Witness_(mathematics) sameAs Q8028383.
- Witness_(mathematics) sameAs m.09g7l50.
- Witness_(mathematics) sameAs Q8028383.
- Witness_(mathematics) wasDerivedFrom Witness_(mathematics)?oldid=641963431.
- Witness_(mathematics) isPrimaryTopicOf Witness_(mathematics).