{"entities":{"Q6091402":{"pageid":13225709,"ns":120,"title":"Item:Q6091402","lastrevid":57588930,"modified":"2026-03-31T12:49:51Z","type":"item","id":"Q6091402","labels":{"en":{"language":"en","value":"Checking deadlock-freedom of parametric component-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770652"}},"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":"Q6091402$A6AA8A94-B2F3-4DDA-8BDD-3C7067036550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b739b6107d07db16d2ec387391a4a082f253e15","datavalue":{"value":{"text":"Checking deadlock-freedom of parametric component-based systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091402$C502F450-B5FC-4E44-BBC2-877430105597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f399c7182ae8f6ca6f7f228b1a944bd71b598d6","datavalue":{"value":"1527.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091402$1BBF734E-52E8-4775-8186-1DD3F7313971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c27b01b5fcd038656736b0a766dd80dd063298bd","datavalue":{"value":"10.1007/978-3-030-17465-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091402$E224AA1E-7BD4-4D40-8C7E-6A35EA74BE0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091402$F7852152-4B79-46E9-884C-F89628F6E2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091402$40FCD2BE-F2BC-429D-AFEE-05E030257B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091402$B6031F9D-38F5-4F72-A5F1-C48C66157BD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091402$145D307F-1434-4429-968A-59130CEC29BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091402$27C8C0B3-DEFB-411C-A62F-801C27ECDDA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091402$42EAAAED-E525-4DFC-8D2B-E96E09AAF3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091402$7F6ADD4A-8E21-4B41-A4A6-63F1812756C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf4e8c1c4ffaa07217cc7a3508efdbbb56fc7e36","datavalue":{"value":"7770652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091402$437C023F-010D-4724-92E3-B87564FEF128","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":"Q6091402$B059FCE5-762F-4FC6-AE9D-3628EC081FA4","rank":"normal"}],"P1643":[{"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":"3ddc53ac8dcd926eec5f47e20498f7749f6959b1","datavalue":{"value":{"amount":"+0.9959880709648132","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":"Q6091402$5AEF45A0-3E1A-4E4E-BB8C-600C31CB331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7813e124882fa412b92f75865e5c35a0db599d","datavalue":{"value":{"entity-type":"item","numeric-id":5448822,"id":"Q5448822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063ad0bab82f9642cfb92c912ad35a4edacf07b9","datavalue":{"value":{"amount":"+0.7730135321617126","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":"Q6091402$DF593CE3-6ACB-4E01-9A7B-3553541FD58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c2c14f72237860549681ca2e4282ab4f5cca39","datavalue":{"value":{"entity-type":"item","numeric-id":2699967,"id":"Q2699967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a99dc2a584360a8889d6ecefe511313baed3f81","datavalue":{"value":{"amount":"+0.7470012307167053","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":"Q6091402$2B5FFE15-EE26-429C-8111-E2AEC81F46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea450aec116d237ae3bb018e8755010929b599a","datavalue":{"value":{"entity-type":"item","numeric-id":2441719,"id":"Q2441719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779fa7994b7be8e1b6f775997c30f350ef77abdb","datavalue":{"value":{"amount":"+0.7389828562736511","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":"Q6091402$9C49B853-0C37-4D57-8D00-8EF82BCD5BCB","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":"fa8bee6179706e15bca1b1689bc92f6138bcfe53","datavalue":{"value":{"amount":"+0.7379225492477417","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":"Q6091402$B696C67B-8BFC-4281-BFB6-B3DFFDEACB28","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091402$B45D1CF8-0D9B-4B03-B9EC-751B4E4E8A9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091402"}}}}}