{"entities":{"Q5261538":{"pageid":7291106,"ns":120,"title":"Item:Q5261538","lastrevid":91980716,"modified":"2026-06-05T00:33:50Z","type":"item","id":"Q5261538","labels":{"en":{"language":"en","value":"Verifying distributed systems: the operational approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455632"}},"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":"Q5261538$4392C004-34A2-408C-92A3-4B7F753A8B0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98a579d296f0ad614ba56a83d71536941502bbcb","datavalue":{"value":{"text":"Verifying distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261538$4778A71D-7B1E-40C8-AF21-1D86E9790EC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1667eaeed639e8b1f51bf8446eba5ada5dfcb00b","datavalue":{"value":"1315.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$B0DF4648-1BB4-4DC9-BF27-445FA43D2BE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa9eb759bdee00764b80317e2da0bc3ddec40c20","datavalue":{"value":"10.1145/1480881.1480934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$47EC0796-D3BC-4DBC-AD99-7CC89305E5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278b7ec84df2589054024f4211d1b51f69484752","datavalue":{"value":{"entity-type":"item","numeric-id":2819675,"id":"Q2819675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261538$06AC90C4-5803-4C06-A79D-56F99368D2B2","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":"Q5261538$CA286250-FC0F-4D32-BE1B-DF66DD28A006","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":"Q5261538$0B8E93B1-FCC9-485B-8A30-D7980321D8BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$6FC53131-781F-40A9-B490-22700190CCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$5F240253-901B-4F7A-8741-1250712ADF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$6384B13A-FC8F-49AC-8A7E-56D738554472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$488ACA53-6F4F-4228-976F-5B128E6D32D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$08322E0A-3D0B-4FFE-9DE0-496B9AF23A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99112b7f817848c181ec310a52757121e2fb7edb","datavalue":{"value":"6455632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$A8434E9E-E3C0-43AE-8033-E4D2182866E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c62e3cce1123381bdf38fb354b9052f410a83c","datavalue":{"value":"distributed","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$8A9D0454-2D84-442B-94B7-66B1FFFCC33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6b61b46a9200b818ac61faf9fc61db9a4cad61e","datavalue":{"value":"ground and symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$8BB60B36-EDE4-4A10-9AA8-B02B3174FF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403299b186497807586660887d9dfc5d63782817","datavalue":{"value":"Hoare-style assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$32CEA0FC-8E9A-48F6-98DA-EF8F8462EC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$6D3387D3-98AD-412C-B135-F7DA9183E5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$CD66D386-A0B5-4899-B79B-4C2018D1716F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33f571515d1adbf5278e76bcaf07c0e824132bb0","datavalue":{"value":"infrastructure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$8125DE76-6A3D-466B-96B8-ED8D301C9A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$0228A7DA-972E-49D6-B66F-DE72B470127E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$2890D913-8015-4CA9-AEC8-FCE9A2D7CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$A818E8CD-4D5D-4937-ACB1-05D32A9BC094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b40da5533509f97968411bbd39884bdaf24a487","datavalue":{"value":"network protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$97D99986-E7AB-48CE-B503-38634E4DE106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8e841e4cc6e9002be5ed45d8dcddb3e497bd39","datavalue":{"value":"OCaml","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$074B9D4C-8784-4D78-B541-7164D1825423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$0A4524C1-617D-4FDD-B7FC-5EE328FDDA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30281b741f8ad0153ee5f8b39419b4fafdf1448e","datavalue":{"value":"persistent queue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$939FB81D-4D8B-4718-8FF9-F138544666CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$D42FC6B7-D743-46E0-A3E7-FA0520F06A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34515593d32176bc4bf4d87eaf0b06052cf5a08","datavalue":{"value":"rely/guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$2881136C-2771-4342-AE44-1163A81FCFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261538$5C2CDEF3-492A-4029-975A-F8E1E32D3A3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261538$9C3513E9-B2C9-4F96-BDBC-D41166027F70","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":"Q5261538$2ED452D0-13F6-4DB1-8ACD-3C16EDA3B7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261538$F78CDEEB-D017-4666-AA92-299C26EF5F40","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":"Q5261538$C252DFB5-6840-4C95-9D05-5B1F6ECBE938","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6363c0d72c6c4896f1f2b0c887b730e62db5b609","datavalue":{"value":"https://doi.org/10.1145/1480881.1480934","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261538$1BA70C4D-10F1-4591-B691-E8B5EA089446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d9d116c2f15a162f74031554e89c6b69268538","datavalue":{"value":"W2154937878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261538$2B073A17-C93A-4701-BE84-F5B642A94380","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcae3e73b215f587af512b675a8272b1dadcbb7","datavalue":{"value":{"amount":"+0.7152408957481384","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":"Q5261538$54A327F6-9497-4422-B4F3-1DF92EF6C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266f99ff395262b40f57410ac379ed77458ca2fb","datavalue":{"value":{"amount":"+0.7091177701950073","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":"Q5261538$AE9469EB-0371-4799-A27E-6AFB55E8078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e894f4370640765fe8d2d72578b227be58d633d","datavalue":{"value":{"entity-type":"item","numeric-id":1285659,"id":"Q1285659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3f66c6c3212845ea27e0e7a7bb07910ad989b1","datavalue":{"value":{"amount":"+0.7089492082595825","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":"Q5261538$E377BC48-974C-46AD-B3F4-505AD6D30455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54920e5d8dee18995f0d1559550145f1e6c05a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efd372a0bc46e06c108a92e4ecd2b1e146afa63","datavalue":{"value":{"amount":"+0.7084096074104309","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":"Q5261538$C5A15CAD-09D4-465F-B2BA-1A726DD9B69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983366cc153cae27be16c2535db5be25ad3578a6","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec734036698d02589640d61e9d16f18e534c6a02","datavalue":{"value":{"amount":"+0.7073063254356384","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":"Q5261538$9DA2EF2B-A046-448E-9866-4B54F2C02B4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying distributed systems: the operational approach","badges":[]}}}}}