{"entities":{"Q5310653":{"pageid":7340227,"ns":120,"title":"Item:Q5310653","lastrevid":50182640,"modified":"2026-01-13T10:29:18Z","type":"item","id":"Q5310653","labels":{"en":{"language":"en","value":"Extending the theory of Owicki and Gries with a logic of progress"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200123"}},"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":"Q5310653$E4CDABAD-35D7-44B7-8879-13332B8F0F35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c98f41ab7461e7b26867baa0da379759fc57d892","datavalue":{"value":{"text":"Extending the theory of Owicki and Gries with a logic of progress","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310653$E47A801F-BEA7-4061-96BC-BFE6F24C4C20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"335fdfad2f23606c98423abf9ec6e6f584c14e02","datavalue":{"value":"1126.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310653$35DD58E8-B5AC-4505-BCA6-32433BD7EE66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf6e5467deefbdb9c226be736fb9d1c9d2d5f054","datavalue":{"value":"10.2168/LMCS-2(1:6)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310653$78E19694-7E0F-4C44-B1B5-4E071984EB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310653$C0FFA7FE-A6B2-441D-9397-DA7A939F4840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb3c7f2525f97cc34b2ad525fe818b725382927a","datavalue":{"value":{"entity-type":"item","numeric-id":4412512,"id":"Q4412512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310653$4897347F-7E28-4B9D-9038-2A4EA5A8060D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310653$3F040EA9-B8A0-4EDF-BA6E-20C609BFF451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310653$32B53F4C-348D-417A-B8F8-1D4C55AA705B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310653$C2FAD362-D23F-4713-91AD-F4F06A5E9B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310653$1B3E731F-02DE-4F4A-88A2-88178549DD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310653$CF6F9CCF-4362-4291-9B97-FC9F849E6EE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c28cbffc6dfc80cff65806614f9f28167f1038dd","datavalue":{"value":"5200123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310653$B8572E1E-2B06-41AA-BD89-8CBEA223F848","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":"Q5310653$347CC181-614C-41E7-A3BE-7004CDEBA106","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec691ca6b94f8362541f7a20d08563e9b7b24d68","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830d46396c6b50623cc2c4bd319ee110e4f9c73a","datavalue":{"value":{"amount":"+0.8042824864387512","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":"Q5310653$A2362FAC-C6AD-4FB4-BB8C-8AA93E8B9085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e72bab369df7fce4659e57c6de78470ce9ed008","datavalue":{"value":{"entity-type":"item","numeric-id":2481207,"id":"Q2481207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb456ee8c60eb4e356dc66ae87ceaae82d1a845e","datavalue":{"value":{"amount":"+0.7722949981689453","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":"Q5310653$C834F1EC-6A4A-4F13-9D79-B3C112D76CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2c13fef0e7840106ae34cab0b2e87345a59389","datavalue":{"value":{"amount":"+0.7708902359008789","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":"Q5310653$ACE2615D-007C-4144-82BA-974CE6DA8AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135f7a0031c0002118754e31fdf0b810129803c3","datavalue":{"value":{"entity-type":"item","numeric-id":5096396,"id":"Q5096396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7600bcb575f86912fc2c471963c16dfb920ad52","datavalue":{"value":{"amount":"+0.7655175924301147","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":"Q5310653$66132F84-778E-4AD1-AE14-2D582DC9A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83df204fba48b96d25944b421a5b581e31a5c93","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e581087b93fc535692079f59ed0deb2dd69b4f","datavalue":{"value":{"amount":"+0.763006329536438","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":"Q5310653$95832F69-71C8-4D55-9AFA-3C1AF81C9E9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310653"}}}}}