{"entities":{"Q3512438":{"pageid":5542342,"ns":120,"title":"Item:Q3512438","lastrevid":50405651,"modified":"2026-01-13T23:51:01Z","type":"item","id":"Q3512438","labels":{"en":{"language":"en","value":"A View from the Engine Room: Computational Support for Symbolic Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301048"}},"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":"Q3512438$0737660D-1F18-4B00-8352-F0E4CB09AC24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59ec543c7ca1a0e86610579cd2b47a4dd2d87349","datavalue":{"value":{"text":"A View from the Engine Room: Computational Support for Symbolic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512438$B47A8E89-D44E-4D11-9E21-3C5EC13D062A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3757df08f61c69411fae05b5c4cf095cd382858","datavalue":{"value":"1142.68430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512438$7AEC698C-C86A-4742-9880-8E03FC77A10C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97b4551ab150c6059a3339def787fb04129a0784","datavalue":{"value":"10.1007/978-3-540-69850-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512438$EC187AFC-5ADA-4100-9641-EDB7A7F02FEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$0D578474-7181-4D0A-8788-A42C8E1D2A46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"956b4a1d122f6c82a284819a7860d6861ed89000","datavalue":{"value":{"entity-type":"item","numeric-id":3512429,"id":"Q3512429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$3C69756E-5FCE-429D-8CE4-C7E6FA3E0F99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512438$21E91A08-7260-46E3-AF71-3A57B91E9F5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6311aad16c1491319a6f85f8c78952d91800043e","datavalue":{"value":"https://figshare.com/articles/journal_contribution/A_View_from_the_Engine_Room_Computational_Support_for_Symbolic_Model_Checking/6602861","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512438$4340CE85-6E99-4689-B1D5-9F2A059F34B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512438$F90EAAFD-987F-435D-AE70-4B414D653AF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2fe14c694fb4ee4928ae113095d14be1860ae7e","datavalue":{"value":"5301048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512438$F023D0F5-BE73-4E27-B7A4-7DA7B3CD35CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50df7868b28ce2198db09117dc6f3e1f57226d9b","datavalue":{"value":"capabilities of SAT solvers and BDD packages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512438$9C81E5AF-3CA2-49E1-9363-432DB8615732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512438$DD360D9C-09E4-4780-8889-56003D68564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512438$D963AC63-06A4-4EAE-B137-A111646B74D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c33c639384d201fc773de7140c0966bc75cd283","datavalue":{"value":"future perspectives of model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512438$DB319799-4E40-4372-89A6-50843DEBCED1","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":"Q3512438$44CDC424-9BB9-4B4E-A9DD-5B3324C5C5C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c11aac119b32112cf3cf7177d74733f8bd83b59","datavalue":{"value":"W1589254173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512438$D0F4EA3A-EADA-4676-896A-900E7FF15D60","rank":"normal"}],"P223":[{"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":"Q3512438$66349379-659F-4102-8F59-CB823C416598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$025FE461-90C6-432B-B075-4F08C4D01414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$1C8E7783-D074-456F-B39C-7F09D4414EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$8641D565-3346-4F00-BEBA-70D75D1FC3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$70DA89AE-6594-469F-BFE8-1E504A2DF332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b398795cd63760f2040dc793d86eddfd9dd0cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5756567,"id":"Q5756567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$67E7DCCA-4CE4-4B0C-BECA-699A81B1E633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523e82edfd9a0aed24c876473eb14deb8a7bf009","datavalue":{"value":{"entity-type":"item","numeric-id":5714752,"id":"Q5714752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$F2B56E94-5193-4311-8CCD-E3AA8CD79D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$B482EBBC-38BD-473B-BDD6-FFE57169D90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8295b5811b45283849c5e1185a4fa1729ecdf8b","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$AF1F7B88-718D-403C-B035-CC5DAA4DE13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$C58FDB95-14D5-47BD-AA33-2C8DA454431C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512438$B94CD568-3755-4635-AB65-1F5E8B856FFC","rank":"normal"}],"P1643":[{"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":"1398ad342a8fd1ee55b64f5e0298cf5cffbace5b","datavalue":{"value":{"amount":"+0.8581543564796448","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":"Q3512438$45879D5D-85F9-413F-B109-C6A86571540B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0337eec65669bdb027f080d3087ed0d70cc9320d","datavalue":{"value":{"entity-type":"item","numeric-id":4738483,"id":"Q4738483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9a33ec658746ba6f204aca2285ce9b967adb6c","datavalue":{"value":{"amount":"+0.8558636903762817","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":"Q3512438$21027DA5-63A9-4E4F-BD3D-DB060C335113","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":"afbb99d0167553f943963567b3255f55d73d5a84","datavalue":{"value":{"amount":"+0.8358684778213501","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":"Q3512438$DE014A6F-5C11-4CC6-855E-82ED148FB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"299cf4da00ca832e9cc1ca8882adce9d7864dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":2754079,"id":"Q2754079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbb99d0167553f943963567b3255f55d73d5a84","datavalue":{"value":{"amount":"+0.8358684778213501","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":"Q3512438$26E550EF-0C51-485A-BEAB-3BA576B5DAD1","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":"a07ba9650d32431dee3eab6ac2a24f88c094e515","datavalue":{"value":{"amount":"+0.8311097621917725","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":"Q3512438$4FF95F3C-D112-43E6-A51C-C6743CB47B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512438"}}}}}