{"entities":{"Q760427":{"pageid":762276,"ns":120,"title":"Item:Q760427","lastrevid":64167459,"modified":"2026-04-11T18:05:21Z","type":"item","id":"Q760427","labels":{"en":{"language":"en","value":"Inductive representations of Boolean functions and the finite generation of the Post classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884153"}},"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":"Q760427$BDD68C36-B1FA-4C95-9809-45AEAC4B53BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a5e9d35ac0376c24c3bf42ab2b45576aa1e7f2b","datavalue":{"value":{"text":"Inductive representations of Boolean functions and the finite generation of the Post classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760427$8E2262C5-B2F8-4A16-8E01-A0AFB90A08A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d394dfacdd7ad558a5b2693dd35e74a19b7f92","datavalue":{"value":"0555.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760427$38886CD7-F52D-468C-A9E7-FF351BE7B8ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2baad8de625696f1a4d4787ac926c72ef4d1963e","datavalue":{"value":"10.1007/BF01979696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760427$FA57B2AE-7B3C-417F-BB4B-BCC3D104C5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9706a65b23ecf2ccd51557041be2289964267c7c","datavalue":{"value":{"entity-type":"item","numeric-id":760426,"id":"Q760426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760427$C3622119-95EF-4656-B73A-DE15FF123E5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760427$D0C0D64A-C88A-4D45-9EE0-83489D889A6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q760427$D25E6214-4713-46E8-B96B-943C23389C88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97fd54c029a13945087ef632e55e1bbdf71f8505","datavalue":{"value":"https://eudml.org/doc/187253","type":"string"},"datatype":"url"},"type":"statement","id":"Q760427$F818E099-0E43-43D5-AA31-FC90A1151CDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be56fef58c576e332ff0fef7c17c36c5a04a81be","datavalue":{"value":"The author studies some representations of Boolean functions and use them for establishing a series of interesting properties of functions from various Post classes, and in the proof of the existence of finite bases in all Post classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q760427$E5B6305C-08DF-45C7-AF25-7FC6833777C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760427$7CDB664F-9B5E-4854-B39E-13FA5C9E7FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760427$67CF8457-6346-4509-A237-D437FB558DDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df867606b93e45dc700d3e384ecb4473eaedf6f5","datavalue":{"value":"3884153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760427$506AABFC-C254-497F-83D9-BC0170048047","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5241542a564b0318b48789fa8fc4eb2a2f991c8a","datavalue":{"value":"closed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q760427$9C6F1A31-AF3B-4F5E-B58E-30751147FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d437f0337307634254181bdf8dfb02d99b3549","datavalue":{"value":"Post algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q760427$328DA3F3-11E5-4800-8477-91383914963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b608db10c03ccc366a4f72fb816aaf439399688","datavalue":{"value":"representations of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q760427$A7D0E12E-06C1-4035-AC50-B7C303A75480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c6d986abc5b6cc583a534e59b0846ec9ac127b6","datavalue":{"value":"Post classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q760427$E65E2434-F7B2-4E75-A5D6-88885572B052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5733e2c0c7a78424261bd9d5e3b029f60f0d4fa","datavalue":{"value":"finite bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q760427$5580B991-2D19-487D-8260-1044592BE69F","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":"Q760427$D2C6C7BB-550D-46FA-BA59-72EBAA0F87E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba8a17810538ca580c191aa658ce0569c8d2c16","datavalue":{"value":{"entity-type":"item","numeric-id":3898440,"id":"Q3898440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760427$74267788-10A4-416C-8789-EFF5727AAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760427$67393658-18EB-4D27-BE0B-3C9D4850CC88","rank":"normal"}],"P1643":[{"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":"122a4bce009062f91423e1091ff418cc63c04a41","datavalue":{"value":{"amount":"+0.8064853549003601","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":"Q760427$DCA776B6-4E11-4313-BB5D-5CA7D5843D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844a5c8593c3723951b69c4a2b531c8ba92593a2","datavalue":{"value":{"entity-type":"item","numeric-id":326283,"id":"Q326283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969c61873779d7d741cc55a77a8fd0305cbe5792","datavalue":{"value":{"amount":"+0.8049230575561523","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":"Q760427$692B5B67-C4C0-41F4-9286-D4B8A4FE9451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583f02b5bf2a47d2ffb017c0d481e171796309a1","datavalue":{"value":{"entity-type":"item","numeric-id":3824460,"id":"Q3824460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12b78e9f7cb9553397ea1be682c5c49cf5f6bc2","datavalue":{"value":{"amount":"+0.7994333505630493","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":"Q760427$E788BD3B-C07C-4277-BCDE-FF11D974C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f83371f42433be597234dfc969704579e7c4de3","datavalue":{"value":{"entity-type":"item","numeric-id":760428,"id":"Q760428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65e9611bc5708d01cffee987221dfd4ef3a32e5","datavalue":{"value":{"amount":"+0.7951905727386475","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":"Q760427$03660EAA-1FDC-4594-81CF-ACD890F0B4A9","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":"5ff54744d1316301f0747b8ff9bb2b0ee3a9e116","datavalue":{"value":{"amount":"+0.7927350997924805","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":"Q760427$4D97EB30-B802-4D82-BCF4-F00FE4BC1E8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive representations of Boolean functions and the finite generation of the Post classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_representations_of_Boolean_functions_and_the_finite_generation_of_the_Post_classes"}}}}}