{"entities":{"Q5371960":{"pageid":7401534,"ns":120,"title":"Item:Q5371960","lastrevid":52938992,"modified":"2026-01-23T20:49:36Z","type":"item","id":"Q5371960","labels":{"en":{"language":"en","value":"Well-founded recursion with copatterns and sized types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796906"}},"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":"Q5371960$9DFE6CE1-D61B-4AF2-B423-18F2EB1724DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1228a19b7881dbe1ceaec9d955a981c5efcfe226","datavalue":{"value":{"text":"Well-founded recursion with copatterns and sized types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5371960$EA38DE6D-F880-431A-94E8-4D4F8F63FE6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836f612f738f45d745c3d841e93392323cfd4878","datavalue":{"value":"1420.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371960$2A8A7364-E4E9-4A42-BF64-4EFDB8622EBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd5392ab0aae4dda589322ba54d6a806c4d0418","datavalue":{"value":"10.1017/S0956796816000022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371960$1F4F1C0C-9FAA-413A-A1B0-D332867C95AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$5DDC1FEB-9823-4325-8785-818997E838CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$8EC9034B-67D8-401A-8851-FB592BAF7FD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$F63C6B6C-7A5A-404F-9814-B32F62D599DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5371960$D55D9178-AEBB-4DEA-AB97-42C22E273A75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371960$3B392CEF-398D-444D-84D0-70F04999DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371960$DD93BB11-1200-4001-B804-39D61404CC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371960$A4C75CDB-B853-4358-9634-4ED55729BB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c94cc2d7bead68a35ff66281e8cb7a1f561f31bf","datavalue":{"value":"6796906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371960$9690EE3A-86AD-4C24-9B34-50FC5A79776C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$B42E14DB-3577-45BA-82AE-D8025BEC0F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$7E3E6007-9BC2-4BBA-A079-4557BF236463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"063965d8651c8593b602c6f48c23a32fbe3cc289","datavalue":{"value":{"entity-type":"item","numeric-id":32995,"id":"Q32995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$A59564E0-105B-4111-A6B9-3031DDD7BBE5","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":"Q5371960$8B24B889-7B6C-4E6E-9A92-C0AC2C7CB463","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc39642b0fe85ba52f5814ae8b177151f9c9c82","datavalue":{"value":{"entity-type":"item","numeric-id":3535676,"id":"Q3535676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$68F7DA44-5467-4CAD-8C35-5EE515059A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a315f8ad5008dcde11f07cf3ff6480c48c7abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$713372AA-C453-4E13-996B-054A353BEBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca11fe1f982499343bac9427de06937796502fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5854733,"id":"Q5854733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$D12A6CD9-2894-4595-81E4-885CD649A8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$68DDFB63-5EA1-46A2-8C97-DBBB093F5FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3359d8b4d74be6e0e3bf9e0913876379e1e59105","datavalue":{"value":{"entity-type":"item","numeric-id":3839066,"id":"Q3839066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$71CABA96-0D73-4104-9ECA-D949E8BF43D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$A23BB89A-1221-4B38-BECA-FC7F9C52CF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14052563b97a2fd4fb1e42192428156ca01ddaf","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$B04AE430-7F5E-4F5C-8C92-0621FB58309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aefe830c417bbf0aaa4cb5862ce28580e41e47","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$01F10B50-9FA1-4A0D-B863-3009C76B372C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26583a0948b43428dfca4a799ed6c2e952e9b27c","datavalue":{"value":{"entity-type":"item","numeric-id":5901560,"id":"Q5901560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$C175448D-A185-4D02-AEE1-0225B92C3DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7477636267abbdc22f22931959dafbd9f4c1293d","datavalue":{"value":{"entity-type":"item","numeric-id":5387887,"id":"Q5387887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$3CB44765-D79F-45F2-8BCF-48723E681F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$DD792B49-CEF6-4C44-B394-DEC8A90D8B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871fe04a4fdf1570318ebe8f55c4fb054e67efd7","datavalue":{"value":{"entity-type":"item","numeric-id":3401133,"id":"Q3401133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$814A6BF2-FA2C-43AA-82B6-10CF2B6BF073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$A6A0E716-8878-43A2-8209-89B788C0308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d485418966b2d901af8aed1e09d37a587c9ec423","datavalue":{"value":{"entity-type":"item","numeric-id":5271060,"id":"Q5271060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$E24D6E6E-B12F-4560-BF58-6DC8C6C9769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$3BBECBE2-51C1-4CBB-9E98-14C747CA88EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d546fdee9475d644453a4ed431102795f81c357","datavalue":{"value":{"entity-type":"item","numeric-id":5687312,"id":"Q5687312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$82786E4C-9A5B-4208-8928-7CED9DFDB80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b0560d4b01bb8a01a5fc8d2de5fd55dbd8411","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$3C0E4E55-5F4C-46BA-AF46-AF23337C9235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48620b6ef8d3e93628ce4433fc27784165b6cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1850960,"id":"Q1850960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371960$0EE330A2-0C84-4833-B1BD-B6FFB18FF985","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334dd8cfa911ce6bc39c4ab6b1d3c14866c21a40","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cccc53937f4dc50b3c4d87c4f51f59b8e75fb76","datavalue":{"value":{"amount":"+0.9611460566520692","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":"Q5371960$07E00EA1-E053-4331-8B08-4931DDCCBF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2fca8c3bbcf61d181e1b6fc3227d48fa7f5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa3c2ef68ed2249625fb3b382c968e1cdcd6da4","datavalue":{"value":{"amount":"+0.7914102077484131","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":"Q5371960$B9952DDA-3560-422C-B0C3-82A9F64F137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23b3b3ea5a458ddb28c7edf2008e72b5f4b2eea","datavalue":{"value":{"entity-type":"item","numeric-id":5170805,"id":"Q5170805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bd8214a7ad4b26a3506b7f89ef36d0a7dfa37f","datavalue":{"value":{"amount":"+0.7667379379272461","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":"Q5371960$C70D4144-347A-4183-8A10-E7A3A2E7D300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91f3c71700e6aec69ea6437247aba418d9dada1","datavalue":{"value":{"entity-type":"item","numeric-id":5168889,"id":"Q5168889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc01bdf5f36ba6e8cb8f210fc538c17a8cc8527","datavalue":{"value":{"amount":"+0.7513643503189087","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":"Q5371960$0649BA5E-505D-4953-B368-4D3C8222783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b880e15382c3f4ed44af04a3258cd89112c976c9","datavalue":{"value":{"entity-type":"item","numeric-id":3612619,"id":"Q3612619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41f39b0b1d266d566585140d691f379d72584c5","datavalue":{"value":{"amount":"+0.7313716411590576","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":"Q5371960$7297DDE9-9EF3-4883-87C3-D8D63C965B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5371960","badges":[]}}}}}