{"entities":{"Q2695132":{"pageid":2705876,"ns":120,"title":"Item:Q2695132","lastrevid":47833669,"modified":"2026-01-02T20:06:11Z","type":"item","id":"Q2695132","labels":{"en":{"language":"en","value":"Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670195"}},"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":"Q2695132$E53D145A-6298-43DF-BA4B-C34EA3E1D4AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7deb4af67b422b4843b7f826db3c346297e2c11","datavalue":{"value":{"text":"Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695132$31A3C33E-5287-4081-9C02-465C709E6CA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e3b6bf5614ab2e651ba00bf9ca5258845066caa","datavalue":{"value":"10.1134/S1064230722030029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695132$42398E3F-8583-4A43-A787-193A4E32118E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0841dacce281191cce4039f2035ab39d85a4db61","datavalue":{"value":{"entity-type":"item","numeric-id":353736,"id":"Q353736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$C44EC61D-AA8F-4C7C-8984-4622604C66B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$AE37949F-1B6F-4EBE-9287-9D921F775C6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695132$17F90090-A6A0-4204-AEDC-1E032406E021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"624aa90ae97be55dcf004c4ea5b1524ea5d97abb","datavalue":{"value":"94Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695132$3B8B56A9-6CCA-4AA6-981F-83D2D5372555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7c539f645529adea33f0a74f4c3f8e348d8b75","datavalue":{"value":"7670195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695132$01550C57-AB4D-4255-97FD-9BE42C35BE25","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":"Q2695132$6A4DE61E-F0D9-482E-9D28-2FC3D401DF7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcc241a0fc8f60d9d0a1c2768f94eb7855b80a9b","datavalue":{"value":"https://doi.org/10.1134/s1064230722030029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695132$B41306BB-F2E9-4F0A-B1F2-C3175C3EE02F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f9d5fbe845523b79059099b179edff280b62c6d","datavalue":{"value":"W4292978265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695132$4AB95812-EB02-4E0B-97A1-CADB0B01076E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$34B0FCA7-D4B5-4F91-A2FF-372F98360294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$F8AC7CC9-47FD-42AF-AF75-107FEA1B80EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$7EA42AE8-DA45-4369-AA69-328E8C7F5BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$2C004D94-8942-46AD-9B58-E4081B9C1CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4f707eb5fe7fcf24eb37e59a7557f0c494c130","datavalue":{"value":{"entity-type":"item","numeric-id":2910413,"id":"Q2910413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$3A51DE48-DB00-4EE3-8581-EBCBE1E72E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c047d925b5cc83a1e636eca8beda0b4db8d93d25","datavalue":{"value":{"entity-type":"item","numeric-id":4388806,"id":"Q4388806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695132$A374915B-9AFE-426B-9C4A-0B4C578BF904","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee0b67cc4c64a6f3ecfd293ca5795989e7b67cd","datavalue":{"value":{"entity-type":"item","numeric-id":2017631,"id":"Q2017631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1ee23001568eba1708f058d4f396bcffaf6364","datavalue":{"value":{"amount":"+0.8899981379508972","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":"Q2695132$B391E80C-7126-43AE-8AB8-E7640C868FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d5c0a5d3ee0dad818bdc009a966c5a5ccb9d","datavalue":{"value":{"entity-type":"item","numeric-id":893916,"id":"Q893916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa60b26ae34d850c8e05c2cfa49429babfa8bb3","datavalue":{"value":{"amount":"+0.8203454613685608","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":"Q2695132$29F4839A-83DC-4B1C-AE19-8560C2911C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2340913af7ad008b3d3d5956b0a5618c022547fa","datavalue":{"value":{"entity-type":"item","numeric-id":353738,"id":"Q353738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29462ad12083edbb2c90791dcee7d7137c7b813","datavalue":{"value":{"amount":"+0.7953487634658813","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":"Q2695132$D104A671-C17D-4F01-B7F8-C32B0FADF82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c182490df98dff3653b52b3df192c5ea419e97b2","datavalue":{"value":{"entity-type":"item","numeric-id":3795712,"id":"Q3795712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8167025cb7e6e4c1015cff1e8396ee457746fbaf","datavalue":{"value":{"amount":"+0.7638426423072815","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":"Q2695132$F1F82D8A-2AD8-4FBB-B2CB-910376455E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caad9fed396c36b942bfdfb3ee76eedc33042a9","datavalue":{"value":{"entity-type":"item","numeric-id":3472057,"id":"Q3472057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43dec5f8d7cfa7981518ef3a47560726fd44b4d","datavalue":{"value":{"amount":"+0.752433180809021","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":"Q2695132$B7F87060-7F2C-4EB8-BF73-554AC62B9066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2695132","badges":[]}}}}}