{"entities":{"Q1921268":{"pageid":1932010,"ns":120,"title":"Item:Q1921268","lastrevid":78137480,"modified":"2026-05-06T10:52:32Z","type":"item","id":"Q1921268","labels":{"en":{"language":"en","value":"Clifford algebra and 4-color theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 915228"}},"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":"Q1921268$F9EFDDE8-D321-4858-B931-A2A507918576","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"659d98c92d348728c4ebdfc81dcdef44545f3da5","datavalue":{"value":{"text":"Clifford algebra and 4-color theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1921268$8CE566A3-1489-4573-BD70-6D00A0C8BDBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe8eb5c3c447dfd8884e25c645407bbca8ecfdd9","datavalue":{"value":"0856.15025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921268$C3479250-3FC6-4DA6-AAF8-002A9AFE7702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7db2cd7caad71516e4db249aaf996e463689b6","datavalue":{"value":{"entity-type":"item","numeric-id":1097816,"id":"Q1097816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921268$D9ECD435-DEC8-4509-B339-1C17266D6A76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7dcf1477c2c1fa51233003d7ddc56e904fb2213e","datavalue":{"value":{"entity-type":"item","numeric-id":211586,"id":"Q211586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921268$6C5EE244-FA93-4175-9A45-4F3DBFF18EB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d3360b6b943b694e0d876edcc46e387fe24c809","datavalue":{"value":{"time":"+1997-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1921268$BC12B5DB-68F0-41ED-B326-EC8002317198","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af01f380133c331b8207f6807feaa657b1e6257a","datavalue":{"value":"The 4-color theorem was shown to be equivalent to a statement of bracketing of cross products of orthogonal vectors in three space by Kaufmann. This paper establishes a constructive proof of the 4-color theorem by employing Clifford algebras. The associative Clifford product can be used to model the cross product which renders bracketing to be obsolete. The proof proceeds as follows: (1) If two bracketings of cross products of \\(n\\) orthogonal vectors are nonzero, then they are identical. (2) The nature and number of inequalities obtained from bracketing are studied, which results in \\(2n-3\\) inequalities to be satisfied. (3) The existence of a nonzero choice of such orthogonal vectors is shown, which completes the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921268$6395C86D-8095-4E54-8132-BC9166D0809F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83211f0eb2cd7b7935b0481146199d3505baf54c","datavalue":{"value":"15A66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921268$C38D5449-0FA0-4B01-84E6-A54625B471E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4920bcb5055cf3da94830f00d832c01308357d4b","datavalue":{"value":"05B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921268$DEBD369E-AF73-4D49-A6ED-0841F404D88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbc214a052548d11938706a0523279c6238167aa","datavalue":{"value":"915228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921268$53CB4212-CB3A-498E-8BDC-5D63DDD57100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9893315fb9923cc47735c8c0eaeaa900d057207c","datavalue":{"value":"Clifford algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921268$0F0BAA7A-FE53-4AA5-A818-58A29BBFF2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77fd62ed38053569617d752ef9408512f74f3fae","datavalue":{"value":"4-color theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921268$76A839E9-8080-41E2-9334-BD11F3312ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a16697f6cfff457d46b6f3a69ec658b695818c","datavalue":{"value":"cross product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921268$941166EC-3E51-4AF5-8BDD-2318DC2CD7D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4f0730d338033f52bcb97fa95e12d43597a7c8d","datavalue":{"value":{"entity-type":"item","numeric-id":178244,"id":"Q178244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921268$9371F7A7-1483-4B43-9744-A1F49A43B5F8","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":"Q1921268$C5FD28BC-E459-4E44-A039-1BA19911BA87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0037d116a5c9147aead63cc2b51c74aa978e07","datavalue":{"value":{"entity-type":"item","numeric-id":1099183,"id":"Q1099183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a6f91e28b1f0637f9d5aac8e58eef8536c9aeb","datavalue":{"value":{"amount":"+0.8299684524536133","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":"Q1921268$6A815B5B-BCC5-4A49-A31F-C0187F882F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad09c77cff4eeee6aa5aa6897bc38a48d6bdcfe","datavalue":{"value":{"entity-type":"item","numeric-id":1375054,"id":"Q1375054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bada40395334128dca07c862b78aff1fe231bf7","datavalue":{"value":{"amount":"+0.7996559143066406","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":"Q1921268$EA9CFCD2-09FC-4F14-AA40-A1F75F208775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3740300ff3cc60c845a4765e5f97ab4c4e247d73","datavalue":{"value":{"entity-type":"item","numeric-id":5469947,"id":"Q5469947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11ef75670b2094edfe84d8b2d534682f6fbe440","datavalue":{"value":{"amount":"+0.7699606418609619","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":"Q1921268$68C7F644-8ABD-4A77-A82C-C70DAA127D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565937aa9a61ba385fb271ba12bbd59207b1f27a","datavalue":{"value":{"entity-type":"item","numeric-id":4340879,"id":"Q4340879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa3c2fb7d61c93c1fa7070662bc5b56e4e45782","datavalue":{"value":{"amount":"+0.7481265068054199","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":"Q1921268$A17A6CE3-9FC2-43F4-B8ED-88FBD9211F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4e8105c3de84a182d0dd7ab550e2364e6480b0","datavalue":{"value":{"entity-type":"item","numeric-id":3105540,"id":"Q3105540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6cb79d0fe8c037a835c91a4ccaffb8e396527e","datavalue":{"value":{"amount":"+0.744327962398529","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":"Q1921268$E3393BE4-6CBF-4F9D-9904-EA89CCAE9E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clifford algebra and 4-color theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clifford_algebra_and_4-color_theorem"}}}}}