Jump to content

PropositionForm (Q230)

Add links
From ARXIVE
Revision as of 15:36, 28 June 2026 by Admin (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
The class of abstract, atomic proposition forms. Reserved for basic encoding of propositions.
Language Label Description Also known as
English
PropositionForm
The class of abstract, atomic proposition forms. Reserved for basic encoding of propositions.

    Statements

     
    Retrieved from "https://kb.dev.arxive-eccch.eu/w/index.php?title=Item:Q230&oldid=773"