{"entities":{"Q960508":{"pageid":962356,"ns":120,"title":"Item:Q960508","lastrevid":65658477,"modified":"2026-04-12T04:06:32Z","type":"item","id":"Q960508","labels":{"en":{"language":"en","value":"On the computational power of binary decision diagram with redundant variables."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5477974"}},"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":"Q960508$AF4C255F-6395-4D37-B518-FD472739A050","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5d7817fab675ada663316a73cef988960096bc4","datavalue":{"value":{"text":"On the computational power of binary decision diagram with redundant variables.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960508$99446900-15A7-4CF8-9B6B-367073D4BA17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f061691e6bdad69240e59136fcdd42875f6e2315","datavalue":{"value":"1425.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960508$07F3CBDD-2FE9-43AF-B5B6-8E6476FB44A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51d9ba33429ce6a616c3f5b30eb16483ffbbe3b8","datavalue":{"value":"10.1007/BF00121263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960508$50551B9E-2CB9-45C1-9D3F-34DE2FB87464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f9761088c65574c93d79f85c1d88ae1300b2d7","datavalue":{"value":{"entity-type":"item","numeric-id":845252,"id":"Q845252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960508$2299A54A-2B51-47C4-9418-EAA0717844AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"965c5b1833fd3456be48cad4b241f4ba2821d729","datavalue":{"value":{"entity-type":"item","numeric-id":960507,"id":"Q960507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960508$30B0E483-B541-4EB9-9148-DEE743BBC3C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960508$CF2EAEAD-9B33-4269-AE72-6FB64922B81F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960508$40C178B2-7C65-4E94-88C0-7183A0F690B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960508$0A164A01-C7AE-407A-9091-433657CE4405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960508$6BBCE18E-BCB9-4D6E-BCB9-B88D5ED839EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960508$4B622A1F-A9B1-4CE9-9ACD-637037ADC058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63614f52a0fac9a7fb943ae3a83c5e37a86b8fb8","datavalue":{"value":"5477974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960508$D5DCB19A-5A32-47A9-8AC4-0905A5B0E3D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0a32771fdcf706d822bd0af348c97c5ff6aa15","datavalue":{"value":"computer-aided design","type":"string"},"datatype":"string"},"type":"statement","id":"Q960508$C6EE7CC9-2624-4898-8F03-AC9D330F291B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q960508$42BADB73-4ED5-450A-8A60-F9E0FD68C9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f13b79cbd7b3bb333f2ea0a09767c5f0ff1b17","datavalue":{"value":"indexed BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q960508$55033DFE-C02F-4C8E-9B22-D1D61E9749A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede20fb506ea1bbc414bc0a2a715f01684dd4bc0","datavalue":{"value":"DLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q960508$69A33247-49D8-4F29-80D5-E4670BEFAE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15c58646abc446c68a39bad7f265746a841e451","datavalue":{"value":"integer multiplier","type":"string"},"datatype":"string"},"type":"statement","id":"Q960508$67C234A0-B484-43AA-A47E-8B836C44D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc23b90c1be4baaecf0ba99f92c30aca4062487","datavalue":{"value":"deterministic Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q960508$C568AE15-8C7C-4296-96E1-A7A7A0A0C970","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":"Q960508$11F69510-6F53-42A2-AE7E-7465E32F07C3","rank":"normal"}],"P223":[{"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":"Q960508$23654D4A-2EC6-4F15-9A9C-F5C409671D65","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":"Q960508$5EC7EAD8-9393-4E11-8486-A0AB7F25A8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960508$850AF2C0-8B72-40BA-8001-5EE088C69958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920c3ac00d626f59f95283223bd4fb6ae680345","datavalue":{"value":{"entity-type":"item","numeric-id":1152951,"id":"Q1152951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960508$8AA892F3-1FAB-4D1B-BED7-0B6ADB41C577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0510836c7746ad82e4582d0ec9901d4696688f30","datavalue":{"value":{"entity-type":"item","numeric-id":3677667,"id":"Q3677667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960508$E942DFEE-EC09-4B17-B7F2-259BBF3EA911","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9867386fbb9190106f235839114e7a4c89558bcc","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf7b390d22efd0b9324d9c4debe79c8b39d58b5","datavalue":{"value":{"amount":"+0.7923836708068848","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":"Q960508$68EAC69C-A8D2-449E-9F30-37B4C7DC08D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0d350d33d686a2907fff596c9ecd93bb10143e","datavalue":{"value":{"amount":"+0.7718769311904907","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":"Q960508$1D7911BC-DE4C-4C80-8EB3-78F330E452DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179a917ac25f6594132f4d85d10aac482d21585e","datavalue":{"value":{"amount":"+0.7668260931968689","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":"Q960508$A0B19CDB-5411-4D31-8D4D-DDCDC89A870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1dca324120ddb9e7c2aafc7ee4afa691ffaf39","datavalue":{"value":{"entity-type":"item","numeric-id":1908345,"id":"Q1908345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc22af70f657f5a47a2ff1fe39ba7e84351684c","datavalue":{"value":{"amount":"+0.7665016651153564","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":"Q960508$3897D739-0A7C-4986-B16A-5BDD626BCEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85051722761fbec9019a04dca4a47a2658cbe695","datavalue":{"value":{"entity-type":"item","numeric-id":4412138,"id":"Q4412138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24f07cd6bd21dfa0fec2d31bf5b4ddd2c4e7523","datavalue":{"value":{"amount":"+0.764672577381134","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":"Q960508$02BF2564-19C6-44A7-9463-13F859873BB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computational power of binary decision diagram with redundant variables.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_computational_power_of_binary_decision_diagram_with_redundant_variables."}}}}}