{"entities":{"Q1199824":{"pageid":1210573,"ns":120,"title":"Item:Q1199824","lastrevid":66854814,"modified":"2026-04-12T13:18:28Z","type":"item","id":"Q1199824","labels":{"en":{"language":"en","value":"Foundations of a theory of synchronous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96045"}},"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":"Q1199824$B4466862-1CAF-458E-9195-979963B20EAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d72ceeecfedcbb6b785b648c85fc060cb0d6c84","datavalue":{"value":{"text":"Foundations of a theory of synchronous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199824$5A1A3979-8667-433C-9CF9-09A048C361B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e626047a2e23b8b6d2fe12a03ae1b712a15fb9","datavalue":{"value":"0759.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199824$C1AF40EA-3D7D-429A-80FE-504709E38BDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f6fc608ef85994fdaa5c63591bc8c92ba669dbc","datavalue":{"value":"10.1016/0304-3975(92)90307-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199824$462B5B97-8EFC-4F39-A510-0BEF06BED5B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bbaab98c640f807cbb6af9d6ffd5a8b9c0f0e2","datavalue":{"value":{"entity-type":"item","numeric-id":1122989,"id":"Q1122989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$CFE8F7A8-695D-43F2-A12F-AB368DA29CD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$5482316D-100C-400F-86F9-EA4E0AFCABD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199824$E5A4BF3F-51E3-4DA8-BD56-F6043B042ADF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f77278b49c753f60ae5231229de27646ea7fa8bb","datavalue":{"value":"A synchronous system as a syntactic object is defined to be a finite, edge weighted directed multigraph \\(G=(V,E)\\). The vertices represent ``functional elements'', which are interpreted as functions \\(A^ m\\to A^ p\\), for a fixed set \\(A\\) of data elements. There are some additional enhancements, so that one can say for example that \\(G\\) has \\(q\\) ``input'' channels and \\(p\\) ``output'' channels. The semantics of \\(G\\) itself is a sequence of functions \\(g_ 1,g_ 2,\\dots,g_ n,\\dots\\) where the \\(i\\)-th function \\(g_ i:\\overbrace{A^{q+\\dots q^{q_ i}}}\\to A^ p\\).   The author shows how to obtain a much more general class of semantic models of synchronous systems in certain pointed (Lawvere algebraic) theories, \\(T^ \\infty\\), obtained as a certain inverse limit. For any pointed theory \\(T\\), the author shows how to define a theory \\(n\\text{-res} T\\), whose morphisms \\(p\\to q\\) are \\(n\\)-tuples \\((f_ 1,\\dots,f_ n)\\) of morphisms \\(p\\to nq\\) in \\(T\\). The map from \\(n\\)-tuples to \\(n-1\\) tuples in a theory morphism \\(n\\text{-res} T\\to n-1\\text{-res} T\\). The inverse limit of the corresponding diagram \\(F^ \\infty T\\) is shown to be an iteration theory [\\textit{S. L. Bloom}, \\textit{C. C. Elgot} and \\textit{J. B. Wright}, SIAM J. Comput. 9, 525-540 (1980; Zbl 0461.68047)] with a strong functorial dagger. The theory \\(n\\text{-res} T\\) models the behavior of \\(n\\)-steps of the system, and \\(F^ \\infty T\\) thus models the stepwise behavior in general.   A generalization of the \\(F^ \\infty\\) construction to triples [\\textit{E. G. Manes}, Algebraic theories, Springer-Verlag, Berlin (1976; Zbl 0353.18007)] is indicated at the end of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199824$33A5545C-2A5B-4DD4-9186-6405C96CFFF5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$320EBB46-68DD-41CB-99D9-9C5C185ADD8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199824$4752AD55-9367-4FC8-8DB2-EB77BFCE63BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199824$217DC6AB-2550-4447-95F9-69B5A8166568","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"705d6f34623d4d121962e5b48344310079bafaf3","datavalue":{"value":"96045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199824$1DFDD420-4BBF-4CEF-B52A-0B34FBBF9C64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8a960bdbcf8b4b6c1aa0ff3b9d80a5ab5cb349","datavalue":{"value":"semantic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199824$E88076A1-6488-4ADD-8102-9ECE01B94646","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":"Q1199824$24427535-B2BC-4B44-8E50-689303606629","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"643cc68977f102c4a482091b7fa695ec4caff427","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90307-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199824$8DD2E529-FC50-4025-990A-6166FEF9C940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f97a008d2e49eea727730b7885a3ce7951e912a5","datavalue":{"value":"W1966140745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199824$52026F68-96BC-42EF-834A-50AFC80EEAF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3b8c13d8c46c314dfbddd00cb0db389fb82ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1137858,"id":"Q1137858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$C5AA32CA-0A3B-406A-8950-58457467CF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898d466a6b0ef65157e0b620179c21e06f005d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3886881,"id":"Q3886881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$641B00F4-BABF-46BD-A91B-FBD68B0ED155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7897a90fe2a4345d7cd98ba71156e7cee2a69e","datavalue":{"value":{"entity-type":"item","numeric-id":3026323,"id":"Q3026323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$D6DF037E-4069-4E73-BDE8-3FFFFD492769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8250fea5b4145ac015eb2822d46d046afea760","datavalue":{"value":{"entity-type":"item","numeric-id":1122990,"id":"Q1122990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$6D46DCD6-B8EE-4D5B-BC42-EBAE9AD00412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410aa87a0fb3d4733bb36e05f69bca838668c196","datavalue":{"value":{"entity-type":"item","numeric-id":3974852,"id":"Q3974852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$F7B2D585-927E-445B-9E85-4802BCD3F675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2d4c586d82c472282040bbcb8ea8f02e49096","datavalue":{"value":{"entity-type":"item","numeric-id":1186811,"id":"Q1186811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$DF511FFA-B65E-4623-A4C7-A2779392406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3089573b313bf784dd3acda2b01fa6c77528ee2a","datavalue":{"value":{"entity-type":"item","numeric-id":4060429,"id":"Q4060429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$30AACD2F-A1B1-4018-91ED-7920B9D96B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$085A03EA-478A-4DCB-A34D-55C43D65A856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$A1FD3AA0-9294-47E6-9D13-609E440A961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93544ecd52a4bd251ec37f7e8cc30160298c5c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$FE632414-65F4-40F3-8D22-9990E2A00B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6cfb441ce15018a206437beae84dca1fb4433c","datavalue":{"value":{"entity-type":"item","numeric-id":1069704,"id":"Q1069704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$7861E2F7-E1A7-4382-B724-A473A7E2E63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$4B2A4159-D2AA-4BEB-89A9-4040DE20F664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24ee2d7a89416a891fd4df74ac4899d9b9473","datavalue":{"value":{"entity-type":"item","numeric-id":3930617,"id":"Q3930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$94B47D3A-8771-4DAC-A715-17F67561AB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$CE8073B2-3302-4B48-87E4-3BB5F7931970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2865852dc93043079e973d7fca0c6ce6faa956c3","datavalue":{"value":{"entity-type":"item","numeric-id":5659467,"id":"Q5659467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$687CCADA-E45A-441B-A8CF-04C7F9020CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15820a8e430ff81e280b49a621b43fd6dcdc5c10","datavalue":{"value":{"entity-type":"item","numeric-id":5569110,"id":"Q5569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$FBA30053-E6A6-4A62-99C3-8D72F6EDD87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$5023E74B-F6A1-4E08-B7A8-E73CD82341D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a28d8ee89fd4956c81244c69e23a0769b3dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":3315439,"id":"Q3315439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$F4184EED-5D77-495A-B773-DBB9C8B05285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$25DB2AB2-3635-4DD8-9847-2D5A2CCB9954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$F0CBC449-5DFF-4F40-93C0-85265AECAE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f080d1342ef4a6d16b6b63c8edf6cbdbfd04811","datavalue":{"value":{"entity-type":"item","numeric-id":1093364,"id":"Q1093364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199824$648677CB-961E-4463-BCF9-1A10DF8831A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4682e75e0b0184fd294f6cb1ac0972ae74ed06d","datavalue":{"value":{"entity-type":"item","numeric-id":3974852,"id":"Q3974852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ced04d43f3d3af64aa4a33822740b31c1b66e7","datavalue":{"value":{"amount":"+0.777681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$9982432A-EDB4-4786-BE05-2B604B9F24C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1839e2ab935a6d40780d20f4ea20514875fbe65e","datavalue":{"value":{"amount":"+0.75562716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$26402B1F-CCBF-4A0A-B089-E8288604C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9eb214663656f170f258a4da02e98ffc604889","datavalue":{"value":{"entity-type":"item","numeric-id":2640340,"id":"Q2640340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3998ff5b40818ea071125035e7de3022f2a6a44","datavalue":{"value":{"amount":"+0.7499804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$02156A80-FE9B-4B1B-9A1B-7D75A751221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e957aa84b22d6d0512e1ef39b969567103d176","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdc187a34867282cd56ea7189e300ceff910dc2","datavalue":{"value":{"amount":"+0.74569136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$5128CC23-73F7-4F7E-B2AC-2386BB5AD66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9138c2661842bd66e3aa7c7bca34da6faad9c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2447752,"id":"Q2447752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83a30eda4e82ac92837f107e1c4ba3bfd7599a3","datavalue":{"value":{"amount":"+0.7440244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$2EF77AB7-F22D-42BA-B786-EE783B840F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a70e4725acf2f85b0d78cbb0080e6402aa6f24","datavalue":{"value":{"entity-type":"item","numeric-id":3026323,"id":"Q3026323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfa2a8e5ddab5240fc4b00e78e9c36fa7dd1a6c","datavalue":{"value":{"amount":"+0.7354789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$0521D5EC-3364-416D-92F9-C482DD7F3906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8334941f0cf3bf9d5e0796619bbc961c474dc","datavalue":{"value":{"entity-type":"item","numeric-id":4270076,"id":"Q4270076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129d7f2c623e9742ecd95a65ed0b65c4b59d2c45","datavalue":{"value":{"amount":"+0.733732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$A1804BEE-9494-4707-A4EF-EC50FBAFD829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2110ca8955c84f415a1116d30c527689b555ef","datavalue":{"value":{"entity-type":"item","numeric-id":2500524,"id":"Q2500524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9cbd22534c5d268fa2db3c20edb8261f093e24","datavalue":{"value":{"amount":"+0.73310596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$1E654698-D739-4BC9-98C5-47B2338FBD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f237d8c7d1d4897e345fb9e25d47d2744c55bb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89e9abe0f36942b4d8a94919bf5bb7878d031f9","datavalue":{"value":{"amount":"+0.73257357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$19ABEE94-9057-42E4-96E6-C7A061AE1DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586d71cc00cf6dba913f45eb3997e2d3e64ae1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5453498,"id":"Q5453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35abc8d0dda7b61e635cbc07741616e0e39a569c","datavalue":{"value":{"amount":"+0.7317569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1199824$25821AEB-5E9F-4E13-A698-A5318BD5B092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of a theory of synchronous systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_of_a_theory_of_synchronous_systems"}}}}}