{"entities":{"Q1193762":{"pageid":1204511,"ns":120,"title":"Item:Q1193762","lastrevid":66299526,"modified":"2026-04-12T08:58:31Z","type":"item","id":"Q1193762","labels":{"en":{"language":"en","value":"Formal timing analysis of distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65154"}},"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":"Q1193762$6B145329-456F-4CD4-9D6F-B89CAD20E482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e586d6417b56e5cb4b1b96d0c76cbf3bf3adfa1","datavalue":{"value":{"text":"Formal timing analysis of distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193762$CAB96D82-E2BC-4EB7-BECE-01718E26A5A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b4703732bdb0012ffed8ba4abb93212eb84f87e","datavalue":{"value":"0761.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193762$739083A4-1C46-4C07-9EEE-4367F8A5D3E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6051a9f0f52c20d06936c8c82113b9454201205","datavalue":{"value":"10.1007/BF01407838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193762$DADCF149-AF41-43DC-9946-800AF31B278B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$301814E4-B507-4136-B850-FF9DE2392AAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$6CF1E27A-8613-4E52-ABE6-2E3DC7553895","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-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":"Q1193762$D0994BB5-FBEC-4A67-9915-948DA4D3D6DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193762$48AA3234-48EE-4093-8A88-1A4E939D9B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193762$DB0994B8-8AB5-4190-B6B9-B60CF076D5B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17cdffade7a9d5e9c49e50b913c1ca79eea3ad17","datavalue":{"value":"65154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193762$67BD22E7-7CF9-444C-8D49-17687B837DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b53dd2c022cc15ccbf2a8a8061046d384c2caa2","datavalue":{"value":"real time behaviour of distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193762$2863D220-38A5-4283-B6CE-058A94688E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e655404be1f97d57b04580589665f3678a0c97","datavalue":{"value":"distributed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193762$07537B38-A3DE-491A-9DD6-BE96A46669A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8920e11faa9884a60f725bb3a6e1b6307f418f0","datavalue":{"value":"distributed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193762$0A2C712E-A30C-4DAD-975C-B19122AE73D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193762$16589E53-D044-40B3-9D54-63B23A3AA51A","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":"Q1193762$A38414A4-DFA1-44F9-B786-2F9CB9CB3D55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a667201dd163c9e72698a1d4513890c3aa468","datavalue":{"value":{"entity-type":"item","numeric-id":3818306,"id":"Q3818306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$0CFB8673-916B-4718-85A2-13A36310B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$911988A6-1DA7-4E1A-9A0D-247F390CB3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$C5160B08-9EA2-4884-B37E-790230BF4465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$CC144990-FC03-425A-BABE-AC8134ECB8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b507ff77ec0feccb633849d918fd8b741992ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639046,"id":"Q2639046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$F908298E-C98B-4E03-9A67-43E9F8A67C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b673fb73cc298c0d5356e4b8333e8e8928266bf","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$AD07FE3B-2B2A-4930-A89B-C7914A524B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$C6E59FCB-5929-4964-A483-56B11D471F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e3a442ba590cac8ae88ceacdb0593242447bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$9EBDAD86-86C8-4E4A-A5DE-B89BD7224927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193762$23BBCE43-B3D6-46EA-B015-6FC2020E9E8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1f9601c9bb29777c1fa6ac6da86d021fe65bb28","datavalue":{"value":"https://doi.org/10.1007/bf01407838","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193762$1844133A-4FBC-4948-8DF9-67168C468134","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"144a9347f52b10893dafa3ab943f798391c49241","datavalue":{"value":"W2052693801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193762$8F8B396A-B964-4C12-A9D4-47F559900119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd952fc51f69bc85fe3990098aa9a7cce2fcfa3","datavalue":{"value":{"entity-type":"item","numeric-id":3992090,"id":"Q3992090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3996a25cf4e03472c1addf1a5cb66f4197ae440f","datavalue":{"value":{"amount":"+0.8131301403045654","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":"Q1193762$E87B8A9E-D2E0-4A17-8DE4-71E667DED189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8d0396635d8583c40b2d1283ac466d02a786b1","datavalue":{"value":{"amount":"+0.8109387159347534","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":"Q1193762$608AF563-604B-4F9B-ABBC-FBFB51E9C8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14239c5ea597cd4f22afd4ff733955b21a2e1b29","datavalue":{"value":{"entity-type":"item","numeric-id":3835444,"id":"Q3835444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06e6f0ea8d4ef5071c9a59628c98c84a3bda952","datavalue":{"value":{"amount":"+0.8008812069892883","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":"Q1193762$9C5020AF-2073-46B8-97B7-DD901D21E4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0858596335dd9b5a37f9042971ac2431298c3c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4723289,"id":"Q4723289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110d11ff82889a59e944dd2491097aa569fc6c87","datavalue":{"value":{"amount":"+0.784319281578064","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":"Q1193762$6DFAE326-FA67-4197-A826-2DE12CF6719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2986543c6a1f9d1cd3cf3bda18bb894ba07e6174","datavalue":{"value":{"entity-type":"item","numeric-id":4499212,"id":"Q4499212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970e3aa61d549aaefba8e1b7b43a0f9d5cb90f04","datavalue":{"value":{"amount":"+0.7785360813140869","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":"Q1193762$AB2B7090-2B38-4132-9770-37FD9D484EF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal timing analysis of distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_timing_analysis_of_distributed_systems"}}}}}