{"entities":{"Q2093157":{"pageid":2103900,"ns":120,"title":"Item:Q2093157","lastrevid":71325825,"modified":"2026-04-13T21:28:36Z","type":"item","id":"Q2093157","labels":{"en":{"language":"en","value":"Model checking of concurrent software systems via heuristic-guided SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612381"}},"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":"Q2093157$25CA2B1F-A227-4791-9061-ED36771C3814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9428a7ece37e0ed782aea66f94e51d0ef3a3de17","datavalue":{"value":{"text":"Model checking of concurrent software systems via heuristic-guided SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2093157$9A290F6F-6919-4DC8-862B-D2DD2A0FD8DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83632c9aef8a555a8926b4e1f1930c63547d38b7","datavalue":{"value":"1498.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$3DE6DA17-CDA8-4DF5-9259-303AB4E076C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"130e4ba1fb55113137e129340d980a504ac8c469","datavalue":{"value":"10.1007/978-3-319-68972-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$F3259E1C-FD60-4D71-876A-79446C6012EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24ded8c8d541f1e4a4b945a9397a18dce6ec659e","datavalue":{"value":{"entity-type":"item","numeric-id":832015,"id":"Q832015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093157$3D71A3E1-BD84-40BD-94F2-89301AD9B7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75c51fc34b1b317a7e03e3f5619e37da770cd338","datavalue":{"value":{"entity-type":"item","numeric-id":832016,"id":"Q832016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093157$32B15809-16A6-4D5E-8185-AB26D9D7DF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69d5bd757a3d95a6cc57425d970a46dc4d61fbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2093156,"id":"Q2093156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093157$48729531-2EB8-42CE-B4A7-1C62B471CFB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2093157$897086FD-ED73-40D6-8F57-BED9711F5612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$025EDC86-3660-4C5B-93FF-FDD24F01EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$54C7D8D3-949A-4554-BF8D-22F9F49F5DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$5421F5C8-4361-401C-863D-64E8E0E130BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eef82d17994189774cbf521d24fa5b1ad149d20","datavalue":{"value":"7612381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$949296A7-1030-48FF-BB1C-77D05F6E45C2","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":"Q2093157$A08F594D-27B0-4E61-9EA7-97905A4E41BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed957196f902c2c3e739de3f0fc1733001f55234","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68972-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2093157$E3D88F20-B98E-43F3-8FB0-084B6BBE92F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95dd772df7d86e67df07ca8d3ed3817596386ff1","datavalue":{"value":"W2763389838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093157$C2576174-2F53-437F-B997-5FECC0F52CB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3256ad244b3a9ccfeba0460511ea6c6f5138bd4b","datavalue":{"value":{"amount":"+0.9014268","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":"Q2093157$866352A9-7B71-46E1-B66B-8FF98CD295D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab3cfc5ccf1c2a3e4814d5ac0d40c2d339527d","datavalue":{"value":{"entity-type":"item","numeric-id":2958531,"id":"Q2958531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8c5a0feee4191350491caa03bc9c0581d66992","datavalue":{"value":{"amount":"+0.89664507","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":"Q2093157$10970EC4-2455-44C3-807F-84076414CDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d950088bb90a59faffa21cd48999c3c039e9ba38","datavalue":{"value":{"amount":"+0.89584786","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":"Q2093157$9F36894E-13B6-4B95-AD9D-799748E7A6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c4f105cae194a23b70d6039cfc54da41c307e2","datavalue":{"value":{"entity-type":"item","numeric-id":2982239,"id":"Q2982239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981b8e2531878708f377006700f7f5737b4edadf","datavalue":{"value":{"amount":"+0.8936734","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":"Q2093157$82BE62D2-9920-40D5-B406-E886B21592C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d47001d388616676746d4877f00d336c2fb12","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36443c9dd4e99d45b85a8800ce2bcb08f788ea4e","datavalue":{"value":{"amount":"+0.8931577","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":"Q2093157$29BC90AF-F995-4F93-8CAE-8FA627014BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03056cd6fd8a0f8a8889d3e4530069103850bc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4737126,"id":"Q4737126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7dba34b17c3d1970bffecd3a68a3ec022dca34e","datavalue":{"value":{"amount":"+0.8917366","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":"Q2093157$0C5090AC-9689-44EB-BE95-74E979424E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac33a980621c04c222f42ae6e1b8b464770fed0","datavalue":{"value":{"amount":"+0.89103174","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":"Q2093157$EA5F476A-E933-47A5-A555-C7EC22987F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea998b4dbd6cfec763a611cba349b97f0f9aea4e","datavalue":{"value":{"amount":"+0.8904201","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":"Q2093157$ABBF0E0E-0A17-4B2D-A98F-58BC9E9F5F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking of concurrent software systems via heuristic-guided SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_of_concurrent_software_systems_via_heuristic-guided_SAT_solving"}}}}}