Stockhub

Herbrandization English (Q5736209)

Item Discussion
Revision as of 05:42, 7 December 2022 by imported>Charp238 (‎Changed [en] description: construction that maps a formula to another in a way that preserves validity (but not necessarily satisfiability))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
construction that maps a formula to another in a way that preserves validity (but not necessarily satisfiability) English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    Freebase ID
    /m/0f7898
    0 references
    named after
    Q448086 (Deleted Item)
    0 references
    instance of
    method English
    0 references
     
    Retrieved from ‘https://stockhub.co/index.php?title=Item:Q5736209&oldid=3946552’