{"entities":{"Q3434726":{"pageid":3445429,"ns":120,"title":"Item:Q3434726","lastrevid":50085736,"modified":"2026-01-12T22:05:11Z","type":"item","id":"Q3434726","labels":{"en":{"language":"en","value":"Extended Resolution Proofs for Conjoining BDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148765"}},"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":"Q3434726$A8332691-8EA7-484A-9C0B-98D99F59F971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4980bb13bcedc778daf02e10ee132c637e13c20d","datavalue":{"value":{"text":"Extended Resolution Proofs for Conjoining BDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434726$3E0C2945-3EB1-411C-A202-C6EE16A3FBA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2611bfaab2db1b4a260b1bff6c4dc3a14bfd8005","datavalue":{"value":"1185.68635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434726$DFCDC548-C588-4631-A6A5-10C21A93D851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b055612c664ba29eac8c8f762f0432ea5b35943","datavalue":{"value":"10.1007/11753728_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434726$EFA1496C-FB17-4B71-9C19-E132CE0FCC9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$45557783-3F2A-4765-989A-61CF06987FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$AC5B103E-6F90-438C-B061-020E66BC6B5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$4459002B-294E-4FE3-97AB-FD57FB79C49A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434726$062A3D5B-5147-4F86-B7DF-9EB0E59EF8C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434726$214F299A-5BD2-48CC-8F60-F9F7E912A3CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c450ed696b7aae92d282de6ed7f57dd2ffa8fc6","datavalue":{"value":"5148765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434726$21C31FB1-44EE-4D14-875F-66262D56847E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$AC5E3121-CD45-4716-997A-B1877E517AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$4E647132-3040-4435-BE99-C3ADF7614F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dcb3eb788c3316c4e3a6808f3e7a570544894","datavalue":{"value":{"entity-type":"item","numeric-id":13575,"id":"Q13575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$ECA2052E-FD7C-41A4-B94C-BED60274FF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$0823C3FE-100F-4010-908E-70590234BB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$6C893F77-201F-4C2C-8A1F-680E3BFBDD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fde14699ec3921b2ddfda23b9fc31ea095df40a7","datavalue":{"value":{"entity-type":"item","numeric-id":21011,"id":"Q21011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434726$0BD6FCFD-2189-472F-BC70-0FBB59C478E4","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":"Q3434726$5D5DC5AF-F030-49AF-B6B1-F36C48A6D45B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5543c7437a198619c31b1eaf98a787968ef528fb","datavalue":{"value":"https://doi.org/10.1007/11753728_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434726$DCD781AA-BC48-4609-B696-6198415D2469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5506733f6b221ced276422533b6d2d05aa96290b","datavalue":{"value":"W1800789167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434726$C2882D62-B80A-49D0-86C1-223FC5712517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6b71d42a3a8ceb471b63787d9b0915812405e8","datavalue":{"value":{"entity-type":"item","numeric-id":2044191,"id":"Q2044191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd79d22d0f73f635eaad6e1ee06744170ff137c","datavalue":{"value":{"amount":"+0.8548945188522339","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":"Q3434726$86B4BD74-A49E-4F37-A0ED-CBE498411C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ca28bbd0026f0ab61292d39747a92f0976141a","datavalue":{"value":{"entity-type":"item","numeric-id":2478427,"id":"Q2478427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3870c94e9af24f7dd01779ad4622b53ae17f37a8","datavalue":{"value":{"amount":"+0.8514882326126099","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":"Q3434726$01BD32DC-DD85-49CB-9F0B-B583D41B7F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb101889724353cd33618c660b8363d0833f238","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe417d0a421ad3ccf7249b277ee02bc6036a298","datavalue":{"value":{"amount":"+0.8160769939422607","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":"Q3434726$76A8CC5E-BB5F-4051-886A-0AD21D3A863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c8b6c72f6725d976dca18e6f934175ea317db5","datavalue":{"value":{"entity-type":"item","numeric-id":1408378,"id":"Q1408378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd93a0b2d84e9932fe13a01225b47abc16f2ef4","datavalue":{"value":{"amount":"+0.803504467010498","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":"Q3434726$22203A59-7C65-48DD-AC7C-5FC240085442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667a1ebce6a138bdd5627aebbc3fd63ed549c524","datavalue":{"value":{"entity-type":"item","numeric-id":3043797,"id":"Q3043797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b21db4cbda367faef064dc8c64d9af067e5ef4","datavalue":{"value":{"amount":"+0.7927830815315247","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":"Q3434726$E81D1517-B463-481C-ADC4-C9A5395CD047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434726"}}}}}