{"entities":{"Q5166694":{"pageid":7196266,"ns":120,"title":"Item:Q5166694","lastrevid":41766189,"modified":"2025-05-08T02:44:52Z","type":"item","id":"Q5166694","labels":{"en":{"language":"en","value":"An Expressive Framework for Verifying Deadlock Freedom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314161"}},"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":"Q5166694$F5BC7630-38DB-4BBE-9185-EDF3E9555018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cebca5a30c57046210e139863e6bb1a5f985e24","datavalue":{"value":{"text":"An Expressive Framework for Verifying Deadlock Freedom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166694$3C139978-1CD5-41AE-BFDF-BC2AD06FB3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5a1f473733db9da241c9a9f1aef16f3c1dd6980","datavalue":{"value":"1410.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166694$6CCBB27B-E63D-4860-9045-9EF572904868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ed5afe464941992ed1ea57a505ba61c3fecfe7","datavalue":{"value":"10.1007/978-3-319-02444-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166694$ADA4D1AD-A387-4B85-B878-10A8CA7875E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd8bc70676b1fab9d6fa411ccc223d4588150f8","datavalue":{"value":{"entity-type":"item","numeric-id":809947,"id":"Q809947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166694$53CC56FA-98D8-4141-BE4A-5F042221C696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166694$B78437CC-2F00-46DE-93E1-AA602D8EE31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b04c8163b20d317245b8c64ecb47f91d3502a75c","datavalue":{"value":{"entity-type":"item","numeric-id":436768,"id":"Q436768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166694$D53CE464-68DA-406D-911E-89846A660F07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166694$338D4EAF-1AE8-4427-8B2E-B1F7AED9F8F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166694$0462068F-A9CA-4093-BA66-BC655B119E9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166694$674FAAF5-1FFE-4532-A4BA-1E11B41BB045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166694$9BE0E74F-B004-4AC2-97C2-D15C4FA2BE02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"235d05904ccb10beade4579def31a2007eb6e267","datavalue":{"value":"6314161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166694$2CDBE4AF-B57C-4663-8DAB-F2B04A722627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166694$ED7178B1-A367-4E54-80F6-6714A5AB4168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166694$B317C169-7415-4843-A200-B101745ACF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166694$9305C7A8-0AAA-4ED0-913F-517720C33B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166694$F0041811-A4CF-472A-8DF5-44D12223FA7E","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":"Q5166694$A6CC9BB7-76AB-4A76-ADD5-E2F43784CE79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d1008d02278d16c116a71bbb9052bce027a3b14","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166694$6711C3EE-C662-4374-838D-0B99B2F7647A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cc636dc5e26cf9354a5a61ea0368f3b273b5c9e","datavalue":{"value":"W34985553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166694$19A4D5D6-1959-40AC-B9AD-1784F55735B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7cf928ddcd4e7ee35bfeacdc980d5e7778cce1","datavalue":{"value":{"entity-type":"item","numeric-id":2764108,"id":"Q2764108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8a140c50a16149b8cd4c2c835fa9062766f568","datavalue":{"value":{"amount":"+0.9223064","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":"Q5166694$DEDA7B9B-86DC-435F-B8CB-D1C98A48344D","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":"b648baa99fffdf943f95ba1fd59e9df006e79252","datavalue":{"value":{"amount":"+0.9215945","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":"Q5166694$F422B9B5-09FC-4A87-8D55-52471690A6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bfd1fefc631074c4b6d6d12b126c9ba192942","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abae9f4cd24f1469f4542547fda7a9d3bb35691e","datavalue":{"value":{"amount":"+0.90856445","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":"Q5166694$F6C0B423-F126-4F9B-BDB6-3EDD06A526C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33611b6d0a8f1cb11442477a9346880a9857ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1996857,"id":"Q1996857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d472fe5f2d303c5c408b43a88162692cff5ddc","datavalue":{"value":{"amount":"+0.9070455","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":"Q5166694$B594B3C5-2276-490A-85D6-A333171C2327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93821eb68cf6a1fd57eba3b57ea11c412c50a7e8","datavalue":{"value":{"entity-type":"item","numeric-id":6091402,"id":"Q6091402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d472fe5f2d303c5c408b43a88162692cff5ddc","datavalue":{"value":{"amount":"+0.9070455","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":"Q5166694$191F92A2-707F-4293-875A-3D60DC5876BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e116affd04360dd1f2efef338f59067771d7fd30","datavalue":{"value":{"entity-type":"item","numeric-id":2281624,"id":"Q2281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dc7fbb0097ffbbd4ad97eda554bd942b8b4362","datavalue":{"value":{"amount":"+0.9051493","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":"Q5166694$4D93C095-B175-400D-B4AF-C20835739E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b82021187881b4ef521e55b1d5b118fbe79734f","datavalue":{"value":{"entity-type":"item","numeric-id":3075484,"id":"Q3075484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b63abf09775ca5f08584607797ac59c630a6fc","datavalue":{"value":{"amount":"+0.90436465","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":"Q5166694$6D788B1E-12D5-4619-A43C-0B588DF5069F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166694"}}}}}