{"entities":{"Q805236":{"pageid":807084,"ns":120,"title":"Item:Q805236","lastrevid":64472199,"modified":"2026-04-11T20:06:33Z","type":"item","id":"Q805236","labels":{"en":{"language":"en","value":"Minimal Boolean sum-of-product forms in PROLOG"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203725"}},"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":"Q805236$F0772FE0-3779-43EC-8987-3ADE34005B74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09f28f1e946d5523833764072d7dd8af026fb98d","datavalue":{"value":{"text":"Minimal Boolean sum-of-product forms in PROLOG","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805236$3E89C3D6-B067-47A9-B6FC-18F3F608860B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aefd727c72f19b21130b99cda53239d4a24fc73d","datavalue":{"value":"0728.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805236$B6B2FB3D-7E92-4AC7-8397-F8705F2F8277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b64dfa160111634a976ce51f97f619398ae522","datavalue":{"value":"10.1016/0898-1221(90)90010-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805236$7D309019-A9DC-4EC4-8D11-7B155568C855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q805236$7909B500-D623-4221-8AA1-9F65A47D5606","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805236$93CA42E2-EC06-46B1-9C76-1CF27AD058D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2dbfb0410b84c14c5b55483a454b895c90b7df","datavalue":{"value":"4203725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805236$076683C1-5AC6-469E-AC89-428E4ADD9698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q805236$41F90813-7028-4D77-B7B1-5298EAF06697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2876c8c45a48590371329848ce07be9e4feafeed","datavalue":{"value":"symbolic computation of the prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q805236$B7DB916C-F3C6-4D4A-B5A9-9DDED72ADCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c57f1aef24e8b9bfd4065665df523e5193ac40","datavalue":{"value":"Boolean expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q805236$42C575B5-2799-43E5-A41E-7F828E51389D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd07b69e8b34f4bb1a0db58888857116859833","datavalue":{"value":"sum-of-product form","type":"string"},"datatype":"string"},"type":"statement","id":"Q805236$99CBC381-9A19-44F9-A826-66AAB256293C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6988736cc3bd96a22d8ba0c80ab64cb90d57cd3","datavalue":{"value":{"entity-type":"item","numeric-id":687010,"id":"Q687010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805236$A45F27FB-D9C9-40D9-AE27-9994B81AD262","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":"Q805236$38292FDC-BE52-4E09-92F5-AEDACFF762B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61781cc78dfda75a4d398e6fe0f2b802016c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618323,"id":"Q5618323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805236$54A2B136-CD31-440D-909F-A38B6D365558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805236$1549D48E-AAC2-4884-8314-36E5E8A6CF69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"408daab22cdba08be38cddcc5d10001666617bf0","datavalue":{"value":"https://doi.org/10.1016/0898-1221(90)90010-h","type":"string"},"datatype":"url"},"type":"statement","id":"Q805236$F6B7A9D7-59E1-473C-9B58-22259BD85682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf15adddf50710797a2b67c6ed541cb147cea4cb","datavalue":{"value":"W2078224939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805236$BE6D98E9-A403-4396-8593-6DE2578A825A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805236$B4153B23-37AC-408D-8E69-C23E086418E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d271c9c31a1ea2c9a8a4a104cce84f271bd05ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1184805,"id":"Q1184805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ae8cfb0f38a83041b170a2af2ed22fed2d3895","datavalue":{"value":{"amount":"+0.8522911071777344","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":"Q805236$C02C1321-715C-4483-BF1B-A66D14F32591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbf4d55aaed8941fe36f840b281b0beb74dc4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3720476,"id":"Q3720476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea7becca3b1881ae77b9b15bdd74f14e56fa6f5","datavalue":{"value":{"amount":"+0.8218013644218445","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":"Q805236$0C5061B5-493A-45F1-A7A0-24F204BF190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bed4b028f4baec14061bb382cea4d10649acc8e","datavalue":{"value":{"entity-type":"item","numeric-id":5661422,"id":"Q5661422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f17ba938b1616bc985e2f0f3d2754edf1e8c1e2","datavalue":{"value":{"amount":"+0.7792835831642151","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":"Q805236$61411C34-47A1-4DC6-9112-4BB637C2AACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5507dafe213ca7eda3c55d822649530376a2ba46","datavalue":{"value":{"entity-type":"item","numeric-id":4007343,"id":"Q4007343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bd68e52289ef698e55b684f55919905c2b6a13","datavalue":{"value":{"amount":"+0.7544844746589661","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":"Q805236$D8AF74BE-CE89-43B9-B318-29349D3B43E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1107b4b196ef24089ba7a5bb1fa2e994fb589076","datavalue":{"value":{"entity-type":"item","numeric-id":5187206,"id":"Q5187206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0769101aa7e9cbbec338f351e1d25b92162d1ff5","datavalue":{"value":{"amount":"+0.7509675025939941","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":"Q805236$5B06F7C0-09A0-4DD2-B1AD-D1F9F27CA7AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal Boolean sum-of-product forms in PROLOG","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_Boolean_sum-of-product_forms_in_PROLOG"}}}}}