{"entities":{"Q1744383":{"pageid":1755125,"ns":120,"title":"Item:Q1744383","lastrevid":56887050,"modified":"2026-03-24T10:54:30Z","type":"item","id":"Q1744383","labels":{"en":{"language":"en","value":"Iteration and labelled iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862926"}},"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":"Q1744383$C50CB6FF-B7FD-46D1-B18D-A2541411E842","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30ff8a1a0b78af4bd11528b2b661fd97d0ec635b","datavalue":{"value":{"text":"Iteration and labelled iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744383$2B842D6B-3E61-40EE-ADE1-CF3A03C5DCD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02c6fdce535f26318c20f58af5818de6fdd45e89","datavalue":{"value":"1394.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$2A895FF5-0F81-45BD-8EAF-F04844C273B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad1cf58806b1b51e0de3a76dfd4bf1f6c72a2af","datavalue":{"value":{"entity-type":"item","numeric-id":1744382,"id":"Q1744382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$2369BC17-D820-49C8-B6D1-218A4CE5B6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$1F515009-A04C-4835-A2CD-015B5A9F7E3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744383$C21217CC-B1FF-4B88-89E5-0DBAE880E3A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$D215E7CE-AF2E-450B-A96B-EE491DC27564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$D573770F-9C2A-46AD-A4F6-2820C41CD496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0aa022c8d5603393a3fa644ca65fdb79b67b54e","datavalue":{"value":"6862926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$7C7CF786-F057-4334-B1CC-F0B0893DA0C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$1CACD231-255D-4C24-B967-B68D3F906742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$DE48556C-0510-4C82-A0D6-8DCF9043A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e4cc2037b126dac301b41bc23bc9d11fbaf50","datavalue":{"value":"lexical binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$1ABF12AF-B025-45EE-8907-196DFFD7504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$50DD88A5-4482-450A-A55A-0DAF5015BE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$CF614D20-5EBE-4328-AB14-734BCA190EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5038fc6fdefdfad5f6fb5f773a075c1db6d206a8","datavalue":{"value":"higher-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$DB9A549D-63F5-4D1F-8160-C384F3B36690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$36E5B49C-B03C-4BE6-AF09-E298C2DBC4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744383$50E80C50-A1A7-431F-A989-14DD27F49850","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":"Q1744383$400F30AC-2AAB-4072-8F4E-BC66A8E63C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34908f15f5d66d7ef0851b7d55a4098e361da3c6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744383$460243AD-9554-4957-8678-2224B696DFC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d05c0072a93ecc917765b9ce56a5bad0cce9bf4a","datavalue":{"value":"W2527774777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$A35C4254-175B-4F24-95AB-9D0EE2147B6A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4dda4f072108ff767586ed6707ac79c9bc0425d7","datavalue":{"value":"Q113317637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$4655812C-4EC1-4D48-969F-85A6E4A0C206","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$6229A613-23F1-478D-B797-3CE3F255ACEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c81ed675e7df7049bd9837b4604fb68164216d4","datavalue":{"value":{"entity-type":"item","numeric-id":5310675,"id":"Q5310675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$E5A555E1-664E-4491-95BE-76498682396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3511e38210a561c350cd447fb247ba0ba23e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3005993,"id":"Q3005993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$42A5D899-6FF9-4ADA-B57D-F266573BE98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61284a58310ee0a10a78e82eb4533fb56e6bdb78","datavalue":{"value":{"entity-type":"item","numeric-id":2871859,"id":"Q2871859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$DCDDE635-192E-42DD-BD0A-9D30818F3A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82947b57cabb8d061ad4d2ba220dbb9cd4a0801a","datavalue":{"value":{"entity-type":"item","numeric-id":5244796,"id":"Q5244796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$8B1F4134-5C92-4B12-A509-C351F4E02209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$6CA23447-2B4F-4886-8410-682C499CF2CE","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":"Q1744383$543C5012-9278-4554-88A3-75CFC9B2306C","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":"Q1744383$28C5FC46-53C6-426C-B61E-41F1E326B712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69dc2b9ac9acb9698fed52e25c209731bbb0708e","datavalue":{"value":{"entity-type":"item","numeric-id":2888474,"id":"Q2888474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$C63BCFAF-69CC-4440-90B2-CA942C57F919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da40707ee73f9ee320e20b98e46e2ebc2da82e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4411844,"id":"Q4411844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$8A923241-B88A-4DE9-B1BC-9493F6836744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd5cb6539b4ea3eb987fad5da7cee975b0965c0","datavalue":{"value":{"entity-type":"item","numeric-id":5244797,"id":"Q5244797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$B09BB498-DCD1-4B66-B496-41A49A1155AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aff391d2d2425c5869f8f09db3dee3055a8b33a","datavalue":{"value":{"entity-type":"item","numeric-id":5168930,"id":"Q5168930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$9BAA5C62-7A4C-4FFC-A2FA-900E1A23C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a4740ea29a960d62873ebc4bee144a0c63d228","datavalue":{"value":{"entity-type":"item","numeric-id":2958536,"id":"Q2958536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$AB5AD6A5-CC18-49F3-8021-A768C78B176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be82556f4392c3a11aabb4e7e7b5078ed0ae9f","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$E76D08C3-E3E0-4035-8946-ABE85EB57B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36393c7273f92a80d5bab3ce216ad74ed1f2183","datavalue":{"value":{"entity-type":"item","numeric-id":5704012,"id":"Q5704012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$53F6FA80-CF1E-47C0-B192-E59B9D80C1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$66DEBA82-2118-48A6-A020-511C9BF8CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de77d57fa86eed0c77936bdfab481545dd80681","datavalue":{"value":{"entity-type":"item","numeric-id":4992899,"id":"Q4992899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$3029BF5C-018C-4E94-A234-8C4CDC0F804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$1626F753-C6DC-49A7-9056-20374E6D2F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4da51b08973660e8980b4977ef2ed2a5c328df2","datavalue":{"value":"10.1016/J.ENTCS.2016.09.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744383$E8E99891-53B6-40CE-8F0A-8F6D29A470D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561bc5b88843794d584c8f79008b5a86b9eb2387","datavalue":{"value":{"entity-type":"item","numeric-id":4725712,"id":"Q4725712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed637464de75b2206c1be680e5b96db75c5d7468","datavalue":{"value":{"amount":"+0.6879509687423706","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":"Q1744383$28B98F1D-A24B-4D36-A18C-644E05A30E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2926534b7a200d68af548c75147c6d61eaafba74","datavalue":{"value":{"entity-type":"item","numeric-id":5348931,"id":"Q5348931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9cd29febee4366b711120672385af2bf8f72e0","datavalue":{"value":{"amount":"+0.6840173006057739","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":"Q1744383$A644DE7E-73FA-4C6A-91C3-F49711D9AA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637d522af3de22d92a13e0a2f0b4a51ebe9f2196","datavalue":{"value":{"entity-type":"item","numeric-id":3832049,"id":"Q3832049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed09d79998eea86d43cc879da4512d18e737329","datavalue":{"value":{"amount":"+0.6761254668235779","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":"Q1744383$89D3A685-4AC1-4A88-BF9F-3F8A3B2C6221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716f49eb4c283491d1ab70885d8fa43cd09d9715","datavalue":{"value":{"entity-type":"item","numeric-id":3982087,"id":"Q3982087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99123afd7a02fad026a3863ab1282749f981e99","datavalue":{"value":{"amount":"+0.6738608479499817","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":"Q1744383$D301CD9B-1889-43C7-B655-920C3BA2170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da203fd6f59d0b6a8b805977844bad8cd3fc576","datavalue":{"value":{"entity-type":"item","numeric-id":1290331,"id":"Q1290331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df106c6685af3a5776acb26d596a9d4377db2f3a","datavalue":{"value":{"amount":"+0.6729973554611206","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":"Q1744383$49731B43-0D95-4BCC-A7FD-30597F3167D6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744383$453E2D8C-E3EB-4AB7-BA3C-954646A42D29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744383"}}}}}