{"entities":{"Q1398467":{"pageid":1409207,"ns":120,"title":"Item:Q1398467","lastrevid":70331508,"modified":"2026-04-13T14:03:30Z","type":"item","id":"Q1398467","labels":{"en":{"language":"en","value":"Recursion and corecursion have the same equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956192"}},"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":"Q1398467$6EAB78C8-3502-453E-8CE6-C8595E07EED4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18bcb42d03b61b04510d78ef0cf6f25dacd68eb1","datavalue":{"value":{"text":"Recursion and corecursion have the same equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398467$0CF68B59-7241-4A2C-B028-112AAC9ADF34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"570d27191dc0fdc0194e20010e58a4cf15b34502","datavalue":{"value":"1029.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398467$DD040163-DE71-4A08-BC9C-16100E69D3CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1033040bc47ea08d16528d9fa374fdf5674b775c","datavalue":{"value":"10.1016/S0304-3975(01)00242-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398467$6B1AF089-7CCE-4D2C-ABC2-4CACCD9E55D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$32AB0024-6576-4DC1-A99B-5E92C6E43E01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$2FC0E0F1-621A-4B54-B575-A33CE927618D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398467$92911455-309F-42D1-A1F7-E38611AFC009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398467$204D0D62-6D7A-4BF5-AFA7-318DF4968E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398467$63DA7D45-11A8-42E9-AC77-2942CB6D04C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398467$36F14C09-6A41-438F-B405-822E63C6F2EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cca31ca3e592055721ef50cbc641686f3c2ef534","datavalue":{"value":"1956192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398467$B503D4A8-2C7E-4D21-A62C-108A06012D7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f7f15bd2a0a5a489eed7e2553a040c730b8782","datavalue":{"value":"Corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398467$E0DB7490-359B-43A3-A450-BCE21A960772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f21600c4c61dcdde0966f80a97c9ca4ef804bd","datavalue":{"value":"Iteration theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398467$8FDEF377-28F7-4AB7-ADB8-1788604AE0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e182fbe520e3405b96912f9a38e14e7ce0ffec29","datavalue":{"value":"Equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398467$D615B2AD-0869-4387-842B-5FC8230570A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398467$4D6DAA36-86F7-4386-9836-B73716D334E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a570a958a0e7bb1426c96b63bf60dcb13ff5b28e","datavalue":{"value":"fixed-point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398467$AF9656A8-89E2-49C9-9202-8932ABFF9741","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":"Q1398467$13676380-7432-4085-A1E6-62DD532ED4CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$BA62EF2E-37DE-4987-B489-51FFB9C2FB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$8345E0FC-A4AA-4A82-AB14-2147A254AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62ae5d8372aa178180c5517c3ec1038606e5c10","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$FCA6B269-0F33-44E7-808B-0B5EBC6784AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4816e1d3a572c04918b2f91bdf72de68672877bf","datavalue":{"value":{"entity-type":"item","numeric-id":3957911,"id":"Q3957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$60CC4244-67B4-4B8A-953C-F74DD89AE8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfaf74bbe926c68a29f34b40e248bdae8e84ade","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$3128DF4F-78C6-4796-A06F-4E09DCEA38B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb78708f373fc5d0c546b5bf123ee4d1ecec205","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$F53023D8-1C88-4890-B561-7B3CB8DBD262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15053157498b251e1a6b02d4ce25dce9f9b0d451","datavalue":{"value":{"entity-type":"item","numeric-id":3480027,"id":"Q3480027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$D829CA0B-9BD1-4D40-94D7-1A894A9E758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5068e4b69a5da9f2201cc7d7cc1207ab24e4fa38","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$2ECD5AFF-8820-45F6-A677-BA6C520490E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5497c56b0d912e9ec91aa25974b07538e6a3b798","datavalue":{"value":{"entity-type":"item","numeric-id":1294952,"id":"Q1294952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$CBCEDE38-93B9-4800-9F8C-83C5105818C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398467$64444033-FC84-469C-81FE-3182DA430442","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":"Q1398467$95EE5C67-8346-40F6-83F6-66CAA933BF16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739664c31befdd18024f36dda61c71d4b29b9828","datavalue":{"value":{"entity-type":"item","numeric-id":4261094,"id":"Q4261094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3397d61567b0b9cf3222303a99f3eb7f4738405a","datavalue":{"value":{"amount":"+0.9701756834983826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398467$E4DB89D9-83CD-4775-BF3D-1B14EFEAC855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4881d400f49408b171487dd98012f820886721c","datavalue":{"value":{"amount":"+0.7773532271385193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398467$459B8F70-7D11-44A4-809C-28CA2EAD8059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50f13c9c853d93ed394147dfce61b7886c409a2","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f40587064006ae5fcd9f975b6bf82491b7ab140","datavalue":{"value":{"amount":"+0.7633225321769714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398467$CDA125FF-9639-4CFF-89DA-40077E01EBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e22da892f8f07d387f3320be2df56cefb2e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5ca23a0941bd9d0b50a41521360cb9cc02898d","datavalue":{"value":{"amount":"+0.7609856724739075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398467$F8E81D74-8D8E-4925-9471-296CC4AEE385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f52c2318bfe836664adb32325dcd6e1ce1780f","datavalue":{"value":{"entity-type":"item","numeric-id":4375811,"id":"Q4375811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2caa7d7b95461451e8b41286ec98412246c999d","datavalue":{"value":{"amount":"+0.7594234943389893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398467$D8F87637-C73F-439A-AAC8-85B52FFAEC5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion and corecursion have the same equational logic","badges":[]}}}}}