{"entities":{"Q2281624":{"pageid":2292367,"ns":120,"title":"Item:Q2281624","lastrevid":53626061,"modified":"2026-01-25T11:12:21Z","type":"item","id":"Q2281624","labels":{"en":{"language":"en","value":"Tighter reachability criteria for deadlock-freedom analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147551"}},"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":"Q2281624$F5DCD6A4-9C98-4147-AAE1-9F560F3EFF3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bede99c7f6b9d77ca2683f0d3b9143d5a5275367","datavalue":{"value":{"text":"Tighter reachability criteria for deadlock-freedom analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281624$7F8C8CD1-3ADD-49F3-8019-F110A9C27234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6c1aff1603fc70d4c629a4e24a3d64eac1ac43f","datavalue":{"value":"1427.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281624$3A810A91-4B78-45CA-8677-86E4023941C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5e4fddab74077c63dde1be74d8c55028b33bff9","datavalue":{"value":"10.1007/978-3-319-48989-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281624$99AAA6FE-92BE-4AE2-85AD-3871E9F13579","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"203078983d22de9e3d26d90afa910c7a3f494328","datavalue":{"value":{"entity-type":"item","numeric-id":2281623,"id":"Q2281623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281624$2FA4183A-ACAE-459A-862D-82B362AE647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ee90f8cb14e30a2f979418d0943f6e0ecd4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":510896,"id":"Q510896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281624$CD71DFE6-BD77-43D3-9760-F1E231F719AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281624$46A1195E-0313-417B-AFAA-4ED9E2E2135C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281624$F40D9BA2-F6A5-445B-9F06-97BD2D08BBB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281624$58D9985D-BA45-4D5E-BF56-144B2DA83F07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebde692b1914638b160470e3b23ee0ecf56d098a","datavalue":{"value":"7147551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281624$C0029F56-A033-46EC-A80E-A5EC2E55001E","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":"Q2281624$D41D4F03-349F-4877-87D3-8D1E92A354FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1981b65e3a31e6d21119e2777d50d94feeffa026","datavalue":{"value":"https://doi.org/10.1007/978-3-319-48989-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281624$8FFD4C4E-40C8-426D-91D1-F3CF230ED61B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d95b1ae41147cf7812bbd15ac0f3bd704530c34","datavalue":{"value":"W2529513861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281624$EEF71159-8CF9-4F50-AECE-7252010082A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f068ff86d7554bbcfca76f1f9c0989e2795e89","datavalue":{"value":{"entity-type":"item","numeric-id":2418047,"id":"Q2418047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e94738ee3959031c1c5544f535d1d2502da46a","datavalue":{"value":{"amount":"+0.8145038485527039","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":"Q2281624$48DDD8A8-681A-4710-B120-A40E46F1CF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f804cf18159ddb207bf79069e1cdbb9160b6a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a434e3a8077cc269d24bc508658c2a29134e71","datavalue":{"value":{"amount":"+0.7911989092826843","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":"Q2281624$B7157464-D7BA-444E-A371-0233D6AEEBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba557452de6cd41e945789ee275d1418e1e6c07","datavalue":{"value":{"entity-type":"item","numeric-id":5166694,"id":"Q5166694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c2bddbe0ad6b7a022b650dae5dd999debd9d1f","datavalue":{"value":{"amount":"+0.7635807991027832","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":"Q2281624$5F06636F-0E9B-4205-8F8A-83BEEC94680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeb509b73a042deebca797bb04c4d9ff9979f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8555fa09c0464298e1f0b4938989bacac483d41b","datavalue":{"value":{"amount":"+0.7589134573936462","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":"Q2281624$C5942DCC-16A0-41EF-BB8C-2BDE49E005A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36277ef934a2f1711c723a22553acc727d1957f","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc171b7e4d3e1e28786d94169bd9846172244e5e","datavalue":{"value":{"amount":"+0.740587592124939","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":"Q2281624$BE278ACF-2B5D-4701-B1A3-55CB77CC503E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281624","badges":[]}}}}}