{"entities":{"Q7262803":{"pageid":31029731,"ns":120,"title":"Item:Q7262803","lastrevid":104230148,"modified":"2026-06-15T14:56:27Z","type":"item","id":"Q7262803","labels":{"en":{"language":"en","value":"Games with backtracking options corresponding to the ordinal analysis of \\textit{PA}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8210516"}},"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":"Q7262803$0DA35BEC-3142-4D65-A614-0564E56C3D59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b9b26c0a8e28874dd8e6c5062203088c9a90fab","datavalue":{"value":{"text":"Games with backtracking options corresponding to the ordinal analysis of \\textit{PA}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7262803$C07260AC-0E8B-42A9-A1BB-FCB69FEDD248","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a716a4103d33330eec51979a957026ea85e2e65","datavalue":{"value":"10.1016/J.APAL.2026.103767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7262803$C11EEE1C-7F36-4555-BEC5-28B941413F89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"330849277db90f3037a97e57dafbb720eb4b8e0e","datavalue":{"value":{"entity-type":"item","numeric-id":6348545,"id":"Q6348545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$1EB5CB5A-82AB-4265-8540-957C06878D35","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":"Q7262803$E30D67BC-6B12-4D8E-A22B-342581439065","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06a6c3d5eee070b5f0b4beee6c04b3032fb214cd","datavalue":{"value":{"time":"+2026-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7262803$9D24FE73-1159-4061-BEEC-545C6F8EAB52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7262803$F90B4271-5F28-4C74-A784-014CBD4CEB2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a91428dc9d005fa26dd4223387865e4a3c7f54","datavalue":{"value":"8210516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7262803$43F2E31B-00AC-47D7-BA1E-41826DD37D36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q7262803$A35AFDD9-B601-4FA6-9A44-70298344CEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fba90fd216b8121f2e73bdb554af4d4845c01897","datavalue":{"value":"\\(I \\Sigma_k\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7262803$74DD5E5F-2E9C-45FB-9305-D8C106A2C156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7262803$32CFD520-F728-4D6D-B199-44D08D019495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7262803$FD3EB88E-6389-4E59-BC1E-6F55E88FAFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5f9c8b59db18605ca31173e094a6e84318ec7a","datavalue":{"value":"witnessing argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q7262803$EEBFE619-9540-4F42-A270-32717C3915E5","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":"Q7262803$50D96296-3A00-4E2F-94E6-97F264539292","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80dcdbc651105fe69e6e02d85a2a0aec342f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5119482,"id":"Q5119482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$762FE149-8E73-4C53-AE01-722FA36DEDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$12050A43-035A-4CCA-8E33-912130704772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$DE1C7632-A9D8-425E-8DFC-54FC27F255F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$279B0719-9C08-4E4E-9CD5-5364CD8F400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d204b14fff0f1434758e3ae2af5feb2ef0faec34","datavalue":{"value":{"entity-type":"item","numeric-id":4325772,"id":"Q4325772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$29CEEBE3-220E-4865-A68D-09F799C842EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23400c278c34c4952b60ea1739aefeaf237f99e0","datavalue":{"value":{"entity-type":"item","numeric-id":2921008,"id":"Q2921008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$E3AA0789-0936-4295-BE34-E6DA4FE19B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$A7B16A5C-FE90-4D6D-8834-1A38D6DBDFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed06ff33ce8f0607c853f5210704111b372855d5","datavalue":{"value":{"entity-type":"item","numeric-id":2595469,"id":"Q2595469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$743456C5-2087-4E42-B06A-CA4BC0ABCE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$8F060C95-1479-4B85-B8FB-43EAC2662A8F","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":"Q7262803$21EC8EF5-7FC3-47C3-A96D-E92066BFA792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada8141710e37d701eb1c63e79787de4181ce04e","datavalue":{"value":{"entity-type":"item","numeric-id":5626610,"id":"Q5626610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$D10BBEEE-4FED-44BE-A561-4EB82FDBFDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$C4B940E3-6AAC-4098-BDFA-5027CEF99671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7262803$7A194207-8263-4B42-8889-E99C115BFA08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7262803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7262803"}}}}}