{"entities":{"Q5009436":{"pageid":7039013,"ns":120,"title":"Item:Q5009436","lastrevid":54058313,"modified":"2026-01-26T04:20:52Z","type":"item","id":"Q5009436","labels":{"en":{"language":"en","value":"A semantics for hybrid iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378566"}},"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":"Q5009436$DB45CD3A-9417-43A6-B0B9-5144FF05FA1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37781e618493cb9994f34b2c6783259ccc148662","datavalue":{"value":{"entity-type":"item","numeric-id":4585072,"id":"Q4585072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$12305F11-6E8F-43CA-9B9F-4365396D3354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4dc930638fdc7f7582e64e1732a369265c010e","datavalue":{"value":{"entity-type":"item","numeric-id":1786566,"id":"Q1786566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$DBEBB9AB-4005-4157-B404-C9198915DE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$0F23E76B-6311-46B8-B8C9-1FA5B158F2EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009436$E1B52685-63AF-456C-AFFE-CCE40545E456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"200879cfedb03473ac1b4d5c0ce69476b4ae81c7","datavalue":{"value":"https://arxiv.org/abs/1807.01053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009436$360EBB3A-D6A8-4A3E-BE11-126DE86DCD20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009436$F808D4DE-040E-4A7F-9A97-0E701FA5D0EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b0d3f873a94a96fff97562c69cac5ef26b230f","datavalue":{"value":"7378566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009436$7A2E6885-BE53-4F75-B2F1-5B11911FF7C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101046c4eab25fc9b1ea90dd4835bcc16f5e9e53","datavalue":{"value":"elgot iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009436$33501DB0-C5EE-4AB0-B88E-7F301CD124D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8638519d48962d588424fcf42778e20f59b5e5c1","datavalue":{"value":"guarded iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009436$8C4859BF-C975-458D-B4FD-2F22131424EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e3d346b3c1c352df21583baec8598f0ac4433f","datavalue":{"value":"hybrid monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009436$329F59A7-4961-4F41-9011-07EADB1CB5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e345e4d08c23bc5823a4bc85d8f4417a4be580b","datavalue":{"value":"Zeno behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009436$1CEF17B3-CEC9-4EC9-94BD-734E2824CA7D","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":"Q5009436$084D37F4-BFB0-4684-8BA7-3B737A2AE026","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$1A21286C-EF76-4558-BCEF-5860064E2AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$1A864D63-ED21-4222-9BB6-4A0B9506CE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632ba73945ea4bac93467775839f31b82ba68fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3190134,"id":"Q3190134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$740D5699-2A1A-4F9F-92BE-A6426321D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b961e77cf65ea710dfd23e6eb69b9f2a5e57e9","datavalue":{"value":{"entity-type":"item","numeric-id":729807,"id":"Q729807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$6E85DF1A-CBA8-462F-BDF0-3F63329BD27D","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":"Q5009436$EFEAAF55-E538-4700-A3E1-14E1A0445D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$4C750A3B-0878-440F-A3D7-A6CE67802B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e664b17d3c5570fb2b66b882b217c4ddf1c9b52","datavalue":{"value":{"entity-type":"item","numeric-id":5971399,"id":"Q5971399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$D6BDC3F8-1F70-4769-8211-F5E83EFAD04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c8f996aa9c890912972cf59b4979e451ad2420","datavalue":{"value":{"entity-type":"item","numeric-id":1652996,"id":"Q1652996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$64994967-EF47-44C4-85BE-B846D4F5635E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2048ce8e65285e9b2721eceff3850b76cb03a9","datavalue":{"value":{"entity-type":"item","numeric-id":2988389,"id":"Q2988389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$53DA7FC9-5C02-4D42-8368-B9B9DB0EC6A8","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":"Q5009436$2DB5EDD3-7DDC-404F-BD02-00F166999B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b49cc3732dc7453fb96ac28614a9ce73ee27a29","datavalue":{"value":{"entity-type":"item","numeric-id":549197,"id":"Q549197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$676BF2B2-30D6-40E3-9B5D-3B4D4F87C906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0482a745629093244d13fd1299cd347050c1fa08","datavalue":{"value":{"entity-type":"item","numeric-id":2949200,"id":"Q2949200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$2648DA29-AAD3-4AFC-AAAC-DD700B885DF2","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":"Q5009436$1F227432-A03E-444B-B065-F24A7E32B34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5a008bc4231140c46b0f7a64f453a9b457e2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1767976,"id":"Q1767976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$DD713CBE-05A1-4E7A-A94D-8012DAB2255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514f4bb94f8bec62ba4b9ea24b4996dcb647e789","datavalue":{"value":{"entity-type":"item","numeric-id":4282574,"id":"Q4282574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$919DCEBE-38CE-4402-A579-CEE4E695BC0F","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":"Q5009436$FEF49350-59C1-4321-A658-FACC6794BC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6aa0e097c1caf858a2290288aa196e29c01a0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1786567,"id":"Q1786567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$B4EBE14C-2275-4D2D-A853-D73481CE848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc220a08fe1b95a0861d3dd78526fdc04c779c7","datavalue":{"value":{"entity-type":"item","numeric-id":2374315,"id":"Q2374315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$007974CE-6963-489E-811D-5E56F2D2C50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30155f15b2211438b0a8b06e982ff47f524353f9","datavalue":{"value":{"entity-type":"item","numeric-id":3997917,"id":"Q3997917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$A8166132-7015-4299-9400-844C0DAAF9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$ABE5889E-4731-4717-8A99-145D2738A22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90f41f3cb8e82d01dd35ea89d5730ebb716be5a","datavalue":{"value":{"entity-type":"item","numeric-id":3012935,"id":"Q3012935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$809910D6-D145-4FBA-B3F5-9B923A87C5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$73A19F2B-F42A-4E8D-9AB2-DD30C6408871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099fe8acbb2d8f586a8c8b5792a9baced3ddf7c7","datavalue":{"value":{"entity-type":"item","numeric-id":2716782,"id":"Q2716782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009436$E13B941B-49C2-41B1-9E60-C3F4092DB7FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"005e5b31d98348d5243f669606536bd7c8eb5cd8","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009436$750EADA3-4536-4075-9208-1195282CFE80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70923412eb89a1b47e40856b926e09fd7102855","datavalue":{"value":{"entity-type":"item","numeric-id":5915562,"id":"Q5915562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2574420ebb398366ad13fd540ba37038b82e4307","datavalue":{"value":{"amount":"+0.7860409617424011","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":"Q5009436$F4C0B2F0-A02E-4508-9A9D-CD2BB87CF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccdef63ee65ebe5abf0d9b2a8821e4d27014d69","datavalue":{"value":{"entity-type":"item","numeric-id":2988389,"id":"Q2988389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f56245b9dfe58c64deef927524e9394b19a28f1","datavalue":{"value":{"amount":"+0.7803015112876892","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":"Q5009436$3AC09ECE-19BD-46A5-9567-452583A77B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b665782e38b710258a104e6cd072b22939ff8fce","datavalue":{"value":{"entity-type":"item","numeric-id":5918344,"id":"Q5918344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59001acc47c77051f17d6f8972d2d1b029add8a","datavalue":{"value":{"amount":"+0.7787452340126038","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":"Q5009436$7990D789-7886-429C-83AE-73025A12A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0389ebd9577ca841f6eb1af628d78e41c2b9cf67","datavalue":{"value":{"entity-type":"item","numeric-id":4968384,"id":"Q4968384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be12cbd0cf82b524c87fe0df63cfc6c2def879d3","datavalue":{"value":{"amount":"+0.7732391953468323","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":"Q5009436$D3D32793-47EE-449C-A4D4-30A767F88B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a3cd296e0c31ab34457174c86290ca9977898a","datavalue":{"value":{"entity-type":"item","numeric-id":549197,"id":"Q549197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b15ef034a88b40537efed4952f7e11b61047929","datavalue":{"value":{"amount":"+0.7508946657180786","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":"Q5009436$A83E1364-8412-4040-8280-D791B412EF74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009436"}}}}}