{"entities":{"Q893916":{"pageid":895764,"ns":120,"title":"Item:Q893916","lastrevid":42752199,"modified":"2025-07-10T10:12:04Z","type":"item","id":"Q893916","labels":{"en":{"language":"en","value":"Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512838"}},"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":"Q893916$B7CACEBF-F280-4C83-98AD-F833D00952F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"392694e9fdeda1cd7a67e1748f083d47999cddf6","datavalue":{"value":{"text":"Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q893916$C3958FA4-1EDD-4884-A419-E7659840AD18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c04608696d3bf0bfe93912d4f1a37b360b05d37b","datavalue":{"value":"1325.94173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893916$E0BC8BAB-13A5-4BE2-9E8E-B769E2F03DF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"041e6712bf387ebbfb71af514629925abdf26da2","datavalue":{"value":"10.1134/S0005117914070017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893916$E6AA2037-EBDC-4A1B-8D7B-D966CF7C3BFF","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":"Q893916$EF1FE684-D794-476F-A9C3-92074F25AA2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893916$136CB7A3-3ADC-4928-A75A-2D88DE39D2EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d74dbb5929353cda2f83521edd573307f85ad4f0","datavalue":{"value":{"time":"+2015-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q893916$20C51014-9A52-4B21-901B-601F724C7E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893916$17C4703B-4EB7-4E39-8EDF-77F210EE3844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893916$8CDACBB9-02BE-42A8-8B6A-0D21B43F6A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"885645f9a9edd529091feb9bd54edee2863c12b8","datavalue":{"value":"6512838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893916$6CEA36C7-DB17-4E6E-86A1-3216CE675309","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c5f074f1dd9f393e88f22e2df8fc41f4775ee","datavalue":{"value":"decomposition method","type":"string"},"datatype":"string"},"type":"statement","id":"Q893916$A88E76D9-F449-4B32-9C2E-A5F9F439C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e308645a3e2097e19986b2e761f3025a31da8e9f","datavalue":{"value":"incompletely specified Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q893916$A006A365-B1A1-4BF3-B30A-D46A1B50EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q893916$C31B56A1-F214-4B16-92C2-56B3E334AC75","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":"Q893916$E4DF0410-2980-4B90-A812-AD8924FA7862","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36cb81216a8f487c38a2947022f27315f5498ad8","datavalue":{"value":{"entity-type":"item","numeric-id":4770475,"id":"Q4770475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893916$0C7469B3-66D0-440D-B88E-8CD8891A1B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc90d065648812afd23ab99a38368c07ba73bbf","datavalue":{"value":{"entity-type":"item","numeric-id":754643,"id":"Q754643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893916$11BE475C-E778-4714-9E93-4C40D6DF2B35","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":"Q893916$884199C2-B08B-4D46-8664-5046F95201F0","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":"Q893916$727AEA1C-BE07-4A6E-9BCF-8A95333075EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2764217eeefdc62c8abb0cbad5fc17063c61dd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1605409,"id":"Q1605409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893916$92F27ED5-C556-4989-9898-3A640D62C8DB","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":"Q893916$95DD8F5F-778F-40E1-938E-D589E3DC703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0603ae39996d05a128e595fd97b24b4e1671eec","datavalue":{"value":{"entity-type":"item","numeric-id":3338106,"id":"Q3338106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893916$880AE14A-CACF-4679-BB29-371BAB1E3A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ec4957b7a7c365da2dd0d0b8b2eb5ace4bc46e","datavalue":{"value":{"entity-type":"item","numeric-id":2770065,"id":"Q2770065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893916$990090B9-B5F4-46C2-A6F6-19D2E87482A7","rank":"normal"},{"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":"Q893916$58FFA290-C269-4D28-984F-9A5AC4ED8788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ec4c7c67adb48a7d9cbd2bcc0d87442e01b4ee1","datavalue":{"value":"https://doi.org/10.1134/s0005117914070017","type":"string"},"datatype":"url"},"type":"statement","id":"Q893916$082AAA14-B1DB-43EB-A75F-C24A4DE89F53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af25779d5af1c3d9413cd42409ed0ce8cb592a40","datavalue":{"value":"W1982448916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893916$E672BCA3-588B-4CA7-8A29-D85AD52145EC","rank":"normal"}],"P1643":[{"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":"35202ef7017ad7ccbad4713723b10b381c15e9b0","datavalue":{"value":{"amount":"+0.9657351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$066284A6-B5CE-4C0A-9692-F66C498FC971","rank":"normal"},{"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":"e924bfd2fc4550ce15ca735bee612e3f449bae75","datavalue":{"value":{"amount":"+0.9081948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$745F3E19-3F82-4DBB-A430-4218F0E23C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6266fea1bc15cbb7626dea33c42ad33d3667dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":4401342,"id":"Q4401342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c58e508399c565a8528b38e0f89c2497b5bfc4","datavalue":{"value":{"amount":"+0.907441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$C7A6DA77-1266-4476-A24B-C08F45F767A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada87c204ea032602eb6d584f98393fcc960e9b7","datavalue":{"value":{"entity-type":"item","numeric-id":2290478,"id":"Q2290478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9345cd9900377f08d165f6b636686ddd654a726","datavalue":{"value":{"amount":"+0.889449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$2EFDD03E-BF38-487F-8B30-CFA723B7D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3893fe11e21a9201bdd795e2f14bb53a7c5e420","datavalue":{"value":{"entity-type":"item","numeric-id":1900137,"id":"Q1900137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4ed89bde16ab727f245f55ea43f90e9c7b9565","datavalue":{"value":{"amount":"+0.8884442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$2ED6ED69-7E4F-44AF-AC1B-80D14C08A9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ea7b42e2eca07dc6251aa463295e16210d79f7","datavalue":{"value":{"entity-type":"item","numeric-id":2695132,"id":"Q2695132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f5a00ad639585e6c55d011c0c370c08ff24093","datavalue":{"value":{"amount":"+0.88590544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$26A43087-04E0-4E63-9106-958909239051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd45062e9b9573fe7c6a40b0b1575e9ac1177cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5852964,"id":"Q5852964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd6cb78cfbab21547ac7dcd3b7b0d172e65acc6","datavalue":{"value":{"amount":"+0.88282835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$2FFBB153-93A8-480E-99BC-23C748B11573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b6b90966f73086747341044b083334389d98b5","datavalue":{"value":{"entity-type":"item","numeric-id":5151439,"id":"Q5151439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e93d4699180e644bfe0766974e5ff2bdedb4e1e","datavalue":{"value":{"amount":"+0.87860614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$7383CA1C-EF39-4ABD-9698-39A63DB01925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a637d78cca4831f53e56a1be186a496dd92485","datavalue":{"value":{"entity-type":"item","numeric-id":3688315,"id":"Q3688315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b81651fa48e4cf4aeede1296a55a909ff0bce66","datavalue":{"value":{"amount":"+0.87727666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$70F23406-E273-4B65-B517-21395FCD09F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ee04e3ed50356b38e77647ed6bbaf169dc49fc","datavalue":{"value":{"entity-type":"item","numeric-id":5147349,"id":"Q5147349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0a6ea50f4d65d48eb9aae87bc253f7938fb52d","datavalue":{"value":{"amount":"+0.87638694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893916$90AC38B6-9B8B-4E04-A241-3F0BBC622962","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:893916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:893916"}}}}}