{"entities":{"Q5261529":{"pageid":7291097,"ns":120,"title":"Item:Q5261529","lastrevid":52300784,"modified":"2026-01-21T09:36:03Z","type":"item","id":"Q5261529","labels":{"en":{"language":"en","value":"Local rely-guarantee reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455623"}},"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":"Q5261529$F35FB44B-8DCE-4FAD-9D63-08F783127AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77889971a024ba95b13d6896b880fc8f451f11e5","datavalue":{"value":{"text":"Local rely-guarantee reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261529$92404929-281A-4524-B65F-C21F7ACAD3D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dad2367ea6cbffbce9b19246ea9d122b8ad2497","datavalue":{"value":"1315.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$3B97EF86-5103-41CB-BB92-D3548B50FB62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"234541d9ccc00f9352488f7e38543e3440031fb3","datavalue":{"value":"10.1145/1480881.1480922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$B2E45F7D-A892-4722-9520-CFFD3E07F8F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261529$B2F2C860-D5A4-425A-983A-CE00A6DBC815","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261529$56FBE55D-0459-4796-B996-53A3BF4F0431","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261529$96C8941B-BCE3-4AC6-8978-905AF9AC6D5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$48EB9318-1F44-4E23-B0B6-9CAA41EFD251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$F3FE3636-8E2B-4D41-AF17-393EBADEC8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$8C9516C8-56C4-412F-B84F-E907D821AE11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9bd5bdc7905050516977405feb335ca6f34457e","datavalue":{"value":"6455623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$31CE892B-5F46-4DF6-8C3B-8E609B90FF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261529$EE5716EB-44D0-47B0-B004-1B7AB1F4BBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530d8493318750bf239cafa75621b06a8dbd8981","datavalue":{"value":"information hiding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261529$EFB4AC38-7F5D-4A13-99A2-C22864D1192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261529$95CAD697-5F15-49CF-843A-45B4C13CEE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48457947aba6ceac7ea11158edf9a91373bc9b9","datavalue":{"value":"rely-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261529$4912D321-7867-40FC-8B1B-FBA2E1E6E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261529$481E0FE6-D635-42AE-93BF-98FD7C7A12B8","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":"Q5261529$C8164F49-4730-47F2-8106-42DECE689138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"745e37671b856dd8b7d39b68b388bc1f01e0cda2","datavalue":{"value":"https://doi.org/10.1145/1480881.1480922","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261529$AB891E0D-523C-494F-88BE-807D1B0E4B24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2c92dc4f873c4586a199216681a40bb54eda42b","datavalue":{"value":"W2075373350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261529$6CAF63A3-787B-4E76-807F-B68121C20EA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1eeecd7e788e25b886fea63c40a8df25638bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":4621182,"id":"Q4621182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a174e54b66a563b6270737781549a2326b31c576","datavalue":{"value":{"amount":"+0.7768688201904297","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":"Q5261529$1CBC6842-97BC-4462-A55C-C84F43832D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ef30a69ca665d03e843a21e0d767dd5d67a47c","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc315348dcf67291ca897de78b8f2167676d1a79","datavalue":{"value":{"amount":"+0.7767714262008667","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":"Q5261529$F36BE395-338F-4C86-8565-DB549A27444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9fb1736b7ffdd560b4fdc31d44d0471bd97c55","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a5707f6fc4240247b6a07616e764b388da73d9","datavalue":{"value":{"amount":"+0.7691089510917664","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":"Q5261529$0FC8BCF1-7180-4358-A92A-042066F42B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042e7ee7f9f119dda6b3e70d4e4b2ca1564cc6df","datavalue":{"value":{"amount":"+0.7626156210899353","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":"Q5261529$B01E6666-6B92-4271-9296-A94B64EE4443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc67c82da59aee348697c3f513852b19701ff6d","datavalue":{"value":{"entity-type":"item","numeric-id":3558252,"id":"Q3558252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396fb78d631d3f430df1cd227bc825cf5bf98f9e","datavalue":{"value":{"amount":"+0.7602860331535339","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":"Q5261529$30B26FC2-9B4E-48BD-AE1F-D3D95A390508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261529"}}}}}