{"entities":{"Q465485":{"pageid":467252,"ns":120,"title":"Item:Q465485","lastrevid":62033823,"modified":"2026-04-11T03:19:56Z","type":"item","id":"Q465485","labels":{"en":{"language":"en","value":"A sound and complete reasoning system for asynchronous communication with shared futures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6360844"}},"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":"Q465485$CA735C4C-F057-41E8-9336-4137D423E096","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7284f459bd827817913513d856681ee7922a1c0","datavalue":{"value":{"text":"A sound and complete reasoning system for asynchronous communication with shared futures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q465485$225CBDC9-3E5F-4EC9-AA70-EBB00D712C02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"257c30adc4ac1e0154f7dc59bde0c72097a49b2d","datavalue":{"value":"1371.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$BC0FF696-F3A6-4DB7-8F64-AB3C29699D6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dabcf3605c699f76a9aba8bae944975d978d716","datavalue":{"value":{"entity-type":"item","numeric-id":444462,"id":"Q444462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$2B88C868-B842-49C2-860C-D058C422B8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$7DFDAA22-2F00-4547-946C-C00E848AD6EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$93B4F2E9-C590-48AB-8A2D-331F6248506B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19223fa13371e3ce1b1dd08c8b63557fc81ef3f8","datavalue":{"value":{"time":"+2014-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q465485$E439AE95-C00A-4C1C-B035-412AAC3A6274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$50F5D7CC-750F-4145-9422-50C111E0B369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$C342D1F6-94C6-42F4-8B02-48FDEBD76E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$971DD386-3B51-4DE2-B46A-D204F9880154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$AA868299-3050-4459-9A2F-EED7B33852F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6fa418de367e1c4f2216d32b600403cbfc3f416","datavalue":{"value":"6360844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$3AF44B2E-045C-47B8-BDC4-F3ADDF63D509","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q465485$5AD64E21-566B-4BDE-AEF8-6E6B6D59661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q465485$352CBD7C-9D59-4EDD-8A3E-2B26399F61C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q465485$1C0B9B46-DC32-4994-845F-67BFFCA721EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q465485$8F3976BD-C1BD-4E87-95E7-5E9FECF5F9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q465485$69E2A110-58CB-47D3-AF6C-A39EB2F91DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a5464ac35837a66500e6be192c6d24bc7d2719","datavalue":{"value":"communication history","type":"string"},"datatype":"string"},"type":"statement","id":"Q465485$9D3178AD-173D-42A6-94D3-3EEBA4992DC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eaaa18f24b6429a1a7810024a01c4ad8ffcb1a","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$9419E263-D804-4F25-8983-B2BDC418E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$B7F61A2B-5ABD-469A-9760-2A1B19D6AEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2f2ac3057d2fa6b029c9f587ef99cf1ed36456","datavalue":{"value":{"entity-type":"item","numeric-id":30913,"id":"Q30913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$9AC4F310-ED55-4DC7-AFD4-88ADF198FEA1","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":"Q465485$624198C1-1A88-47F6-A04E-0A4BBEE9DFAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a824de586c481fe47cacc4dc56d5681196839e2e","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2014.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q465485$9ACD1198-8717-44D6-BE14-9F410F7EE8F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"915f6c64e90f79c21238932e19e68cdb39a63906","datavalue":{"value":"W2037688588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$58CACC1E-C061-4CF2-ABF4-5CAF04467531","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd7fc7957d854781a8ec66eda06c72149e32320","datavalue":{"value":{"entity-type":"item","numeric-id":2463558,"id":"Q2463558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$C4C61EA8-0E2C-4F65-92E0-72376D855BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94de08579fdb4600625f8e9aff865488f3125027","datavalue":{"value":{"entity-type":"item","numeric-id":3703291,"id":"Q3703291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$B7AA2549-42A4-497D-A18C-4C8061393C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a483270ba6189f7d8f63fb6fa9705bd744177c09","datavalue":{"value":{"entity-type":"item","numeric-id":4899685,"id":"Q4899685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$683A3122-E243-42B5-AC37-C367192DB7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$55671547-CB1F-405C-BE12-9FB5E94008D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$172EA619-46B3-4F33-B314-4F09B63C3F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e020ba7fd715406da6da5c129f63f6a4f81b3","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$A4DAE0C3-39EF-4C88-9857-A56EACF7D324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d064d4e12c7766b68a551508a7ad6828c281d76a","datavalue":{"value":{"entity-type":"item","numeric-id":843206,"id":"Q843206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$E3973B6D-5921-4557-A62C-0EAE9E5C8F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0143bb17c3271918d22cb266df388a036cbf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5316580,"id":"Q5316580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$9D04E192-D1EC-405F-88A0-97803494101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$5B73E574-1C07-46A7-8FEA-32C6B30D1CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdb19e4f6679e5e665ce3bf996e932965f0550a","datavalue":{"value":{"entity-type":"item","numeric-id":444466,"id":"Q444466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$38986A5B-1FF0-4B31-B8AB-32205B4E705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396b655c4dd9f268787285765ef9b66defde1a32","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$5636B609-0252-4503-8DCE-726F4FBA3F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$E6CFD3D9-4E23-48B0-A14F-83B3C887FA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd90e05299ffabba16e6c0b4c8063fd059a6f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1194205,"id":"Q1194205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$51667B64-BBC2-4EBE-912B-D57F213339C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2944180a2f21b40345233cf80053a0cf51497","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$22A92F26-C8AC-45F4-A085-1B798BBA857A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ceeca403a06d4d6cd0a3d454da656e6f4d93aba","datavalue":{"value":{"entity-type":"item","numeric-id":5899012,"id":"Q5899012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$6E091B0C-5CE8-4BF0-B7A1-53F99149A50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0035cec138513d8cc83db62d57cae66f7112281b","datavalue":{"value":{"entity-type":"item","numeric-id":4494076,"id":"Q4494076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$9F546A52-0AAA-49A8-A9E9-25D829D8F955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c63d7d6062734f982e734659a74c62e16cde5b","datavalue":{"value":{"entity-type":"item","numeric-id":1951610,"id":"Q1951610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$83BD56E6-1EE8-45C9-BED3-0FD4C79EE26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c91001aa447d31d03207dd448a16163044ea2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2864507,"id":"Q2864507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$72EC4A4E-3FDF-411D-AA0A-0B239080808D","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":"Q465485$F27E1F9B-DB35-4643-9E4C-5DC0C4665E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$48A947A4-4E63-4263-8A62-6ADD31ABB1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630329076832e4e472ac1c31f5b60a35f5a3e497","datavalue":{"value":{"entity-type":"item","numeric-id":5958463,"id":"Q5958463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465485$7A8E71A6-B780-4F1F-9893-3848F2323B97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e959ca1670052f75c85350455c5dc6e99a4366","datavalue":{"value":"10.1016/J.JLAMP.2014.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465485$95150D8B-57B2-40E3-8AF6-F0C44500E4BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d37786a44d9867d65c6ef2e2900be9098a1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":890481,"id":"Q890481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca811f612e8bb1966f91278de1469407a8eda77a","datavalue":{"value":{"amount":"+0.9243906140327454","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":"Q465485$C52DCB91-3D66-492B-BB0D-37AB0E1AE9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf03481f03cbdc43b29e118ce4b4b796f2b2b569","datavalue":{"value":{"entity-type":"item","numeric-id":4899685,"id":"Q4899685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12751b812b6e6808ebd0780e281825848b54ac62","datavalue":{"value":{"amount":"+0.9241516590118408","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":"Q465485$6FC4415F-2EE0-4193-AB9C-E30472D237BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37777c21ab4694663f4492bc143a5cce09f8914","datavalue":{"value":{"entity-type":"item","numeric-id":444466,"id":"Q444466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3bbc6d1462412dc89a01147fb937e0b67aee0f","datavalue":{"value":{"amount":"+0.8231959342956543","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":"Q465485$2D263003-5F24-48A9-868C-727DD343AB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bfd7fd85fc768f0a9d028166b6156e099961d3","datavalue":{"value":{"entity-type":"item","numeric-id":2864507,"id":"Q2864507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69396445823dec484a1ea85777b3491173eaac32","datavalue":{"value":{"amount":"+0.7491528987884521","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":"Q465485$0429BFD1-E380-4B0F-80C2-AA6D8378CBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb97e3f83ec5272303a51082d1045647fd5d665","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e93e6e12ea13e6744e68fa292856eee8882668e","datavalue":{"value":{"amount":"+0.7235532999038696","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":"Q465485$588E8343-9ED3-4D03-ABE1-70F189761DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound and complete reasoning system for asynchronous communication with shared futures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sound_and_complete_reasoning_system_for_asynchronous_communication_with_shared_futures"}}}}}