{"entities":{"Q1409080":{"pageid":1419820,"ns":120,"title":"Item:Q1409080","lastrevid":48183103,"modified":"2026-01-03T21:38:33Z","type":"item","id":"Q1409080","labels":{"en":{"language":"en","value":"Boolean equations and Post classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1987975"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409080$D6B38830-4ED0-4828-875A-E28223B24900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"111bb45563f76a20328632a9cabf4716816269f5","datavalue":{"value":{"text":"Boolean equations and Post classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1409080$74BA11D3-EF5F-4C69-9D9E-72ABA1D556F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7f14b0a77caa5f52313f88b9af1317c7854560c","datavalue":{"value":"1025.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409080$E4EDB13C-4F15-4C87-A174-B4A5EA5ED123","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9aedbd93e91453e52bf3b6e623e9375b5e04904","datavalue":{"value":{"entity-type":"item","numeric-id":1409079,"id":"Q1409079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409080$24CF1C93-A8D8-4AF8-877F-75F9BD955DDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409080$E63BF852-296C-474F-99C0-604754E8F47D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eedebd3825925054d465c2c307c8646ae6c8dd0b","datavalue":{"value":{"time":"+2003-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1409080$DD4CAB7F-D55E-482C-8C95-EF198E5A2899","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"999a018264b929a9c48753ad526e78515a0a8fee","datavalue":{"value":"The important achievement in the classification of the set of Boolean functions \\(C_1\\) was the construction by \\textit{E. Post} [The two-valued iterative systems of mathematical logic. Princeton, NJ: Princeton Univ. Press (1941; Zbl 0063.06326)] of the complete list of all closed classes. It was particularly shown that the Boolean function set is countable and it can be described either by direct enumeration of functions or by indicating the characteristic property or a combination of properties which allow to determine easily to which of the classes a function from \\(C_1\\) belongs.    In the present article Boolean equations describing the corresponding series of the closed Post classes are found.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409080$1F2863C7-C1E4-4A69-B515-E5EC4C0F41C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409080$011DEB6C-33AE-48DA-A64B-793491417D60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f409012e2aab7e06c7ff48e570de4ba66835cd01","datavalue":{"value":"1987975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409080$557780ED-38E7-40E4-AF98-DBD701BC0C52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409080$ED59793A-8C04-46D0-861D-853FF13D2A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5241542a564b0318b48789fa8fc4eb2a2f991c8a","datavalue":{"value":"closed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409080$83A86D04-AE8D-43A7-9E1C-3840A68A3432","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409080$37A76448-DDD8-46F8-8FF0-AB4A72FE7779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78808b30f98569c0a90f44635482f9be6653588c","datavalue":{"value":{"entity-type":"item","numeric-id":3115679,"id":"Q3115679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86ec76698dd26fcf95f73f01b17ee68666fa6bf","datavalue":{"value":{"amount":"+0.8367657661437988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1409080$81A71766-AAF9-4448-B2F0-7A5DB7AA2922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ca1a239c00242d0c0848fa512b01b90617481e","datavalue":{"value":{"entity-type":"item","numeric-id":3360920,"id":"Q3360920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b56e270fab8add058120a7364194303210c3ffa","datavalue":{"value":{"amount":"+0.8339956402778625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1409080$2F299114-13DF-4A02-9890-676CA80882EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eb83a1ead8b09e7107f2242a81b31e8397aa6b","datavalue":{"value":{"entity-type":"item","numeric-id":4001697,"id":"Q4001697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7fa138a8685e6f8d2e446f29abad6c84c76a1f","datavalue":{"value":{"amount":"+0.832588791847229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1409080$D93D3E18-7AA1-410F-A4A4-2A3B9AEC923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5bef721c6489965dc0b2db87bb5a115ef8a0d33","datavalue":{"value":{"entity-type":"item","numeric-id":2387440,"id":"Q2387440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7035b96ab3f686b0592ff2a3e6f212312349403","datavalue":{"value":{"amount":"+0.8302994966506958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1409080$EF4370B8-61AC-4CD5-A5DA-853F59196AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7ea80f8c0d82aa55fa6b6257eb26cdd5339e21","datavalue":{"value":{"entity-type":"item","numeric-id":3834101,"id":"Q3834101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182e897401bbe3cfe197db6cdc19b3a5da109d0b","datavalue":{"value":{"amount":"+0.8168589472770691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1409080$9162AFD8-0823-4CA0-892B-08155644E698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1409080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1409080"}}}}}