Jump to content

PropositionForm (Q230)

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

    Statements