{"entities":{"Q764366":{"pageid":766215,"ns":120,"title":"Item:Q764366","lastrevid":64204983,"modified":"2026-04-11T18:20:10Z","type":"item","id":"Q764366","labels":{"en":{"language":"en","value":"Testing computability by width-two OBDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014339"}},"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":"Q764366$EDF43A1F-500F-447C-AAC8-FD8AD4874082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"699beef01eb0cf8a98a19b368491e2ba1bf4e3fc","datavalue":{"value":{"text":"Testing computability by width-two OBDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764366$EF5A8660-67FD-4868-9EF2-F8F512B7BA95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1dc6d4cbd9fbc9a854ace7a9c29d14c52c690ec","datavalue":{"value":"1234.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764366$0157118F-6542-4D04-988F-C7E904495CC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e10480e046eb228ee7883bfe3d51ac4b35b07ad9","datavalue":{"value":{"entity-type":"item","numeric-id":171921,"id":"Q171921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$295288F1-B740-487D-BDBB-ECF610FE30A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f71625350a7f49cc9bc5e90591bdbd68f606c03f","datavalue":{"value":{"entity-type":"item","numeric-id":764365,"id":"Q764365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$111C9FDC-B7B2-4314-8F75-72249F15B50C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$ADE04273-7D0A-4C13-925B-D8246220F62F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764366$67C62AC3-717A-4C04-B8AD-227B7BCF16BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764366$5579F8A2-CE30-4A09-9C5C-1F0C17DA9661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764366$91DAFB47-3A3D-4512-A71D-47A13370C005","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd320e2df9c4fceee1f26793d46428f9742a22dc","datavalue":{"value":"6014339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764366$B9F890CB-8662-4F6B-83F5-5C4F23B04D08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q764366$DD9422BB-62DD-497E-A7DA-01AC0A3D1F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f49cbbd2f307a5669b56350bc421ebf3a5ffc2","datavalue":{"value":"ordered binary decision diagram (OBDD)","type":"string"},"datatype":"string"},"type":"statement","id":"Q764366$FAC74DBB-66F5-4EC5-B74D-210DD7C4620D","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":"Q764366$AB0D8E35-6CA7-4172-A749-1FBBDF78C41F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc90076ff87f1e92d39c82e572d11d3ecf15f54d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.11.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q764366$6C659D48-BA71-4B10-B1F7-617B512DF91A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e5a71ed8ffcce05619a3fa818435c1e57ee2349","datavalue":{"value":"W2052134969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764366$1B3F43C2-AE2F-4624-BAEB-9A56BADE79EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3336c0fea376b85a6efd286f088c99dc9ecd20","datavalue":{"value":{"entity-type":"item","numeric-id":3546491,"id":"Q3546491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$486FE89F-48A0-4741-9C8E-52CC208E5E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a8816ad2bb0d820d7b9a0fd415db11398acfbe","datavalue":{"value":{"entity-type":"item","numeric-id":693004,"id":"Q693004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$827786B3-19C4-4B7D-B6E6-BC051D0398DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6609aec37d3d301d34b253dc3f2a45a96b88e1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1317490,"id":"Q1317490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$DF415D46-5144-4762-9512-B50A38CB40D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e69426fa1b59b9c66ca7416a17bee35625b09d","datavalue":{"value":{"entity-type":"item","numeric-id":3010413,"id":"Q3010413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$40E9FEAE-0BC1-472D-A035-856D2491AC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fbf86875bef919b269d42c16da646055901e8","datavalue":{"value":{"entity-type":"item","numeric-id":293246,"id":"Q293246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$A6C5494A-E9A3-48AC-AF0F-F187636A78AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2367b311765c9824211e44e2d295126dae20b343","datavalue":{"value":{"entity-type":"item","numeric-id":3152421,"id":"Q3152421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$8A24ED0F-6D68-495D-90FF-AC41E4137A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5655e9b1f07c12d387627d3708f56c3536dc4e3","datavalue":{"value":{"entity-type":"item","numeric-id":598252,"id":"Q598252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$268D6163-E614-41A5-9999-341D29BA42A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441c2439c76352d90f8a50b29d3e757d2f530259","datavalue":{"value":{"entity-type":"item","numeric-id":3588436,"id":"Q3588436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$2E69E50F-2FCA-4369-B7CC-2A0FBA1A7337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39092484c42c2661962bc3a074cbc74d5b534e","datavalue":{"value":{"entity-type":"item","numeric-id":3158518,"id":"Q3158518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$0B6D263D-DCA1-4EE0-ADB7-B0E2A0962E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989949da70e482c0f93bec4dcd5a25a5ebf98267","datavalue":{"value":{"entity-type":"item","numeric-id":3055771,"id":"Q3055771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$FE189BB1-7431-4F42-BED5-73E16FC055DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c66e888ff6dc0844c7947d50aaa681641ab0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5929914,"id":"Q5929914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$28D659B2-F676-4A5E-8CDB-F4BD982DD14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$2E5DB819-9AFE-47AB-B94D-F232C0B59790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635ba0c5efe1ad2514d049836cac960d0ce9dde5","datavalue":{"value":{"entity-type":"item","numeric-id":5915394,"id":"Q5915394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$C0A3AABF-66F5-4387-9FD6-70B890C77A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adc710ec803b58ef90c6af3616e19529e6387d4","datavalue":{"value":{"entity-type":"item","numeric-id":2568438,"id":"Q2568438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$55D4652A-1460-4C31-A3A8-436ABA6F2556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489eba1baee128beadc60730959b25199e852bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3149882,"id":"Q3149882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$FAE1A64E-AC94-46EE-878E-952554E7C18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c242cf18dcbf4773d2364df6f01cfd16dd3f4d0","datavalue":{"value":{"entity-type":"item","numeric-id":4785704,"id":"Q4785704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$4EF8B68A-CE55-4393-B699-3B134EDC8692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841af17a8ddabf22ef2a687fd95403c58b331b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1202933,"id":"Q1202933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$AE461165-4A83-4E25-8D75-8EF4D462DE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b73952b7de64c3470346c5ed0a2cdb09bb8680","datavalue":{"value":{"entity-type":"item","numeric-id":5190073,"id":"Q5190073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$B1149FCC-9555-420C-8EF4-6FED0679F6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71ee9c6e64570924b9461ae0273e3ea39add387","datavalue":{"value":{"entity-type":"item","numeric-id":3638913,"id":"Q3638913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$F9BE9AF3-6216-43D1-B980-20246DC49889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416d52b5f4312877c201f3af0dee98901633e932","datavalue":{"value":{"entity-type":"item","numeric-id":3562998,"id":"Q3562998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$E32F5EA2-1106-482B-B93A-2186A867C2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af9c400472b33809e98a7c72843fa27c42a11de","datavalue":{"value":{"entity-type":"item","numeric-id":4877517,"id":"Q4877517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764366$1E5E59E2-1314-43B0-8A1B-3AB3A1F994CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf43d5f90452f37100d4cf365ae3aa372a5cf13","datavalue":{"value":"10.1016/J.TCS.2011.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764366$40DB8D0A-31CD-4F39-A40B-59D915C57998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044f1def5d2ffaf773d338fb493e18c8583c55cf","datavalue":{"value":{"entity-type":"item","numeric-id":3638913,"id":"Q3638913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0caadea1c5bf06612fd53d2b654388c7a32d0b86","datavalue":{"value":{"amount":"+0.9837253093719482","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":"Q764366$F9EC784C-D5BE-4469-8821-33C50138E5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7768c8ee2d997639d9a22b8da8102b10d252615","datavalue":{"value":{"entity-type":"item","numeric-id":3562998,"id":"Q3562998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd510171ff6a9e26625235b7c0f9e25c6e9d449","datavalue":{"value":{"amount":"+0.9742627143859864","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":"Q764366$3464778E-CFEF-4FA7-AF2F-41B901DF8200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c08a8c714028911a3dce10ca9fa4fbaca078c07","datavalue":{"value":{"entity-type":"item","numeric-id":3010413,"id":"Q3010413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e273d8b5798bda5b7179d31f6ada829c1df46955","datavalue":{"value":{"amount":"+0.9320070147514344","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":"Q764366$3A0FED3D-7C24-4095-8489-419DDDC2FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c308b3d9f57aa8e591301dc347e4e6a7d27a300f","datavalue":{"value":{"entity-type":"item","numeric-id":3588436,"id":"Q3588436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc310cb1b9f0f711244ed25be584c99bbd04635","datavalue":{"value":{"amount":"+0.8883305788040161","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":"Q764366$C792B432-B962-4F11-B680-717163E69E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ea138f46ab51de9fb7b34b300ad12f605586b","datavalue":{"value":{"entity-type":"item","numeric-id":2942417,"id":"Q2942417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e140e46c0beff6d9b3b8f00c36c149c16734d2a8","datavalue":{"value":{"amount":"+0.8053668141365051","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":"Q764366$B8B61076-87DE-4C71-956C-487C0596B98D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing computability by width-two OBDDs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_computability_by_width-two_OBDDs"}}}}}