{"entities":{"Q2848423":{"pageid":2859143,"ns":120,"title":"Item:Q2848423","lastrevid":51834095,"modified":"2026-01-20T06:49:27Z","type":"item","id":"Q2848423","labels":{"en":{"language":"en","value":"Truly concurrent logic via in-between specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211915"}},"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":"Q2848423$7D87D7A5-6F79-455D-AD49-3803D4FB7FF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c2509fea1a5995bf142eadb625f9a6b834b26e8","datavalue":{"value":"1272.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848423$AF8CF8CC-9B93-47D8-916A-69776D7BD085","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53a1b6d657a313d821fc95ffbd031bf25b21a83d","datavalue":{"value":{"entity-type":"item","numeric-id":1277923,"id":"Q1277923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848423$D60B1B82-FC8F-455B-864E-11174D2435A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848423$B8F6A54C-79F2-4B38-A3DE-24B1D21C902D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cee5d15cecfd77adb26411ff0eb09e57cb70e103","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002458","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848423$00FAB38D-9ADA-40D6-B362-F5759C6A188D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848423$F54883F9-25CA-4F4A-B8A1-62BD1FE650F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848423$9C1A8C76-C8DE-4F28-96C4-406426CDD0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848423$D46D785E-C21E-4E01-B21D-BF6C48BD12F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7115466f37811130921270f4b95629c6dff5e8c7","datavalue":{"value":"6211915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848423$DEC5A0D4-A5A3-426D-AE3E-1A5483BB88AE","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":"Q2848423$B6A4D866-3C90-4C6B-B19E-6833FBF82BFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df48c2b15f1de883b77dbfc6f658dc31a10dfd08","datavalue":{"value":{"text":"Truly concurrent logic via in-between specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848423$8A1D3035-4154-4E58-BEE9-F4C8B4EF7DE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80dff32e03f11cd2e067fc4f19317f0fe7cca91","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1aab9566919abadb9dc335575f4012088baa58c","datavalue":{"value":{"amount":"+0.8269475102424622","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":"Q2848423$048FD856-C94B-4673-A048-BC02E06C8670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e634edac656c8abd407fda4f697b3b47f629581","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99629cad0c99466d47b3f517511e15f2f2b82e23","datavalue":{"value":{"amount":"+0.8241634964942932","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":"Q2848423$A817BBF2-2F9A-4196-9ECB-AD58241E4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be6e4690953a4de13c020298adf5656f1868960","datavalue":{"value":{"entity-type":"item","numeric-id":3358716,"id":"Q3358716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57eeae458ee5d5a5cef37f095441ff325d9095c8","datavalue":{"value":{"amount":"+0.7509391903877258","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":"Q2848423$8415681F-C880-4EEF-A160-C3EDFC486957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7db0016ebee03f35aa9e571863de2983168f63b","datavalue":{"value":{"entity-type":"item","numeric-id":4281659,"id":"Q4281659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd63ff158cf3cbefcb0f2bc60e17146a47e7cda","datavalue":{"value":{"amount":"+0.7408811450004578","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":"Q2848423$2AFD4454-549F-49D7-987D-4D4322CA6154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fee3f52920a8fadd8a64a81e90da53fea35785","datavalue":{"value":{"entity-type":"item","numeric-id":4035260,"id":"Q4035260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd63ff158cf3cbefcb0f2bc60e17146a47e7cda","datavalue":{"value":{"amount":"+0.7408811450004578","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":"Q2848423$F54CA5DA-AE35-4B2A-AF00-256017DBA123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848423"}}}}}