{"entities":{"Q5178964":{"pageid":7208536,"ns":120,"title":"Item:Q5178964","lastrevid":52227125,"modified":"2026-01-21T05:05:17Z","type":"item","id":"Q5178964","labels":{"en":{"language":"en","value":"Some remarks on type systems for course-of-value recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416476"}},"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":"Q5178964$7FCCD708-B25A-4FA8-8F17-FCC30053AD44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adde96ac76f44500ebd4d3d683e188766ef7eca0","datavalue":{"value":{"text":"Some Remarks on Type Systems for Course-of-value Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178964$CB9CF489-49E7-4E2D-8696-FAEE4AA4317A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b3772444a6b3a0f8d0b0009362fe646f6e854c4","datavalue":{"value":"1310.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$F8BBE614-DC57-461E-963C-F4EC2549AE0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"617513ed20293f92b2f67987461eb17d18d83c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2133447,"id":"Q2133447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$EF1B83B5-BC9C-4851-B2CE-FE7772D595FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$529C49A1-B574-4D12-AA3A-83B97F92EBC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178964$7A10D78D-9224-4F3D-A1BC-AA03279DA688","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$553B9DAD-59F5-4EB3-B62A-931CE6019BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$1E423C5C-876E-4D20-9AAC-6B6B4513C005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$1E678E5C-8A48-4AC5-9970-A1E3F6C15CBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e7c61a06a92306920234b2a8e86d1549c4c2eba","datavalue":{"value":"6416476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$A6E1AA45-75E9-4452-8D02-E5F6A29A693A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb1158d3c586d15871092e8aef1d8a6d83a54ef","datavalue":{"value":"schemes of (co)recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$02A7C712-3A5E-4A73-A4AF-2E6A61A64EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5401a46457e2cecbdde46f18f142c4936970f9","datavalue":{"value":"course-of-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$6467FD7C-B95A-424D-A1C0-7E9E2B0FDF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$84CCCAA0-C410-43B0-A6E9-25FD65301E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$C2CC74F9-162A-4BEF-BEB7-C28A416E7184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03588b568d7931633bf06f15789d08ee5d34b15c","datavalue":{"value":"histomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$DDA631DB-BFDC-4BAD-831A-23085308F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994a808e04c7d539b633bd5393e7fc93710dcec0","datavalue":{"value":"(co)inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$58C1ABDF-0308-4C98-AD17-9D30B14C456F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4dad990f373053ef6a33775a562eda48d27a305","datavalue":{"value":"least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178964$33623D43-8836-47C5-866F-AB3F049E219C","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":"Q5178964$31AFF8C9-5E19-44E8-BB5F-8D7086069EB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9441affb704a5a497be864fc2718d05b38ce4d7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.051","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178964$C5FD448B-28D8-4A21-95BF-8C119A6285ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3537d56ee95cf086a5ba8d32b5158513e3087eba","datavalue":{"value":"W2114009375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$0D48D62D-E880-4CD6-8B55-A1F572201915","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$4A254BCE-2215-4AAA-8447-55E71325BA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$254A56F3-D38A-4211-9673-CC9162B0E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795a1b195850936176023b19afd668563f624074","datavalue":{"value":{"entity-type":"item","numeric-id":5472881,"id":"Q5472881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$F272F3AA-A7E7-4B64-BABB-80FBDAE40932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$8047324B-4BA0-4063-B006-AFE4D379929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72b5c70f683e062dfcccaf2d9848f57528484b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618825,"id":"Q3618825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$2015BA12-044B-41AD-AF2A-AD8EBED2E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$ACC6A322-9BBA-4BA9-BBDB-D986FE951ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d088a56f7c539d074a238b55450c69fc036fe38b","datavalue":{"value":{"entity-type":"item","numeric-id":4943545,"id":"Q4943545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$022D68C1-AF8D-422E-A34F-9D9ECA0D3F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32371224712c3013bdc19605ccedf407ef52a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4263804,"id":"Q4263804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$C7DD7914-A417-468E-BBF7-C0F80F6354F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0882b92509d86167082a58bce5848b4bbe9f50ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268477,"id":"Q4268477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$4D890D81-5C7A-4DE5-8C43-AA8BC9E6C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b238fbf6ead825f266d98e657f1e8f9114614f","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$B2C0AB6B-C788-4803-948C-E31F0285CC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801fc82b2263da90eb46f3f131ff2056c6826c16","datavalue":{"value":{"entity-type":"item","numeric-id":5958300,"id":"Q5958300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$74997322-C44D-448D-ABB1-B37FFF0B402D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb253f5e5ed6313b31d572da8a6830ce788f9767","datavalue":{"value":{"entity-type":"item","numeric-id":4524982,"id":"Q4524982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178964$B5BC77A3-36AE-402F-BF95-0C8E4FB00105","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8e82fb704112a6ae8f89396972b00ec1e8bc9af","datavalue":{"value":"10.1016/J.ENTCS.2009.07.051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178964$08EF5A0D-5B45-4B1F-A269-858F73038DE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f95f95878beba02fa68c00c83ad3234d9505d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4b2d8ac97f3c8f4c9647451b434b2ab63836c4","datavalue":{"value":{"amount":"+0.8310127854347229","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":"Q5178964$3575E982-4085-41C7-A1C7-8565F1058CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c6228b061e9a85440d55abe730584449c2595c","datavalue":{"value":{"entity-type":"item","numeric-id":3653093,"id":"Q3653093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c10f6dc883ce9bf3163e1577a8972627535223f","datavalue":{"value":{"amount":"+0.7513861656188965","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":"Q5178964$83E3F3EA-4FB1-4610-9DAF-F86ED79F35A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e3d6f4afd8e41814f819c21c23f4499f8380f","datavalue":{"value":{"entity-type":"item","numeric-id":2718773,"id":"Q2718773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ea2a5b1fd2fe7b67f8822a498a65bc39ed8983","datavalue":{"value":{"amount":"+0.7429789900779724","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":"Q5178964$447E49C8-391A-4D0C-A42D-7E0A3495E078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb485e9fd4932ac3f46f79ab63faf36a264c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381e47537d9c00ce271b79bf23e369a131e70319","datavalue":{"value":{"amount":"+0.741423487663269","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":"Q5178964$89E3857D-9380-4A61-98AA-EE3058414640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bde2ffc60870b352ef1df4d2d7f377f5f1c11ad","datavalue":{"value":{"entity-type":"item","numeric-id":1201295,"id":"Q1201295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef71920e49f86d4b9620b1ffe5f346ca4287f2c5","datavalue":{"value":{"amount":"+0.7093191742897034","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":"Q5178964$DFBE3F5B-5133-41BD-B007-49F89F52DECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178964"}}}}}