{"entities":{"Q3133177":{"pageid":3143893,"ns":120,"title":"Item:Q3133177","lastrevid":58129932,"modified":"2026-04-03T22:34:56Z","type":"item","id":"Q3133177","labels":{"en":{"language":"en","value":"Categorical comprehensions and recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837748"}},"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":"Q3133177$286340FC-F988-40AC-970F-9CB7A8331027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c1a8ab022d2b72c1edba4211f62893c75fafa2b","datavalue":{"value":{"text":"Categorical comprehensions and recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133177$F3577C83-02A4-4319-AF66-51A5EDC0A40F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f7603b190871ec833f0da0df077d731129f4072","datavalue":{"value":"1406.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$7A2CAF4C-8B45-4BEB-A052-5C9009A364A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e49c0e860d2f424091f06e43ad49346cbb3baf9","datavalue":{"value":{"entity-type":"item","numeric-id":3133176,"id":"Q3133176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133177$40A79670-1E66-43CC-B01B-E900F3DF9AD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133177$04CE5F9D-DC35-4D3F-A2B0-8DCC74C6CD54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"665f8692c457db9d2faa136a09e377597ee0bc7f","datavalue":{"value":"https://arxiv.org/abs/1501.06889","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133177$8B3C32BC-D9D0-49A6-8764-4901478B5D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$6E1B87E6-080A-4378-8691-0292601693C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$25CD5FC6-FDF2-4FE8-931B-86940D807CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$C1065EFB-0B63-4EFA-A2A5-2FF08BE16203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50a2c6fb5f0000f3b54e096017934f669cf9816c","datavalue":{"value":"6837748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$65A09285-40A6-40BA-8700-57DD41ED6D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133177$16B5F62D-5DC0-4474-A44D-675DC251E9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65c9c6169d9b1e7575b65fd1f0a942ad6e6ab5","datavalue":{"value":"hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133177$9FE30A50-F252-4BDE-B541-2541D4E6D5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93386d1e6ae49ce2aab6e3e24841f24772606599","datavalue":{"value":"symmetric monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133177$EA08AC18-DA9E-47A6-B6F2-EBAC1991BFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff22fde538525b3a4079601bc5c637861c213d7","datavalue":{"value":"recursion scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133177$9172CB53-DD52-42C0-84C0-867DD867A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133177$12545FCD-D341-4306-B873-2D5EEF461BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14acdcfcc4dd7d3a3e2b9c0a48a09050dfe20ddb","datavalue":{"value":"ramified recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133177$B882CE0A-0C58-4EDA-92B0-2CD20C9DD7BB","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":"Q3133177$1D06EDA6-2EF2-44B8-AAB5-44F26546A13F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0fdab8b3e7245bc0fedc11ab110e7aab9c71ec3","datavalue":{"value":"W2964285400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$FFB7D4FE-67E9-46AB-883E-6448E143F5AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2536b5037716d2d73a8d86e914a3e8e6e0f68b7f","datavalue":{"value":"10.1093/LOGCOM/EXW020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133177$86ABE140-E095-4DE6-83EC-7F689D0EDAE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133177$DFD43ECB-F6EC-4A4C-B43D-9D8DD6348599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a1fb3e505ae0fd112fa6c9bb11cf1d60ce8eba","datavalue":{"value":{"entity-type":"item","numeric-id":911584,"id":"Q911584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f25ed539a2176ccf1563324b838965dcb7cd338","datavalue":{"value":{"amount":"+0.7575586438179016","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":"Q3133177$18025AE4-4C31-435D-8C92-24243F7B32F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbc284c435b70117f699e973b7d4d95265c7b6b","datavalue":{"value":{"entity-type":"item","numeric-id":5185053,"id":"Q5185053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2fd64be54e1fb53bc60a05fb7afeff9775fc2e","datavalue":{"value":{"amount":"+0.7485568523406982","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":"Q3133177$C9C352F8-4833-423C-B882-4E0D19944224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af810ccae94c6503c544d1198647bddfc5ca6845","datavalue":{"value":{"entity-type":"item","numeric-id":4333486,"id":"Q4333486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9811741891a82829240270e2689c55e24f0f0bd","datavalue":{"value":{"amount":"+0.7456779479980469","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":"Q3133177$50128986-AF81-454F-B9DE-F256A0FC08DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd0a1a83454cb0cf1ab9b42a8cf8934fe72b596","datavalue":{"value":{"entity-type":"item","numeric-id":5014598,"id":"Q5014598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2939c50ca9ebedd5d5448d582ed9b21e353be9","datavalue":{"value":{"amount":"+0.7418279051780701","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":"Q3133177$961DA7D1-3675-441B-AD2B-A8EBE0D1F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a64600460edddf7307c0d9a1c389c5888d6364","datavalue":{"value":{"entity-type":"item","numeric-id":3679367,"id":"Q3679367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7c49e4bb047b6cd97281fb4db74e1e899fd9a2","datavalue":{"value":{"amount":"+0.7393769025802612","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":"Q3133177$F53B86CA-708F-43C3-B6CC-5F7FAA058FF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133177"}}}}}