{"entities":{"Q5900711":{"pageid":8006993,"ns":120,"title":"Item:Q5900711","lastrevid":93573098,"modified":"2026-06-05T04:37:51Z","type":"item","id":"Q5900711","labels":{"en":{"language":"en","value":"Optimizing a BDD-based modal solver."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695392"}},"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":"Q5900711$E0B6BD33-0C0C-47FC-AEC2-809EE42A5039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900711$C076C940-AFB6-45A5-9428-437BB59EC239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"422399ff0ff5381b8d10fe0c7371263059419a73","datavalue":{"value":"1278.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900711$841DEF4A-ED38-4FEF-912F-FD456CE2472C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b0956e5a041aa7d158d7ea12f83ea51b059dc5","datavalue":{"value":{"entity-type":"item","numeric-id":862402,"id":"Q862402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900711$310776BF-3486-41A4-9BC9-C56A89E01F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900711$4A693884-281A-4B04-8454-4C5E81753330","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900711$A2E257BB-A635-4B1F-AFB4-C697C0C754C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900711$992CA975-4080-4B70-85B1-9FC784D8A2B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900711$D7922739-D344-4035-B4A8-0F3A5A0AB374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900711$70BD0FE8-FC1F-46D0-BB3F-D885C24F17C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ea6cf6a198d044c0a216eff929ef2cbc3c74d42","datavalue":{"value":"5695392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900711$44F19447-1F35-41A0-B76B-5D720A37DB72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900711$D34F7A73-645C-4318-971B-10E721BD22F6","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":"Q5900711$AF11D9D3-E0CC-48E1-A1EF-11B11B44326E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900711$A19283C1-8EF9-4533-AB85-7F36CC4A1F1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900711$FC8C0D89-9C7D-453E-AD5C-BCB67F5AD89F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900711$C6C409E8-03E0-4677-9753-8FB807CEA829","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a346a609ac5aaf9cd996606d65fd351fa8979a","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90d106ec1a601d49877eec443c57d42ad598ae6","datavalue":{"value":{"amount":"+0.8142995834350586","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":"Q5900711$51B58FCA-2E7F-486E-887A-A91A7BD08F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e272ad52d0da9b56c44c773fba787faafb475454","datavalue":{"value":{"entity-type":"item","numeric-id":1610668,"id":"Q1610668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4839f009ebe2c53364d478266e4ff509189d697","datavalue":{"value":{"amount":"+0.7600294351577759","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":"Q5900711$4F063DE6-6DE1-472B-912E-F0642E88F1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e310abea70f73e79039b5e1ede2952ded454c4","datavalue":{"value":{"entity-type":"item","numeric-id":2751043,"id":"Q2751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e982889e72cdb3cb63284d7099f08fced8b035","datavalue":{"value":{"amount":"+0.7591693997383118","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":"Q5900711$5EDB6969-FB56-478D-B3B0-EA30CCC74267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b09dcffae26b1a2fba078b6a9cd3bb3f33b6bb","datavalue":{"value":{"entity-type":"item","numeric-id":3192204,"id":"Q3192204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45665849173d45c74346bad4a99c7b273287bcc3","datavalue":{"value":{"amount":"+0.7461342215538025","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":"Q5900711$11C94FD6-8AAA-4605-AEAD-686C195D6D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf86346218d91a2909d6e4b8ab510804fe2b90b","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198488fa6081bc4fe5a3c52d4708c31d258a3071","datavalue":{"value":{"amount":"+0.7448624968528748","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":"Q5900711$07B701DD-E612-4DE8-828A-3A0F9EFF193B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimizing a BDD-based modal solver.","badges":[]}}}}}