{"entities":{"Q2277258":{"pageid":2288001,"ns":120,"title":"Item:Q2277258","lastrevid":49483351,"modified":"2026-01-07T06:09:08Z","type":"item","id":"Q2277258","labels":{"en":{"language":"en","value":"Connected components of graphs and reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195938"}},"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":"Q2277258$1917BB9E-C4C8-4289-A133-08A373B1C183","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33d37043093393e0e8036e297ae74f7e50d8fffd","datavalue":{"value":{"text":"Connected components of graphs and reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277258$E14871CD-FFDF-484E-A3ED-193062A913A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67684f5d2ec9eab0323c7e684c1fb4c64558ab2","datavalue":{"value":"0725.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277258$7E625AC1-68B7-467B-B0C4-8DF02A1DD596","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7674faf19e7004c439a88da8b50327ff6792730c","datavalue":{"value":"10.1007/BF01269946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277258$F99E5823-54C8-4E7C-8B29-0DC8A6EB8457","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$7BCE9818-3F17-4C36-A6F1-556AB9CB0ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2277258$D716BDA8-7360-475B-8F25-CF19CC67F4B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3be766f401ecf20b5300cd3a7e74f0244ea3fab2","datavalue":{"value":"Statements about infinite graphs can be formalized in the language of Friedman and Simpson's subsystems of second-order arithmetic. Working in \\(RCA_ 0\\), the following results concerning decompositions of graphs into (maximal) connected components can be proved. The statement ``every graph can be decomposed into its connected components'' is equivalent to the arithmetical comprehension scheme, \\(ACA_ 0\\). The statement ``for each \\(k\\in {\\mathbb{N}}\\), every graph with at most k connected components can be decomposed into its connected components'' is equivalent to the induction scheme \\(I\\Sigma^ 0_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277258$52BC8259-3282-45F0-880A-75310AD6A7C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277258$6623DD4F-467E-4053-8374-60C704EBEBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277258$5588C188-427C-4C5B-92A0-742FF2547B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42d78b0fcaa1d8851d84c8b90b7aa8ebcac7b1dc","datavalue":{"value":"4195938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277258$F2A5E9EF-5DD1-4959-92EC-CB779106D164","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56ca8229c910b225b545708d4ee0205a9135b99","datavalue":{"value":"decompositions of graphs into connected components","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277258$8596F752-C1CA-440C-B576-429861DE625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e56d67eb490a90833c3ff998c27c8bb79a86c2","datavalue":{"value":"Statements about infinite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277258$C495050E-6494-4EA5-8C06-8912F291A784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277258$6913B0CD-B6B5-4546-BC76-2B5AB4B77A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cd7e098777c02003ef4a3b9e93d7b01f409dd01","datavalue":{"value":"arithmetical comprehension scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277258$127DF8BF-AFFF-44D3-AE6A-C03619A87181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c40a6b182efd93977e2c635a63b760f3bfc2c9b","datavalue":{"value":"induction scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277258$60C93FB1-2440-4F5C-BCB8-66260A4C5F51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$6D629A4A-B700-466F-9782-C6928B4E5EEB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$36A94B53-268F-42EA-B8A8-E876BD6745D9","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":"Q2277258$34462070-3C62-4EB7-93A1-1E26DCB24962","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$91D1DB2C-F974-4FE7-BF25-C6E8383AC2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$2CBC8C5B-7D0A-4055-9C47-5BB8BD87704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$150547D6-EDE0-4924-A588-E23CA26803AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$F3BDFCBA-DB86-46C0-9993-7EEE1800EC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a057cb680d03d556a552e031e992c3bc06678b7","datavalue":{"value":{"entity-type":"item","numeric-id":5181352,"id":"Q5181352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$275F8D2B-E62C-487F-A9A5-933B400F6197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b96dd7ca0c4bbb78854e16e232db29c4eac847","datavalue":{"value":{"entity-type":"item","numeric-id":4168612,"id":"Q4168612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$BDFD3475-7B32-4D9C-ABCC-0C92B4C6C238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d756a2dbfc42ad957c96a9182383cf86faa5a35","datavalue":{"value":{"entity-type":"item","numeric-id":3893931,"id":"Q3893931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$F3505BC8-EBFB-4668-8099-F625130E647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f56c47bfb5e73f38c450fc9d4e062064c197b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596777,"id":"Q5596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$770258EB-07CA-48EB-A898-7B6214B175C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b01a7213c08624817100e0af4977428202caafc","datavalue":{"value":{"entity-type":"item","numeric-id":3290719,"id":"Q3290719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$F26BA3B4-062B-41AB-8FC5-8D4EAE9B790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$8D43732A-21A1-498E-A363-ED91675CAC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836c0e3dce5c3c3f1796b886735793572a441d10","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277258$D147F91A-5D58-414D-B38E-B5476DFE1C88","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":"Q2277258$D0BEB546-80F3-4888-A91E-BEC8E3EFF3C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bdb84d3ec167ff41334a36005e20795f21c2f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3195646,"id":"Q3195646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f4e1998b893cd1fc20b05f7dc53574b136a87c","datavalue":{"value":{"amount":"+0.8463855981826782","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":"Q2277258$4B596169-C50F-44D9-AB26-9008A96AE261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a25715e272281c76f2a72c852823c660f77ce55","datavalue":{"value":{"entity-type":"item","numeric-id":3840692,"id":"Q3840692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c208493d2ea430e4e13c949a6a687c3b343b5d4b","datavalue":{"value":{"amount":"+0.8356789350509644","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":"Q2277258$36D55F4D-1B66-4FA8-8A02-3D24169958C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ed35a102b8072e030e1cc6aa80d90d841ec65e","datavalue":{"value":{"entity-type":"item","numeric-id":3117776,"id":"Q3117776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f811918d7387778126207f53df148900b2e3f6d5","datavalue":{"value":{"amount":"+0.8346453309059143","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":"Q2277258$2466E446-F4E2-4330-892E-B395906BAFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c248fab3d2b7d61b3558f086abea4f8db9e9595f","datavalue":{"value":{"entity-type":"item","numeric-id":4224080,"id":"Q4224080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba676c2f46dc31094f60703c9b3c8dc4862e6b72","datavalue":{"value":{"amount":"+0.7991839647293091","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":"Q2277258$0BC1CE97-EE13-44F0-B85D-0B53126B9206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da27f9b7d3ae696900d92fbc229ec1085a38216c","datavalue":{"value":{"entity-type":"item","numeric-id":1590191,"id":"Q1590191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba676c2f46dc31094f60703c9b3c8dc4862e6b72","datavalue":{"value":{"amount":"+0.7991839647293091","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":"Q2277258$CC4A2FEA-20A2-451C-9638-66B8E99E6F0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277258","badges":[]}}}}}