{"entities":{"Q5752568":{"pageid":7782119,"ns":120,"title":"Item:Q5752568","lastrevid":49464103,"modified":"2026-01-07T05:09:27Z","type":"item","id":"Q5752568","labels":{"en":{"language":"en","value":"Generalizations of the one-dimensional version of the Kruskal-Friedman theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187803"}},"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":"Q5752568$3AF47F74-46C8-418D-9A0A-F7A3A7A1504D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c90318bd4015313319955b4c7b0faae05900a0f","datavalue":{"value":{"text":"Generalizations of the one-dimensional version of the Kruskal-Friedman theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5752568$79FC06CE-8707-4584-B5B4-4DBF4D5CE1DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b962ce754105289e46a20ad6c0dd288ef219c67e","datavalue":{"value":"0721.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752568$78C0DF30-C988-4725-9736-26A2348311E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a85e3dd4132d41b6455f0f6a7cec3e2d08a08ff","datavalue":{"value":"10.2307/2275019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752568$03813395-BB85-4665-9E71-66E2866A941B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$E978479F-2E66-4B24-B9FD-5DB3F551B737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5752568$CC88F0B7-6914-4D04-8DDE-8F9ACFFE11C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752568$18CEBE77-88BC-4444-AEAF-E214C18135FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c6cc73c5722e610992aa2a12af66f5483b0d055","datavalue":{"value":"4187803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752568$5DDCF3A3-113D-4C1D-B320-68CBF2509C14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752568$7F2811A4-10EB-4266-9F18-6E8625D6EF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77b38d9998c90f3e68c99897dba6c64814627cd","datavalue":{"value":"one-dimensional case of Friedman's extension of Kruskal's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752568$F46EB6DA-4FD6-49B6-BB7B-DCC8EA0213E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ec1b2b22a875683c45da963a555cc05cd70d1a","datavalue":{"value":"second-order conservative extension of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752568$311C93C2-97F6-4FAA-AD73-A6B646001686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67797cf90d1614f943b090a9c0072d568b761c53","datavalue":{"value":"transfinite iteration of Higman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752568$11E07D75-9B3B-4CE3-93C7-41D5C9124DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752568$32A989FD-7B0E-48B6-8515-DFC231A8E3D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$C4D78A3B-C64C-4041-B020-088BB1EF1FF0","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":"Q5752568$880EDF47-1291-4C16-B58D-6BDF6CF22C85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd79d6831ab1774de2164d72a0436ef7903b6322","datavalue":{"value":"https://doi.org/10.2307/2275019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5752568$2CD59CEE-38BA-4344-B88F-7C6248A62BD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"973776bf26d590cf4acf556ec978e8a4370010d6","datavalue":{"value":"W2040462567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752568$65AC4135-A165-4096-956D-F4C5E56ED1C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$8364C752-CB83-42A2-93C1-442E4FA062B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c7bbd8aeb065572be5518f5b89cf1cd49c3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$B23A21F7-6F56-4071-8AD5-6875E34238FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1011d9b533b612e0cb2ee54c6f1aa4a32d2628","datavalue":{"value":{"entity-type":"item","numeric-id":5540436,"id":"Q5540436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$09437EDE-2693-4CA0-A763-8B23ECEF9159","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":"Q5752568$36D188A4-830E-46F8-90B6-9F854677C1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6009c28f52c9fce33675352f603d785f36063528","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$3CD29B30-9139-4227-881D-9CBA7E4FE24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967caee0f4b629b2770249b58352d882fa57e30d","datavalue":{"value":{"entity-type":"item","numeric-id":911585,"id":"Q911585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752568$7BA6865A-DAB5-4C47-BE9A-424778D06FB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977cd8b99fcaad1edf7fb7340f8f6465da6f310d","datavalue":{"value":{"entity-type":"item","numeric-id":3491541,"id":"Q3491541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af0050bf1eb96de6a1d766bcf2d8a8a19ba42b7","datavalue":{"value":{"amount":"+0.8440965414047241","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":"Q5752568$FEF45C3E-A31D-4EEB-8AE9-D7BA7CB54C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfc187c8561dc16d4cca38bf204f2521a82c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc158283148f55f50888c2bfc3b7591f7b68a1b0","datavalue":{"value":{"amount":"+0.8077415227890015","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":"Q5752568$DFC99B41-7308-4050-B076-46CB635A41A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18515c2c529ff20c08db40bd16ee809acdbe2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5046601,"id":"Q5046601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1272b2f4c0e8d39094bb7f84f99159c354507828","datavalue":{"value":{"amount":"+0.8049207925796509","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":"Q5752568$07DC8AB0-9F09-4E48-9E8B-7B03AFC6FE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c10a75ce50325629e9132fc957782fb055d65c4","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205300485c3badf0d4b0c018363ff64cdc11ed49","datavalue":{"value":{"amount":"+0.7989788055419922","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":"Q5752568$998BAD92-10F0-4878-873C-6F000D92A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b0bbdba02c0122e06e35143e6304fa58ec3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3731598,"id":"Q3731598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3749168f139a44a3d836d49e5915188faf991335","datavalue":{"value":{"amount":"+0.7938390374183655","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":"Q5752568$BDF31765-ECD0-49A8-8942-9B4FEFFBF919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5752568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5752568"}}}}}