{"entities":{"Q3452268":{"pageid":5227929,"ns":120,"title":"Item:Q3452268","lastrevid":52391864,"modified":"2026-01-22T13:10:52Z","type":"item","id":"Q3452268","labels":{"en":{"language":"en","value":"A type system for well-founded recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507275"}},"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":"Q3452268$DC29D76E-5654-4565-BBE8-1830B02BACB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9bcef2a34550610562ba93989de27832c6b1a34","datavalue":{"value":{"text":"A type system for well-founded recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452268$11C438C5-2ADC-451E-8C3E-7AD941A25272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c8eced39ad3388eba6863f35094d5c1352d5938","datavalue":{"value":"1325.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452268$C2040399-EBAD-4097-965B-65D9C772EAD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa106ce5120aba0611a7df1412f4ce40334129af","datavalue":{"value":"10.1145/964001.964026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452268$C94CEB43-217D-42C1-846D-49936D85754C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452268$E136C388-4A69-4F32-BF9F-D7A1F9583BE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452268$7144B5AA-9AC2-47E2-8E3B-0F8D6BC1EC95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-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":"Q3452268$A37172AF-80B1-46B1-B251-CDB349A6D5CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452268$A1A59241-865A-49B7-A7CF-B518ADCFD0FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1962a4529874e097b247c458e39311fec8297bca","datavalue":{"value":"6507275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452268$19093E9E-37D7-4106-BEF4-2FC7F8525472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303d5043afc10023e4ff739c2410e9f42444b923","datavalue":{"value":"effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452268$B2641B4F-906F-49BE-8AF5-4979130A8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452268$5245EBC2-7702-4ABB-B44B-E4ACD49D677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d6d847781148edbaa8cccb67af9a82ef67260","datavalue":{"value":"recursive modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452268$F7837397-4471-4CAF-A0DD-5D10E2B99F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452268$0B54E1EF-DFD6-4D5A-B99E-F9EF414C6F57","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":"Q3452268$C33B3300-D585-4F46-A1BF-EB9D09B211BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7972d903999b2cf9743e9ffc38802907b2a89be","datavalue":{"value":"https://doi.org/10.1145/964001.964026","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452268$1724F57E-07EC-400F-938A-674E39B4F68C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"729a8c37e70a7c65575da58325e7f3d64fc4eb53","datavalue":{"value":"W2140764366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452268$88825C52-C917-4228-A72A-00120662231D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79f76cb55d35e431fdf335c047591e7d9ee2eff","datavalue":{"value":{"entity-type":"item","numeric-id":5168934,"id":"Q5168934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca257d1a248f079677e65f2e06e9f7d888ed579","datavalue":{"value":{"amount":"+0.7644563317298889","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":"Q3452268$704D15B0-CFD0-4282-948D-8477E78F85D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e658e6bd880d4ef6c6265542f05a7adcce3164e0","datavalue":{"value":{"entity-type":"item","numeric-id":5501459,"id":"Q5501459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520c65607ed1496a7ae2bb961452fbd131f856fd","datavalue":{"value":{"amount":"+0.7415074110031128","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":"Q3452268$17F2FFB0-3E02-40DF-BE54-2FEEAFEE4523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89755fe0749d629d3053e796f71b6f9a3079bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f966975a5447fd2e2357fd48d9baf3b884908c5","datavalue":{"value":{"amount":"+0.7356681823730469","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":"Q3452268$774E5897-F942-4BC0-B96D-8E166C364822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e61c9806f592cf7e6bb582cded65ec23f8675e","datavalue":{"value":{"entity-type":"item","numeric-id":2754027,"id":"Q2754027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d0fe654504dc8a1e9150ce9b8898a2d1c47f6c","datavalue":{"value":{"amount":"+0.7228609919548035","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":"Q3452268$87C7EED7-589D-4409-8073-C5C0FAD1B689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622d51dc706493176237d6f56355331d44c81130","datavalue":{"value":{"entity-type":"item","numeric-id":2743705,"id":"Q2743705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d0fe654504dc8a1e9150ce9b8898a2d1c47f6c","datavalue":{"value":{"amount":"+0.7228609919548035","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":"Q3452268$170CCD46-EBC1-4668-835E-32EB9DD0C165","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452268"}}}}}