{"entities":{"Q513353":{"pageid":515120,"ns":120,"title":"Item:Q513353","lastrevid":62401056,"modified":"2026-04-11T05:50:00Z","type":"item","id":"Q513353","labels":{"en":{"language":"en","value":"Dualization of Boolean functions using ternary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6692039"}},"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":"Q513353$4A499AE1-1670-4EF7-BF3A-1018DBA4D81C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f6095c2fc382c6396f724c7ceeb449b9a53231f","datavalue":{"value":{"text":"Dualization of Boolean functions using ternary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q513353$095209EF-68F1-4F89-9C61-AA3584461E10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"294c652fde951f551bcddb5a645b0ab5a38ba0de","datavalue":{"value":"1420.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513353$9F48F739-815D-4B4D-9D88-D46F3D8DF375","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca7fcb3564861870ffe0d41ce4cf5a02de6fc10","datavalue":{"value":{"entity-type":"item","numeric-id":513352,"id":"Q513352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$F398723F-A8B9-4A73-A1A5-AC4F90FFD3F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$8108731D-5BF2-4C1D-A1C0-6CDB75745974","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29f5b11f428488ca09b98e4f34562f43d3b169f9","datavalue":{"value":{"time":"+2017-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q513353$11020292-5574-4B8B-8C46-E3C422016A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513353$4E14D0FA-C07A-4F85-AB72-D3995678E50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513353$734156FE-5C0E-40DC-A5F2-B70685633DEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc13e65f24539340aa9ce40e85134a4c6cd37690","datavalue":{"value":"6692039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513353$F46838E6-870B-4D55-AA18-58844ECD9E12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64d60bbedb028e6cddf82bc5f6aa79a694c629a","datavalue":{"value":"dualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q513353$C45A043C-0B9C-4A4C-A0BE-8BA4D1F03141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bec402405b04b2e3894d35e6f2fc1f1489c938a","datavalue":{"value":"ternary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q513353$EF5F6902-6F77-4B35-9277-8268DDCA61CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q513353$AA7917A4-C62D-4806-8881-AEDCC4F68528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3e1e6c48b947e062f01fefd29bafc6ed830cab","datavalue":{"value":"all-solutions solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q513353$C782E40D-8A10-4142-9290-A420C33603B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce514966e327ded3c17917f258854330d9f0ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":18319,"id":"Q18319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$DB8F1573-7F85-4366-8C6D-B40AA9596247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$842DDAF4-BA42-4D7F-9C22-2E3CD09A63A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$EF1DF61E-3C3B-4089-92E2-457B449673B5","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":"Q513353$9952CEB9-A8D3-4BE9-AA9C-0F22218D1BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5956d601392a6ec27d86deb82fea80a5769ccefe","datavalue":{"value":"https://doi.org/10.1007/s10472-016-9520-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q513353$A894B38F-D99B-467A-B121-A405723F3415","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af3432126150e949846a74513e36e995bd71a5ca","datavalue":{"value":"W2402768459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513353$C59EDE73-7F5B-4009-942E-43D0F17614CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58619a2ded73af815bfb27ef9f0713b16d0bf02","datavalue":{"value":{"entity-type":"item","numeric-id":4448373,"id":"Q4448373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$F5F9335C-730C-49D7-A80A-68CD7A042F23","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":"Q513353$43C88CD5-CE40-4668-933E-63BF1BA68570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0466b910c72c54008756df718cdb17efb6cce688","datavalue":{"value":{"entity-type":"item","numeric-id":2786909,"id":"Q2786909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$294F9E16-0AAE-4B7E-8FC1-4F4EB5080623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55513ac0d8c3a56962aba277d470c4150e1c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1803674,"id":"Q1803674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$BBB2BE45-97CB-4DDA-A005-CF5192C12264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$066702FC-9A98-43F7-A3AF-E8BEE5A7DA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a38ca1c550201e38ed00e32a726b3d29bf5d4e8","datavalue":{"value":{"entity-type":"item","numeric-id":943839,"id":"Q943839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$C93A4EBD-D95B-47F4-85F9-784AED0D3C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$40B6D059-C17B-4585-88CE-CAFC3EADDE8B","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":"Q513353$7C9248ED-8F3D-4D0D-A9D6-243AEBF52FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8428f0fc96b22b52390f3bd7ced5caaf0972d20","datavalue":{"value":{"entity-type":"item","numeric-id":4864698,"id":"Q4864698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$7ABB1DEA-8594-4853-925C-F18B0DC2DD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc9707b9a87385861daeed41bd05b284e644f79","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$3F68D1FE-D90A-491C-9207-2728EBD598C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff18239048ae56591c9a0daa06217bca17c64b0","datavalue":{"value":{"entity-type":"item","numeric-id":2449091,"id":"Q2449091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$CB3195B0-5954-40D7-BA3F-784C4650F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ae3bbbf72c781ce8302abd4a4fb1684f42d264","datavalue":{"value":{"entity-type":"item","numeric-id":1276973,"id":"Q1276973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$18BDB80D-F864-4BA7-A13F-0BBF469AF4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513353$504B273A-3E59-4439-A5FB-7E94D16FA8E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed524c2020bc1f203167ca9a49d23be94651699","datavalue":{"value":"10.1007/S10472-016-9520-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513353$F8E7653E-0DD2-4983-AE84-E3347F410265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0fc619e262e860126e0e4bd17eea37b06a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":943839,"id":"Q943839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54297973c02d95b9060c919f307aca6977b4225","datavalue":{"value":{"amount":"+0.7973371744155884","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":"Q513353$DA41D813-BF64-4BB2-B4D2-62DFFE9B45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b3994199da80a087d5c8e39c7f21dc7b13c0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5140714,"id":"Q5140714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927cbe9c52a00748bdb0b8e5ecf35dca29b299fa","datavalue":{"value":{"amount":"+0.7814484238624573","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":"Q513353$DEB46034-FE81-4E8E-AECE-C6E573FFDD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc2b389a41488dd1ad3edced52f1e9efdd61e53","datavalue":{"value":{"entity-type":"item","numeric-id":4946700,"id":"Q4946700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e192cb05367e18050bc2d07328701e59f92380e","datavalue":{"value":{"amount":"+0.7661939263343811","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":"Q513353$1513AF14-6DD0-4666-B7AB-31D71CBED35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463005e295ac84d92c0f64b905685c6da7682e8f","datavalue":{"value":{"entity-type":"item","numeric-id":2508337,"id":"Q2508337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab35fb76deb44d37639b3e252f6b14c5e4c200d2","datavalue":{"value":{"amount":"+0.7592552900314331","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":"Q513353$72DCFB25-4B02-48E2-AA3C-15C73ACEAE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b443043e181c8b534c11cb7f83cd43409528a58f","datavalue":{"value":{"entity-type":"item","numeric-id":523743,"id":"Q523743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e649f57e45dc90450cbef817c7d734924ef06b9f","datavalue":{"value":{"amount":"+0.7548563480377197","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":"Q513353$630E1F4D-BAB9-490C-A719-3773F440F225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dualization of Boolean functions using ternary decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dualization_of_Boolean_functions_using_ternary_decision_diagrams"}}}}}