{"entities":{"Q4580220":{"pageid":6609806,"ns":120,"title":"Item:Q4580220","lastrevid":53167154,"modified":"2026-01-24T09:03:44Z","type":"item","id":"Q4580220","labels":{"en":{"language":"en","value":"Finite behaviours and finitary corecursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917185"}},"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":"Q4580220$764179AC-1076-4CE1-A01C-F38F4B0D7B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c1209064e3557e2087932158742f3461050e967","datavalue":{"value":"1433.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580220$47F3584C-507D-4031-800F-9A4F3EC823C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16231eb9cf1a08bfff49d301a5360bb26233668f","datavalue":{"value":{"entity-type":"item","numeric-id":283734,"id":"Q283734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580220$BE82920B-F9E7-4FC4-85F6-519C52E84A6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580220$6F3904C1-D08F-4529-8BDA-7E6D1DD39389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580220$67D2EC6C-3093-4BD6-8CD4-B463D11FD730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580220$DB539B4A-F97E-4C59-8E20-542678B88537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f38347a906d78719f4de64c278bf0ad9b3be67b8","datavalue":{"value":"6917185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580220$4BC8A63C-5A54-49B7-A96B-DFCF97C6F14E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515d3916acf8c87e9d6a57eec7bd685dfb958c96","datavalue":{"value":"iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580220$23020EAA-E292-4FDB-AEF9-B0912A9EC33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8e93123f0015c00cb50490760fb6039142cab8","datavalue":{"value":"completely iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580220$EB18AD54-CE64-4483-854C-CFADD7075F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a88c9080c95a4d73371f939000e79972a5c9a","datavalue":{"value":"fg-iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580220$5AE4C396-9FD2-4E97-B3F0-A6E84DB82504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f83aa76066a1125d58c3f35615452147eafd5449","datavalue":{"value":"rational fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580220$AF4431FA-3292-4A0A-A698-7A017478DB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f90fed19838d667f4d72a723bb071b204aa5fc8","datavalue":{"value":"terminal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580220$6187298C-1963-4D5E-9302-0854294BC177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc606a8958b1b964583f40a9dd86bf4774b8364","datavalue":{"value":"iterative monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580220$4E2231E1-8084-447F-9C91-5B3088F8409B","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":"Q4580220$2498AC11-F63A-47B0-A408-E9F53B3CB430","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67c3d7ae1cb2fe233ecc41838df229e2fd4699e1","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2017.24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580220$215EB843-3D8C-4622-A7CF-8379FAC41F4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f21f7126c28cecb61e39d54642bf310048d9c7a4","datavalue":{"value":"W2771259890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580220$409E23CB-0E5F-46E9-B321-CE306E8F61E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9071dd500a443678b622138df9ba48c4a41ec705","datavalue":{"value":{"text":"Finite Behaviours and Finitary Corecursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580220$8D9BB54F-737B-4269-81B3-AF6D4A81DFA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dc4c5d9b2470138533e9bae2877e3555040d4f1","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580220$E11B2CD5-C9C2-4635-BF24-8C1E18EE2BB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266864d14b8711f68f4a2cdb859adb9677909ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2304521,"id":"Q2304521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc99a066ff5dd6c71d7c82a04552d00ec3eb734","datavalue":{"value":{"amount":"+0.8466993570327759","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":"Q4580220$453B84DA-B7F0-4A14-AD43-3AC731C314D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf13458c2cadfe07296a16c7ddcdbc263ef43a1","datavalue":{"value":{"entity-type":"item","numeric-id":2811335,"id":"Q2811335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef9e82f5fc43eb216c46dfbc9972a2220c3241c","datavalue":{"value":{"amount":"+0.8223333954811096","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":"Q4580220$26FB4AFA-2B9D-449D-B1D1-AA0685FA84F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14332a3cf386fcab98c27a4612357783df32c02b","datavalue":{"value":{"amount":"+0.7666787505149841","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":"Q4580220$E7FA486C-021F-4145-8BE4-22759FD6C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5df14dde303d572073e741a384aeab33eece7","datavalue":{"value":{"entity-type":"item","numeric-id":3056299,"id":"Q3056299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7be5cd5be8320858309e334904fd21321c55d6","datavalue":{"value":{"amount":"+0.765235960483551","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":"Q4580220$461577B0-347E-4650-997B-AF428A54FFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b54f0354e835add6390dd3722414678b5dc4981","datavalue":{"value":{"entity-type":"item","numeric-id":3557859,"id":"Q3557859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb904c646b30d127256b276eddb477450e980ed","datavalue":{"value":{"amount":"+0.7630424499511719","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":"Q4580220$FDE837FB-CB54-4133-B1D7-C6DF959C2519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580220"}}}}}