{"entities":{"Q6925617":{"pageid":21056749,"ns":120,"title":"Item:Q6925617","lastrevid":84131747,"modified":"2026-05-10T22:02:39Z","type":"item","id":"Q6925617","labels":{"en":{"language":"en","value":"Coinductive streams in monoidal categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097718"}},"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":"Q6925617$DD928AFE-9E14-4260-8ED0-8F35FBA32D5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bdc084db6f0705688252c0af5a55b3e7c730a66","datavalue":{"value":{"text":"Coinductive streams in monoidal categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925617$CED50AE0-8FAB-40AA-A507-8B7789121D75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98184ffc64b3d3f54a75db4f9173a4de56200b93","datavalue":{"value":"10.46298/LMCS-21(3:18)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925617$E1C8458F-F349-4FA9-8039-E5D8E7C81D02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c74af1388b57001d60d3e15deb6bfd74b6325ad","datavalue":{"value":{"entity-type":"item","numeric-id":5019685,"id":"Q5019685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$DBC6EAE8-7EBB-4245-9109-E3E7D46E1FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d29df455ecda3a366c3337f6aaade3b2ad308aa","datavalue":{"value":{"entity-type":"item","numeric-id":4993343,"id":"Q4993343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$5E1329C5-3DF1-47D6-BDB5-9297F8CBB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afd0a1b4ccdcb28b86392b39cbe089ae78b6d37","datavalue":{"value":{"entity-type":"item","numeric-id":5019660,"id":"Q5019660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$02D3DF73-2585-4E34-ABB5-7336CB7A8CDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$61B3D977-91B4-4420-B40A-17EC7AAAC9D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6925617$E229FA28-BEF4-418F-B3C4-38B4B5268CFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925617$63876C6C-E9E5-4D04-9FFF-3EF4630C9D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925617$A86AC219-CA40-4DEA-BF94-F920CCFE8588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de44ba8dc41e36ca19c636a2fe68f30d0fb2e03f","datavalue":{"value":"8097718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925617$15FA2787-CE5D-4761-9057-2D9FA248DFBC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$A9380655-F97B-492F-9841-0F800F609F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7cb8404bff6f74704d068cc6dbbbc5ddeae989","datavalue":{"value":"monoidal stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$05BF7817-0F84-40A8-BA8F-5F45F7EBBDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacb5a9601d3b45f9caea5e88beb1855a4949e56","datavalue":{"value":"stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$78878B17-BD45-43FB-918D-0FE719B075E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$CD5ABEEF-3254-40F0-BEC4-17678AA670CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c6b4c08fb3646c13b8a0b7c7228d8a253c9197","datavalue":{"value":"dataflow programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$B1CF366E-4159-440D-9512-9E376E895175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ca68da4f19827fca3437437bd12318f7ffdafe","datavalue":{"value":"feedback","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$B133BC06-5AC2-45AA-9861-36339D4FDDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c09a115fb707329a058602e0acaad315d0839e04","datavalue":{"value":"signal flow graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$92F789E3-8582-42B0-B0CC-DD5B8BA6630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$0AE9EDA2-D180-457F-9BA2-41B88E3B81AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac03ec47c51c672c22ad285d9578eacdc2f7b38f","datavalue":{"value":"stochastic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925617$3F322C7C-EEA2-4A7E-B54D-CB5BEA475A08","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":"Q6925617$803B16ED-6E54-4AEA-A446-2F0B725B0245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6855200d8c169a00087e15609010d9a6efdd4725","datavalue":{"value":{"entity-type":"item","numeric-id":2851800,"id":"Q2851800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$2D7380BA-9D51-4FDC-AC12-A6192C6DEF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$CD1DA07F-9909-427F-A6EA-784F6936DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$0331BAEB-115A-4503-A9C4-3D82EF087E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3f96a7cd634fcab25cf712b5a46076b750ed7d","datavalue":{"value":{"entity-type":"item","numeric-id":5875353,"id":"Q5875353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$4FC5F1B0-BA12-4B38-8017-D0A651275463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6de28abcdf74baa3516d74d347fdd7b803939b7","datavalue":{"value":{"entity-type":"item","numeric-id":2827452,"id":"Q2827452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$4AD190BE-AB61-406A-BA2E-C44EEC202170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$7548B18E-8530-40B1-928F-FBE993BBD412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf17ee452bd9fc3414aba44bf8cd79910caf84f","datavalue":{"value":{"entity-type":"item","numeric-id":4130974,"id":"Q4130974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$C639A0DB-476F-4F21-84DF-2869293B8079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$A36E5C44-24B4-445B-A38E-4B8DB0E1DE4D","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":"Q6925617$726B8675-E188-43CC-A6AF-9359CDD5D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$68E519A1-C57A-4F82-A59C-BF0AD2597485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0cc3b7982640655c5720b6abdca8cdd3c10892","datavalue":{"value":{"entity-type":"item","numeric-id":2798694,"id":"Q2798694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$04DD5C3C-08A2-48E4-B6E6-A7D329E56F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663c25dea5d697fd2460269f3265d64d389e9095","datavalue":{"value":{"entity-type":"item","numeric-id":5308442,"id":"Q5308442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$4BDA5D0A-7516-4571-868B-6A7ECB4DFF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$AC0E077E-5C42-4AF1-9F99-D6A5813DCEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56557a811608e93a4f482e5a66b784fb3dd2257","datavalue":{"value":{"entity-type":"item","numeric-id":4730757,"id":"Q4730757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$44224634-B8D3-46FE-AC3B-2E521084457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c3ccfc34bd5f8fa749df1c37834e76a69edc4c","datavalue":{"value":{"entity-type":"item","numeric-id":5079736,"id":"Q5079736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$7E313E4B-7122-4914-B088-00EB5AEA9936","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":"Q6925617$81C8FCDE-8DC2-42B9-80C1-7432482B60FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba96f83ee5a3db35621065d31d4ce8dbdf49f7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2819836,"id":"Q2819836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$823E6262-0C14-4855-BAF0-5BF72A135167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5290780a35c125dc639cb10faf797c96f599c188","datavalue":{"value":{"entity-type":"item","numeric-id":320201,"id":"Q320201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$C3EF74EE-2B32-47E4-8BEC-3AA5D5A7B723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef1d64fdcec003453940e750378e5781c3accb6","datavalue":{"value":{"entity-type":"item","numeric-id":2919772,"id":"Q2919772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$EBDABE43-4287-4708-8848-863AD5E883A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153be82e3226432a8bfbc3b7780c63438bb1dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5243152,"id":"Q5243152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$E86806F4-970A-4169-B836-E30CAC6D11BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$60D3933B-1C88-4DEA-8998-7F574710ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b69d68d1cbda4084a7ee5147ecedabc2d86ecf","datavalue":{"value":{"entity-type":"item","numeric-id":6536282,"id":"Q6536282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$DC8836F9-9BF6-4654-BFA8-0650429F5044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8159d09b744583eb27519dd63614d94b72e2611c","datavalue":{"value":{"entity-type":"item","numeric-id":2817701,"id":"Q2817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$CB90102D-6A4E-453E-AA49-10CD7DEA7BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$F4073BB8-6DC3-4056-B2C3-B4982E7EA4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a77740de1d6b6918d8299eea8892462579a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":5020948,"id":"Q5020948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$D95BFC69-13FA-4EFA-8712-79475A76B73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a95725ef959f462ddc538789b5dc4c37dff0f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4076730,"id":"Q4076730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$F6C29FEB-396A-4282-9473-04D2F27038F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579c3c011e8eb78889272447bc48e3c78d26a97a","datavalue":{"value":{"entity-type":"item","numeric-id":4772158,"id":"Q4772158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$0BDC772E-59F9-436A-B103-CC64BE9B38BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00aff647dd7794842e94fbb004cea19310b7760","datavalue":{"value":{"entity-type":"item","numeric-id":5019676,"id":"Q5019676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$8E3A16A6-72A4-483C-9F7E-00A0F1D02B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b6bd2673cc2de0cf132abda9b99ff7fde0efc3","datavalue":{"value":{"entity-type":"item","numeric-id":4106724,"id":"Q4106724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$B61065B0-8134-4A13-A0D3-93131544E72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8987c3558f7d873cec5273fc3e0797170e8ab2ea","datavalue":{"value":{"entity-type":"item","numeric-id":4086303,"id":"Q4086303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$528C5742-9C0F-4AE4-A4F3-2CB64144095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46ba05ff1cfd924eb1e9a5d32e2b4f9d4cdcae","datavalue":{"value":{"entity-type":"item","numeric-id":2189508,"id":"Q2189508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$BCB386A1-BD23-4130-A16A-BCF55F4F0EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98cd8d6ba2b13b3b02f7459d4923b9e73259947","datavalue":{"value":{"entity-type":"item","numeric-id":6061675,"id":"Q6061675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$62C87C22-EAD7-4958-892D-5B273CB95C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3653a5f7ed69acf98238e4065d1c2a1ec72e8e","datavalue":{"value":{"entity-type":"item","numeric-id":706490,"id":"Q706490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$872D7050-B251-4E18-906C-3E60E1C23C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$994904C7-EE0A-4FBE-84DC-589CE1939D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaabb15317470fd31db0c5c457ce003f1471c39b","datavalue":{"value":{"entity-type":"item","numeric-id":4635637,"id":"Q4635637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$400E57C0-4E07-48EC-932E-07EFCB5F8E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157da0272a2a41a5346670eeaea1c4060a9d53cd","datavalue":{"value":{"entity-type":"item","numeric-id":4251929,"id":"Q4251929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$20C07E74-4005-4043-9A23-5B96A37E87D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$BBCDA5EE-D068-4470-AF1E-B986E5655D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$CF2265F4-DD12-4047-8664-79FDFD27DF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$D02E968C-BF12-4E86-9F9D-AA9153820600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$8C4B8BB2-7826-425C-BD32-6C6217D84FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbfe91340182c4b8a5e193eead5692711922927","datavalue":{"value":{"entity-type":"item","numeric-id":3019883,"id":"Q3019883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$EC8FAC11-9A24-4351-9306-1386AD140C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb64b43ac498f75820e9551d85ed90fc27d4a51","datavalue":{"value":{"entity-type":"item","numeric-id":2769437,"id":"Q2769437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$6166F8D0-25E7-4082-B757-9B7278776C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$87CF0A2C-D702-4BA3-9565-BC110F92DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$1754A1A2-AFE9-4D74-A825-8DCF111BC8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a19e7f29ae6d462eaccf58e83db93321967425","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$596997EA-30B6-4277-95B5-C31745C36C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfbc29987fa7ac308027689864035a33a78333d","datavalue":{"value":{"entity-type":"item","numeric-id":674474,"id":"Q674474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$3B3AE07B-924F-4174-AD39-1324904D4526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461632b3bf4b394913d39c3aa03bd399931b98cf","datavalue":{"value":{"entity-type":"item","numeric-id":4787833,"id":"Q4787833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$40F92038-3F7B-4223-A208-B7B601C455AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$C63C2B78-FB10-4F44-A2B7-471A65AFCE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d69cf3035d2ae0b3148fa16bdb1025e3329afaf","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$9F868CD7-C65B-43A7-8095-F1AAA0FC820B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88adbd5ffadf68f7926af809a37aa60f78c9523","datavalue":{"value":{"entity-type":"item","numeric-id":3400625,"id":"Q3400625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$3EDCD446-EC30-440E-BF40-61B32AADBFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100e6111b619e729d7c574de50257516356f4910","datavalue":{"value":{"entity-type":"item","numeric-id":3388255,"id":"Q3388255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$01B6CE98-4CDC-4F08-A571-AEF28BB120A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3099aa2e78f841e4ee74375c05b58739a420835","datavalue":{"value":{"entity-type":"item","numeric-id":1822994,"id":"Q1822994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$BF4497FF-F7D2-4CE7-8014-9589075A0806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398dadd8b9dfc1a6c16a2fc14dc50dbc3eec95a2","datavalue":{"value":{"entity-type":"item","numeric-id":5041103,"id":"Q5041103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$791E1035-4BC1-483B-97F1-1B197514EB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$35E667E9-F5AA-4986-8F4D-88DD15EA0202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$D26C69BC-91B1-4020-9458-B946AB9B82BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea662184c82e8acac2b6f91293627271af4e448","datavalue":{"value":{"entity-type":"item","numeric-id":5612495,"id":"Q5612495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$85AC3B55-6379-4861-A699-EAF0C63C6DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$B85D18A8-4FEB-40D1-B51D-313D70989A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca7f74cbe385bea7babec5314f1a122985a828","datavalue":{"value":{"entity-type":"item","numeric-id":1605185,"id":"Q1605185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$E943F339-1DCF-4063-BD9A-9F3F1E465320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc5bb0d3390566e97bc9e79683e53c1672ed910","datavalue":{"value":{"entity-type":"item","numeric-id":3795195,"id":"Q3795195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$43AC27A1-B5FD-45B6-981F-73ADB441FB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60670651fe34c8574d07c10a2fd425d5e1806fae","datavalue":{"value":{"entity-type":"item","numeric-id":4256313,"id":"Q4256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$75A8E51E-0511-41BE-BC5F-CBE5ED51D37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ddc45d849e52a974fc1d755304932a7a4aa2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4367948,"id":"Q4367948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$C23B424E-0F03-4EAF-8DB4-A53CBF6B17AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0691e21ed553f2a4405e920d999bdfdf70ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1109871,"id":"Q1109871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$5E0DBE73-1B4B-44F4-82C5-AD57FB46E9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$31828366-4275-4DB2-AFB8-20F839E42CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535c6da622fb7616303a2c74921061c22313508b","datavalue":{"value":{"entity-type":"item","numeric-id":6654481,"id":"Q6654481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$3BCB9485-D52F-467C-989F-C7A0A9270D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$E07A30B7-EB38-4781-963E-02AAD01DCF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$F1C5D99C-1B56-4F2F-82D3-432F0504D8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cdf8fa73a65cc4effe275d95a8b8384beb8aad","datavalue":{"value":{"entity-type":"item","numeric-id":5493371,"id":"Q5493371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$AAAE8B1E-E253-4405-9684-6DDEDF64C148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd28852b9fa82aee195b6b013c46503ab17cd68","datavalue":{"value":{"entity-type":"item","numeric-id":2873672,"id":"Q2873672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$0A705E55-AD80-4FB4-80AD-10B6247B88B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61ae35b8d8a008703390f58471c8228d97f52d","datavalue":{"value":{"entity-type":"item","numeric-id":3678639,"id":"Q3678639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925617$972D500C-99FA-415A-9969-648676CABA1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive streams in monoidal categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinductive_streams_in_monoidal_categories"}}}}}