Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Top_type> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples per page.
- Top_type abstract "The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top. In most cases it is the type which contains every possible object in the type system of interest. It is in contrast with the bottom type, or the universal subtype, which every other type is supertype of and in most cases it is the type that contains no members at all.".
- Top_type wikiPageExternalLink wiki?TopType.
- Top_type wikiPageExternalLink descrintro.
- Top_type wikiPageID "3893409".
- Top_type wikiPageLength "7966".
- Top_type wikiPageOutDegree "51".
- Top_type wikiPageRevisionID "669338638".
- Top_type wikiPageWikiLink .NET_Framework.
- Top_type wikiPageWikiLink Bottom_type.
- Top_type wikiPageWikiLink C++.
- Top_type wikiPageWikiLink C_Sharp_(programming_language).
- Top_type wikiPageWikiLink Category:Data_types.
- Top_type wikiPageWikiLink Category:Type_theory.
- Top_type wikiPageWikiLink Cocoa_(API).
- Top_type wikiPageWikiLink Common_Lisp.
- Top_type wikiPageWikiLink Computer_science.
- Top_type wikiPageWikiLink Description_logic.
- Top_type wikiPageWikiLink Downcasting.
- Top_type wikiPageWikiLink Eiffel_(programming_language).
- Top_type wikiPageWikiLink First-order_logic.
- Top_type wikiPageWikiLink Go_(programming_language).
- Top_type wikiPageWikiLink Haskell_(programming_language).
- Top_type wikiPageWikiLink JavaScript.
- Top_type wikiPageWikiLink Java_(programming_language).
- Top_type wikiPageWikiLink Java_version_history.
- Top_type wikiPageWikiLink Lisp_(programming_language).
- Top_type wikiPageWikiLink Logic.
- Top_type wikiPageWikiLink MIT_Press.
- Top_type wikiPageWikiLink Mathematics.
- Top_type wikiPageWikiLink OCaml.
- Top_type wikiPageWikiLink Object_Pascal.
- Top_type wikiPageWikiLink Object_type_(object-oriented_programming).
- Top_type wikiPageWikiLink Objective-C.
- Top_type wikiPageWikiLink OpenStep.
- Top_type wikiPageWikiLink PHP.
- Top_type wikiPageWikiLink Parametric_polymorphism.
- Top_type wikiPageWikiLink Perl.
- Top_type wikiPageWikiLink Programming_language.
- Top_type wikiPageWikiLink Propositional_calculus.
- Top_type wikiPageWikiLink Python_(programming_language).
- Top_type wikiPageWikiLink Ruby_(programming_language).
- Top_type wikiPageWikiLink Rust.
- Top_type wikiPageWikiLink Scala_(programming_language).
- Top_type wikiPageWikiLink Smalltalk.
- Top_type wikiPageWikiLink Structural_type_system.
- Top_type wikiPageWikiLink Subtyping.
- Top_type wikiPageWikiLink Swift_(programming_language).
- Top_type wikiPageWikiLink Type_conversion.
- Top_type wikiPageWikiLink Type_theory.
- Top_type wikiPageWikiLink Types_and_Programming_Languages.
- Top_type wikiPageWikiLink Visual_Basic.
- Top_type wikiPageWikiLink Visual_Basic_.NET.
- Top_type wikiPageWikiLink Void_type.
- Top_type wikiPageWikiLink Web_Ontology_Language.
- Top_type wikiPageWikiLinkText "Top type".
- Top_type wikiPageWikiLinkText "Universal".
- Top_type wikiPageWikiLinkText "root class".
- Top_type wikiPageWikiLinkText "top type".
- Top_type wikiPageWikiLinkText "top".
- Top_type wikiPageWikiLinkText "universal data type".
- Top_type wikiPageUsesTemplate Template:Cite_book.
- Top_type wikiPageUsesTemplate Template:Data_types.
- Top_type wikiPageUsesTemplate Template:Mergefrom.
- Top_type wikiPageUsesTemplate Template:Reflist.
- Top_type subject Category:Data_types.
- Top_type subject Category:Type_theory.
- Top_type hypernym Type.
- Top_type type Type.
- Top_type type Structure.
- Top_type type Type.
- Top_type comment "The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top. In most cases it is the type which contains every possible object in the type system of interest.".
- Top_type label "Top type".
- Top_type sameAs Q4129836.
- Top_type sameAs m.0b5h53.
- Top_type sameAs Высший_тип.
- Top_type sameAs Q4129836.
- Top_type wasDerivedFrom Top_type?oldid=669338638.
- Top_type isPrimaryTopicOf Top_type.