{"entities":{"Q5145319":{"pageid":7174890,"ns":120,"title":"Item:Q5145319","lastrevid":100628732,"modified":"2026-06-05T22:37:21Z","type":"item","id":"Q5145319","labels":{"en":{"language":"en","value":"ReLoC: a mechanised relational logic for fine-grained concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298769"}},"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":"Q5145319$4B5D9C80-5D9D-4A08-8191-3E75306CD24A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0451f8de45ea2771d6a7335bee01bc7cf11b9f6","datavalue":{"value":{"text":"ReLoC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145319$D613A28E-70CF-4B2E-AC89-A76EE47C5BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdb5326cd86205db7cf54f8fa36a5d806e44b9cc","datavalue":{"value":"1497.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$1B3CE1B4-C056-45E2-A747-B6E0D9B248A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54a8dd753e61067c91d36eea8e7b64d980089b0","datavalue":{"value":"10.1145/3209108.3209174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$EFEA176F-71A2-49CD-A4C0-50663A2EF93E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3273012076b162816c1611f7793db2bf0c2a379d","datavalue":{"value":{"entity-type":"item","numeric-id":3119465,"id":"Q3119465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145319$7C81ED49-C30B-48F0-9512-EA54DA7735D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145319$14CF97CE-8FE2-4992-99DA-4D459948347B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145319$BCC712EB-2D77-45DE-985A-0B996097B4F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145319$7EBC6CE3-4BF2-4A1A-B4E1-6E3CF512B01B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145319$70C692D5-FB3F-4D40-96D2-6D220E511F2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$DCD2B2D8-585C-4317-B7D2-0DDA7DA35692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$E9CE751C-4D09-4312-8E49-8F0F0FED193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$40D7FBB5-C3F4-434F-B4B5-087512CF10D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$3596C8C6-63D0-4E3D-9E57-34884B0D16A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"630636eab8ebef20e546323c105243467a932935","datavalue":{"value":"7298769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$B8C89A45-5CA0-4BBF-9DA0-7AE00FF6ABD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d362568789294e0b4f519296fff9ea1b080b33","datavalue":{"value":"Iris","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145319$52FBB4C9-2016-4704-86A7-A24C19C15102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145319$808EA25A-0CF1-4C56-B170-43FF2426CF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145319$D28E426E-DFD7-426B-94CD-5982D135119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c0ff791bef59c18e0be5c681d736f264593fa9","datavalue":{"value":"fine-grained concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145319$D8D1EEA3-043B-4DAE-A95B-8F5215A2C4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145319$8EDC3981-0B8D-4434-BB03-14F1377BD07C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145319$DF266EE2-0738-440D-AD3C-35D5E8BEB67B","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":"Q5145319$06100CA9-3335-4E79-99EC-721074FEBF82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2502e0a60b54540ec32305448efbd5bc82ee7d19","datavalue":{"value":"https://doi.org/10.1145/3209108.3209174","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145319$3EE21418-F951-47A3-A9E0-334E279A097F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb62966fab34113652b1fefdb1cd67073516bb1e","datavalue":{"value":"W2798618564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$736BF486-8760-483A-8BAB-5AEAAE4BE0C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"beb6bd7a776ad387d3c2ff10ea66471410be7a1f","datavalue":{"value":"Q130855340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145319$A58C424B-9D88-49E3-8F14-1504FEA0592B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d40f9656f79cb943f1db96ffd80edd18eb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18210632c41612d5ec2867c64c9768a83453d40","datavalue":{"value":{"amount":"+0.7715637683868408","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":"Q5145319$9725DEBF-2ABC-467A-8BA1-4EE1A2E8713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b626a6ee670e60e213e9a7842a129770bc54fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74f0f95266bf10b0225e89795b41152b7866c35","datavalue":{"value":{"amount":"+0.7463530898094177","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":"Q5145319$FBD86145-B3F1-4550-9AF9-0CD36F76B542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a46eb8b7ed29459c330f11eac1e5bbe6fa9841b","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d830dd593a6de64de41282360ee233f7a77ecc","datavalue":{"value":{"amount":"+0.7350893616676331","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":"Q5145319$DEE0D60C-F9B5-42D0-A023-AFE24F2A0053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d3caa6575d2b141121826ae0c64ec6b7eba791","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d334dc94354af799f234ef9591321bf33d4d6c2","datavalue":{"value":{"amount":"+0.7350033521652222","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":"Q5145319$62D882A7-1D02-431F-AF24-75B42F1ACD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33cf822c8e8adf0d894e00a32bc577a0390f9c44","datavalue":{"value":{"entity-type":"item","numeric-id":2931809,"id":"Q2931809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929795065ef9985c86a4e2abd0bc938564e267ea","datavalue":{"value":{"amount":"+0.7327618598937988","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":"Q5145319$50FABE42-21F3-436C-93A1-4BF7F831DF0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ReLoC: a mechanised relational logic for fine-grained concurrency","badges":[]}}}}}