{"entities":{"Q3066104":{"pageid":3076820,"ns":120,"title":"Item:Q3066104","lastrevid":79961882,"modified":"2026-05-06T15:07:07Z","type":"item","id":"Q3066104","labels":{"en":{"language":"en","value":"An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834044"}},"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":"Q3066104$94354E9B-6485-415C-9C8B-507693900597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c9248ad8a2c803cb971948aeb15e7a5599a7860","datavalue":{"value":{"text":"An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066104$BBCAE6D2-8F3F-4E5F-81BF-F6733D8CED70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb33047c2304b67f873b7efee28ca53ce3c0cb9a","datavalue":{"value":"1311.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$2FAE4920-6B37-412A-AA06-0E0EE991CD64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ea42215cb7294cdfbf611432c2811a3a3743168","datavalue":{"value":"10.1007/978-3-642-17511-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$C1137196-1D81-48C0-87FD-2B2E87F8CE45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a66717a63b092720d665f79aed5a82493d80c649","datavalue":{"value":{"entity-type":"item","numeric-id":2900261,"id":"Q2900261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066104$28D8D210-4584-4957-A723-C4AB70972455","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066104$7837E49E-2800-412E-ACE6-9E4C29ACD85A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066104$4AA81B60-8417-4509-AB3F-50C4E42D330F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$919AA787-7317-4554-951A-235D9FEA2FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$564DA6E7-7036-40D1-889E-4F45FE548597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$52DEDA4B-CCC3-4CDC-81A3-0313E0883B02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76de9ccc224ef24acc39a165ec436f0105a1db16","datavalue":{"value":"5834044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$E531DE2F-A9AD-4FC2-93EA-C04972633E45","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":"Q3066104$AC4A803A-72F3-4B13-84EF-65DE182F41B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b0108f3afbf12f471b932502b568edcdae25b34","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066104$5AF407D9-C9E6-45A3-B882-54CD04B8A8BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fabeff69a8584dc0db14c47e2744c1f1803bafa","datavalue":{"value":"W1533940954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066104$E91B957E-CACC-407A-BFDD-4BF878388181","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f5f9fb972f9bc3469c5ae580a15257c2af47dc","datavalue":{"value":{"entity-type":"item","numeric-id":1417378,"id":"Q1417378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fceb63f9abc4c5186f84ab725f377521fecf649","datavalue":{"value":{"amount":"+0.7527075409889221","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":"Q3066104$07F1940D-AF18-4053-8972-1554859F0B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1525be6cc1454823f6b8c37a68d80edec2b02820","datavalue":{"value":{"entity-type":"item","numeric-id":5570684,"id":"Q5570684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0dd154e3338884ce68fa8f407414e722690c5c","datavalue":{"value":{"amount":"+0.7362100481987","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":"Q3066104$155E23D6-2FE1-4D22-B30F-43731C507DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d707bf4614787ebcc0b4b37dc4aad5a2c983e03","datavalue":{"value":{"entity-type":"item","numeric-id":4834625,"id":"Q4834625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed53a8a914bd066059230e34bdc31b98ee2ccf5","datavalue":{"value":{"amount":"+0.7259215712547302","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":"Q3066104$44AD34E5-3711-47E0-982D-97ABF0B6E436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73852ef1f9ed476a11b1577e7f78fdbd6fc1cd2c","datavalue":{"value":{"entity-type":"item","numeric-id":3134610,"id":"Q3134610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dbc4c9865b016187d1b3eb4fda82b0e9ec1d18","datavalue":{"value":{"amount":"+0.7233771085739136","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":"Q3066104$616E4E4A-4DFD-4920-8627-5783082C951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91bde7a0f1f0f2026696d43a9ad56c3b244be7e","datavalue":{"value":{"entity-type":"item","numeric-id":676895,"id":"Q676895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8855d302a11d82477a0ca3be7b39975ecbee43","datavalue":{"value":{"amount":"+0.72060626745224","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":"Q3066104$42BFB857-23D7-4FC4-ADDC-AF97FD30C3F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory","badges":[]}}}}}