![]() multislot in a deftemplate and that the deffacts construct is just a series. Since slot z in the the third pattern has a minimum cardinality of seven, the variables x and y cannot satisfy the minimum cardinality restriction for this slot. Fixes for typos and cardinality issues with slot definitions are attached. Added together, both variables have a maximum of five fields. The continuum hypothesis actually started out as the continuum conjecture, until it was shown to be consistent with the usual axioms of the real number system (by Kurt Gödel in 1940), and independent of those axioms (by Paul Cohen in 1963). The variable y, found in the second pattern, can have a maximum of three fields.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |