{"entities":{"Q4282003":{"pageid":6311604,"ns":120,"title":"Item:Q4282003","lastrevid":39845550,"modified":"2025-01-27T18:51:11Z","type":"item","id":"Q4282003","labels":{"en":{"language":"en","value":"Specification and Proof in Real Time CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 514160"}},"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":"Q4282003$7B8DF29F-E8D1-4566-B2FB-1A508FE8D43B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6c87e49933def998e9c60a814136b58f1c24771","datavalue":{"value":{"text":"Specification and Proof in Real Time CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4282003$FFB12536-61A8-4B3C-B902-564726291ED1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58e3bff1cc27dadbccad93e23d79d43be97ae21f","datavalue":{"value":"0820.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$92AB369D-9BE1-4AF8-ABEC-52CD0BAD8E91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5245cf251b97fa00f7d0ca1306eccf1549307d7c","datavalue":{"value":"10.1017/CBO9780511569760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$F349E368-E51A-4840-B20D-9A58B05F842C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78130983bf8b054e153a8b116b40b9dc92b0cad0","datavalue":{"value":{"entity-type":"item","numeric-id":674190,"id":"Q674190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282003$F6C1ED48-9450-41FF-81AA-F5060437F175","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ece7c460c78874e314a441f2bb630645a5e7532","datavalue":{"value":{"time":"+1994-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282003$AC4225F2-48C7-4904-AA67-C2CDAD01C264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$ADCED06E-0687-4D6A-873E-2E0EFB5535B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$087DD6B3-A237-4CEF-B87B-2623BB9AFD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$0E606ECD-5250-450B-A6A4-1FD85FC0C524","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53667b90179bae47a3917457de91878c99937478","datavalue":{"value":"514160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$A2072688-97AB-462A-8FB5-32CD90D69666","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767d7aaa93135e148ad74e6d303b8eaf48e20338","datavalue":{"value":"timed process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282003$6A2F267B-74F6-4462-B792-074BB5D184B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282003$71176C29-6CEB-451F-AE0B-8FF4E3762A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282003$2E2BBC76-D86B-49B4-BEF1-FD805067A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a407858cacfb8883e0f1bc0409e241facb4fdc17","datavalue":{"value":"broadcast concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282003$3B17ADA7-D142-4E2B-99C3-E500572A8AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282003$78EA3192-9279-4394-99CA-090FA45E37E5","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":"Q4282003$17407555-1E76-4BB6-8062-BFCFBE5A2E47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41fd520a217e1fc3a6b96080921465c752cbc143","datavalue":{"value":"https://doi.org/10.1017/cbo9780511569760","type":"string"},"datatype":"url"},"type":"statement","id":"Q4282003$86CED734-8B11-4E54-8817-E121F05837B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"752fe8f5e534df8f2b7f375ca8783fd62c64e139","datavalue":{"value":"W1985660652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282003$8012CF7E-5E3B-4567-8129-32C3F0B169B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103cba6e5f40e5da621232bdd9fc61950a6a27ee","datavalue":{"value":{"entity-type":"item","numeric-id":2576580,"id":"Q2576580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c0aa2f1f54513fc83bbb68c217eea639ca9536","datavalue":{"value":{"amount":"+0.8797895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$C3C29D9B-5C98-49D9-8089-1613042F01B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259bfef6df360eaefa28efa7e9c541047372389","datavalue":{"value":{"entity-type":"item","numeric-id":5887513,"id":"Q5887513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0528810dc8fb86ee3bb8bbf0a0a1e68247a63c3","datavalue":{"value":{"amount":"+0.8708842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$09229723-F9C0-4AA4-8BC8-EF6B901519B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bb69bda6a5c3fb7e34f516df78aefa606e1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4003544,"id":"Q4003544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89664676b329e46a41ddd5bec1eea4f42ec39958","datavalue":{"value":{"amount":"+0.8700153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$D803F938-2814-4306-9C41-FB4886E20FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a114636c32a4e2830354506584b28ec6be820a3","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b5de0adb05ca4e6c40dc4bf8ebb6ea7854a88f","datavalue":{"value":{"amount":"+0.8697866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$C0B60BAD-92A9-480A-9921-F7A3A41E65C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1d0edad1cf17af03e119c319453b1c3625ff74","datavalue":{"value":{"entity-type":"item","numeric-id":5493225,"id":"Q5493225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b16f71570828957995b3d34ce1da62c12b87ef1","datavalue":{"value":{"amount":"+0.8696531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$F01A3F70-9074-42D9-86DA-5D53C74730B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b98918d6f1d236fa8d7ebafdbd3c0eb39952a11","datavalue":{"value":{"entity-type":"item","numeric-id":5890049,"id":"Q5890049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833fc734829d7c7dbb27a2df63d3084b07d8b72f","datavalue":{"value":{"amount":"+0.86607105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$F37780E4-77C0-4AA7-9EDC-EF8D4393F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f785f55440ab41e75cb740e4095af92f5ac326d8","datavalue":{"value":{"amount":"+0.8634699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$F8B6831E-EBE7-4374-A268-60F51DCC02BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a14d21ab10836264c15d51494a3c642a02b4eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e55cd9324349a0f608ab3fd7edfcba4bcda34a3","datavalue":{"value":{"amount":"+0.85831875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$7B419E64-5E13-429C-A58B-F2F0E39B9E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b55dab8d3e90c6ac171c588d9fb6b3bff946ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5465010,"id":"Q5465010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6981d153755cf1165a112da70d0d617427a60d","datavalue":{"value":{"amount":"+0.8562899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282003$C659EDDE-CF70-41E3-BDE7-8E9F35BDCC0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282003"}}}}}