{"entities":{"Q5941163":{"pageid":8117965,"ns":120,"title":"Item:Q5941163","lastrevid":47658487,"modified":"2026-01-02T08:53:57Z","type":"item","id":"Q5941163","labels":{"en":{"language":"en","value":"Parametric corecursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635328"}},"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":"Q5941163$DE946977-224D-4188-8EB4-96E696045A9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2a3e043905eb56ac0cee88a0e692ce7e51ea3ae","datavalue":{"value":{"text":"Parametric corecursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941163$B0044CA1-164F-4AEE-AFD7-7A21DAD08EAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a224e60cf59fc3bbbab5f0ddc982eec3496b4d9d","datavalue":{"value":"0973.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941163$C15EE7C2-21BB-4DB4-92B3-661241295D1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e10c03aa863276eb632d913f521e3e6a0b7de35","datavalue":{"value":"10.1016/S0304-3975(00)00126-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941163$7231C6FB-1C8E-4FCF-B6AC-7526E74593E3","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":"Q5941163$0601A5FE-61D7-491E-89EE-182516CA9F1B","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":"Q5941163$FA843211-FF60-42D0-BADB-E1C2A85C8B78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941163$9174097E-262B-4A55-9E5E-3CEA6716C1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941163$F7F85AEB-7A0F-42D5-9E92-2931192262D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"691e718ab3680672fac6ca24f6b02643697833eb","datavalue":{"value":"1635328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941163$488FE6E9-EAB3-4B7C-8A6D-2332319988A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c19808000985798dae4dbbfc0428d9167ac10e","datavalue":{"value":"final coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941163$A65BF070-8953-4B38-88BE-5E7BB2DB9BDB","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":"Q5941163$FEBD9250-81AC-4525-B071-4FABF39BBC9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941163$A3C7656C-700F-4DD9-B01A-2963912E538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941163$0CB3D18D-FB05-473A-BDAB-230C62062D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941163$3F11CDF3-39B1-42CF-950A-ACA1AD44DBB0","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":"Q5941163$410EF4AE-0881-44A1-BF60-F6DF877CFB0D","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":"Q5941163$1446FD32-3DAC-4E5F-8F6A-D0C0744547BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9db2a25cadd6b70def8eeebe8662c6037fe4e3","datavalue":{"value":{"entity-type":"item","numeric-id":4261094,"id":"Q4261094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941163$91F467A9-AB77-4672-86E0-0F1AE18A17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8069eb2e3caa549bfc9e61eb0faf45f53240b6a6","datavalue":{"value":{"entity-type":"item","numeric-id":4222953,"id":"Q4222953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941163$97FD9031-254F-42BE-894C-335F0C78D2E8","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":"Q5941163$B73CC97D-A37A-4F16-A653-C5EBE3514AF4","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":"Q5941163$0C8DC30E-B5CC-4C3E-AEE6-78AA483EA273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fada63d2990d21b85df6b9ab20c95e10e3152ee5","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00126-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941163$3AA47378-8F4E-414D-AB04-0EF40A525BC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feb9b9e324b4fc0cbe186c23fd5f4fd571ff4706","datavalue":{"value":"W2914339009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941163$3B5F2B76-6BA3-4F7D-A8C0-AF19AAF5155E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b91fc39711b13a13d8432243e1849e1711ac10","datavalue":{"value":{"entity-type":"item","numeric-id":3126405,"id":"Q3126405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a3cfe36ee9078e7d29cfa0c5a4450248d85978","datavalue":{"value":{"amount":"+0.7601159811019897","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":"Q5941163$7660087B-EA96-4B53-88E9-0652A923B44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6bfcc9dcbc57eeca314280c499ac2485c0b245","datavalue":{"value":{"entity-type":"item","numeric-id":2914680,"id":"Q2914680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a3cfe36ee9078e7d29cfa0c5a4450248d85978","datavalue":{"value":{"amount":"+0.7601159811019897","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":"Q5941163$64EFE60D-3618-497E-9316-CEDA50FE5271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f521d55327d32c32c1ced44664d2eb3a466e26","datavalue":{"value":{"entity-type":"item","numeric-id":4719351,"id":"Q4719351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bdbcf2abfa6206b93050fe8a0c0e8325e8f83b","datavalue":{"value":{"amount":"+0.7397249341011047","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":"Q5941163$7DC5C915-DBC8-4DFD-B50F-E63FD30E8812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c391683395b4c1372ddb89a59aa8ab0c627d51f","datavalue":{"value":{"entity-type":"item","numeric-id":3370737,"id":"Q3370737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9816dd17f3b72560e6589d55d95dfed3252d1332","datavalue":{"value":{"amount":"+0.7394099235534668","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":"Q5941163$CDF9A9B8-60A1-4F7D-A93E-DAE9AB76AEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dca454314f5e9683133dbd8a70bf9928e9baad3","datavalue":{"value":{"entity-type":"item","numeric-id":5275352,"id":"Q5275352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e83d174c01de2c33796424936720c6fdb55d237","datavalue":{"value":{"amount":"+0.7241811156272888","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":"Q5941163$893B3D84-DA00-4C49-803C-6C5167D46D54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941163"}}}}}