Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Beth_definability> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Beth_definability abstract "In mathematical logic, Beth definability is a result that connects implicit definability of a property to its explicit definability, specifically the theorem states that the two senses of definability are equivalent.".
- Beth_definability wikiPageID "12923821".
- Beth_definability wikiPageLength "1571".
- Beth_definability wikiPageOutDegree "6".
- Beth_definability wikiPageRevisionID "660073453".
- Beth_definability wikiPageWikiLink Category:Mathematical_logic.
- Beth_definability wikiPageWikiLink Evert_Willem_Beth.
- Beth_definability wikiPageWikiLink First-order_logic.
- Beth_definability wikiPageWikiLink Formula.
- Beth_definability wikiPageWikiLink Mathematical_logic.
- Beth_definability wikiPageWikiLink Reduct.
- Beth_definability wikiPageWikiLinkText "Beth definability".
- Beth_definability wikiPageWikiLinkText "definability theorem".
- Beth_definability wikiPageUsesTemplate Template:Mathlogic-stub.
- Beth_definability subject Category:Mathematical_logic.
- Beth_definability hypernym Result.
- Beth_definability type Field.
- Beth_definability comment "In mathematical logic, Beth definability is a result that connects implicit definability of a property to its explicit definability, specifically the theorem states that the two senses of definability are equivalent.".
- Beth_definability label "Beth definability".
- Beth_definability sameAs Q4897670.
- Beth_definability sameAs Théorème_de_définissabilité_de_Beth.
- Beth_definability sameAs m.02y_ypl.
- Beth_definability sameAs Q4897670.
- Beth_definability wasDerivedFrom Beth_definability?oldid=660073453.
- Beth_definability isPrimaryTopicOf Beth_definability.