{"entities":{"Q5275360":{"pageid":7304935,"ns":120,"title":"Item:Q5275360","lastrevid":58509570,"modified":"2026-04-05T12:58:35Z","type":"item","id":"Q5275360","labels":{"en":{"language":"en","value":"Finitary corecursion for the infinitary lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741757"}},"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":"Q5275360$288B0FD8-FE82-4F79-A808-C65C948E28BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d428467f498d2480502fa9f756c764cb66159260","datavalue":{"value":"1366.03172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275360$F1105899-53C9-42A2-BCD7-85BDE7524D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275360$4143FD2A-11FE-4E7C-84BD-ADB0532AEEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbc9ea8e7764c41b8694e3ba2836a25f47044c4","datavalue":{"value":{"entity-type":"item","numeric-id":328656,"id":"Q328656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275360$97B69F1B-AF6F-4C75-9ECF-D92A8DB5756C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36126af85f516d980d0b869c922f8c59e73fcf3a","datavalue":{"value":{"time":"+2017-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5275360$2363F10C-CBAF-4004-9E0B-DBFBD5F5E9D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ffdecfc0e87d4a7b6133f7eb762d7f2ee5cb51d","datavalue":{"value":"https://arxiv.org/abs/1505.07736","type":"string"},"datatype":"url"},"type":"statement","id":"Q5275360$CE52BECA-5AA0-427D-8278-8BC448A26798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275360$E4A0827F-C1C9-4E76-B980-939955A8777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275360$A05F8D52-6EE0-4551-873A-12A45EC7379F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"114b476bde176434d5ea1372973b922f1414772e","datavalue":{"value":"6741757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275360$5995041D-2FC0-4570-8192-DD6C8388AAEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071398ca0dd04dce8f63435cb0877ccc4dd0bcb5","datavalue":{"value":"rational trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275360$26B19093-5C86-4392-897E-88E39F3D4D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067d369d93cae122c4882895e84404690fbca194","datavalue":{"value":"infinitary lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275360$1829FC31-060F-4F44-BC92-C9E8B334E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275360$EB8A49D6-F4A3-410C-9D47-04B7705941F9","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":"Q5275360$89DD6146-3B91-4278-A0BF-BFFB746C5DDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ace0abe8a302577c8db478d9fc61f54c970cad37","datavalue":{"value":"10.4230/LIPICS.CALCO.2015.336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275360$463E5E11-E824-4421-87C7-02FD90B5D51C","rank":"normal"}],"P1643":[{"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":"29de43a9c2b85641658b86838ce1f895f0ba4860","datavalue":{"value":{"amount":"+0.8738869428634644","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":"Q5275360$23386B12-13C0-4822-97FE-AAACF8315DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929bfef1c56f7936196cb25a275945394fcf9b28","datavalue":{"value":{"entity-type":"item","numeric-id":2871472,"id":"Q2871472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9240589baaa02318c66e98be7da166441a2dfc8","datavalue":{"value":{"amount":"+0.7566439509391785","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":"Q5275360$D2AAAC65-950B-45FC-B3EC-CD0EC1285B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9bb7f65a93935108fd65ca9296b4bd73e8924a","datavalue":{"value":{"entity-type":"item","numeric-id":1874272,"id":"Q1874272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a426c00eb69746813d5046028fa38ed57b4b4f","datavalue":{"value":{"amount":"+0.7352281808853149","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":"Q5275360$B3CDFDCD-EFF6-43F5-98B9-BB18CF461D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51c8fa4fe763fc7a672dd73f04d0611c337ee2d","datavalue":{"value":{"entity-type":"item","numeric-id":4917030,"id":"Q4917030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb106002d38c1b116a5473e7eb9c46386280eb7","datavalue":{"value":{"amount":"+0.7299749255180359","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":"Q5275360$00491E04-20EB-4344-94EA-6BD561D3C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ddf6431192977e6814521a6abd69db02fdf862","datavalue":{"value":{"entity-type":"item","numeric-id":964505,"id":"Q964505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a4fc188fe2b6edebd52aa2e4e89ce4544863e0","datavalue":{"value":{"amount":"+0.7298462390899658","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":"Q5275360$FBF241A5-7C33-4037-90AE-AD24FCC14693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5275360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5275360"}}}}}