Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Beth_definability> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items 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 wikiPageRevisionID "516233133".
- Beth_definability hasPhotoCollection Beth_definability.
- Beth_definability subject Category:Mathematical_logic.
- 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 m.02y_ypl.
- Beth_definability sameAs Q4897670.
- Beth_definability sameAs Q4897670.
- Beth_definability wasDerivedFrom Beth_definability?oldid=516233133.
- Beth_definability isPrimaryTopicOf Beth_definability.