{"entities":{"Q1878409":{"pageid":1889151,"ns":120,"title":"Item:Q1878409","lastrevid":69177336,"modified":"2026-04-13T05:16:55Z","type":"item","id":"Q1878409","labels":{"en":{"language":"en","value":"Reasoning with ordered binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2093415"}},"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":"Q1878409$47E2A2D8-7A45-470D-8A6B-733A9B7BD273","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e45b2ddb9fb7d5dd92c35f66c797f6ccd916dcb","datavalue":{"value":{"text":"Reasoning with ordered binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878409$01C931AC-9E40-4651-8793-4DD66C0F6925","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17fd9746a3053d29a56c13beea5cd6ca4ad09d03","datavalue":{"value":"1077.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878409$42562156-7F3F-44CE-9BAA-2ECE11067763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"135e405fd840330edbc68cbaadd3047c39ff81ac","datavalue":{"value":{"entity-type":"item","numeric-id":744057,"id":"Q744057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$3C714930-C239-473D-9E33-247E2F991733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$AFE62B84-609B-4D1F-A1E1-6C6959F5C9F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$FAD30172-D50E-4BB5-B513-A168EA469E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878409$A37FACBE-E91F-49F9-BCFB-69CBEB4D9B2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878409$3E61D07A-12B9-4E84-AD5E-68E9748A3BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878409$720D432C-20F1-4F82-BD4D-16547E9108FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a1ad851bbeed0546b9e754683ffc0b0d4a7790a","datavalue":{"value":"2093415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878409$5BFF4398-F4DD-40EF-9F15-14FA400FFDEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6425c4c707c684934160a13f87014e636b6e1790","datavalue":{"value":"Knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878409$82B21CCF-2B65-4E8C-BCB8-7E254A7FFB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971ee52cc98a88e4d13233657f8338e7e6b622d","datavalue":{"value":"Automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878409$960D180E-5A75-4F31-82D1-8CC853D2A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec7e10aa481ebcb54377ae2d072c89edbf4c3cd","datavalue":{"value":"Ordered binary decision diagrams (OBDDs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878409$84D2EA53-0235-433B-9440-B253F7CE660C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f081613440675399fee65206de20abf6ff5b7b","datavalue":{"value":"Deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878409$676C33B3-3384-4D6C-95CA-77D0660F1C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a92d560bc48ea891c48c5dd9b8d79e659941af","datavalue":{"value":"Abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878409$DD5511F0-074C-4141-8691-4430D63D501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d19f9da1e4e1b7ee3f5ef5dadf4765a35f7ed24","datavalue":{"value":"Horn functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878409$54520731-A437-4E7A-A0B6-9640733F081C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$45EF64CA-4644-42D4-BF60-CE2D6424E6D6","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":"Q1878409$A18161FB-1DDB-4192-BC2F-F1560B95C78F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d13baa87efcc64bf4d107a97fef2716f9c15141","datavalue":{"value":"https://doi.org/10.1016/j.dam.2004.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878409$E62410BE-68BE-40C4-847B-D222F0B5B49B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7544b2fe2b23c12b8a9a836b0e963f3d016287a2","datavalue":{"value":"W2053451141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878409$821328AC-AA95-41DF-8394-A5934E3176E6","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":"Q1878409$FA228827-20D0-4B8E-9EC2-B5B3B8F7F267","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":"Q1878409$BC2D7ABD-7D97-4E18-8D9B-98D47CBE966B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$3DC172FA-1B14-4CF1-BD6D-781C6FC8BFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e479d55831ea03a30e0994f852f48d4fd164bec9","datavalue":{"value":{"entity-type":"item","numeric-id":4886040,"id":"Q4886040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$75528BFB-D5BF-436B-B363-AAD30C44E2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$8C5B184B-067D-4501-AE4B-7DC733343C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$C31355CE-4D22-476D-992B-7E8F44AE3324","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":"Q1878409$6C3DABAA-8088-41B6-A1E4-A794949E7421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac914eef57218a088a12da85eaf3be244f9043","datavalue":{"value":{"entity-type":"item","numeric-id":1855210,"id":"Q1855210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$AA11B01D-B593-4E40-AD2F-C97B8F359FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec6a23c3d13b88fed862805e0103394acbd1dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":4268444,"id":"Q4268444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$F5C97482-100A-488B-85C8-A123DCB415D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$866FC022-F4E1-434C-B85B-CDDE9DCB8E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28e9cd35b47487d1554d6020ce3b8a9345efb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4012209,"id":"Q4012209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$45FF9894-9D58-42F3-974A-2AC131151B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$E3761CD8-2704-4060-84AB-6E0274B91CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce4fad8d5825f8ab0db6afd9248a02e7d7b2f14","datavalue":{"value":{"entity-type":"item","numeric-id":5559213,"id":"Q5559213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$D3031000-A547-41D4-BFAB-D1B9B6C3B273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f9387997eeea20febd9fefb3865f71dcbfa8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2674205,"id":"Q2674205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878409$5C8CD1F7-1967-4974-A9F9-32BE34F9B934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32c5ea5446361d15fca1492dd846c1bfe052dec9","datavalue":{"value":"10.1016/J.DAM.2004.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878409$AFAAEA38-6749-41DD-9B20-0B32C3715791","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbc5870607bf3b185bb5b79749d04b746d94b03","datavalue":{"value":{"entity-type":"item","numeric-id":4472485,"id":"Q4472485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c972107d65937c8a84a013ff96c9edcad019b44","datavalue":{"value":{"amount":"+0.9854421615600586","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":"Q1878409$EC760394-9D7B-4072-8E15-36BC53DF648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a4265bae33b656bdd5cbb2dd2c3b73823bf51e","datavalue":{"value":{"entity-type":"item","numeric-id":1605409,"id":"Q1605409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0685a3f2e269f78aedba04dcc920779e6b04f5","datavalue":{"value":{"amount":"+0.8614981770515442","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":"Q1878409$30AC6D69-15E1-4468-B664-1D44522255DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a803327d011e6106c33ff7686f353408035a198","datavalue":{"value":{"entity-type":"item","numeric-id":4511219,"id":"Q4511219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6552a6965b6db23b47c194240aefc8db3d4ace84","datavalue":{"value":{"amount":"+0.8531567454338074","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":"Q1878409$AB7D5F29-D18B-4F19-B0F8-11F033FAE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78cdbeeacb15e04e765d7167bbc2ee21253dd494","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6501c00ed380d6f8c46216453bc1d997ed1b8182","datavalue":{"value":{"amount":"+0.8038613796234131","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":"Q1878409$BC45C0A1-F2EB-4FB3-8701-22DFC8210090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f1da0f080b09a1a88409e3d605ab851829a2d9","datavalue":{"value":{"entity-type":"item","numeric-id":2389658,"id":"Q2389658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec79aab241d5129064c526defee5fca62136b3be","datavalue":{"value":{"amount":"+0.7843759059906006","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":"Q1878409$1FE44F36-F743-4FE1-8EFD-789C3FD23419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning with ordered binary decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_with_ordered_binary_decision_diagrams"}}}}}