# propositional calculus (Q200694)

| Property ID | Property | Value | Value entity | Amount | Unit | Date / from | Until | Rank | Sources |
| --- | --- | --- | --- | ---: | --- | --- | --- | --- | --- |
| P2534 | Defining formula | P \to Q, P \vdash Q |  |  |  |  |  | normal |  |
| P2578 | Is the study of | propositional formula | Q1372900 |  |  |  |  | normal |  |
| P279 | Subclass of | logical system | Q17488292 |  |  |  |  | normal |  |
| P361 | Part of | logic | Q8078 |  |  |  |  | normal |  |
| P361 | Part of | mathematical logic | Q1166618 |  |  |  |  | normal |  |
| P1889 | Different from | zeroth-order logic | Q8069651 |  |  |  |  | normal |  |
| P460 | Said to be the same as | propositional logic | Q16705128 |  |  |  |  | normal |  |
| P1552 | Has characteristic | validity | Q1047000 |  |  |  |  | normal |  |
| P2959 | Permanent duplicated item | propositional logic | Q16705128 |  |  |  |  | normal |  |
| P13750 | Arab Encyclopedia concept ID | 160220 |  |  |  |  |  | normal | https://arab-ency.com.sy/details/160220 |
| P1417 | Encyclopædia Britannica Online ID | topic/logic-of-propositions |  |  |  |  |  | normal | https://www.britannica.com/topic/logic-of-propositions |
| P3219 | Encyclopædia Universalis ID | calcul-propositionnel |  |  |  |  |  | normal | https://www.universalis.fr/encyclopedie/calcul-propositionnel/ |
| P14541 | Encyclopedia of China (Third Edition) ID (2026) | 1W1JDQ |  |  |  |  |  | normal | https://www.zgbk.com/ecph/words?SiteID=1&ID=1W1JDQ |
| P10565 | Encyclopedia of China (Third Edition) old ID (2021) | 216779 |  |  |  |  |  | normal | https://web.archive.org/web/0/https://www.zgbk.com/ecph/words?SiteID=1&ID=216779 |
| P7554 | Encyclopedia of Mathematics article ID | Propositional_calculus(2) |  |  |  |  |  | normal | https://encyclopediaofmath.org/wiki/Propositional_calculus(2) |
| P646 | Freebase ID | /m/04m3r |  |  |  |  |  | normal | https://www.google.com/search?kgmid=/m/04m3r |
| P9100 | GitHub topic | propositional-logic |  |  |  |  |  | normal | https://github.com/topics/propositional-logic |
| P227 | GND ID | 4136098-9 |  |  |  |  |  | normal | https://d-nb.info/gnd/4136098-9 |
| P2924 | Great Russian Encyclopedia Online ID (2017) | 2177731 |  |  |  |  |  | normal | https://web.archive.org/web/0/old.bigenc.ru/text/2177731 |
| P5088 | Internet Encyclopedia of Philosophy ID | prop-log |  |  |  |  |  | normal | https://www.iep.utm.edu/prop-log/ |
| P8189 | J9U entity ID | 987007541095305171 |  |  |  |  |  | normal | https://www.nli.org.il/en/authorities/987007541095305171 |
| P3827 | JSTOR topic ID (archived) | propositional-logic |  |  |  |  |  | normal | https://web.archive.org/web/*/https://www.jstor.org/topic/propositional-logic |
| P8408 | KBpedia ID | PropositionalLogic |  |  |  |  |  | normal | https://kbpedia.org/knowledge-graph/reference-concept/?uri=PropositionalLogic |
| P6058 | Larousse ID | divers/calcul_des_propositions/83640 |  |  |  |  |  | normal | https://www.larousse.fr/encyclopedie/divers/calcul_des_propositions/83640 |
| P3285 | Mathematics Subject Classification ID | 03B05 |  |  |  |  |  | normal | https://zbmath.org/classification/?q=cc:03B05 |
| P2812 | MathWorld ID | PropositionalCalculus |  |  |  |  |  | normal | https://mathworld.wolfram.com/PropositionalCalculus.html |
| P6366 | Microsoft Academic ID (discontinued) | 69562738 |  |  |  |  |  | normal | https://web.archive.org/web/https://academic.microsoft.com/v2/detail/69562738 |
| P691 | NL CR AUT ID | ph127455 |  |  |  |  |  | normal | https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph127455 |
| P1245 | OmegaWiki Defined Meaning | 967134 |  |  |  |  |  | normal | http://www.omegawiki.org/DefinedMeaning:(967134) |
| P10283 | OpenAlex ID | C69562738 |  |  |  |  |  | normal | https://openalex.org/C69562738 |
| P3235 | PhilPapers topic | propositional-logic |  |  |  |  |  | normal | https://philpapers.org/browse/propositional-logic |
| P6781 | ProofWiki ID | Definition:Propositional_Logic |  |  |  |  |  | normal | https://proofwiki.org/wiki/Definition%3APropositional_Logic |
| P1051 | PSH ID | 7100 |  |  |  |  |  | normal | https://psh.techlib.cz/skos/PSH7100 |
| P3417 | Quora topic ID | Propositional-Logic |  |  |  |  |  | normal | https://www.quora.com/topic/Propositional-Logic |
| P3123 | Stanford Encyclopedia of Philosophy ID | logic-propositional |  |  |  |  |  | normal | https://plato.stanford.edu/entries/logic-propositional/ |
| P9322 | SVKKL authority ID | 0202695-vyrokova-logika |  |  |  |  |  | normal | https://ipac.svkkl.cz/arl-kl/cs/detail-kl_us_auth-0202695-vyrokova-logika |
| P7993 | Treccani's Dizionario di Filosofia ID | calcolo-proposizionale |  |  |  |  |  | normal | https://www.treccani.it/enciclopedia/calcolo-proposizionale_(Dizionario-di-filosofia) |
| P2347 | YSO ID | 10364 |  |  |  |  |  | normal | https://www.yso.fi/onto/yso/p10364 |

Source: https://aidb.si/e/propositional-calculus-Q200694 — Wikidata (CC0) via AIDB