{"entities":{"Q2104483":{"pageid":2115226,"ns":120,"title":"Item:Q2104483","lastrevid":43514761,"modified":"2025-07-30T11:46:48Z","type":"item","id":"Q2104483","labels":{"en":{"language":"en","value":"Corecursion up-to via causal transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628070"}},"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":"Q2104483$BBF2DC26-BFDB-4DA8-9EBF-F8E5F280494F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6acc7dd8725f41added0a9e39090de84cd9d10e6","datavalue":{"value":{"text":"Corecursion up-to via causal transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104483$D72B7047-C8C1-470D-8280-D3A56F863919","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5499dffe22f856e217b673817f50d4a196a51b9","datavalue":{"value":"10.1007/978-3-031-10736-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104483$B5E88F4E-55D9-4C0C-A661-6B2A98C4AAB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$74B952E3-1B5E-4FA2-8301-8D0386BF5411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$0E174B34-5540-4550-804E-5CA4F4AC1F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2ffd977ebe0436bcc56bd965ea9d85ec07104c3","datavalue":{"value":{"entity-type":"item","numeric-id":2104482,"id":"Q2104482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$D2E9BCAC-4793-43AA-A1F1-F36DE5B14659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104483$156D6258-1BEB-423C-A6C1-DBA798176ABD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104483$C0A2E179-5D85-4339-84C9-F38CB7919EB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4276773e00923948fca7ed6264022a444354d0c","datavalue":{"value":"7628070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104483$7B0051BA-2C47-4C44-AC06-700FB6667CDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104483$81183F11-464F-4140-A33A-0680133E1B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104483$3FDDED56-754C-4040-99C1-5A454FF2DFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104483$1D0C7DA6-721D-4C18-8C33-F6CDB45D599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e4f3b1db974f6fb28f1400c2bacc1372c3de01","datavalue":{"value":"final sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104483$2F45A907-C5DD-42A3-9678-B48FA7B68585","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":"Q2104483$B2577B93-63D9-4EE2-BA9A-2A07A3FAAC59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58df37698cf433ed64a07adcfce9aecf02777abf","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10736-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104483$5DA6D123-82D3-4BD1-8105-A1B845A2D0E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40adb2692d340ecdcaa44223cbd93c4ea0a3ddb5","datavalue":{"value":"W4286600857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104483$67FF7E78-9682-4A45-94D1-54D4409D9E4C","rank":"normal"}],"P223":[{"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":"Q2104483$70E631BB-E708-42D3-A186-8813B251E36E","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":"Q2104483$A4888DE3-9CBF-4ECD-B4C7-AA00CC16234A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$612B7611-E970-4115-A02B-D4F136E0F4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$5541FB88-9BE7-4436-8794-6754F99C018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$D66B8421-A8F8-4A40-947F-C373F63481A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e029305c30f8a602f10ab69f9f48cce2f6fb08e","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$6C2AB382-21C7-4826-AA9F-2D77E22E4277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$D6BF3AB8-DDDC-43E4-8E7C-981AA390983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$50CB0208-CD6A-4065-9C60-3ADCE4A0E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8f096e8bdd951b14d48b7b92532eb34a11b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$A9D8C546-ED2B-4480-B904-02D92502DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$477D2FC6-70F6-41CF-A5DA-1FD26BFF51D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7380c9229c383fd63df5c4e346f58a34d36e95","datavalue":{"value":{"entity-type":"item","numeric-id":3651278,"id":"Q3651278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$E77F2435-35D8-4102-ADBC-FA50AFF10F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$FFA0EDBD-FDB9-4AF9-B79D-4B595D958E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6953572d91399dae0d4ba9563d114aa9ccb99da9","datavalue":{"value":{"entity-type":"item","numeric-id":4606703,"id":"Q4606703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$A65C20E3-2710-48CD-98C8-5E765F3A5122","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":"Q2104483$4DF3BF0D-45F4-41A1-ADB2-E592F3908CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fed011b6477d8a38f891520002eb83b89a25ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4776572,"id":"Q4776572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$1670CF70-FC95-41F0-BF8C-DF0AEACFF1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$3C24A6B6-EF60-4E5C-9B28-A0214B8D3746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$FAF8905D-6AB1-4AF3-94A8-F702521F4EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936c7c4a052989c715e3bebcddd81b4a8fd16339","datavalue":{"value":{"entity-type":"item","numeric-id":2495644,"id":"Q2495644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$546D2A17-89DE-47B3-BE98-148D95295B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8576534f1ffcddd58372ea39ed405c6b070056a","datavalue":{"value":{"entity-type":"item","numeric-id":5275351,"id":"Q5275351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$BCDA33AE-34DD-48DA-B97F-741347B4A999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8a007f3ce590b0c037705042d9e1a688057de1","datavalue":{"value":{"entity-type":"item","numeric-id":5028440,"id":"Q5028440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$2A472A78-9013-4F4C-A1D8-3614A74A81E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$3BB061CB-3673-4A08-A3BD-7A06070F3144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db902a580ded88627ade6660772a8a127ae89cd1","datavalue":{"value":{"entity-type":"item","numeric-id":4580326,"id":"Q4580326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$3BFEC68D-8B6E-4394-B0B4-67597F519E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bd49baa9ffa9aa2d88d399d90530dbf157096","datavalue":{"value":{"entity-type":"item","numeric-id":2850841,"id":"Q2850841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$F4DFE5F8-3CD1-4417-9FBA-4106CDFE3B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$EBBD2ACE-10CF-4FE0-B40F-C80264B38AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f101e8616f930409d8e944ae3903ca4e677e434","datavalue":{"value":{"entity-type":"item","numeric-id":5739896,"id":"Q5739896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$C43378DC-E8AE-45E3-BCEB-06B18224343C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$A7FF910E-0D0D-4113-801D-5A8FB2D95098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$1202838B-E148-429B-A28E-60D3A2E13252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a359332bc8cbd27a6b4d63fac3ebe9b0581cec4a","datavalue":{"value":{"entity-type":"item","numeric-id":2988363,"id":"Q2988363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$EBB8B70D-1DC8-4475-BE54-6E43D164FDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b3ee5c8b99233d09e1d940d4b7ddafd49615b6","datavalue":{"value":{"entity-type":"item","numeric-id":5228884,"id":"Q5228884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$F87DC76B-B099-4953-AC98-2BE6BD8D10E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$C8967C2C-83CC-4F56-85AB-BD0B24933F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4832637b64a934bed98845bfbdbd644efeebd591","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$1520CDBE-EBEB-4306-980F-A5FCDFAD5F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$BD410FC3-804F-4688-A201-83E2818BF5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$F65D6DA2-6A21-40A7-9FFA-B31A109AF08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e08c2f5dc607acb8f166240ad52e7a9c5c2491","datavalue":{"value":{"entity-type":"item","numeric-id":5158369,"id":"Q5158369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$20827E34-4A37-4F85-82E3-1DABF1A9FF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bdd0b4b798b242af3249cf23f716a72946cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$9E84F011-3E60-4E3E-941B-1F2DB6CDED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6b90f6f52b12a1d9d4b32a8b2b37a90b2e1941","datavalue":{"value":{"entity-type":"item","numeric-id":2842565,"id":"Q2842565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$4515F315-B7FF-40A3-8460-CC0337CE1F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104483$2C05C17F-5BDD-4023-AEA4-F07B36C63B1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104483"}}}}}