{"entities":{"Q3630184":{"pageid":5660090,"ns":120,"title":"Item:Q3630184","lastrevid":50670221,"modified":"2026-01-14T18:15:47Z","type":"item","id":"Q3630184","labels":{"en":{"language":"en","value":"Hybrid BDD and All-SAT Method for Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5561135"}},"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":"Q3630184$F4FC8C02-4E9D-4593-A15D-0EDD07A71BA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffec5877f661fc530cc6a25e4b66345b9015ea84","datavalue":{"value":{"text":"Hybrid BDD and All-SAT Method for Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3630184$58607B17-204E-4160-9626-CF53DE984CD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bac62c9e15457eda701fd53a85e65e097fb307fe","datavalue":{"value":"1241.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630184$F019D897-8472-48DD-8BEF-DAD921CC18C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce82eb37d91d35fcf64acb2ab60dca2ed66d27c6","datavalue":{"value":"10.1007/978-3-642-01748-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630184$F7C2B6E5-A9F2-4B91-8237-9A4704AFFB9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d868827466c885a3b5117a7ce3a645fcebffc77e","datavalue":{"value":{"entity-type":"item","numeric-id":3510815,"id":"Q3510815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$2B815E88-9560-47D3-96CF-F6C65A3EF6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$CDDBDB0B-BD64-4958-A335-B7AE40B7663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d4a48d9e606e6390cc1e5ddf7ebc665ee43fe3","datavalue":{"value":{"entity-type":"item","numeric-id":192371,"id":"Q192371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$F1722EE4-7FF6-4094-AC26-AEB65BC03A4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52e316b21516023b3c91212b97ecc639cb0869ca","datavalue":{"value":{"entity-type":"item","numeric-id":3630169,"id":"Q3630169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$9EE5E903-7A03-42A1-A21B-B9E1C8CAB6FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a6677285d8a31111cdab31d48d7dc7630c702b","datavalue":{"value":{"time":"+2009-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3630184$4FE0DD6E-C32E-4872-9DA4-20C06D55B8E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630184$A6DDAC4C-F69D-4BD5-88C3-8B7A0163FF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"238b3d3a3be90a8ed5ca6274d4ca9fdff76872b6","datavalue":{"value":"5561135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630184$5F5B9739-3F13-4531-A784-35D3C364EE5B","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":"Q3630184$74399622-3C8B-40BC-8E00-C09ECADB5B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"062708eac0855ac292bafeab4450f99dacbff29b","datavalue":{"value":{"entity-type":"item","numeric-id":12897,"id":"Q12897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$37C007FF-D6F2-4AAA-8B7F-D07D007ED754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$0E83EAD6-1C66-4A0C-B803-AC566881A2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c32dcb9fe52972c8c1162de3d932b70e48fbc5","datavalue":{"value":{"entity-type":"item","numeric-id":21577,"id":"Q21577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630184$12316D2D-00E3-451E-ABC7-DF2988C640D4","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":"Q3630184$793B4FBE-2928-49CA-9AE9-F4C069E0DC9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"118631d7739e18013a0387e02887263920f6e184","datavalue":{"value":"https://doi.org/10.1007/978-3-642-01748-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3630184$448BF2C5-77A6-4971-8F5B-C7C38DE8D723","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb008caa3cfcf0ef902874db38934a3b550020c3","datavalue":{"value":"W2154665658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630184$2F89F5C0-ABD9-4902-9513-2559E0DD6EA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05564e307a5083a6c81d193eb316b1f80be51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5493231,"id":"Q5493231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59173eaba393cf8e7972870ea01ae45fff39f33c","datavalue":{"value":{"amount":"+0.7899705767631531","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":"Q3630184$9E812BF0-CC37-4862-BFCA-2511B1110C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d226396854297d476971f2396ea8847fd33252","datavalue":{"value":{"amount":"+0.7760738134384155","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":"Q3630184$9A984D40-51C7-4EF6-B773-3F87730A459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b3eab88d6da85ac7333f808f5446f5613c138","datavalue":{"value":{"entity-type":"item","numeric-id":3512438,"id":"Q3512438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d226396854297d476971f2396ea8847fd33252","datavalue":{"value":{"amount":"+0.7760738134384155","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":"Q3630184$58404CEB-5E59-4E3F-B10D-B5964AA9965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25c5b7498ccbf23f368e610b35adddbddee4f45","datavalue":{"value":{"amount":"+0.7737393975257874","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":"Q3630184$26EEFC79-8A42-4051-8B60-A2F26664E2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c1cbc32878b4f55ff8982a1f05ee0bc694c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4737124,"id":"Q4737124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777099dedd5bfb3e48732855007f93f324254e11","datavalue":{"value":{"amount":"+0.773324191570282","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":"Q3630184$415ADAFA-D554-4C08-9A03-E26FC59444DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3630184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3630184"}}}}}