{"entities":{"Q2904614":{"pageid":2915339,"ns":120,"title":"Item:Q2904614","lastrevid":58054986,"modified":"2026-04-03T15:17:51Z","type":"item","id":"Q2904614","labels":{"en":{"language":"en","value":"Software model checking with explicit scheduler and symbolic threads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066136"}},"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":"Q2904614$4E1732E7-76E0-4B13-A41E-7500049A1EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ebaad4c923fd089badee1b652d792f4264a7cb6","datavalue":{"value":"1254.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$4E52D5C7-2611-4B3C-8498-C582AE94E4DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cede6a7b2671ea1bf4490d2023c60d70d1dda604","datavalue":{"value":"10.2168/LMCS-8(2:18)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$47411C3A-032C-490B-BB31-521A5698B0D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$1E38C6CE-7FE3-4440-A609-C74758E56325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8a0b2c2ea0a639677f07e69a214078be202224a","datavalue":{"value":{"entity-type":"item","numeric-id":2904613,"id":"Q2904613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$24FA578A-D6C7-47B8-9F6E-61A6B9E4F202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$DE98DAFB-1189-439C-A562-6767D4706D9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$DB27CB6A-ADF9-4143-9D34-05497D38A9A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d6e2cc55c86aeaf01079a3703218502664deb6","datavalue":{"value":{"time":"+2012-08-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":"Q2904614$BF0BA1D4-E1DE-4F70-85C8-D886DB27A9C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1369d1baac0c23b325df5d0830ea394d8e3e2af9","datavalue":{"value":"https://arxiv.org/abs/1206.3182","type":"string"},"datatype":"url"},"type":"statement","id":"Q2904614$814008EF-D524-437D-80B0-1DB2FB63903F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$E5772CF6-2899-456E-949E-BEDED12D2BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$CEDD3A7E-F8AB-49D5-A075-9C96642D4EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"995bb2aed901a24f0bf74de891d998bcffb980b2","datavalue":{"value":"6066136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$8B804E6D-15AF-48AD-B061-98B334E79ED3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904614$FA7F534B-3948-4576-8E33-F694063D4D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e212d89122e701a32456facd16b296e210cb91","datavalue":{"value":"counter-example guided abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904614$E74C0CC5-F39F-45A6-80DD-2926E391E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf1a56ff119e1c00ac3efe7d43043941efa3763","datavalue":{"value":"lazy predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904614$E49247F6-1D4B-462D-B5E4-3D5355556629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2eaf87855db634f1cd9b3be4c62ed304cb131b3","datavalue":{"value":"multi-threaded program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904614$D78814D8-0477-4FFB-A04D-5EBD0C358F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc3d3e3e0085575e218b579cce7695cbe5b28b4","datavalue":{"value":"partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904614$7F94C4EF-729C-4F87-B26F-70617A5F16DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f98c4b564db6ae968690eb76e4f4bd2b5bc5739","datavalue":{"value":{"entity-type":"item","numeric-id":19825,"id":"Q19825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$8404F5D7-8D29-45BC-B342-765FC95313F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$07477E13-4155-497A-B035-8E32AB8B82B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$1334F3C1-8F49-45A8-86A4-E24A18C4E065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12def4ad4ba89d861ba79ffd9058a10d3727f16f","datavalue":{"value":{"entity-type":"item","numeric-id":26813,"id":"Q26813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$51D3F012-C786-437D-81DC-F175B717C756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$688EDAB8-EDFC-48C1-A197-918FEF04A131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$C8329643-5319-401D-B1BD-82C7364360CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904614$34CBA35A-100D-4496-9023-608AE05A6494","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":"Q2904614$64CD3A0B-20FB-4B97-8467-66FF126A0F46","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de2279469ac285ed4cf92ff0f3269a8ee7799cb5","datavalue":{"value":"Q62041199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$5F91FCFE-83A9-4C49-9F7B-59DB67EBB106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4cd3d6cbe644b11a61330f198733131bae5edcf","datavalue":{"value":"W2093827182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904614$177A68AC-152D-46D6-A114-075E147E9740","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f20473b77765f25241df8708eaf5555b64374d7","datavalue":{"value":{"text":"Software model checking with explicit scheduler and symbolic threads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904614$C5C6B9BF-F5A9-4413-87C3-1D2A41401499","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262eb4e04752549955ff7173891736d1825b653a","datavalue":{"value":{"amount":"+0.7873181104660034","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":"Q2904614$7C5258C3-0D7F-4F3A-8360-537450816DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e0b6f08880d63b9b431c0b2f9541a7a374d400","datavalue":{"value":{"amount":"+0.7520174980163574","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":"Q2904614$FC2C9694-2C6B-4385-8C69-1FE85C9E554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a612fbdd8dd023140c1134671601f072bbc161e1","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1616e132af448f147136dddf4976167b288113e","datavalue":{"value":{"amount":"+0.7449585199356079","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":"Q2904614$A88F8957-A969-4726-A158-FF0EEC0FA6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b866143dc8dd635c513c807a3bd774ddf82c727","datavalue":{"value":{"amount":"+0.742139995098114","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":"Q2904614$B50A93CE-E6AA-462F-97AA-A20ABCCC2B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c693935527fafb22328f44f307e4e22640f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1573c62fc087d6e8c0c513b03d740868e8fd814b","datavalue":{"value":{"amount":"+0.7413392663002014","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":"Q2904614$9498AB63-726F-4F90-B8B6-62E08B3AF641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904614"}}}}}