{"entities":{"Q5178996":{"pageid":7208568,"ns":120,"title":"Item:Q5178996","lastrevid":100424252,"modified":"2026-06-05T22:06:05Z","type":"item","id":"Q5178996","labels":{"en":{"language":"en","value":"Formal verification of concurrent systems via directed model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416602"}},"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":"Q5178996$1B4A4E8B-001E-4022-9957-C58CD023A630","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02572bc758e92579ec5012a4542e22e88f70bf62","datavalue":{"value":{"text":"Formal Verification of Concurrent Systems via Directed Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178996$EBC74567-C82C-4B7A-AE14-C6308377362A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35e2b223bace5cd46452b1e2470e2200d165b3a3","datavalue":{"value":"1335.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$696C3255-45DF-4EA9-B1DE-6B767FF90624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac95800f63ca0dc7cbed859c04bc082936fdb150","datavalue":{"value":{"entity-type":"item","numeric-id":856421,"id":"Q856421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$7A6D903A-AD0D-4B60-BFCD-8F810BCAB989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$A4C2A604-377C-4865-B67A-3A1284EF46A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dbfc9dbe3ed0f0280a2b4795bd7826b0fd327b2","datavalue":{"value":{"entity-type":"item","numeric-id":856422,"id":"Q856422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$D5651BD7-CF63-44BF-AD56-F238253E4F0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$0E11F5EE-E95C-4B05-9B37-7806724F6A36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178996$D92EE667-D5A2-47F9-9B82-B9390D8DF7CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$C37490AC-B1CF-4C67-B359-A0A81DCC676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$86E90306-5F1C-4524-AC94-FEAA77A48FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$91F36809-5D0D-4DEC-ABE1-7C127DF6F934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$0BFBD1B7-A421-45F2-82F8-12242A15CD42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d6948c07172d5ea88ec0ac7de08af9f2902fa16","datavalue":{"value":"6416602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$CFD02C08-CE8E-41A7-8686-3D04095B6F64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178996$63123360-25C2-4A46-834F-69A8C82FFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b6ba98ff19f3860dca8d7a4e1436857f3fff49","datavalue":{"value":"heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178996$70F2BFA3-BFC5-4563-B4E5-9EC5CA39549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178996$996996D7-6943-4A0F-AB32-1FEF974CD484","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":"Q5178996$9DCF9813-D284-42D9-BBB7-128A1C09BBF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee00a1bb42c7a601b62d608966aabb51a8cce6e1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.05.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178996$6DFBB502-DEA7-4E55-9CA2-D8CBA3D5ED9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c07e3142051710bfa2a6343441b814d2d4823eb9","datavalue":{"value":"W1982089573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$9C2DD630-6ED1-4675-8830-5942E55B5C6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78374d3e67354d92950f04b03a24bae076032bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2747744,"id":"Q2747744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$7E337F07-9DFC-4AEB-A3EA-6EEED92CE6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe58babf384effdc6e7286cbe57864826806eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4850737,"id":"Q4850737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$942091C8-72DD-4752-8B83-044D73027FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153bb26789701bea3a6125ad5ad617745b4c3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1970206,"id":"Q1970206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$3DA410AD-6F35-459B-ADA7-37CCA8A8761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$AA93ECE2-3947-4766-8B50-5842D1AE18CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$B8737045-9D36-4F19-8414-C7E4FF2EA74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$4BEDA851-4C3B-48D5-BFF3-D7BF11EFECCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a6adfc4aa428698cbb36dfa7179dec69749907","datavalue":{"value":{"entity-type":"item","numeric-id":4472244,"id":"Q4472244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$E4D18678-DBD6-454B-8470-DAD52BA1DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe9eab5a178f59aae04d52cb51eae8cec47a9e4","datavalue":{"value":{"entity-type":"item","numeric-id":2573636,"id":"Q2573636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$4624194D-F282-4024-B137-2707F2DC2905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d06e0e435cd8b20d61b491c378fcec7095efa05","datavalue":{"value":{"entity-type":"item","numeric-id":856423,"id":"Q856423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$D6C7B994-8D5E-4B29-8BB8-68BEDBF91D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$4F7C5242-4CB9-4C91-9229-7094FCD6C1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$BA57B933-0DAC-465B-BCB6-473B5B76ABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f1f3d872d72ffade3ed61bbdb1328cce6cb623","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$471C8AFD-0D34-4F3E-9308-903630D7AC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab33053a3601807104dc73b27b6f0f7afdd6e20a","datavalue":{"value":{"entity-type":"item","numeric-id":5480169,"id":"Q5480169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$0EF7AE34-41C0-4079-9408-5F59363812C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$3F00568E-78D9-4D66-85EB-BB9E053487B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178996$E97B5498-EE1F-4E23-9962-CE1D13252FCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a3264256d362fa80289fc442aa708a31d6fc0b2","datavalue":{"value":"10.1016/J.ENTCS.2007.05.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178996$7DA6CF57-CBF0-4BB6-A9E6-8C53089015EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7192efc1d9605abdf50acf080ffe4d2d7f962b","datavalue":{"value":{"entity-type":"item","numeric-id":715051,"id":"Q715051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8372d19c9654efd89b068467b2f67b8d77295181","datavalue":{"value":{"amount":"+0.8631954789161682","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":"Q5178996$2FFD6BD4-D856-4EA8-AB70-688B2014BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cf2be86523f68c880118887b593b0d05ccd043","datavalue":{"value":{"entity-type":"item","numeric-id":3617760,"id":"Q3617760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501d9c3e44a3bbb1f8d222fbcf9ae8cda64afe7f","datavalue":{"value":{"amount":"+0.8336761593818665","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":"Q5178996$9F575F32-D93E-40C3-ABF0-25984F06BB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f003fbdc5f199f0ca6f5a37ecd90cdfa733000f6","datavalue":{"value":{"entity-type":"item","numeric-id":2573636,"id":"Q2573636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba930e248ba23a70f93cf3b922797eef83f09ed","datavalue":{"value":{"amount":"+0.8029301762580872","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":"Q5178996$9DB9878C-0433-4247-A2D3-66C157F20B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5752acf3f97a0751e90d5e7d3ae78ae7ce9912c","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bb189f77f17e14b0b59b9c737b334489e142ad","datavalue":{"value":{"amount":"+0.7738538384437561","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":"Q5178996$C1D84CC9-A792-43D3-B6B8-D21300A8AB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49604908abcefaf272c0dfe01c3e106ca6109d2","datavalue":{"value":{"amount":"+0.7669149041175842","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":"Q5178996$10A9F618-35B5-42F6-92D5-BD052403B661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of concurrent systems via directed model checking","badges":[]}}}}}