{"entities":{"Q4560363":{"pageid":6589953,"ns":120,"title":"Item:Q4560363","lastrevid":89729186,"modified":"2026-06-04T18:07:09Z","type":"item","id":"Q4560363","labels":{"en":{"language":"en","value":"A compositional proof system for distributed programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992071"}},"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":"Q4560363$1E0BF4BB-D40A-41EB-8E99-3FB8A34D33AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"933183b0c78f2bb6b60a789f78b130063222ca49","datavalue":{"value":{"text":"A compositional proof system for distributed programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560363$C622F96D-19E9-4E61-83BD-999F0C9DC0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34b6eea218ce07a9681eb1ec07993ab34e20c898","datavalue":{"value":"1412.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560363$47F52F07-8BBB-4943-8E61-439B681855F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c1a681c48a65763e364fe1a6a6143d365799d62","datavalue":{"value":{"entity-type":"item","numeric-id":4560362,"id":"Q4560362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$EC669E40-0B2E-43CE-AD7E-BF34B6983747","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3debad901ba3f2473ce6548d6207f925a5175016","datavalue":{"value":{"entity-type":"item","numeric-id":4560347,"id":"Q4560347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$4F825915-A3F3-4AD0-9919-F758EEE76410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-12-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":"Q4560363$0187417A-CCBE-44C3-BDBE-0A3E94C351DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560363$66464854-9A16-46FF-BC78-F0CA7C0CB156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560363$E600290C-E67E-44D4-BE0B-959E656B47B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560363$69700C54-4294-4696-B5FE-028AF17262EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"316130cf27d322d978921d836d02cf869766a5c8","datavalue":{"value":"6992071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560363$2649518E-7A12-48E2-9776-EB2A8A2FD654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560363$B91CE375-CA1A-4770-93E0-19B95D0D7EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560363$8F7230FC-442D-40C5-A363-C2093D987C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560363$60325759-B082-425F-B9AC-2144F9751B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c431c96ea3d491f8f014949fcf17feff3b4cf9","datavalue":{"value":"memory state","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560363$E29D294A-0728-488F-A84D-93DD68EF8441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9187f2241dfcd76a7b968f537da6e37c72f7cd68","datavalue":{"value":"history variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560363$3AC5DC08-86AB-4DDD-8D3F-B5307B6B8FCB","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":"Q4560363$48E399A2-F33D-4251-A563-63E07EB5FC41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caa445425764e7875fe94e1cdad65b198ea16f3","datavalue":{"value":{"entity-type":"item","numeric-id":3969859,"id":"Q3969859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$3E483D7B-40B0-46C3-8B1E-500E9FA61945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$0B338309-4CFD-418A-B75C-7A5D526885A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$EE2B8B15-8A38-4C5B-B6D1-D0C5A9D2F061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$51EAE054-DEAC-4D75-BEC6-F8BEFC1DEF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$D21D44A4-FF42-4BEA-B433-3F69BD4E60FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e3cde2fb539502d50eb062bc0a04548ee9a5f5","datavalue":{"value":{"entity-type":"item","numeric-id":3731019,"id":"Q3731019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$77097268-A2BB-4DA3-B8D7-EE3C87E036DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264cb4154d8c3bb3f8e1aa2f7340a72963c41e8b","datavalue":{"value":{"entity-type":"item","numeric-id":796293,"id":"Q796293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$E58B2796-8222-4B90-9705-BA5284974541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$20EB1AC2-A7B2-45CC-8475-3DB79956A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea9440eeacb4ef92661b796e25523ef8bbdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$4215F470-B9BA-45EA-9318-F2001152EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b524155ca812bee0e1b7f8a0a6113b4062250caa","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$ACD2A7EB-43FD-48D2-9836-8F1113AFA6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560363$0C77ED98-8B49-4EB9-B66A-C59BDD5E0F8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c97c6765f86d3afdf04719cf65e670a263b79aa","datavalue":{"value":"10.1007/BFB0019365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560363$7294E730-399B-438B-A12D-CF9993C2D98D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2de0735a98e19f269809981a88c74ef2b07ed","datavalue":{"value":{"entity-type":"item","numeric-id":3350772,"id":"Q3350772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4ca6eb953331660e4c171e09377ed92666fbe3","datavalue":{"value":{"amount":"+0.8603018522262573","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":"Q4560363$4E61CB94-E6AB-4089-91F8-CE8B3839E1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff37d49902b9d5663ee08fe8164dedca9a14e82","datavalue":{"value":{"entity-type":"item","numeric-id":1106014,"id":"Q1106014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797fc861332d0e67d9ccf6320348491358a335a5","datavalue":{"value":{"amount":"+0.8176407814025879","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":"Q4560363$9D188602-165C-4878-8C70-D34CE37EA01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d7045f2d31c534448bdcd51e9fe2bbe8f64104","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefc7793a79cf02ac1e1476abb17d1c5565912c2","datavalue":{"value":{"amount":"+0.7980539202690125","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":"Q4560363$DE360175-BEFB-494B-9B97-463F0CDE3B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344c9f9e26dabad61dc24359e63238d6f7ec89f2","datavalue":{"value":{"entity-type":"item","numeric-id":3678655,"id":"Q3678655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a3796f02305cc603c87c7236d55ff17c6051ca","datavalue":{"value":{"amount":"+0.7926642298698425","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":"Q4560363$EF8AF4D7-E808-486E-8AE2-C0D031FE18E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd90832f869521124ada63425aa183c1a3f6ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3829057,"id":"Q3829057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfaa4bdd3bda210b92902b3f27025cd2dbecc5f","datavalue":{"value":{"amount":"+0.7914620041847229","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":"Q4560363$DB69267F-6A34-44AB-8A71-1BF5C450D76B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional proof system for distributed programs","badges":[]}}}}}