{"entities":{"Q6109211":{"pageid":13243518,"ns":120,"title":"Item:Q6109211","lastrevid":102369989,"modified":"2026-06-06T04:17:48Z","type":"item","id":"Q6109211","labels":{"en":{"language":"en","value":"Streams of approximations, equivalence of recursive effectful programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7705363"}},"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":"Q6109211$57A48ED3-EBB8-4A5A-820F-934EF72B2BAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"664c382ef2dd3c15e87e898d124fbb897f982d54","datavalue":{"value":{"text":"Streams of approximations, equivalence of recursive effectful programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6109211$61449C89-6D49-47E6-9CE5-F765B5694D6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9847b50be24934b802d1e04305c34a0b05da16e4","datavalue":{"value":"10.1007/978-3-031-16912-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109211$F9028227-0931-4906-A755-76F078EA94A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$6AF51066-8362-4E5A-949F-DF627ADF1AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ac403d6762b3192c735da485a78f666e362961","datavalue":{"value":{"entity-type":"item","numeric-id":1688947,"id":"Q1688947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$F877D748-F787-48ED-9B7E-8321CC17924B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$FDE0C687-612E-4DA8-BC28-F5AD49D9C309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71476e68174ce61b1b2a41ccdbdaefb9b107de95","datavalue":{"value":{"time":"+2023-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6109211$BAA0674C-459B-4FE5-861B-5BBB947A74BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109211$AC64DFAB-00AE-439B-8660-58CE165A4C64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3a50c7902c41a9ff29873175259d5c6c594c9c7","datavalue":{"value":"7705363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109211$3704D815-51AE-45E5-AF5A-C2333F475DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6109211$04A1D726-B0D9-4F34-B030-E7D4C5FC45E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67349c6be58a5d9a0c2386b802eac1530b65e644","datavalue":{"value":"algebraic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q6109211$05FE9FBD-4E59-4D66-8536-D835F19C187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q6109211$80EC9215-DAB8-4A4B-B787-FC444EE3BEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q6109211$81AF353E-ECB0-435E-B55B-2BBC0757C864","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":"Q6109211$9D0435BC-21FD-401A-A66C-BBF02C507E68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$6E8297D9-5609-4EE9-BD33-7FD4AB73844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fd92b9833462fe42760b8d6fc3f0d085dea203","datavalue":{"value":{"entity-type":"item","numeric-id":2988390,"id":"Q2988390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$2A58A459-B883-4C2D-9BC0-4460DE86CDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064320c898684f731a75d9b590e5a89bb2e057ec","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$BA769910-1363-47B0-BF2B-B3E1DC2EE4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072b5fb9c9a1c997399d8dc463715bbc2b6911ef","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$4B453500-1E98-42D4-931D-4CD781CC9EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$BF8C4E18-817D-4E05-9105-48A20616F480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680cb7bdaa877f329b8283a06cadcaa6b75be5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4559601,"id":"Q4559601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$7D6660D4-4997-46F5-9AB2-D4BC55AE9FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$F3FE1021-EBA4-4BC2-A2AA-72FF8A4118B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$5927E6CD-993F-48E6-BC81-8D70280D8D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$916FF14D-BB65-4E6A-999F-64F84F4ADE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d084445455614909fc3077fa2ee195426771b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$40D0A4B5-7B86-416F-934F-A3ECCC2C63E7","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":"Q6109211$70EC77A3-4583-4E12-8CB2-EEBC7A3AC8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31862ba1a6e135191931a51c3d4974b59863c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000597,"id":"Q3000597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$19DC8052-B892-4D1F-B31B-81B6BFC8A1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a5e9ea9e86a3cbfa38f66c2f1949ce00a4f619","datavalue":{"value":{"entity-type":"item","numeric-id":1427853,"id":"Q1427853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$9DDC67F5-10EF-43D1-9276-809D52C3AF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$C628B3FB-64C6-41E7-A683-50C8765A4167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$9D90D4C8-F80C-4EE1-A7F3-37308D4390FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$5C42B31D-56C7-4F07-89E8-34D1F6F38DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$0A92B280-C4B3-494F-93BA-64E99B34435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c77992b9a4ecfaa4f9ad1dc33b5d78181cf582","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$40866BA6-69AA-4B84-AA57-948D47B692F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eea205372336754e5826163fa36da93022c220a","datavalue":{"value":{"entity-type":"item","numeric-id":2323978,"id":"Q2323978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$1BD6AF23-E3B5-4838-92E8-E0A5C14B32D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$95680A7A-942F-49E5-BA1F-1E87046F3E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e92231cde912b5ea73e28aa7314af5412a8926a","datavalue":{"value":{"entity-type":"item","numeric-id":2520704,"id":"Q2520704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$82809084-0B5B-4174-8CA6-25BDFC40EAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0265e3b2ac730f7a6625892ce32b9fe2f263ade","datavalue":{"value":{"entity-type":"item","numeric-id":1675789,"id":"Q1675789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$6E9312FE-F687-4904-897B-EFBC84899D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d467bacbd873016bac1d71aa30d091c84e9d90","datavalue":{"value":{"entity-type":"item","numeric-id":2683037,"id":"Q2683037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$E4E10444-D412-4412-81FE-9783B53A01F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15492db49564d9ccee9405d7dc4a8da2d55e96","datavalue":{"value":{"entity-type":"item","numeric-id":5089035,"id":"Q5089035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$CEDAD902-E480-446F-9B4B-E28E06EB8C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109211$D336D06A-517C-45BF-8AB6-5F3B621625A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Streams of approximations, equivalence of recursive effectful programs","badges":[]}}}}}