{"entities":{"Q5458319":{"pageid":7487878,"ns":120,"title":"Item:Q5458319","lastrevid":50333780,"modified":"2026-01-13T20:27:08Z","type":"item","id":"Q5458319","labels":{"en":{"language":"en","value":"Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262359"}},"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":"Q5458319$4146A2B3-02C5-4C62-AAE3-0A95E7BB5CE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfa8a4344e3c655d9e84ee3f3c45b7269871534f","datavalue":{"value":{"text":"Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458319$DD5A524B-E2E4-49E5-81D6-7A8CFD72179D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e28bfc7d4b9d9e76a05c09b206502e832168a43","datavalue":{"value":"1134.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458319$A3F7C92E-63BE-42DB-B7EC-6116B1FC0D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f3819a691a90a75f8c19269fe84280634be9cec","datavalue":{"value":"10.1007/978-3-540-78800-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458319$89514A7B-C69C-4A92-97F8-9A8409E2C046","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cceade98888683f531a914b64c3671aa7fbe275","datavalue":{"value":{"entity-type":"item","numeric-id":3421011,"id":"Q3421011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$425550F0-01B7-4F50-A48B-F87A6F0BB122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$AB792A68-BF3B-4400-81DA-F9FCE12CC87B","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":"Q5458319$40FA758D-0476-4EDD-9CE3-894A89BDF192","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":"Q5458319$32EFE6C9-0D5B-483E-9CF5-8860B094EFC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458319$EC19A180-E793-4575-9C4B-115CA0906848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458319$44D3AA9D-E58C-49B8-99E6-50CC8C812EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458319$642DD44D-39CC-4B54-A115-94D48EFB37EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e0954687ae1b231da9795d2153e3f4af9086b23","datavalue":{"value":"5262359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458319$281EBFC6-733C-450D-A9A0-DA39F6699632","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$E16EB80E-73CC-431E-B7B7-CF6B1F0DA9E0","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":"Q5458319$00312122-248D-474E-96C4-01756FA92D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff44cf58b70d5bc0053d10c7250114d798b48c92","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458319$CF661D57-7E6D-4EB3-BA1F-2EAF5CDF8827","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef1a3738343d852eeb49ff97637cb154e14c3646","datavalue":{"value":"W1546036076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458319$9AF79F9D-D25A-4101-AB3E-54B7EFB0CBEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$23D91501-9160-4799-AAF8-C78D1CA697C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$FB2AF807-9F7D-4401-B77D-DA92907B9B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$7BD4FD4E-5620-48B3-8FD2-1764AEF435DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820fe8ac0b5e920640fc8959784100fdaecd5b92","datavalue":{"value":{"entity-type":"item","numeric-id":4737006,"id":"Q4737006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$87EA486B-950D-4F44-BF54-EE9ADFD7A796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$DD2D40A3-E571-4373-8CB6-C65A0999474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d67500ad267793e5f7155f89fc3f68edea9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$BFC7D0A9-D7FD-468F-A325-FEF2D20C6E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a22f3ef20f11108b2416e81f5c1a0ef4c09783","datavalue":{"value":{"entity-type":"item","numeric-id":5458319,"id":"Q5458319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$3FD9C922-AEDC-42F2-8887-12E0F0E334CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f2f3e32b730a1afbfa6597f16ef5ef9f093f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5898614,"id":"Q5898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$BD3CBA42-9907-42EF-B354-B05313D7CE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fea3458df5ab650683f83d0d0d130c4a1833a4","datavalue":{"value":{"entity-type":"item","numeric-id":5429316,"id":"Q5429316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$474C5181-E26F-4D8F-87C3-44D17E918A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$7FBC11B0-BEDC-4AD0-BD2B-B3235C8732D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8709853eed91c9a9472fde67bcf8acf2b7be0b","datavalue":{"value":{"entity-type":"item","numeric-id":3613429,"id":"Q3613429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$8AF5A88B-0094-4DCD-AD3A-DA4B13B68407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74c1b4b01eb5401c8b784be60efc1c72a7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$6CD053F8-C1B5-4262-B941-611097BE828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1310abcb0bf6cdb448bbefe6a8a1991a31da0559","datavalue":{"value":{"entity-type":"item","numeric-id":4787228,"id":"Q4787228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$5E2E7763-1AAE-40BF-B4B9-33F368E3AFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f47ba5a8717a6135d365567dad11f6bd81cea5","datavalue":{"value":{"entity-type":"item","numeric-id":2754093,"id":"Q2754093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$FFC059AF-5F8A-4F8E-8D81-D5E77BE1A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$76CF8624-6F17-4792-ADC3-D5EAF2106B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$6512E809-5C0A-496C-AA0C-B85E627C161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89133674e76c29495bcf32ab6232930559f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$9FDD610C-F2CB-4817-A889-9993FC9B5D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42dae03215ebf7717cbd230f1a644abbc29028b7","datavalue":{"value":{"entity-type":"item","numeric-id":5466541,"id":"Q5466541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$29A791F0-3279-493F-8B52-90C128757FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$5613ABF1-DEB7-4818-A6D6-98B41DF95036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458319$0E6F3F69-28CB-4968-A8D2-AD2BF9FC54E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17dd0706d11d21d54e7c7d0abdbb8915c768722","datavalue":{"value":{"entity-type":"item","numeric-id":5898614,"id":"Q5898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ad387e99d957897ce909a2d982fb9a562e6be7","datavalue":{"value":{"amount":"+0.8650208115577698","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":"Q5458319$4D220E08-7D9A-4E9F-A5B2-8DAFAF656FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9a7fbbc8db3995ff791a022b3fe4226882006a","datavalue":{"value":{"amount":"+0.7750000953674316","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":"Q5458319$D2640682-1036-4099-97DF-2DBC12D1F9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d4ba6793633883629ff4d54ceaa476d2cd8954","datavalue":{"value":{"amount":"+0.7740047574043274","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":"Q5458319$F5242958-6A61-4DF8-9A1B-940344B7863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc120883437c10cd012114f423a1f21367d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3296318,"id":"Q3296318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b7095ca1a1f421ed91749e0d24e2706a8fed84","datavalue":{"value":{"amount":"+0.7641161680221558","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":"Q5458319$D0E476DA-3756-4556-8319-474ECA7F81BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d37d6eaf30aa6437e90fe533d66b4016224aff","datavalue":{"value":{"entity-type":"item","numeric-id":5240148,"id":"Q5240148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d34f30e2c1623053c3e95403fa04dd9c0377c2","datavalue":{"value":{"amount":"+0.7611485123634338","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":"Q5458319$5EA6E81A-5052-43A9-B034-84CF6A2AF893","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458319"}}}}}