{"entities":{"Q7361229":{"pageid":31519226,"ns":120,"title":"Item:Q7361229","lastrevid":105364193,"modified":"2026-10-07T13:35:15Z","type":"item","id":"Q7361229","labels":{"en":{"language":"en","value":"Lazy Lists II"}},"descriptions":{"en":{"language":"en","value":"AFP entry Lazy-Lists-II"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99f3a490fe2edec97d30b5d0a0e17651d23a239c","datavalue":{"value":"https://isa-afp.org/entries/Lazy-Lists-II.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361229$AFC9AF68-7D4B-48F8-AFA0-973AF2FE969F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f310352c246895e6759224dd4cceeaa8a05ae7df","datavalue":{"value":{"time":"+2004-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361229$4692AA33-EF8F-44A4-B4DB-662C73416786","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"537d5211fb199263e157d3c30116e9fca2dae938","datavalue":{"value":"Stefan Friedrich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361229$BCBE5625-003B-4FC2-A6F8-7A0C8D9662A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0d44f94e33e3a57036856dd9b6af5fa0ac42c9","datavalue":{"value":{"text":"Lazy Lists II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361229$159BE5E9-0EE4-4E71-AE71-A237B0914F1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3f81fc49f6e5c5d656818582e7f076ab298ec55","datavalue":{"value":"This theory contains some useful extensions to the LList (lazy list) theory by Larry Paulson , including finite, infinite, and positive llists over an alphabet, as well as the new constants take and drop and the prefix order of llists. Finally, the notions of safety and liveness in the sense of Alpern and Schneider (1985) are defined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361229$595358DD-7361-47F5-909A-450978CFBEF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361229$F7CFB07E-5E22-4A4E-938A-3CD154316B87","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":"Q7361229$72B5CF71-8E12-47FB-94DC-FB17118C1691","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":"Q7361229$797CF201-3EDA-4C0E-80FE-A94AB71A46F5","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361229$62DA646F-DBB6-4010-8BDD-824F9C9A9A70","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":"Q7361229$2F16D6D5-7267-4A9A-A3B7-421A4FB9E1D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy Lists II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_Lists_II"}}}}}