{"entities":{"Q5854739":{"pageid":7884290,"ns":120,"title":"Item:Q5854739","lastrevid":58615326,"modified":"2026-04-06T00:40:17Z","type":"item","id":"Q5854739","labels":{"en":{"language":"en","value":"Structured general corecursion and coinductive graphs (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7324391"}},"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":"Q5854739$91715F63-3A2B-4C61-A2F5-35A233721E32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d41e02e0bc65bbfa5708911b6fbeaf860b06bd26","datavalue":{"value":"1457.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854739$36E9B9DC-C2C1-4661-8E63-1FADAA8A98FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854739$9EB2EEB8-310E-4E4C-911C-386E52904B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c44e9e40e16b91f474187fb226cbd1d827ea50c7","datavalue":{"value":{"time":"+2021-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5854739$2C2AC199-381E-4091-9740-8FD657433A6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c3423dddc2ba63defbd2965cdeff676bb42a2be","datavalue":{"value":"https://arxiv.org/abs/1202.3502","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854739$222E02E8-7017-4256-B82A-223A3D9EC926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"053f714dda25627bcf00f96e8be73a6a82a5c464","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2012.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854739$F383B974-6A57-4E6C-81E5-E927D04BD47A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854739$4BA3D5EC-C619-4955-BA6C-7609B1944A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854739$BCE909B3-4319-4501-83FB-A78645BB7735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed5d170d44ce2f1ad89142896dc4f9dde498c06b","datavalue":{"value":"7324391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854739$14CCA96C-42AB-494B-AC78-C6A84552AEEA","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":"Q5854739$BABD4E17-B385-4915-B8DB-E2DC26AE6637","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7356790cc666884d18d63aaf192e83e2687d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3638255,"id":"Q3638255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae8f994ea27951f0869851000a8d6df13d03924","datavalue":{"value":{"amount":"+0.7887436151504517","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":"Q5854739$FD56EB5B-0623-4B93-BD13-23879706A19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e08ae23f2ce5afd49576406a05a26a50add7678","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a39d72608478f13a52b67c8498096e220441fa5","datavalue":{"value":{"amount":"+0.7809203863143921","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":"Q5854739$8A4D05C0-1CD7-43BA-A7C2-F70ACD76F7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048c807ace39b7174354727fd570e72f1b70c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3651278,"id":"Q3651278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7565990c88501aa035d66c7fa61be25decdbc6","datavalue":{"value":{"amount":"+0.7682734131813049","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":"Q5854739$2F63A472-05E0-41CC-8A39-351667D5EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c748104eb3995d0a85c8412ff5ccc1c41eacbb3","datavalue":{"value":{"entity-type":"item","numeric-id":2805150,"id":"Q2805150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3186127b64bbc50ff1aba6fbb2bac0fcb41614b7","datavalue":{"value":{"amount":"+0.7534496784210205","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":"Q5854739$A8339D4A-F9A6-4E16-9E9C-D3908D798C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c440f872a09a2fe148e2f7280c7e73406360281","datavalue":{"value":{"entity-type":"item","numeric-id":2566066,"id":"Q2566066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbd8caaac470e91c6ceabf395cb418045cacb7a","datavalue":{"value":{"amount":"+0.7433468699455261","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":"Q5854739$BEDEF335-A815-4509-B63D-81E8B1E2CAB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5854739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5854739"}}}}}