{"entities":{"Q386608":{"pageid":388375,"ns":120,"title":"Item:Q386608","lastrevid":61454148,"modified":"2026-04-10T23:28:45Z","type":"item","id":"Q386608","labels":{"en":{"language":"en","value":"Safe recursion revisited. I: Categorical semantics for lower complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236850"}},"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":"Q386608$994D7A17-2CA3-4D20-A0AC-67044F11C22F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0666fe90bf6e1373bc8bd45ceb85d6bbebe35d6","datavalue":{"value":{"text":"Safe recursion revisited. I: Categorical semantics for lower complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386608$FADCA902-88F1-449C-A734-76D9B8973A39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b924a3cd78c60caaeb0038a788a07cf5ad868ea2","datavalue":{"value":"1277.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$FC539B89-7AD7-48B3-964E-0739E06C81AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcec7d2d59c70d8f518fc30a572f9204766ef082","datavalue":{"value":{"entity-type":"item","numeric-id":386605,"id":"Q386605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$2C312C2A-D71D-4282-857E-0A1F10B03161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$039B33EC-7BB0-4EEC-B3B7-E8614ACDDDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f06ba12d53e9f8d16bbdde5650e5abc6cc310b7","datavalue":{"value":{"entity-type":"item","numeric-id":276269,"id":"Q276269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$797E70B6-26CB-46AF-8892-725E5F7F3A7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$8E15C42C-8D60-4D13-A5BF-D7BF9B73A6A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386608$48382DCB-1A57-42D1-924D-CABF916ED6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$02C1F602-75F3-4284-92BE-2848931B4330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$0EF56452-A879-4C39-B6EC-E7B0BF933609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$04F7F352-1937-4F96-9781-2D1C1726D06E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8195ed080cdf02fab574425fb7a9802df2ebea51","datavalue":{"value":"6236850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$6AC27B9E-8A30-4D46-8BB6-416A11530A4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q386608$E909764C-3CC5-4E8F-995A-D0D2EF0E66A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386608$FCA64A75-F7A8-4A81-8E3E-BDDF84DF95DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q386608$2023C444-C229-4AA1-9C08-12AB9C3C0C96","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":"Q386608$11481A1C-A64B-41FC-946A-AAC0A33CCD05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a27f34cd394253c17464a936e896cc4f0351d36d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.09.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q386608$068EFF82-E53E-4164-AE68-6999926C0AB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15cf637f7c347c1762d8a9798f3c9f98c1c703b8","datavalue":{"value":"W2064666203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$C6C66905-9142-4E9D-8CA9-1982ED76ACD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$DDBAA845-F5A4-4E46-936C-D1471F1D8389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$7ACC4CF1-C9AA-4166-90FD-95640266A4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c2c8127bc6cc45eb63a98145f9ea5e9466294d","datavalue":{"value":{"entity-type":"item","numeric-id":3178259,"id":"Q3178259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$6D90C228-F0BF-46DE-8B45-E16536237A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e321f108ca3d56b508a42e33365cb2bed0c8ab61","datavalue":{"value":{"entity-type":"item","numeric-id":3416824,"id":"Q3416824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$A4C9CF49-E74C-4DAB-9B63-A3C656460AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$7802372A-4D76-4B92-AD4E-600281E73402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$A9036F04-4800-4F45-ADE6-88E1AEA34A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510381d4d0a6f5c125839ffa25b2cccffc19fd","datavalue":{"value":{"entity-type":"item","numeric-id":866570,"id":"Q866570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$52990FB0-385A-408A-9284-492A8A7A200C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$3CA4C561-811A-4C64-9EC0-1114C6C5AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$8FE10593-BB92-4739-AC33-C3567FBC7BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$477E88B5-6C88-4A51-A0FD-943CEB32059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03561727971b6f36d95dc0e581945304d28ad8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1886321,"id":"Q1886321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$119BB5E8-C789-43AD-9DBA-7A9E17A8DCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$666669F1-B435-4A42-8069-7EDB2CE5B8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d565fee0eb9efaaf46dbfbd94870693815a67","datavalue":{"value":{"entity-type":"item","numeric-id":920197,"id":"Q920197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$1F4CEB30-B8FC-43D4-87E6-A97CECD06CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386608$1B71D84C-8485-4086-8FAE-108563C9DC50","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":"Q386608$C8DFD5CC-431D-4078-9458-68A7DA0EB815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5594770fd175e4b126e084d3f7c42c704bcf2eaa","datavalue":{"value":"10.1016/J.TCS.2013.09.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386608$C786C888-0105-453F-9AE5-5902058D1DD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7417c0a052137016a3e59af80b0522dc3c9f48c","datavalue":{"value":{"entity-type":"item","numeric-id":3133177,"id":"Q3133177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89f59687646968c67b529acdd4c54dd90d48b88","datavalue":{"value":{"amount":"+0.7184677720069885","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":"Q386608$DDE2EFF4-BB27-46B0-9F7E-62E3A5972B8C","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":"35b08e8617b00d7b5e2d3950d263b57c32b0c24d","datavalue":{"value":{"amount":"+0.7144572138786316","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":"Q386608$24922644-E5E7-4755-B425-1D9F9AEF828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d67781a2b1594d496e2aed983a222f588375e53","datavalue":{"value":{"entity-type":"item","numeric-id":3535676,"id":"Q3535676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b9b233a5e8d6159f708ddd186c6d4e9ad1bb32","datavalue":{"value":{"amount":"+0.6989805698394775","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":"Q386608$1CA3743D-F848-4F39-9C57-ECD155CA5051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82e5b905f8bde35b35880fc337f3c8c35157c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3434712,"id":"Q3434712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201db55df489f08f90c31e0ba7e5efe9bb2d4712","datavalue":{"value":{"amount":"+0.6979803442955017","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":"Q386608$24598C05-DD90-4C3F-A21C-085DAF50514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8183e2cf7c92527d06dc8bcff56a29a674d63f","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0503e359e151e8ced4f25c36ce82f20fc53401b3","datavalue":{"value":{"amount":"+0.6869181990623474","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":"Q386608$FF6E05D2-5D38-48B1-B16C-5B968BBEC54E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe recursion revisited. I: Categorical semantics for lower complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safe_recursion_revisited._I:_Categorical_semantics_for_lower_complexity"}}}}}