{"entities":{"Q7032980":{"pageid":21700764,"ns":120,"title":"Item:Q7032980","lastrevid":77526692,"modified":"2026-05-04T18:20:34Z","type":"item","id":"Q7032980","labels":{"en":{"language":"en","value":"Peano arithmetic, games and descent recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7978965"}},"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":"Q7032980$197F37D8-4669-450D-B445-8CBDD53FFAC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4658c7b43dc13efaa76d630928f1727c9a508166","datavalue":{"value":{"text":"Peano arithmetic, games and descent recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7032980$B5EEF4B8-3C98-47E6-A47E-0DF4E97411ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e75ed41cc2b2f9a4e7b9a5b91246784a3b2dc20","datavalue":{"value":"10.1016/J.APAL.2024.103550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032980$23B77568-03D3-41EC-A97C-FD0212D92E22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$11D13D41-1863-4F05-B201-C0F02CF0D770","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$7C09793D-F910-49A0-8317-A5586819BEB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2b10fff8c3252cc1662c09d69f1ec68581b268e","datavalue":{"value":{"time":"+2025-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7032980$8F248F17-A124-4B5F-B0A7-7AEA43F0CE04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032980$57579FC8-EB69-43A8-A2EC-9CBE89930E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032980$79DDD193-0C44-4B25-A0CA-4DC5EA0C0373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032980$BA9BB37C-C54F-4A8B-A9CB-8BB0D930B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032980$E5297549-22DA-438F-B6E6-7093FC9FE92E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0079ed2d04a52cf92a6df3cc5cf2fb09c06c75ab","datavalue":{"value":"7978965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032980$3FC7BFE9-3C24-498A-8C8F-C79DE9F21CB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032980$90209B87-7BB4-408F-8BAC-D328BE8B3A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b8edb8b9472ce52a4455a8ffa9888225337ee4","datavalue":{"value":"Coquand's game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032980$21D6CCF9-2B84-44D8-95D3-92DE466EA72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27bfc92421bf969977d940e701a1853fcf913685","datavalue":{"value":"elementary descent recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032980$AA0B20EC-693C-411E-83E5-46E2A4F2CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032980$B0E785C4-878A-424E-B206-00CEE34CAE29","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":"Q7032980$FE1711CF-D567-42A7-938D-BACFA56AB77F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3907787f92038892e4b3baf1bb47800a1bdad513","datavalue":{"value":{"entity-type":"item","numeric-id":4977225,"id":"Q4977225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$4B531C5B-B009-425C-9723-F035ED4FD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$EA9A52AE-0507-4678-A4DE-23237DC3322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$81DB70CF-A21E-420D-95B4-27A27AD4C6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f669abfbc37b840adcaab6ea4ed7b614f4fd528","datavalue":{"value":{"entity-type":"item","numeric-id":3000619,"id":"Q3000619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$30082A94-FDD1-44FB-BF0C-306CE229AA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$2930E483-34DA-47E0-AA6D-363C60553885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b317402d8df7a3aba3d161c369223f65efae4fd","datavalue":{"value":{"entity-type":"item","numeric-id":4225148,"id":"Q4225148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$DE72A525-FF8D-4980-88A0-FF06C55F305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$8B525D2B-566D-46D6-A370-5F31CCFF755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$D057D1D1-B1F9-4268-8BB3-D3D21F88AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769bca9b64b9ebbd057c25f979ce30ac64d3594","datavalue":{"value":{"entity-type":"item","numeric-id":4023115,"id":"Q4023115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$2EC33FC1-7F4B-41AA-A03B-119A4DA62D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$F3918FCC-A0CB-4897-9361-E1CC3AFDF5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$F10EE7DB-8F4E-44F3-BDBE-C8A6D90798FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0774ba1bb6cc27081f1e2e00433a0e01eac88467","datavalue":{"value":{"entity-type":"item","numeric-id":5834309,"id":"Q5834309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$548CFBF3-8166-4B9C-8D5E-9BEE091FE39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$19AC7CCB-4967-4B70-B84D-EA60550B44E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$77E6043C-1506-4251-AE2A-176140CE1440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$9767CE2F-B9BE-484A-8C2B-2346169D90C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7dfbf3008d1383f2c691c5d28ee40129ef4258","datavalue":{"value":{"entity-type":"item","numeric-id":3370623,"id":"Q3370623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032980$C89393D2-601D-4975-85B9-5101A7E36610","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Peano arithmetic, games and descent recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Peano_arithmetic,_games_and_descent_recursion"}}}}}