{"entities":{"Q2784165":{"pageid":2794903,"ns":120,"title":"Item:Q2784165","lastrevid":79378205,"modified":"2026-05-06T13:46:12Z","type":"item","id":"Q2784165","labels":{"en":{"language":"en","value":"A predicative analysis of structural recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1731168"}},"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":"Q2784165$72DE90CE-CD21-40FF-BF84-A294AE3C8332","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07dfa9b2cf7e7da81e776f70ad60a5c24914c220","datavalue":{"value":{"text":"A predicative analysis of structural recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784165$8F55A223-40C4-43FC-B023-303813F6A686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e93ca2c335b0801634ff8e3bc187a823f072bfa9","datavalue":{"value":"0998.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784165$64C98C1E-C1B9-4741-A071-02EBBB94DAD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00d9d384317f2fa6c8617f1cc72f271942646071","datavalue":{"value":"10.1017/S0956796801004191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784165$EFB5BC17-8CDE-431A-BEB9-FFC44371A42D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784165$EECA2218-C291-449E-8806-AAF0F280659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784165$AA99F92D-8EC5-4AFA-97A3-ED992D6D99D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784165$B6CFF028-9718-4867-B7AF-E386D210DEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6863e602815acb5f8df8b9dde489285ae2aa87d0","datavalue":{"value":{"time":"+2002-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784165$700EF965-AFC2-4AC4-BFA7-8CF97A3E9A16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784165$5C71601E-B706-40F8-9B25-F558BE654A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784165$C9424683-F95F-4C65-BE11-2B851EE50FBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"883ed2d37214a88ba1d45ff8b8011c1dd61fa512","datavalue":{"value":"1731168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784165$A321B6CB-4AEF-4821-85EB-A4C600856EE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784165$F3755D36-12B3-443D-8AE6-9ACCA83B13DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784165$A1F641F0-11FC-4527-B38A-2EFE05D3550D","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":"Q2784165$A6962EDC-3401-412A-9A53-90C9C75BF454","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c011eaeac7c261659469a3d2aa1b2347925a1a4c","datavalue":{"value":{"entity-type":"item","numeric-id":2766795,"id":"Q2766795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa77d29688c53102e40d7bf74d91234070dda12","datavalue":{"value":{"amount":"+0.8038037419319153","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":"Q2784165$D3345EC5-D1D7-44F1-A7FD-A1A96D099766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758314483c5b24e4877d7b0596aa2fa7a58a2049","datavalue":{"value":{"amount":"+0.7578767538070679","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":"Q2784165$7AA0484C-993E-4E09-AEFE-CF1CBD413A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00109cef22270c88ccf8bc2c1b955849380f930","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593434a7a7f5a16a3b1a8c1925266c33466cbff6","datavalue":{"value":{"amount":"+0.7383272647857666","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":"Q2784165$8AAFC3CE-7513-4641-B8B0-BFBBE9BDBB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be2662826ba3932304951a0b3c661047bbf58b","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c6461e89c04fb406fe354e3f27247a67f66943","datavalue":{"value":{"amount":"+0.7259854674339294","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":"Q2784165$28860BC2-FE9C-4019-9890-BA52BD54FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d97806b501a6680b73f96c77eb5c3ffb588d78b","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30a4679d8492a2ce687a92499363a47d7d1f31f","datavalue":{"value":{"amount":"+0.7244540452957153","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":"Q2784165$94B37734-C764-49AC-AC57-4ABE2266A939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A predicative analysis of structural recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_predicative_analysis_of_structural_recursion"}}}}}