{"entities":{"Q5348923":{"pageid":7378497,"ns":120,"title":"Item:Q5348923","lastrevid":101078768,"modified":"2026-06-05T23:49:52Z","type":"item","id":"Q5348923","labels":{"en":{"language":"en","value":"\\(N\\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763183"}},"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":"Q5348923$6ECA4870-52A6-499C-B12B-EA3A57FD9166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e82f877a537043ad78551de6cf9f6abdbeed3ca","datavalue":{"value":{"text":"<i>N</i>             -synchronous Kahn networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348923$E1C4C6DE-A676-45C4-9356-E51D9DFD0728","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea424252fe27632415c1c88c95210016c075a1dd","datavalue":{"value":"1369.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$91B28EBD-DD28-4046-9F30-B9EB2E5E7E91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d200d1d036b8280b5a46f9e2a466e7d234f0e36","datavalue":{"value":"10.1145/1111037.1111054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$8CD1E9A6-FC34-4949-9BA6-7BFDED2185E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"251509db0eb34bce2c6e1b0604186b5a7db20090","datavalue":{"value":{"entity-type":"item","numeric-id":853762,"id":"Q853762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$4D604B54-694C-4C9B-9CB0-70E4F266695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40b8294e4f617cc3d9614a83adf1f89b86ae397a","datavalue":{"value":{"entity-type":"item","numeric-id":4813016,"id":"Q4813016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$D3059096-07F3-4763-BACA-D62E8B01770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"528d8df012d423b3e2866da19e6e7df647324da1","datavalue":{"value":{"entity-type":"item","numeric-id":224826,"id":"Q224826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$054CF773-E78B-4694-BB00-A9C44CAA6CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc2aa506f07bc00945bc91cb16966bf75180b29","datavalue":{"value":{"entity-type":"item","numeric-id":497989,"id":"Q497989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$6B29E70F-04ED-4CFB-A8AA-34D3ADB94109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"811bee370d0b0eb714e93bf73e7c6bc7dbb49315","datavalue":{"value":{"entity-type":"item","numeric-id":2908561,"id":"Q2908561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$8486554F-4DE6-485F-86A0-7A40BCBF3B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe42204160901d464eb1e24e1c29269308f87b16","datavalue":{"value":{"entity-type":"item","numeric-id":439951,"id":"Q439951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$6BEE4856-5143-46B2-B38D-286AAAA1FB7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64c4180a3d83913a5dd41ebbd11bed14b06b65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5348908,"id":"Q5348908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348923$8C3833E2-F444-4147-ACDD-20B3CD0BB347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348923$2EA4C070-3926-482E-A3FC-2E197EAD54BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$8C6B0F6C-E181-4F3A-9240-851CCE50BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$E0EF7372-D65C-47DE-960A-D7B44EC576B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$1B75F55C-BD17-494C-B95E-9CDFCCD078B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01546cce210b6ebaad93bce4c0cbcff8514559a2","datavalue":{"value":"6763183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$44C503F1-2140-4959-869A-C33FAC866109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccae2af0d0131fa7ebbc64962313914b8a21499","datavalue":{"value":"correctness by construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348923$86EEC57C-A7A4-4505-8EB3-CB708AB0E5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d753e5e990ebfdf83a949c3aaffa7801d2f62688","datavalue":{"value":"resource constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348923$EB1C72F0-E3D4-4113-BE51-EDB20BDFDB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d89dbbef28d4b9a19c4e90281ca9f3073c6172a9","datavalue":{"value":"streaming applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348923$310A5944-E4C2-4B81-B092-8B7DD6D20461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348923$9885B9C5-733A-4A38-9B62-589315A0298E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2614c623151aabbc9a890ff297b9706ea0784ef","datavalue":{"value":"synchronous languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348923$DD54B2AB-9C22-462D-BC39-805F771C2D2F","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":"Q5348923$B56E2B9F-C25D-44FD-B6FC-BEFC02945216","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30f398f2c928ea442e0f0a4cfe0fc9904e29058e","datavalue":{"value":"https://doi.org/10.1145/1111037.1111054","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348923$62B6E30A-8E2E-4EAC-82B1-3A5008A6123A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cda61c9efb3ce2ab5ead11f19fc498cebd02df4","datavalue":{"value":"W2149377475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348923$E663493F-3868-426F-BD49-BCB6E7F11BFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6b145a732c317424c75b81d69f774713f1f771","datavalue":{"value":{"entity-type":"item","numeric-id":2817701,"id":"Q2817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e112bd88da9364d3b5781fecf46beda3a963b568","datavalue":{"value":{"amount":"+0.8131282925605774","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":"Q5348923$3296520C-471B-4DBE-8CE5-C0FCD68CCB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8f493abf68da9ecd5d2f5db0852821ba544dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3575277,"id":"Q3575277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3630a8bdb6cd9e7843687b083ab89e94ef55b9c","datavalue":{"value":{"amount":"+0.8000496029853821","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":"Q5348923$6CF3D8BE-03D1-4199-8792-67D0A9047D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b828a8e4a361c32b6c39d14b446e0bcf86f552","datavalue":{"value":{"entity-type":"item","numeric-id":5502727,"id":"Q5502727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8477db341fcbd42f533b264ef14baee741c27711","datavalue":{"value":{"amount":"+0.7871416211128235","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":"Q5348923$1AD8DB6A-E159-42F6-9241-27EEA517D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf73b5be704ffbcf63f1d6730fd56317df463f4","datavalue":{"value":{"entity-type":"item","numeric-id":1185019,"id":"Q1185019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4af0271e5b5fd02da76c3f761382d2b846efafd","datavalue":{"value":{"amount":"+0.7459842562675476","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":"Q5348923$D6B10DCA-A9A3-4CF4-8CEB-456E0173BBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6a0fc09082be7dd7c0908e5f84f3cc1cbaa176","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb3d924f04131d52e0de60d7290fef6f8f9e6be","datavalue":{"value":{"amount":"+0.7453141212463379","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":"Q5348923$F5BF66A0-CFDE-4CB6-B97C-3086A67976F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(N\\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems","badges":[]}}}}}