Stockhub

universal closure English (Q9209930)

Item Discussion
Revision as of 13:53, 24 November 2022 by imported>MsynBot (‎Changed an Item: add badge Q70893996 to enwiki sitelink; see Wikidata:Sitelinks to redirects for details #msynbotTask10)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
formula without free variables obtained by adding a universal quantifier for every free variable English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    ProofWiki ID English
    Definition:Universal_Closure_of_Well-Formed_Formula
    0 references
    subclass of
    sentence English
    0 references
    instance of
    closure
    0 references
    uses
    Q126695 (Deleted Item)
    0 references
    Google Knowledge Graph identifier
    /g/1216xczs
    0 references
     
    Retrieved from ‘https://stockhub.co/index.php?title=Item:Q9209930&oldid=6984282’