{"entities":{"Q7361529":{"pageid":31520126,"ns":120,"title":"Item:Q7361529","lastrevid":105368123,"modified":"2026-10-07T13:37:20Z","type":"item","id":"Q7361529","labels":{"en":{"language":"en","value":"More Operations on Lazy Lists"}},"descriptions":{"en":{"language":"en","value":"AFP entry More_LazyLists"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d2cc9f430b0f7961b33f46f100d63bb2fb3022d","datavalue":{"value":"https://isa-afp.org/entries/More_LazyLists.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361529$4F5FFEA5-1B99-408A-8FA5-F2F36743082B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"893fb53545aac89b2e48fb25bf93d283a1a22adb","datavalue":{"value":{"time":"+2024-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361529$4E04542B-8F0D-4929-9460-D6E5B9D38C10","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361529$01DD77FC-6B5E-46BA-9F6D-AB913B66BA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"63ebf80e19d1b5f8d8b63a6686d04df3ec992d31","datavalue":{"value":"Jamie Wright","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361529$3260DA95-F5A2-48ED-9F53-A9698CDB2A53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b142d2ab5d12835cb704af8001182941434197e","datavalue":{"value":{"text":"More Operations on Lazy Lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361529$57A3BCC4-41C7-4AA9-839B-CCD5A6B28DF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4703e3dcb504ada74f87fa5576b455b43c7c85e8","datavalue":{"value":"We formalize some operations and reasoning infrastructure on lazy (coinductive) lists. The operations include: building a lazy list from a function on naturals and an extended natural indicating the intended domain, take-until and drop-until (which are variations of take-while and drop-while), splitting a lazy list into a lazy list of lists with cut points being those elements that satisfy a predicate, and filtermap. The reasoning infrastructure includes: a variation of the corecursion combinator, multi-step (list-based) coinduction for lazy-list equality, and a criterion for the filtermapped equality of two lazy lists.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361529$ADAFB655-27A4-4FC7-8752-32EA83B2DD4D","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361529$EB426D5C-755A-46B0-99C5-25D7D65ACCD4","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361529$FCC9D9DC-9501-4DF1-8AF9-19173DF68294","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361529$DD6229B7-07C6-4ED3-A37F-5BC35393B106","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361529$7E64381E-395F-48FF-9038-D7A7ADE86CF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More Operations on Lazy Lists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_Operations_on_Lazy_Lists"}}}}}