{"entities":{"Q4957792":{"pageid":6987374,"ns":120,"title":"Item:Q4957792","lastrevid":58363818,"modified":"2026-04-04T21:45:30Z","type":"item","id":"Q4957792","labels":{"en":{"language":"en","value":"Induction by coinduction and control operators in call-by-name"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7393568"}},"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":"Q4957792$24BADCF5-2B0A-4C11-BB43-748415F334A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101dfcd739386d29446ac02fd1691996c21e0f5b","datavalue":{"value":"1471.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957792$F17BDD09-AE9E-4F7E-807F-EEAE14416F1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ebf2df140098a0c6a9bc31e47d1c904c4ea431","datavalue":{"value":{"entity-type":"item","numeric-id":491259,"id":"Q491259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$61940AA8-7334-4FD7-9715-7B6D163ECDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$9DE81683-E559-4674-A942-56AC0CFA503F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5717cd69276ad67376a7cd3a583eaef8897207e3","datavalue":{"value":{"time":"+2021-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957792$491F2DD0-E76D-4F87-9240-14259C25F540","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e7e6386781174c267466c6f9bfba9b73290cf79","datavalue":{"value":"https://arxiv.org/abs/1309.1258","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957792$632978AA-F7EA-4BC3-864E-6C19E33C712C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8981a47eb1da0facfe759c757916affc8e6dc90a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957792$6C53F972-48BC-4CE6-9B55-1D71A7972BA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957792$CEF4A48C-7F30-4216-84CE-A4C4EC6568C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957792$D0CA5930-5637-488F-9E88-82D63DF5C863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957792$6B7A007B-B9C3-46D2-8D1B-65F44664A94D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968231ccb76e2512af0a860eb4d06ebf9d492e20","datavalue":{"value":"7393568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957792$7B149950-47E7-4AD8-9B3E-6021252B91B9","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":"Q4957792$23492E86-0535-4C5C-9F4F-191973C63729","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e560c2eb4b5a4b4a248876c9348b7da8e851f3ab","datavalue":{"value":{"entity-type":"item","numeric-id":2778813,"id":"Q2778813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$C95D8A07-B79A-4AD3-9158-CD433939D48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30eece9bbafcf9bacb5ed064949ad5d50378e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5310662,"id":"Q5310662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$1BAA0B7B-A47D-4FC9-90A0-9AC71CE469A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da40707ee73f9ee320e20b98e46e2ebc2da82e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4411844,"id":"Q4411844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$2EA59645-C4CA-47DB-9AD6-F24DBE76F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b5100e9c60e5a361c2f7d9b8f79e68a1013edd","datavalue":{"value":{"entity-type":"item","numeric-id":3498450,"id":"Q3498450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$E5BE8D58-6D01-4C34-9FFD-77A7FF0A4C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be22a32095acbcf7e833dd1ccc7a785418185f62","datavalue":{"value":{"entity-type":"item","numeric-id":4913777,"id":"Q4913777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$4B92AF51-9E07-4787-ADE6-D80C10E25436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$C3A90CB1-77E4-4382-9F40-1D55B17A8B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$E64ED2CE-F0E6-44F2-B66F-C742CC15C344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$14326E57-747A-4664-ACA1-FFA95631223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957792$7432EE0F-FB55-4197-9C1E-2A742B939936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac12194708e90e17b2cafcd1aefcaa8d751f2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4913777,"id":"Q4913777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30cabc880037acc7cabbebb3a163c1b4884ae3f","datavalue":{"value":{"amount":"+0.7466429471969604","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":"Q4957792$28A9E841-6522-43A3-A82D-6A2F2A61DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc109b3cad2c907503f7b212d7a53c5de8d99fd","datavalue":{"value":{"entity-type":"item","numeric-id":4435476,"id":"Q4435476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f651927a50153dc47eb0def7c018fc7329f3eaa3","datavalue":{"value":{"amount":"+0.7386302351951599","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":"Q4957792$8E31EB63-6759-4B25-9590-1732A5599E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf00f5c73a14d206e0dbdd2b0ce7ffafc7926df9","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d4447391b4d3caeb9bde32a3d34fe71bf2a41e","datavalue":{"value":{"amount":"+0.726208508014679","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":"Q4957792$CAC87851-D2B5-48C8-91D3-1ABD0511B13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3616f27834e34d3bf2ebc27a1b20a411aa3a50db","datavalue":{"value":{"amount":"+0.7130205035209656","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":"Q4957792$E778D434-1D37-4738-8F31-81A312707A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523f04cb2e34b987f8f0638ca56920c6298ac76b","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53684d2dd3505bdb16bd92051cfa0a10202918c9","datavalue":{"value":{"amount":"+0.7122553586959839","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":"Q4957792$E4DE6E4B-4F1D-469F-A150-77AD9AD57A17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957792"}}}}}