{"entities":{"Q1332638":{"pageid":1343383,"ns":120,"title":"Item:Q1332638","lastrevid":70734411,"modified":"2026-04-13T16:24:16Z","type":"item","id":"Q1332638","labels":{"en":{"language":"en","value":"Introduction to the OBDD algorithm for the ATP community"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 627561"}},"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":"Q1332638$9A693D87-8790-4963-983A-ABA175A4712F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74f99301d87961b2b0093a12bb58930e74ebbb52","datavalue":{"value":{"text":"Introduction to the OBDD algorithm for the ATP community","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332638$71D462BE-0242-46BB-8904-535A3C4379B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14602e54e83656568a3118977d38f5333420db6d","datavalue":{"value":"0804.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332638$AF6F4C39-D365-4DC4-8AE9-55DAC87E4678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ea100fe48b904b2fcf08ac9b0d89657e198d6a9","datavalue":{"value":"10.1007/BF00881842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332638$8FD9B74B-1958-46C1-876D-311352C6D117","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332638$240E058C-D183-4EB2-B726-8894D26037CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332638$ECA73BA1-4F22-43AF-BC3C-92A8698DFA5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0b9742ce47347ab40f936186bf0b8d8c03fdc54","datavalue":{"value":{"time":"+1995-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332638$27C5C17F-02A8-4502-9A99-833B6C0B3D93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332638$036C6A5D-E28C-495E-AE23-9B1A79F7BC14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81b6eca884dddae7ee8cb8c3476370257533dc60","datavalue":{"value":"627561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332638$DA0C49A3-8DCA-4A8E-A440-4A25990006A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2440a0a284eb28a8ab07338ff7f27d086965b49c","datavalue":{"value":"propositional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332638$2F116924-AB03-45A1-AB60-964FE565027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332638$9818A6F3-C488-4893-8CF6-C42A88AC70D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e73f648603fd4c0fea8e0ea8d17c15afff9473f","datavalue":{"value":"normalized IF expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332638$0D1BB6ED-44FE-4D14-B340-15C9460B55F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6449315e364a2ca951b7e9fd8a1df73e9302e34","datavalue":{"value":{"entity-type":"item","numeric-id":33015,"id":"Q33015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332638$2CB4EA38-247D-4A15-BB7C-94877DBA4B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332638$AA7B798C-296F-4B8C-BFDF-ABDB188F4003","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":"Q1332638$DB02279A-56FC-4FBC-AD87-73566D7A1A7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332638$124B2291-8562-475C-81AC-8D5D0EF3CB74","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":"Q1332638$988B966B-6E20-4274-8F68-9FCF5E89498B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8660c5ba66b97ae18a82fbaa0457964f9317ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1343395,"id":"Q1343395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332638$F2CF7DBF-BDE4-44FB-953A-D9609BAA506B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc7d3767e9abcefeb32391764a0237f974541f54","datavalue":{"value":"https://doi.org/10.1007/bf00881842","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332638$0B1AA521-AC7F-41DF-93CF-727F0604FA16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82134ff7a332ded4b68c3625fcbfa5e89d99d466","datavalue":{"value":"W2158114636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332638$508B03CA-94B3-4C8B-BFB9-EE8EFAB7A7A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e8aefffb2860dc377eddf8a21726151305e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":2754143,"id":"Q2754143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f537dc4528a7f4d95e2eb667f76b532d204d0c","datavalue":{"value":{"amount":"+0.82039535","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":"Q1332638$9ACA0FF9-C742-4D8C-B7E9-E47A43AF6839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472924d7015dceb57255dade52a4621a8ca78f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c30776987c02071f2f67d617b3ab9242557b4c2","datavalue":{"value":{"amount":"+0.8203953","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":"Q1332638$FCC1C98E-34B6-4104-B0D3-B8378F9681A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9ac3a89ca2f48d188dcc7ee7abeb0325afa7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ca0a3b0a026142485eff2f064812f56d151285","datavalue":{"value":{"amount":"+0.8108621","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":"Q1332638$BA68752D-9A0C-461F-88DA-BA9175528C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c54ade11dc23b8fc8cedce2a36fca467537c89f","datavalue":{"value":{"entity-type":"item","numeric-id":845954,"id":"Q845954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20eab600f85c035cf7914a2b49a7e787ea702b75","datavalue":{"value":{"amount":"+0.8105171","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":"Q1332638$C5874E28-8FF6-42F4-A585-6389817BFC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de074cc96d2cc12f4fdacb256739df16e26b963c","datavalue":{"value":{"entity-type":"item","numeric-id":1625606,"id":"Q1625606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567c4073a626825d918fb9986e8038b45500ff19","datavalue":{"value":{"amount":"+0.8100409","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":"Q1332638$83EB2D69-8C6E-460F-8476-C90E68ED7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05703e77648e39b2d76722e48e28ae4094bfed6","datavalue":{"value":{"entity-type":"item","numeric-id":3460720,"id":"Q3460720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567c4073a626825d918fb9986e8038b45500ff19","datavalue":{"value":{"amount":"+0.8100409","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":"Q1332638$97A49299-EB17-45AB-9F13-D13884B27FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfab81485ed471bff36b896f23e3dac1d1eab21","datavalue":{"value":{"entity-type":"item","numeric-id":4885887,"id":"Q4885887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b78d7a9cddeda792ece9b3271ff4ed94ac97a08","datavalue":{"value":{"amount":"+0.80541325","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":"Q1332638$1B31F50F-7F9B-43DB-8EC0-D4842BD3137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e387df55cf0e70bef87d8d330f51752ab9247","datavalue":{"value":{"entity-type":"item","numeric-id":5054808,"id":"Q5054808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbcc91d589266ae8cd7025648aac573b4580d7b","datavalue":{"value":{"amount":"+0.8031322","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":"Q1332638$13FBD671-6A95-424A-8D78-42FA53699F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae6b9d014ea9fda353bbaf28f6cd24cd0bc1673","datavalue":{"value":{"entity-type":"item","numeric-id":5714748,"id":"Q5714748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899020904e3b8541ce860e75b5e3ce78f5831ab9","datavalue":{"value":{"amount":"+0.79967064","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":"Q1332638$DD46155A-63FD-44A6-B139-3366086B2E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29481a7cadcc8c753612932ad360f8be3403f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":5311101,"id":"Q5311101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfdf568b18bb2d8465d67b3a7b2bbfedea9d08a","datavalue":{"value":{"amount":"+0.7983941","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":"Q1332638$8BB3DBD4-A1C8-449E-9144-684A92BA61C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to the OBDD algorithm for the ATP community","badges":[]}}}}}