{"entities":{"Q1918896":{"pageid":1929638,"ns":120,"title":"Item:Q1918896","lastrevid":82183646,"modified":"2026-05-06T20:18:11Z","type":"item","id":"Q1918896","labels":{"en":{"language":"en","value":"A high-tech proof of the Mills-Robbins-Rumsey determinant formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 907658"}},"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":"Q1918896$BEE11D1B-7375-496A-83A0-DA4C641EDDDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d76540f69251175f5cd7c761778e6ccd72ede079","datavalue":{"value":{"text":"A high-tech proof of the Mills-Robbins-Rumsey determinant formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918896$8BE3FC72-4A92-4A3F-986E-D92E08C0B3CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d5a0e0b74e99867fc87ff701d01477833cce432","datavalue":{"value":"0851.05005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918896$08908199-A58E-48CB-B1B4-BE50ED201A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdba630e956e6c1e0d73d152d165d69bd88983b9","datavalue":{"value":{"entity-type":"item","numeric-id":648415,"id":"Q648415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918896$90E520FC-E056-4ED3-875E-ABEA68496E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d42615c1b40e2a8f2e6446dc431f0f7853a791","datavalue":{"value":{"entity-type":"item","numeric-id":696848,"id":"Q696848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918896$195802D6-6A90-400F-A9AF-BAC2B6A29D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918896$10A967EB-4AA8-4259-B590-EDB4A6B9BF09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea39d34088133350decb299267d3fe6ec694e597","datavalue":{"value":{"time":"+1996-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1918896$945D71B8-E335-4865-A51B-16DEC9EB055F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1c863ef1002cf01245eba3b4ff89c3ec365bd02","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_3/volume3_2.html#R19","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918896$60B83DCD-AF72-4027-BFA3-F16CFE7F3B23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c3d1f62878fb4a7de8068e81cab871c5f4cd4c1","datavalue":{"value":"The formula in question states that  \\[ \\text{det}\\Biggl(\\Biggl({i+ j+ \\mu\\atop 2i- j}\\Biggr)^{n- 1}_{i, j= 0}\\Biggr)= 2^{- n} \\prod^{n- 1}_{k= 0} \\Delta_{2k}(2\\mu), \\]  where \\(\\mu\\) is an indeterminate, \\(\\Delta_0(\\mu)= 2\\) and for \\(j= 1,2,\\dots\\),  \\[ \\Delta_{2j}(\\mu)= {(\\mu+ 2j+ 2)_j({1\\over 2} \\mu+ 2j+ {3\\over 2})_{j- 1}\\over (j)_j ({1\\over 2} \\mu+ j+ {3\\over 2})_{j- 1}}, \\]  with \\((x)_j= x(x+ 1)\\cdots (x+ j- 1)\\) being the usual rising factorial. We give here a short computer-assisted proof. This proof is conceptually very simple. The intrinsic depth of the problem is reflected only in the very large polynomial that is contained in the proof certificate.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918896$D946168D-75E0-4598-B6A6-FE03342B1B25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918896$B69609F1-DE3F-44C2-98B6-B16A3C4BE7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918896$4DD507A1-92FD-4808-A0A1-45DF3FD8368E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44cf2eeb132c4091fba11bc33f36e3f0ab0828d1","datavalue":{"value":"907658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918896$27FBCDB3-A777-43A1-9292-61D3C3A07101","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872951f9b76c6109e92d021389ec249aeea4c09d","datavalue":{"value":"Mills-Robbins-Rumsey determinant formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918896$AA875E54-FD2D-4EEB-B20A-0946BFBE1244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f70574957ec8cd32d10a9c37e10c4d05f11b93c","datavalue":{"value":"proof certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918896$DA7CB982-C4F1-4138-9662-21C00E57E965","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":"Q1918896$CC332A37-0648-4283-ADB9-0C0F7314BA3E","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"67387ba12bc47a905a0e2580caf0dc9d84d88af1","datavalue":{"value":"bafkreihc47babfojupk6tao45ewpqbijhuhvirscx7xtdjztut72dxxvd4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918896$55341FEF-7A6A-4070-8E2A-7230EC0900D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01af72d88ba9d68429bc887089f56cecf784edae","datavalue":{"value":{"entity-type":"item","numeric-id":1384585,"id":"Q1384585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2d134fb97e2d3570abb1fc810eb5a315d58636","datavalue":{"value":{"amount":"+0.8344939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$EDA9DE34-FA6E-427C-814E-69AB963E7304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f27a647e6fdf162ea652bcdd905b4c2df0c04d","datavalue":{"value":{"entity-type":"item","numeric-id":5144645,"id":"Q5144645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a367068cb8d71dbc7eb03337a34a57177c24331a","datavalue":{"value":{"amount":"+0.8310121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$BC4FD58F-654F-4265-B64E-F6E073F2BD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08283bcf661b8c93e1feb9d2ba5f8a87d14dac33","datavalue":{"value":{"entity-type":"item","numeric-id":3980547,"id":"Q3980547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e249d6c4e6e8304cb1065c522a8b257ed03b76b","datavalue":{"value":{"amount":"+0.8291204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$8CA6B29B-E47E-4DEB-BC8A-C69C1E46D3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7d2ef11865a30aa0d2bbb2171e7cf52aeccd41","datavalue":{"value":{"entity-type":"item","numeric-id":2197268,"id":"Q2197268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25beaf6cc6c2c69dc0b94e0c4dd9bc8f428dfef","datavalue":{"value":{"amount":"+0.82535183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$76ACDD7B-AA10-45A5-8045-0F2E81463530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767d22e2e36d78453586835117d1fc5f7c94b142","datavalue":{"value":{"entity-type":"item","numeric-id":6088732,"id":"Q6088732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339807a95b1e7c62bf416a28919cfda154fa7ab3","datavalue":{"value":{"amount":"+0.8237342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$8DA6952A-F5C1-4CE8-8667-AED99A9B098A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86317ef658b5d9b4a9b6e6091aaf22c5fa5666c","datavalue":{"value":{"entity-type":"item","numeric-id":5056443,"id":"Q5056443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5971da56d49d8226eda1dd65ebd2a66d00cd6a","datavalue":{"value":{"amount":"+0.820922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$345570FE-DA1A-4440-BE1E-3910A485F66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963ac0a548b13b06d72380dfab7cf2a415a86e24","datavalue":{"value":{"entity-type":"item","numeric-id":3021053,"id":"Q3021053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25758f07616909fc65ce9e20d03c708de0605b89","datavalue":{"value":{"amount":"+0.82069796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$1836E6A8-0037-4C32-BC67-222129EC3286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3ec6a59bc1d381daadddb83f152aa8c2dcd7c6","datavalue":{"value":{"entity-type":"item","numeric-id":1651401,"id":"Q1651401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c772b5c30833abac4f877450fa4bc04220b3c0f","datavalue":{"value":{"amount":"+0.8195965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$F0E2DFC8-0E3D-4060-BAEE-FA6994B004BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2713ea8df4775898961315e25623e311226d0d2","datavalue":{"value":{"entity-type":"item","numeric-id":1369294,"id":"Q1369294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e0a73b8258154b0b94101dd04acf05cc7d4b1d","datavalue":{"value":{"amount":"+0.8178016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$60C792F4-BA9C-4D34-A6E3-5A0E1D71AA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393d3c67392e401313bf331998ed1b32d3f1d814","datavalue":{"value":{"entity-type":"item","numeric-id":1737404,"id":"Q1737404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a410c251e96459c1784157d6721190e85c86a9e9","datavalue":{"value":{"amount":"+0.81488323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1918896$EDDB879C-1000-4D6B-96AE-F9AA010AA5A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A high-tech proof of the Mills-Robbins-Rumsey determinant formula","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_high-tech_proof_of_the_Mills-Robbins-Rumsey_determinant_formula"}}}}}