🌐EnglishEnglishBahasa IndonesiaDeutschPortuguês한국어中文日本語EntityQ1522579· pop 6· linked from 448 articlessubstitutionconcept in logic; syntactic transformation on formal expressionsAvailable in 6 languagesDeutschPortuguêsAzerbaijaniBahasa Indonesia한국어via Wikidata sitelinks · CC0Connectionsformal systemEntitysemantic theory of truthEntityCategoriesAutomated theorem provingConcepts in logicLogical truthLogic programmingPropositional calculusSubstitution (logic)