{"entities":{"Q2432214":{"pageid":2442957,"ns":120,"title":"Item:Q2432214","lastrevid":74106345,"modified":"2026-04-14T18:23:17Z","type":"item","id":"Q2432214","labels":{"en":{"language":"en","value":"Concurrent software verification with states, events, and deadlocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067123"}},"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":"Q2432214$3EE0B821-84AB-4B9C-9098-A76FF6D44CDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89b70cccb89e3162cfaf60d8cead35d1c5000c4e","datavalue":{"value":{"text":"Concurrent software verification with states, events, and deadlocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432214$5BB0B38C-8B63-4C1D-BE6E-35A8CA286A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c41390d698c244a3d1b17c82bcc94eac0887e86b","datavalue":{"value":"1103.68609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432214$92DE37FB-7849-43F6-BCF5-1D26DEF4D2BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$50A761BD-3C33-4667-A775-EEB777E97835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17aa6222375e5b52844ca43f39ca6b801e31b463","datavalue":{"value":{"entity-type":"item","numeric-id":934711,"id":"Q934711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$C09E0F50-0CAF-4E96-B49F-D93B952B0F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$1DB462EC-AB72-4612-95D2-05E78BBC4629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$47F0CD5F-F279-45F7-90BF-84F85B9F6969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$715F0E30-B1B5-4620-897E-031C9E8B85CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$04AF7346-D6F7-44D2-9B46-EE60FD0F0CBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432214$45AD34C6-EE38-46C9-8DA0-2FDCD97095F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432214$3323CB89-9F07-4F97-BCE6-74707AD3CBFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfe6530dada75aca55bc648151f3ba6ba05d7771","datavalue":{"value":"5067123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432214$CD7213B4-7C95-4CA9-9A98-8BD66CF0CD31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d828af59158f5cd2b362496281af4197035aa96b","datavalue":{"value":"concurrent software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$53C3AF77-14FA-40B2-B2A0-7423D560FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$60720C7B-2039-4973-ABFC-72437BFA94E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$ED519B8A-C723-4AF8-AFCE-CCF7E879CE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75169ae8b4b91ecb641ddb85f29e0fc1a1dad05","datavalue":{"value":"states and events","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$66630D8A-C839-4E05-9236-4C744FF72B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$E54112C7-4742-4926-AAB0-56438ED7DDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$A152FB05-FC65-497D-8F84-EDE12A6479FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9197a37b01c429a80f29ce836959932820d6995e","datavalue":{"value":"counterexample-guided abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432214$4521176F-BCD3-4795-843D-A02B7EBAB73F","rank":"normal"}],"P1463":[{"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":"Q2432214$02ED182C-F7D7-4421-A462-A0935E1300F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$164EE24C-6254-4222-A241-81B2C5D3D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432214$BC052210-E795-4B5B-8AA6-9453252042C8","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":"Q2432214$B47D1B9A-4DF2-4DCB-B6BD-27FBFF2CE32A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"255116c9b47f8de16a9560a19beefb54e9e85576","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0071-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432214$9E70F651-F104-4EC5-B388-E5CEC952DA7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de8c156db2a819ad26561e25fb17cd09497b7195","datavalue":{"value":"W2159031014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432214$B4691B20-D2A9-460B-B879-4F3138A16CDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"656578424e250e4b9783acfcbee9cf9c95b11dce","datavalue":{"value":"10.1007/S00165-005-0071-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432214$00FAF1F7-9B53-4475-B338-F7881B4E8D61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0104aaf58ef966da5117103badb3415018c66a","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6bdc426d3395c9f2a925a3e9fa7e20869aa407","datavalue":{"value":{"amount":"+0.8863958120346069","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":"Q2432214$A79CB3C0-70BB-49BE-A083-3ECF521A4FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84aba27cba4c92055c44281f87fc9d14b69e1a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2845499,"id":"Q2845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38ee5cc72f886068d15c3cd3d9484e6857368e5","datavalue":{"value":{"amount":"+0.7838180661201477","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":"Q2432214$DB4DAF3D-E717-4244-9AC2-8A87406DFBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85488a3db35cf6c75e7158c8d681abd8ac29f11","datavalue":{"value":{"amount":"+0.771862268447876","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":"Q2432214$68B98DBF-747B-49CE-AA92-0D783F54F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae57df94706e64c7dc987a9e4962fc92e4537ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac75b34a58b7d344085be13c38ec173b81d4bcd","datavalue":{"value":{"amount":"+0.7668566107749939","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":"Q2432214$D9808E77-F9CC-47DF-BE28-3DE66B1B7CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefa342511ff0a38e44245db56f582114773a663","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49a4b477d2d90c4452ff87422dad227489bb4ec","datavalue":{"value":{"amount":"+0.7595061659812927","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":"Q2432214$0511D35A-29E3-4D7B-A290-382F2AAAB0E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent software verification with states, events, and deadlocks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_software_verification_with_states,_events,_and_deadlocks"}}}}}