{"entities":{"Q2331068":{"pageid":2341811,"ns":120,"title":"Item:Q2331068","lastrevid":53576324,"modified":"2026-01-25T09:00:24Z","type":"item","id":"Q2331068","labels":{"en":{"language":"en","value":"Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121991"}},"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":"Q2331068$1FA3539B-3CEF-4848-A897-A60D96977997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"741c706f299cd23d215882de26747c0c6c696e16","datavalue":{"value":{"text":"Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2331068$EC4A0CDA-7E5F-4309-B01D-76D7F6758468","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"150e994007b07a5b67625e2835caa7b749766b26","datavalue":{"value":"1468.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$EF4E261B-0E32-433D-91B6-871EACCD3BF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$720D6262-192C-46F3-8AB9-79BA892CE510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$59A82F39-0F6F-412E-9611-89F70159FF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$2870250A-4F8F-40D5-86AE-8E6EBD834859","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$1A42100E-6DEC-4AF9-AFCF-200D3CF3BA7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9c78d27d44184ed11acc3dc406ef7d8d5c12da4","datavalue":{"value":{"time":"+2019-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2331068$3270A8C2-B9AB-4262-9793-C93532817123","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$E4C72D57-6AA9-47D1-80E6-DF6AEF9FB66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$7F118A7E-61D3-4666-9CF1-BB0B668C77FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$08530B29-AC2C-4D8F-BB7C-99243FF6664D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$74A3D90B-5BCD-42BB-8AE3-FA1C31A92B11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85995d50e5ff371ef10c7af4c1b6466125e463bb","datavalue":{"value":"7121991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$A84C8369-E27A-47C5-BF42-D0FE66C6143A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331068$76BBE2D9-792B-4544-9CBE-5B985B020D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331068$0893C202-23A7-49DE-829C-36503D33A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88c37ad01714e2f128448f7edeb02cc5e499068","datavalue":{"value":"linear dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331068$A7A02E0F-DED3-4ED9-9679-7FDD5443F68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f816836b4dd0a7e5dcac64d7074a407588756489","datavalue":{"value":"cryptographic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331068$735DFAF8-BF81-4419-8F61-941CAA8E320A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa671ac82600b3ec323d025bf536d1e43831c61f","datavalue":{"value":{"entity-type":"item","numeric-id":12930,"id":"Q12930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$AA4B4D53-FBE5-49C9-9834-852CCCC7DD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$0EBED821-DE55-45FD-9AC0-FD3AB96983D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17b6bf936b27bf52d41c01b7a092635fe801ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$C4578014-A9DF-447B-A3F1-15023CB173A5","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":"Q2331068$E93AEE46-66FE-4CC5-9E44-8AFA0A48962A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc3bb1e10708c23c4ae21d8e88a131134574e74","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09530-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2331068$E235A1B8-FD77-4100-A4DB-ACAE79A08C19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e272c795487265d862a01a99242e267051cb81f2","datavalue":{"value":"W3165217919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$1C038423-3995-4F69-A1E8-66890929B3A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"82a64200941c106f69665513cc28bd3fe136eb04","datavalue":{"value":"Q113901242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$A9606706-8A1E-4910-9744-06CC2EEFE1F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$ED2FC474-CA67-489E-9A42-190468B2E2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c561a8cf8d21f015cba901d7d8874890f3d804f1","datavalue":{"value":{"entity-type":"item","numeric-id":3460055,"id":"Q3460055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$8E68870C-6DD3-42D1-BE7E-23CEAE3B865B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d45a752190299df78fd797b5ebe48d984c1ba42","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$709B093E-116C-4CFE-97EF-D415D407E91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a83681413983b5c1cd346b7aeccc929ffc09104","datavalue":{"value":{"entity-type":"item","numeric-id":5408416,"id":"Q5408416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$7A445320-26CF-48EF-87DE-D6626CD89D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02917c0db14ab53e8f4a4132ce95a65a648deb","datavalue":{"value":{"entity-type":"item","numeric-id":2819789,"id":"Q2819789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$DEB5E451-644F-4C6C-82A9-76F9FB62B1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$F878B45A-4990-41F7-A04E-60C6E17FAEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$1DF78148-AEB0-4169-9C2C-11D1B958EA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbda268fd2e0dcedda437d1a67e04267d3bdeb26","datavalue":{"value":{"entity-type":"item","numeric-id":2946566,"id":"Q2946566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$41ED76F0-74C6-4A0E-8086-FF4D262498CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$4CACCD62-9AF7-46B6-B6E3-4DA815449675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c2d6d461835203c51e37e45e860349a48c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$BEAA1FF2-9040-47C2-8EFF-DF80796A6557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da7bf26c66930ba336424cdfda93a39541c47d3","datavalue":{"value":{"entity-type":"item","numeric-id":3189833,"id":"Q3189833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$6616FD1B-5564-48F2-BD83-08108075B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938079a138ea161a15f907a1174120050bc7fb68","datavalue":{"value":{"entity-type":"item","numeric-id":3596379,"id":"Q3596379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$82FB8892-1707-4B66-8194-911C2D7FBE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71eb219d1be5bc742fa0e948a47313c2a479f12","datavalue":{"value":{"entity-type":"item","numeric-id":5178014,"id":"Q5178014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$E7B11E82-925C-4133-9F87-58AFE0E5EADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$9C63063C-4968-436B-91F3-4BF563807053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$F8B0103A-A1B3-46C6-8976-BBAE08FA3B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$DC889DFA-95B4-4269-B83F-3FF82B2084E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3295f9b721f2088b41229e5ae133d83d9dfb5c42","datavalue":{"value":{"entity-type":"item","numeric-id":2946585,"id":"Q2946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$C27E1661-377F-4AF2-ADFE-7BEBCEC89992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$D6A6A1FA-723E-4AAD-A936-AC6AA7B10EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faedb5eb035340aba27d850f49f8ac4b5191800f","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331068$F3E136A5-1724-42E0-8583-EC51917CD733","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":"Q2331068$7FAF4430-F342-4223-919A-825D4EFD89A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebe6421bb2ef11740ac2dff54f20e7dd377f22eb","datavalue":{"value":"10.1007/S10817-019-09530-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331068$75CEBFF5-13EB-418D-8704-1E2BCAB1BA81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b761caee58960ec56586840cd25038d303b30fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3460055,"id":"Q3460055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f452bf22011383ca67006075f28b9fb2a44a7a16","datavalue":{"value":{"amount":"+0.9879732728004456","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":"Q2331068$3CE04FA4-1FA7-49D4-89F9-FD0FAF1F3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402eaccebcc2073e587f1bfa8c96a4aba09d330c","datavalue":{"value":{"entity-type":"item","numeric-id":2343128,"id":"Q2343128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33386cffb3579b7a60647d82da219a24f59fc1","datavalue":{"value":{"amount":"+0.7869601249694824","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":"Q2331068$2AF848AA-F7A9-47C3-983D-634D224AA7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1f4a7cbbc65cc0dc08c7ec812ba84d31fc0721","datavalue":{"value":{"entity-type":"item","numeric-id":1989323,"id":"Q1989323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73aff48c6b84b934d532d3039e48a71650eaf399","datavalue":{"value":{"amount":"+0.7098527550697327","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":"Q2331068$10318DB3-8CB9-490C-99FD-8FC3D13DDC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a397b65e7ad8983ba86aefde317b4b5f5c6ffde1","datavalue":{"value":{"entity-type":"item","numeric-id":3654818,"id":"Q3654818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbdbfcb0dc29103007198328c5724ccb9a8a7e91","datavalue":{"value":{"amount":"+0.6968103051185608","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":"Q2331068$50B03828-21ED-4D5F-816D-375AF1BE3E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb902fc32928b78adfae339b63f14ce67402b36","datavalue":{"value":{"entity-type":"item","numeric-id":2870134,"id":"Q2870134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92368000aabba1068ec165e738fb33e1024fc59a","datavalue":{"value":{"amount":"+0.6919125914573669","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":"Q2331068$3E6A8774-1A92-4DCE-A66A-141A7B87472C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2331068","badges":[]}}}}}