PropertyValue
rdf:type
rdfs:label
  • Tautology (logic)
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Tautology (logic)
skos:altLabel
  • T
  • Tautology
  • tautology
  • tautological
  • true by definition
  • tautologies
  • Propositional Tautology Problem
  • Tautological
  • Tautologies
  • Tautology ( )
  • Tautology (logic)#Tautological implication
  • classical logical tautologies
  • logical tautologies
  • logical tautology
  • tautological laws
  • tautologically
  • tautologous
  • tautologousness
  • tautology problem
  • universally valid
  • verum
clgo:languageFamily