Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Double_turnstile> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- Double_turnstile abstract "In logic, the symbol or is called the double turnstile. It is closely related to the turnstile symbol , which has a single bar across the middle. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". In TeX, the turnstile symbols and are obtained from the commands \vDash and \models respectively. In Unicode it is encoded at U+22A8 ⊨ true (HTML: ⊨)In LaTeX there is the turnstile package, which issues this sign in many ways, including the double turnstile, and is capable of putting labels below or above it, in the correct places. The article A Tool for Logicians is a tutorial on using this package.".
- Double_turnstile wikiPageExternalLink turnstile.
- Double_turnstile wikiPageExternalLink buchsbaum.
- Double_turnstile wikiPageID "25438007".
- Double_turnstile wikiPageRevisionID "570090865".
- Double_turnstile hasPhotoCollection Double_turnstile.
- Double_turnstile subject Category:Logic_symbols.
- Double_turnstile subject Category:Logical_consequence.
- Double_turnstile subject Category:Mathematical_logic.
- Double_turnstile subject Category:Mathematical_symbols.
- Double_turnstile subject Category:Semantics.
- Double_turnstile type Abstraction100002137.
- Double_turnstile type Character106818970.
- Double_turnstile type Communication100033020.
- Double_turnstile type LogicSymbols.
- Double_turnstile type MathematicalSymbol106840047.
- Double_turnstile type MathematicalSymbols.
- Double_turnstile type Signal106791372.
- Double_turnstile type Symbol106806469.
- Double_turnstile type WrittenSymbol106817623.
- Double_turnstile comment "In logic, the symbol or is called the double turnstile. It is closely related to the turnstile symbol , which has a single bar across the middle. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". In TeX, the turnstile symbols and are obtained from the commands \vDash and \models respectively.".
- Double_turnstile label "Double turnstile".
- Double_turnstile sameAs m.09k63n_.
- Double_turnstile sameAs Q5300115.
- Double_turnstile sameAs Q5300115.
- Double_turnstile sameAs Double_turnstile.
- Double_turnstile wasDerivedFrom Double_turnstile?oldid=570090865.
- Double_turnstile isPrimaryTopicOf Double_turnstile.