{"entities":{"Q673351":{"pageid":675200,"ns":120,"title":"Item:Q673351","lastrevid":63469104,"modified":"2026-04-11T13:21:59Z","type":"item","id":"Q673351","labels":{"en":{"language":"en","value":"Formal derivation of an algorithm for distributed phase synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985525"}},"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":"Q673351$05569F2A-7C05-4816-BA5D-66029CD03120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"881e1201c8ef4a8da71dff566ab9b3406f69a2f5","datavalue":{"value":{"text":"Formal derivation of an algorithm for distributed phase synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673351$8091ECCD-C0A8-4EF4-8EB4-F648EB0FD957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab42d82b0c42fb85cd4e8854cabd49e3907b127b","datavalue":{"value":"0900.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673351$1CDD5159-2AB1-4BD3-A1A2-EB3CBE49A293","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf1f43d9b5dc56072ed18ecfa7a2fe0c0242bfae","datavalue":{"value":"10.1016/S0020-0190(96)00156-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673351$14D8499E-E734-483F-B601-4EC58B7A2ADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6defb7d4b6ed61f96d075614d42cd5c3b003b2f","datavalue":{"value":{"entity-type":"item","numeric-id":673349,"id":"Q673349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$40A7E090-9890-4F41-A183-5DC6D94D8943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94797b535aa83e89930625489b2f8dc058ff00a6","datavalue":{"value":{"entity-type":"item","numeric-id":673350,"id":"Q673350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$15045E02-596A-46F9-A4A1-6593FF556548","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$ED76E1DE-11D9-4CBB-A1FE-7C4B5898F2EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673351$4E8BF803-867E-4E85-B927-673C87B7FBE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673351$AD9D2E43-E265-4C4B-852F-9440EBCC69D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f59b3277c6fdf10a782261cc297ca28f7ac77005","datavalue":{"value":"985525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673351$BF38ACEE-B7C6-4F07-902D-D3143CB7D6F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690bf2527396c5365464a2f5c7cf7ed252dbfad1","datavalue":{"value":"Program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$AA6A9681-984F-46A3-967F-6601622F55F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1588f9c12ffa9c25b808ba82cfe47eb0852d25dd","datavalue":{"value":"Multiprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$FAF42328-10B6-4D35-9EC5-690A9C7C2385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19158d436eeff22e12283b0c25d8e1bdd8b117bd","datavalue":{"value":"Multibounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$33C6EA26-D54E-4542-B4AD-88689C9F5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c654737f7fb4617c84501406a3be00e0bdab9e","datavalue":{"value":"Theory of Owicki and Gries","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$F2BF27D8-94B6-4086-A221-216526034A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368b98805497376d76a9d4ff545aba5149a8757a","datavalue":{"value":"Predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$B6A4A1C7-0EAE-46A0-9D5F-37AEE49F5ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63ae0d31cbe50d8551bf58c6a9c4497bf7209cdd","datavalue":{"value":"Design heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$F4D5B587-2295-4D32-B581-EBEA297856CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2684cf906c38d2f3dabb6bd977dd834cc81187a7","datavalue":{"value":"Distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$11863F46-A964-4CFC-B01F-298649ED5FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"699b6b3b6f1bc0af89a425f57eff41921e4b566d","datavalue":{"value":"Phase synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q673351$C2BAE20C-F9D3-4959-BFA8-AECC961EB40E","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":"Q673351$C403DDDD-FA9F-479E-828D-10CD74F42089","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$39138231-20D0-44B3-9CD8-DAEF9119B89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$B738C8F2-581D-4E35-824B-6B7CC78FEB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6f37b944bf995fcb106bab7b920c6000a076ca","datavalue":{"value":{"entity-type":"item","numeric-id":3996921,"id":"Q3996921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$27B16D6E-2E54-40B5-ADBD-96A8A33D7B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacbf51de93374262c0fa3e0c7807f350477bc90","datavalue":{"value":{"entity-type":"item","numeric-id":4258224,"id":"Q4258224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$2396CCD8-9EC6-44DC-968C-9A3D0A0B2A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356881d50bc829d8ee715d2ad7bfb6816b2faeeb","datavalue":{"value":{"entity-type":"item","numeric-id":1081297,"id":"Q1081297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$FF1AA1D3-A69C-4ED7-8145-3CD7C4D994BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580448f059f78bf9c80b9e64e753cf9068cc95e3","datavalue":{"value":{"entity-type":"item","numeric-id":1178203,"id":"Q1178203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$92318D6E-B38F-4BE0-8669-9F1DFFD20941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673351$96E484BB-C2E7-41E1-B1AE-D03EB37847D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8553fd755715561f5e53c9215699a3d6581b60d6","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(96)00156-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q673351$BADE6D66-6C8E-4F72-A675-BB46855FC74C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd73fbeec48a031453f19f1332e6f622391fdb31","datavalue":{"value":"W1974466953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673351$9AEC1397-AA4A-4FE3-92E4-349DED34339E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794aae2a5bd1196967b8c02dc37e4ae518ab2cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4364530,"id":"Q4364530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756dec8d554a2aee037d52258d4638959653f312","datavalue":{"value":{"amount":"+0.7976884841918945","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":"Q673351$8716D2FF-F594-45FB-9C1A-3DF81AAB201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4fdb3b7f81e72f9966371d5c7adfa90ead5938","datavalue":{"value":{"entity-type":"item","numeric-id":4364526,"id":"Q4364526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c152890bf5330c32ee5738c6d8f816356142ec7c","datavalue":{"value":{"amount":"+0.7789723873138428","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":"Q673351$1CB9F2B9-FF87-463F-8867-AFBA742F689F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc98f17d8c53d50595e5f9f5de4b5dcf9b0c7c35","datavalue":{"value":{"entity-type":"item","numeric-id":3997127,"id":"Q3997127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd8bbafec814feb83a3c8a38315161cac7518ca","datavalue":{"value":{"amount":"+0.747326672077179","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":"Q673351$762068AB-DE5B-4266-9888-DA2621A08A16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal derivation of an algorithm for distributed phase synchronization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_derivation_of_an_algorithm_for_distributed_phase_synchronization"}}}}}