{"entities":{"Q6642882":{"pageid":14254037,"ns":120,"title":"Item:Q6642882","lastrevid":42400133,"modified":"2025-06-14T23:56:45Z","type":"item","id":"Q6642882","labels":{"en":{"language":"en","value":"The reverse mathematics of \\textsf{CAC for trees}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7948999"}},"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":"Q6642882$77CBC92F-D818-4B67-91FB-85B62D120E31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d415018c97ce7236189251d597c3764631188ce7","datavalue":{"value":{"text":"The reverse mathematics of \\textsf{CAC for trees}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6642882$27E2CB18-B6AD-4489-A3EA-C4BF8FAB9ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51962d668dedf661962306f9aeef33917fec9923","datavalue":{"value":{"entity-type":"item","numeric-id":476164,"id":"Q476164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$CE162B91-D1D9-449E-BC72-9242CA7F0430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96f684ebc0dcb1832ae6fdabdf723e214e1716eb","datavalue":{"value":{"entity-type":"item","numeric-id":6400825,"id":"Q6400825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$B73B9225-FBB2-456F-B5AC-5E4AAC7C84E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ef153d9b4f1f3d6db3e86ef08f3ed5191e259d","datavalue":{"value":{"entity-type":"item","numeric-id":490868,"id":"Q490868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$DF0E81EA-36A8-4E17-B9BA-291846048061","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272cd05120c15d974d63530fc5e992c05f38b5cc","datavalue":{"value":{"time":"+2024-11-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":"Q6642882$9753E9A2-1F0E-41A3-81FD-7742ADB95129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642882$6278DF26-8CE1-45CB-AB18-E545F0ACDF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642882$8D834904-9896-456C-A31C-3F0911ECE081","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98674c149b80285ace7e057a3599248bd9afb9a8","datavalue":{"value":"7948999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642882$91A75D59-0AD6-47A8-91C6-A91F3DFD8BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed237ff92e95e12114891995f300fe52c2a2a970","datavalue":{"value":"chain antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642882$59C423F8-1A00-413D-9742-EDABE87DD9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fe3d93818556d981ab269736c237cbc3a660f0","datavalue":{"value":"Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642882$2750ADE2-89CE-44C4-87EC-E22623014A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642882$3094227F-00D6-431A-B702-452D9BBCBD91","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":"Q6642882$E81DABE2-0D4D-4D29-8AF2-51A459042F96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02e22b01859c3e0ac3aff69cfe43d45b11b2edd","datavalue":{"value":{"entity-type":"item","numeric-id":5158115,"id":"Q5158115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$A41738F1-2772-45F3-96E5-9098C603A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf5b7f0183da67e7944b7a2231df4d74b2a1834","datavalue":{"value":{"entity-type":"item","numeric-id":1049747,"id":"Q1049747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$AEA2914C-4617-4892-BBE6-2B8E10581C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$CBBC5EED-DFEB-499D-8D70-053B56A88F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98141c0b7bac404be991952cad15029858b4f57","datavalue":{"value":{"entity-type":"item","numeric-id":3550582,"id":"Q3550582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$5A1EB3F6-85B2-4F16-9AC5-DC76D2581D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$C2480F16-E537-4F37-BA58-1D24B13E1DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96737c7e7b7ca9b44d3153915eedede3ce69b7df","datavalue":{"value":{"entity-type":"item","numeric-id":5055312,"id":"Q5055312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$5CD8874B-E1E8-4754-9583-CD04A41DD17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3422a75bab35171159b9c7a1569787ac90b8997","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$5313FC3A-BA80-4F05-A9E9-058076571C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be090b72ec4ad11f57d41ff6da5323d0faa9bc2","datavalue":{"value":{"entity-type":"item","numeric-id":2747728,"id":"Q2747728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$46178A00-4AC1-430B-9EFA-57ED8C37FCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$D0B31C75-3C8E-42AB-A227-23018425475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e172ce80cb42a286d92f691e17015febc427c38","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$4161501A-7363-48D2-82F5-3A778DB5C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$62A45C8C-F596-4824-B4C9-F2FBB48A8F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f3e2147ff83d09a44d22572a320e6572c66fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5401600,"id":"Q5401600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$0F32C000-B462-4784-8B44-0C4E093CAE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4296a393276b144b235e2631ac2f4a79ad70a9","datavalue":{"value":{"entity-type":"item","numeric-id":5070463,"id":"Q5070463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$C58458F6-272E-4140-A121-2D8884D56125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642882$BAB03F9E-2604-40AF-8306-FF55CDCCFDED","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":"Q6642882$3CD3CA8C-5576-4110-913A-3F9B2D0CC703","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a70dc498e521216f1fe35732e6083a61d06f50b","datavalue":{"value":"10.1017/JSL.2023.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642882$C3C89EF2-9259-4DE9-B488-A0E5DC23735F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6642882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6642882"}}}}}