{"entities":{"Q3721801":{"pageid":5751707,"ns":120,"title":"Item:Q3721801","lastrevid":50692223,"modified":"2026-01-14T20:04:36Z","type":"item","id":"Q3721801","labels":{"en":{"language":"en","value":"Towards formal specification of a distributed computing system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951991"}},"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":"Q3721801$6D0449A7-0D18-45AC-A371-46A2F1995E94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"605b2ea0f87e0b2e7b746a7fed960152e278931d","datavalue":{"value":{"text":"Towards formal specification of a distributed computing system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721801$18035E8B-E023-47FD-B7C2-DFA3244FBCFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64efa1bb4d1723d6dfb7b23479c1d72c81f7927f","datavalue":{"value":"0592.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721801$FD1B119F-170E-400C-9148-6BABAFB658D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be9b25ee25f860ab24266797ab5f3f9c8b8bb336","datavalue":{"value":"10.1007/BF00987039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721801$B3651420-643F-44B9-8D05-EAD56EC81330","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5969cca5fbf9130efc58613308b2da419581f81a","datavalue":{"value":{"entity-type":"item","numeric-id":1118412,"id":"Q1118412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721801$0C6EE0AA-9CA4-4A35-B648-EEC725EB7591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5589cabcce43faf6dc2ee97636b6c11badfcac19","datavalue":{"value":{"entity-type":"item","numeric-id":1118413,"id":"Q1118413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721801$1AA2D067-8981-409F-8615-C8CB9B8B4D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0a0b2ed34e194ac1e0608c3917ecdb8248cafa0","datavalue":{"value":{"entity-type":"item","numeric-id":3048658,"id":"Q3048658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721801$FA75ED6C-9E7E-45BD-94CA-5DE6D3F4700D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721801$EDF4D513-E386-45FB-878C-80789982188E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3721801$9F151704-FFC4-4066-9024-91235830176C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721801$C50BD3B5-82DE-4E27-8256-ADA428D9CE24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae203ee681947c893eeded80a9571abe5068614","datavalue":{"value":"3951991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721801$D57A1A35-448D-4877-BE00-2017677E2BC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e215a4e8b4cdd1656c476a38cf662ca5d5444d","datavalue":{"value":"distributed computing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$B7F9C616-5746-412D-908F-C3A2B03F98D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cb5eb7f454d1855f31841dbf417668800479fa","datavalue":{"value":"Onboard spacecraft computing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$821F5865-89AB-48E2-8CFB-C1EDC3BB7648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1d3b24d694000a1e0029537b258dafb975c1f8a","datavalue":{"value":"functionally distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$7E450176-80C1-4FCA-91F1-DF17DFCD522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe3f0bac507a391d6af0ecadf50a8d66d818200","datavalue":{"value":"protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$D4E75920-014F-454F-9851-CEA2D264ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$30534C9A-69D2-47F7-86F5-9661D3E2E6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85066b0a68546ea76e8d6da1c38f0d6614c36a1d","datavalue":{"value":"exclusiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$EC1CE380-5BC7-4540-B29A-5EBBDBF877B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d99733ff96d17a2b563c9cbd7922bce31b2ef84","datavalue":{"value":"sequencing relationships","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$6AF4375B-028F-4C08-9BA2-39317479F5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$3EDB21D5-C271-4651-9E69-DB0AC44A0E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721801$37727892-D94E-41C5-9DED-F7C918A61B09","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":"Q3721801$3AB9E402-2A03-43C7-9E59-4053144645A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b40e7d03834e286d071c008e2ef8170427991","datavalue":{"value":{"entity-type":"item","numeric-id":3721801,"id":"Q3721801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721801$CBBEB53A-B1EA-4B3E-BC2E-B79718909C58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25741ad3432035ce11f563c8f6dc6eec92d50d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3814786,"id":"Q3814786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc82ea425e17a625009ad7c96494fc4476c8276","datavalue":{"value":{"amount":"+0.7312107086181641","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":"Q3721801$0D9B5EA1-A284-4730-B5AF-07AF8B5C1B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e848ec505523ece40979254232c5ed7143962201","datavalue":{"value":{"entity-type":"item","numeric-id":3334964,"id":"Q3334964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6413427b929979abdde2b859ba6279f5660a9a0","datavalue":{"value":{"amount":"+0.7009653449058533","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":"Q3721801$4092C5D2-A1D9-422A-95DC-2C039403815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edcd92a7db476a82bf885ead04d707bae7f2277","datavalue":{"value":{"entity-type":"item","numeric-id":3677156,"id":"Q3677156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fcc21daa18c2d30508eaafaa310e31c03e8bbd1","datavalue":{"value":{"amount":"+0.7001024484634399","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":"Q3721801$9613796C-D164-4E5B-A064-FF09C3B4B444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3bc1ad1c1a07b14d4fed78a17e72213ff22c48","datavalue":{"value":{"entity-type":"item","numeric-id":2906934,"id":"Q2906934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ae0e56d72093a6330d40dfb608ad3034a174b5","datavalue":{"value":{"amount":"+0.6928349733352661","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":"Q3721801$38DF7900-9DCD-46E6-9EA7-82992AB9E48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f1b51db0600bbdcf404b304fc3651693085989","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b106bac6fb79e2533f75f3557138f9d18c3794","datavalue":{"value":{"amount":"+0.6857417225837708","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":"Q3721801$D42AC4F8-D43C-4279-91C3-A0B02C34CE39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721801"}}}}}