{"entities":{"Q6164542":{"pageid":13299423,"ns":120,"title":"Item:Q6164542","lastrevid":47881870,"modified":"2026-01-02T23:33:39Z","type":"item","id":"Q6164542","labels":{"en":{"language":"en","value":"Real-time rewriting logic semantics for spatial concurrent constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719893"}},"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":"Q6164542$FEEDC09D-4985-4729-8D73-5F110E5565D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e50e10c460f0d49a6bdfa67007bbfcdd18cbb87a","datavalue":{"value":{"text":"Real-time rewriting logic semantics for spatial concurrent constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164542$96FE7B56-0E6F-43D8-B4B3-32E1BD20910F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eacae6cef02d4c8b36117c47bcb932558451d17d","datavalue":{"value":"1517.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$3A89F781-8E95-466B-99DF-D2F267D4213B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a7b80b5950eade0582ceff83e2e5036e3b49f00","datavalue":{"value":"10.1007/978-3-319-99840-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$86E2D0CD-9207-4F24-897E-4432D411CBEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0645b6e49fd32ed31d3257f8868f8a24b26c0103","datavalue":{"value":{"entity-type":"item","numeric-id":2043804,"id":"Q2043804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164542$2857E504-676C-4ABE-854E-1DC4166E6193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"108c0e43423e08036f018e1bd726c5b4b467c731","datavalue":{"value":{"entity-type":"item","numeric-id":778534,"id":"Q778534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164542$77E76AD0-775C-4A27-A67F-484E1DDD0FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164542$72A83528-6EA0-4C2B-BB8D-C97D3E3169B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164542$7B53D8AF-0B26-48B1-8B63-BC431585263A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164542$88DD0B55-3A85-4D12-8044-98D63D7D9D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164542$3FEF8396-FFFA-4CAF-A7AF-1C16BD359810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$BB19AFE1-3AF4-4DA5-A48D-400BA456179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$859FDF59-6A59-46D1-9C6B-4C155864FFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$596AB144-2C6A-4024-8260-0D2653176903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$3EC132D6-0F47-4A09-BE16-9CFE08582F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88bc1cdf2655a6cc5766cba4c48f8eff2cd8c6aa","datavalue":{"value":"7719893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$F9C56F1E-2F51-45C4-8310-D7790929437C","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":"Q6164542$5250DF45-556A-4C77-804F-5CABDBDDED92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8475235fb6e43c54db49dbdd0208b86859a5166b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99840-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164542$7ABA1D07-FF00-43FB-82AD-A5F0D3C2F1C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fd51e724964f42d10e09d32e6775650c05242a5","datavalue":{"value":"W2892050133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164542$5EC26A09-063B-4D01-8BE3-EA784ED50C14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79be44d9abcf774e8729ed3202bc1e50d190c138","datavalue":{"value":{"amount":"+0.7748309969902039","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":"Q6164542$F8153061-DEB8-498A-AC5F-39166F2E5B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f71985f7018dd603e8dea28361c13fc7c7488","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec06af270db0deba2b67870a2f9fc2b4bb86096","datavalue":{"value":{"amount":"+0.765285074710846","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":"Q6164542$C8B6C965-0A68-408F-A469-60F9500ED143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c8e4054e1eb521c9b8f86a660184b09b03fafb","datavalue":{"value":{"entity-type":"item","numeric-id":530859,"id":"Q530859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca36bb9e7ad4f9ab903a788f963e2cc5a9dc6ba","datavalue":{"value":{"amount":"+0.7588253021240234","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":"Q6164542$F9924FA6-1A00-4126-BE43-96B7C57E92DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cf1b9a825f4e02414c5205a5883c96098c8212","datavalue":{"value":{"entity-type":"item","numeric-id":1356938,"id":"Q1356938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca35cc72bac254a1941b38faf9b5e5c39e244741","datavalue":{"value":{"amount":"+0.7485471367835999","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":"Q6164542$AEA51EBA-4680-4234-9FA8-A57CA672FBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bf4e7cec3be29039b124e7af997727f9b30b50","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca35cc72bac254a1941b38faf9b5e5c39e244741","datavalue":{"value":{"amount":"+0.7485471367835999","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":"Q6164542$7385F567-CB88-4595-86E7-2A7CBAEC24EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164542","badges":[]}}}}}