{"entities":{"Q5410702":{"pageid":7440276,"ns":120,"title":"Item:Q5410702","lastrevid":51980792,"modified":"2026-01-20T16:38:36Z","type":"item","id":"Q5410702","labels":{"en":{"language":"en","value":"Grounding synchronous deterministic concurrency in sequential programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286388"}},"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":"Q5410702$F3A612D0-FB7A-4801-9C71-C209879817FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a39b15e56a6966d8549d57d799b6857d29ed3d9","datavalue":{"value":{"text":"Grounding Synchronous Deterministic Concurrency in Sequential Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410702$7F7E7748-AC41-42FD-881F-CFA0FAC8BC0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de008200bce15f80373dfe5e2226316f172c27c5","datavalue":{"value":"1405.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$6F6DC621-EFB5-4E93-9616-A7A1A8DA7406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"911780b9eaffe3e29e2ec97d07b1ce28c4400c66","datavalue":{"value":"10.1007/978-3-642-54833-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$7CAD4A94-E4BF-420E-9516-DEF4039AF11C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df9fc7d0550119a1d93fd411470833995ab03e9","datavalue":{"value":{"entity-type":"item","numeric-id":631752,"id":"Q631752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410702$FF887BF0-F41D-4ABE-AD48-9C2F506C49A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410702$C5EACABE-1137-4388-AFFC-E4B837AC8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb896401d6ba239188dd675be6e37ae4bba1f59","datavalue":{"value":{"entity-type":"item","numeric-id":2350493,"id":"Q2350493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410702$43DD3DC0-ABF8-4996-AAEB-496075B37CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9689e5f8ed67ae45e03ccd1d462c59feca7e5e","datavalue":{"value":{"entity-type":"item","numeric-id":2075764,"id":"Q2075764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410702$3D8351C6-266A-4ECC-85A3-E0CF28212384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410702$A39C8870-F4F3-4D81-AA54-408BA4AF4993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410702$BCD4782F-6ACF-4DB7-A27C-F40DEB534BD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$FE93D85D-7B5C-4071-890B-AFD6C499FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$5539A1C6-A2C7-4222-B294-C30A1006FF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$E0F4514B-393B-495C-A5A0-6920A6BEFE5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac8d87c58bd9dac4237bb286c971fed43b47b232","datavalue":{"value":"6286388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$D6AF1528-6C8E-4945-BD1B-1BDE005AD9D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410702$2BEF912D-5B24-4964-B927-99253525987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b797c82979418e7f32ba0e10c1ca3119e67e5b","datavalue":{"value":"constructiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410702$7C1903CD-825D-4E3E-B0D5-D0550C7278DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410702$AD65A51F-3BC8-4DA7-A29C-D5FC9B3FE056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a76777cab0e972d5c960a9ff085ce4706ec481","datavalue":{"value":"Mealy reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410702$6A187313-F435-427A-8E03-30FCE5A465D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc2fb6009e792a6ba5e7250b92a32bd00b207fa","datavalue":{"value":"synchronous programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410702$1A66A3AB-858F-49BE-97B3-663B9FD35860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4ef6bb55219b1492603620068d8a307a5edee7","datavalue":{"value":"Esterel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410702$F21828AC-19F3-43ED-A107-33A1F2584E6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a7ad1390f523aa6d3752139ed2c9baccf017a3a","datavalue":{"value":{"entity-type":"item","numeric-id":21870,"id":"Q21870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410702$49CD628D-B8DE-480F-B88B-C4D93E8688DE","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":"Q5410702$0E31813C-2038-4B3A-9830-875523B36636","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61099d79a69ca4902547eb47c1c04c95e189560b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54833-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410702$D6219651-9BFF-4695-BAEA-3730D0E1540A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2294363fa7043c77c19bea91ada9e4ed8e308077","datavalue":{"value":"W34362263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410702$BB94FAF6-6800-4628-B731-693A4161A483","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c3ed6051b36d0319ea6635b97f6be07552c74c","datavalue":{"value":{"entity-type":"item","numeric-id":2350494,"id":"Q2350494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa6dc95289ab94b44a6f1a4cf4a9cdd3c574976","datavalue":{"value":{"amount":"+0.8190131783485413","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":"Q5410702$95C2BBF3-0DA7-4377-BB0B-21A505EF918E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a98f3cb62653d08e582bb7765b7940dbfd93438","datavalue":{"value":{"entity-type":"item","numeric-id":4948014,"id":"Q4948014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92db8bdde45a9602c006c962cc58bebdb0a1df9","datavalue":{"value":{"amount":"+0.737658679485321","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":"Q5410702$0F272AF4-6034-4BEE-A614-880669D3A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f44026e46209e46398735ff69d5e3d6485bc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3541010,"id":"Q3541010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92db8bdde45a9602c006c962cc58bebdb0a1df9","datavalue":{"value":{"amount":"+0.737658679485321","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":"Q5410702$B3868D0B-4F2D-4EDB-9BBF-0898E90D0EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6a0fc09082be7dd7c0908e5f84f3cc1cbaa176","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af630a49dc33b501eeedef67d294d60375ec074","datavalue":{"value":{"amount":"+0.7291759252548218","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":"Q5410702$C8CE0DC1-51ED-44FE-89E7-77577D3AE7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a4a1b43c017c9ddc140785410d5905334cfc84","datavalue":{"value":{"entity-type":"item","numeric-id":2323968,"id":"Q2323968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca3abb1dedb053ef5ca8407eb7f2d1cd646b59","datavalue":{"value":{"amount":"+0.7207592129707336","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":"Q5410702$8C947F88-CB19-46B7-BE91-174FB6EA67AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410702"}}}}}