{"entities":{"Q2850665":{"pageid":2861385,"ns":120,"title":"Item:Q2850665","lastrevid":79474418,"modified":"2026-05-06T13:59:47Z","type":"item","id":"Q2850665","labels":{"en":{"language":"en","value":"An input/output semantics for distributed program equivalence reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212869"}},"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":"Q2850665$1FDF25A2-E903-44DF-938B-79DC9D7F5217","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d50edf7a7d9c73ddab897dead64a09db91d2ba6","datavalue":{"value":"1272.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850665$9474B4FE-6684-4EDF-9407-FBFEB1F62825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69683905df8b47d901c21aeb73bab2cadfd4a50a","datavalue":{"value":{"entity-type":"item","numeric-id":466916,"id":"Q466916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850665$CD3B9B44-497B-4A69-B219-3691ADBC3A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba5e7d448fa0cc4296884b685fbb37cb63f4bdff","datavalue":{"value":{"entity-type":"item","numeric-id":466917,"id":"Q466917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850665$B8F864CA-3C92-4A9D-80B0-12E5A70E5D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e51a776d47e3da6a06566a2b09f9724feb434a44","datavalue":{"value":{"entity-type":"item","numeric-id":466918,"id":"Q466918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850665$97232930-7D25-4A81-BA11-267A2E4F42B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83438033cfc0e9573886518423ecc3412fd841a9","datavalue":{"value":{"time":"+2013-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2850665$30D51EBD-5BDB-4B2B-8C5B-B5EF91BC1808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"623cc029a31935ff4f52e3fd7a924424d8b60104","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050814","type":"string"},"datatype":"url"},"type":"statement","id":"Q2850665$5AB9B5A1-0B03-4B55-886C-ECF61F4327BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850665$0A0055C9-2FA3-4A4D-A651-882C381E67D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850665$A12DAE0B-903F-4F9C-BA1C-A6C502211A20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"937f3b0f65bbc5ea626c2b9d720346f79dfdf61a","datavalue":{"value":"6212869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850665$4A7CF9BC-BA00-4044-B0A6-40619F956BB6","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":"Q2850665$5A7FAB51-751A-4CB0-AA50-71A473DB4177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4864234bbe54265f88caeca4dffc5ae1ff05440","datavalue":{"value":{"text":"An input/output semantics for distributed program equivalence reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850665$393862F5-1D6E-4D58-B599-307FAC3191B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d165b5c536e0d0474288178a17dbd6ff8d43ff39","datavalue":{"value":{"entity-type":"item","numeric-id":466919,"id":"Q466919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bf89abd758f1b80d557e2ef36604543ee30ce9","datavalue":{"value":{"amount":"+0.7781618237495422","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":"Q2850665$DE073270-07AD-47A7-B2F2-4CC1C3FD3E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1963345bf260ef919efd94ef4b24152e69910fb","datavalue":{"value":{"amount":"+0.7190375328063965","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":"Q2850665$BDE8A341-CB11-438C-AEF2-FFBF3A9BF0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee4294e71cb3b66235c64fdb14d02d42c0ec26b","datavalue":{"value":{"entity-type":"item","numeric-id":4560363,"id":"Q4560363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1d793ac0206212b1840593e2e1640882f7c5f8","datavalue":{"value":{"amount":"+0.7134431004524231","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":"Q2850665$255C42F2-659F-4839-AD24-8BBCAC2A9500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43558a1d072aa63b2f830204dc92bc0696e005e3","datavalue":{"value":{"entity-type":"item","numeric-id":3829059,"id":"Q3829059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3276412798de662c3da24f60c2a53ccf8ff1bcb","datavalue":{"value":{"amount":"+0.7066482305526733","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":"Q2850665$286CBD2E-6DE3-49B4-903C-ED682D98569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4657f223a476d3721ee27cccbd9cb0e5c9544240","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d569cc0b2009bec1bd956f28119e12703eae140","datavalue":{"value":{"amount":"+0.7011834383010864","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":"Q2850665$D4B1E356-850B-4699-AA5E-12CBE6C19208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An input/output semantics for distributed program equivalence reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_input/output_semantics_for_distributed_program_equivalence_reasoning"}}}}}