{"entities":{"Q5082199":{"pageid":7111775,"ns":120,"title":"Item:Q5082199","lastrevid":94295966,"modified":"2026-06-05T06:27:07Z","type":"item","id":"Q5082199","labels":{"en":{"language":"en","value":"EPTL: a temporal logic for weakly consistent systems (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7542247"}},"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":"Q5082199$057EFC79-019F-40B5-B71D-2A3C07749927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b91412c60372d79467741f217b5b5f5b334cc5","datavalue":{"value":{"text":"EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082199$F66E9CF6-3387-4C4F-9B29-C29E7BF24D79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2b1baef4185ccb35f2a23e3b3073afc7981b289","datavalue":{"value":"1489.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$743C66FD-8AA5-4690-8E3E-AE90BB81262D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"791479f34ed3d72b34ad53fc23055fb8ae79617a","datavalue":{"value":"10.1007/978-3-319-60225-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$73B32F7C-C463-4EB2-AF33-24789E4536B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d65babbd461e5721614bf70afed8025a19a709","datavalue":{"value":{"entity-type":"item","numeric-id":5082198,"id":"Q5082198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082199$B5D2E2D8-40C0-4F95-B614-DC93F154D9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b3058b6a9b0f8276e2cc358bdacaeeafb46bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":2942862,"id":"Q2942862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082199$BEE2FF2D-4F0B-48CC-A1A2-EE7A0B0C4E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd285ecacf58d096d8b9380a442f8f4eb02eb08","datavalue":{"value":{"entity-type":"item","numeric-id":1386438,"id":"Q1386438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082199$5A500A42-D06E-461E-9889-10EE780677FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082199$A65FDEE8-2718-42A2-BC7C-E2E23778A236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b034a322f1ddd26cbad4d23fbb21c53158db6544","datavalue":{"value":{"time":"+2022-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082199$4E3729AF-2E23-421F-B1F1-E3452E485B7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7dd1758bd53e685b93ad6b1147bfcb3b60f9643","datavalue":{"value":"https://arxiv.org/abs/1704.05320","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082199$5527975D-5165-420C-8D46-BBE0A15BC624","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$5E868F99-DE5A-489A-880B-B031EB4A62B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$FD0D937E-CEFC-410C-BC9B-160992941621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$20762C79-C357-426C-B19B-6DCB207352B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13db1309f749a6c1c7b9f4c207beff565e025cd2","datavalue":{"value":"7542247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$60C0F7CC-46E6-4A91-B728-CACC9A039966","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082199$17DF9220-D74E-4B64-AAAE-FEFB0431F413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082199$FAD5E066-C99F-436E-BA8A-7AEDE65F47D6","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":"Q5082199$46401AE4-75A3-4DDF-B58D-395F1952E402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb9ca6cbf0b7efcad3aaae13c978ac2c3504cdbb","datavalue":{"value":"W2617715574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082199$04E9710B-7558-4EE6-8CAC-14EF29768AA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700bdaaa4a0d5d8305acc841457ad008dbcb401b","datavalue":{"value":{"amount":"+0.7366329431533813","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":"Q5082199$7D34C5EF-8154-4DA2-8BF7-D32CAFC315A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700bdaaa4a0d5d8305acc841457ad008dbcb401b","datavalue":{"value":{"amount":"+0.7366329431533813","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":"Q5082199$8D47FDF0-D6A6-4AB0-AD45-8A19CC657FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56eaf78bbf050081eecda3189ab3393392285be","datavalue":{"value":{"amount":"+0.7259494066238403","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":"Q5082199$12E7E70F-25EC-47EE-AF37-BB3E1051F211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ac3711fcb3376d0d892cd37fc6a0d863736fdb","datavalue":{"value":{"amount":"+0.7137411832809448","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":"Q5082199$171C80C1-CE28-4336-8014-4DA7CC0C5B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067d3f4f38516197238192fa90aa866ef79d8be5","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0dfe11f8f7150e94d3b00782de40c2697f2e3da","datavalue":{"value":{"amount":"+0.7134957909584045","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":"Q5082199$144C69AC-DE9E-4708-9315-6E2C4E312ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EPTL: a temporal logic for weakly consistent systems (short paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EPTL:_a_temporal_logic_for_weakly_consistent_systems_(short_paper)"}}}}}