{"entities":{"Q549197":{"pageid":550964,"ns":120,"title":"Item:Q549197","lastrevid":62671875,"modified":"2026-04-11T07:40:26Z","type":"item","id":"Q549197","labels":{"en":{"language":"en","value":"Fixing Zeno gaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918240"}},"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":"Q549197$33789C62-89F5-4B32-AA03-0819031BF354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aad8cf1b64cf72a8bb5c439bb2300191b22f655","datavalue":{"value":{"text":"Fixing Zeno gaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549197$616D594F-A7B9-4362-AE1B-8C2C445DAB64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77206987c9f1f2f252b00cc7546a79fd69273d15","datavalue":{"value":"1227.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$387D1779-ED2E-4C79-92FD-AC749B3DDA6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$03A852B0-E6A4-4DBE-807E-74AE6BAEFD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$B92DC33E-A532-46FE-96BB-0DF36C20D150","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":"Q549197$DAAAE17D-8B6E-4782-8B54-AA3C88FF7264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549197$E68B99B6-6F7A-4807-B1C2-0E05A3A679A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c0864aaabd85028a3c6a4d21373106b4b488697","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/files/38909/38909.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q549197$906E4ED5-12C4-4340-8A39-5161904E9B87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55efc9bf5624a252d33e29d7944d17a807eb8a27","datavalue":{"value":"From the text: ``We study, on an algebraic base, a special fixpoint of the function \\(f(x)=_{df} a\\cdot x\\) that describes infinite iteration of an element \\(a\\). Here, \\(a\\) abstractly stands for a set of transitions which may be discrete or continuous, and \\(\\cdot\\) denotes sequential composition. Frequently, the least fixpoint of \\(f\\) is the element \\(0\\) that represents the empty behaviour and hence is uninteresting. Therefore the greatest fixpoint \\(a^\\omega\\) of \\(f\\) was studied. However, in may cases \\(a^\\omega\\) is too large and imprecise, admitting behaviour that is not wanted. For instance, if the iterated element \\(a\\) contains the possibility of stepping on the spot (e.g. \\texttt{skip} in a programming language), then \\(a^\\omega\\) coincides with the greatest element \\(\\top\\) of the underlying lattice, which represents the completely unrestricted behaviour that sometimes is called \\texttt{chaos}.  ``Stepping on the spot is a special case of \\textit{Zeno} behaviour in which an infinite number of sufficiently short transitions add up to a finite overall duration. This, at least conceptually, may for instance occur in hybrid systems, that is, in heterogeneous systems characterised by the interaction of discrete and continuous dynamics. The investigations of the present paper originate in an algebraic setting for describing hybrid systems [the first author, Algebraic calculi for hybrid systems. Norderstedt: Books on Demand GmbH (2009)] and [the authors, J. Log. Algebr. Program. 78, No. 2, 74--97 (2009; Zbl 1161.68032)]. As special cases of that model, streams [...] and omega-regular expressions occur. It turns out that in the case of Zeno behaviour, the description using the greatest fixpoint \\(a^\\omega\\) for describing infinite iteration is again way too imprecise, since it allows arbitrary behaviour `after' a Zeno effect, whereas actually nothing should be observable any more after such an occurrence. Therefore a fixpoint between the two extremes -- the least and the greatest fixpoint -- is interesting and useful.  The present paper is about such a more precise fixpoint. To the best of our knowledge, such a fixpoint has not been studied by other authors. We have introduced this fixpoint already in [the authors, loc. cit.], however, by a very concrete definition that does not lend itself easily to proofs of further properties of the operator and is not in a form that can be tackled in a general, more abstract algebraic setting. An improved presentation was given in the dissertation [the first author, loc. cit.]. This is the basis for the treatment here, which eventually leads to an abstract algebraic axiomatisaton.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$BF02DD0F-3537-4281-BA00-1E1C6B4011A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$BC0A0FC4-9C93-4615-8969-D33F8D9E0C0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$A64EE6F4-E1DE-4E43-BDF3-5F332337B3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$905343E1-1B26-4842-B2ED-30D19143DB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$B7CB32DA-CBEE-4922-ADCE-979012232EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41b9daa9ba20bc67034f6899be6703c158e64029","datavalue":{"value":"37N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$0BC3544C-531D-4C6A-A4D5-3132FA8486C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6d27a36bcc922d0f3b8a0fbb60db3b6a8741d61","datavalue":{"value":"5918240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$017C123C-231F-492E-B81D-879BDA2974B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$CBA42CAA-872D-41CC-82B0-DD31F7AFCFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$E37FFA3C-D85C-4B39-A01E-556758D52E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$995BE6F7-FCC2-4458-A3FB-40D21F1C86F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$0C85F0BB-0842-40B0-9CC5-BAD4EAE4268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1737e5aeeae782ad602d2b1f424bfecdc6716c3","datavalue":{"value":"omega algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$2597542E-ED01-46B6-97C5-DD37CE3E6F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q549197$BBB36CC9-57E7-4C90-9AE9-DCCD54333C96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$B67E8AA4-9A0D-4E61-A71F-C42DB868E129","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":"Q549197$9F0997FC-79F5-413B-A2AD-BA5A8CB9A4B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bc66af5e45fcc30445bb782f05f0318ffe6f127","datavalue":{"value":"W2066891227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$B81093CE-1085-4E4B-A4F1-D10FA592C1F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$BE224A34-0014-409F-81AE-91BC852A06B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$4D034BAA-3A8A-437A-B026-E1A9C532A0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284956ad0e926f50140e70cdf061530dbb054fba","datavalue":{"value":{"entity-type":"item","numeric-id":1391792,"id":"Q1391792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$6CFC29C9-3A77-4B52-A9A9-772220E47CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$BA5F6A67-4C75-4315-A376-53D29CD9AD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$1323A68F-E185-4986-B83E-01E667ED7AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$A6E3C2BC-2E9D-4296-8687-3BE833EDE45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728ee5d873e9eb90d9e52a2b7bd367c8025cb4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3341873,"id":"Q3341873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$6041EB7E-7D14-40BE-828A-B504BD5D8313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$7228B641-0CB7-4D24-B21D-CFC92CF4DD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efaa91d2a6347f00ae4207aea700cb474b1e2f6","datavalue":{"value":{"entity-type":"item","numeric-id":4621136,"id":"Q4621136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$7B64E240-DB0F-4489-B728-1CEBF7C5707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c266f094e8ed663c2592fb2b333744340f7ee29","datavalue":{"value":{"entity-type":"item","numeric-id":3960142,"id":"Q3960142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$246B7FD7-AFA1-4E04-B179-5E03B1424F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c773d5ccbf71afa9b886a642149c404394a31d64","datavalue":{"value":{"entity-type":"item","numeric-id":1781998,"id":"Q1781998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$E47132C9-9D41-4803-89D7-02B3EB861741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$E4221757-A200-417F-8960-A9B588CBD863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$6149F62C-DC04-48C4-903B-A42B3CFAE2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7f1d7f95f3f461ae3853cabb71cd4c5f16237e","datavalue":{"value":{"entity-type":"item","numeric-id":1884887,"id":"Q1884887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$C6E1D06C-9637-4354-8880-C2842A62C380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$D87BF87B-D4AC-4FD0-A0D4-4A9CDA2E481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$CFA815A0-43A7-40FB-8A95-BA91C1117C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112e40c186df02f8e9af683808cc380e60e7510e","datavalue":{"value":{"entity-type":"item","numeric-id":2562154,"id":"Q2562154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$F180DCD4-D90E-426E-8280-FA5CEFFF5ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$5681640B-82EB-4B34-BE9A-FF332CF0D58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$8A725EF5-8C98-4800-8DF7-AC0ED00E58CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c639494512cc1a1dc1b6f75daced9afd775e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3104005,"id":"Q3104005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$460DA1B3-16B1-4980-B26E-753F8A612CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f144f308271a82b15b2db7e392fbbb7f526effa0","datavalue":{"value":{"entity-type":"item","numeric-id":1001892,"id":"Q1001892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$6B9BD92B-877C-4100-A60F-9EF310C8602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$C000647D-5A58-4F48-99C2-6C1758D61985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162ad88a2aef39b6356dfc2373b4f5d2f1931126","datavalue":{"value":{"entity-type":"item","numeric-id":1978482,"id":"Q1978482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$A5A04372-6B40-4ECF-B2A3-75DE2544FF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbefee8ac70a32a00150a28c30ad99d87aa7464","datavalue":{"value":{"entity-type":"item","numeric-id":2536436,"id":"Q2536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$E9895B67-07E7-4A5A-8D77-7596BB0557B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$E4198DB9-C958-4A9F-BE71-EA500537C224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$4A8402D1-E580-4318-8D4E-3911D98E34D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8525cdd12dc8a205f20af2cd22c19a69d38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5693581,"id":"Q5693581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$234EAEE3-5280-41B5-BCF7-83C6A67EE753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$C4883C29-54BB-4246-AAD6-8EC5C8B8EB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485d353a2a43b857b0bea1097a312d5d950ec3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4140355,"id":"Q4140355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$88936111-65F3-4B8A-A7B5-F47C76087419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470336b86f7e93b9af304caca1999cfc5d661f50","datavalue":{"value":{"entity-type":"item","numeric-id":4130959,"id":"Q4130959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$D53BD26A-0440-4EBD-8CCA-86B9FCD92145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72633b52472d0f8390ccae00659e14b279a7da7a","datavalue":{"value":{"entity-type":"item","numeric-id":4094899,"id":"Q4094899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$2176D86A-243F-47F8-B1A4-40C841285F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20e7d7156be4df4962d63fb90bbc1ccd2e1dad2","datavalue":{"value":{"entity-type":"item","numeric-id":910237,"id":"Q910237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$53BEF9B8-E819-48DA-BDF2-8B3524F2DC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$9A97CC70-02C3-4F52-8F3E-DB3BB0AA11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea0082ae7ac89566b7399bcedf0af22b226ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5899318,"id":"Q5899318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$FDD1FD81-ACB6-481A-913D-73341D4293A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa269554343255ffe20fbb2c5c1d9d50554ddfef","datavalue":{"value":{"entity-type":"item","numeric-id":5703947,"id":"Q5703947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$5240FB37-768A-4B02-9479-8F9843647CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$5A347801-06B6-453F-8701-B36C40368DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$267AC13C-EB20-48B8-8E60-A4541DD3E59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$94F5D049-BB79-40DD-80D9-65EE28A98FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900dcbd0437c0f7a103179892975c259ab9a8be7","datavalue":{"value":{"entity-type":"item","numeric-id":1142573,"id":"Q1142573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$5CDC37CC-627C-483F-B05D-D06FCF17030A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334936aa136fd6e6bb0d4a8a36cd728182312d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549197$0FEF8AB4-CBEA-4CE4-A116-DD0FF57158FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eefbdbb5ae2aa0ec7100dd4f12824415511a0bc0","datavalue":{"value":"10.1016/J.TCS.2011.03.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549197$9C895F99-A0A8-4EA9-AD7B-565555667188","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a19e178bb50e9f47fe8d0ddcf6a11e14ef6f625","datavalue":{"value":{"entity-type":"item","numeric-id":2716782,"id":"Q2716782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be58017dfd3c5896b520d30743b1f7f8564b3ae7","datavalue":{"value":{"amount":"+0.7940813899040222","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":"Q549197$8E6C150C-4CD5-44C0-AC5D-93E2A701F5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4e65e4b824376840218a827534652436af872a","datavalue":{"value":{"entity-type":"item","numeric-id":1001892,"id":"Q1001892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6125464d4111c52cb8c06f5198cf5852e3107174","datavalue":{"value":{"amount":"+0.7470069527626038","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":"Q549197$0C1BD5AB-32DC-47D5-A385-B61E31DA26FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d1c8c55508c61f9fbd23b33c156a9b623b1baa","datavalue":{"value":{"entity-type":"item","numeric-id":1978482,"id":"Q1978482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421a6c9f82e38bb6dc1ea1ccb7f348f4af9e1823","datavalue":{"value":{"amount":"+0.7291503548622131","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":"Q549197$1ACCAABC-AFCD-48BB-BF62-CBFFBDE1246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824e3987c18b67e69c97307b82d5c66e4f4338c6","datavalue":{"value":{"entity-type":"item","numeric-id":5703947,"id":"Q5703947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a178d1430288541f3eb87ac0289b3553b4c2b7a2","datavalue":{"value":{"amount":"+0.7290058732032776","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":"Q549197$1EEAA8E0-C585-4856-AC3F-7BF29BF5602B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d58818c8529f6735b2a75f896ca70e87719525","datavalue":{"value":{"entity-type":"item","numeric-id":5898968,"id":"Q5898968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3093a509308e3cca9d475ed3f09f083a912f11","datavalue":{"value":{"amount":"+0.7228707671165466","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":"Q549197$9C11FAA8-D067-4849-9B82-6AAACB200378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixing Zeno gaps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixing_Zeno_gaps"}}}}}