{"entities":{"Q5415475":{"pageid":7445049,"ns":120,"title":"Item:Q5415475","lastrevid":92269103,"modified":"2026-06-05T01:17:50Z","type":"item","id":"Q5415475","labels":{"en":{"language":"en","value":"Short proofs for the determinant identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294570"}},"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":"Q5415475$73A8A63B-6AB1-4303-8675-E7C410A58589","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93632acf1f03e4970856c9ea6b61f4b43265546e","datavalue":{"value":{"text":"Short proofs for the determinant identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415475$A222C354-A7A4-4794-B968-3E0C42630461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9aea7eb535cc01c6d95f1a4170695764071f93e","datavalue":{"value":"1286.03160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415475$CC94FA4B-30E9-490A-8683-8D1ECB4D9499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71761c3f0b84ea46eb135004290623dbbc8ec231","datavalue":{"value":"10.1145/2213977.2213998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415475$43C05F57-E80D-40A3-A92F-724792AEC41C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415475$0BA6CDAB-5946-4ABE-98E9-0FDF2209B4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7ea3ca54733938686f141270931e22fee1769f","datavalue":{"value":{"entity-type":"item","numeric-id":436565,"id":"Q436565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415475$C36C740F-6A86-4167-8A06-FD86BF71CE32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1eeb56dadf4cd3ba063da74092eadbe1e9021bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5415460,"id":"Q5415460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415475$7FD97212-0144-4F8A-8965-FA6014959673","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415475$72F86835-E12C-431E-893F-49B33C90B30D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"891e98cd6c31c23b811c5f7c8dd71d46b203d683","datavalue":{"value":"https://arxiv.org/abs/1112.6265","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415475$98E90007-9FB3-4222-B8FE-4D397C0A88FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415475$5840793C-EDBD-47F2-9CB2-112366EAC962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99f57b4fd6bce8e22a2c5b1e9a93f0d2989f1798","datavalue":{"value":"6294570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415475$388058BD-0FB4-4159-9358-689882B0379A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c7d2ed2de24e1d8a535188cc19c40627ba1be","datavalue":{"value":"algebraic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415475$534AE217-A157-4B83-A9A2-518BC1387A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415475$03D2DAFE-9871-4DB3-A7F0-E4400BE877E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415475$83FB9DDC-AB3C-49AA-80CE-62564D9A9E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415475$A41715B1-7127-4EB3-B5ED-99A7D964E9E7","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":"Q5415475$56FE502F-2898-4014-B40A-A7095A2832EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d2fef4d2e3820c5b4414eacdffc8b4be0589a0b","datavalue":{"value":"W2027264688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415475$13CC015A-0C1B-4F41-8F9C-F89ECA9C452B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461edc750d598d786a3ccf63f10a4180e5f6cffa","datavalue":{"value":{"entity-type":"item","numeric-id":5252690,"id":"Q5252690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q5415475$A58B4A4D-851F-4185-A8CE-3EA1C2456660","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":"5c52bae7947b97b48e12c0aded4186da9d5be066","datavalue":{"value":{"amount":"+0.9037935","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":"Q5415475$1A7E2554-4A9B-4F7B-B31D-2E4699AB94C6","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":"90f5888dbf908c7704452aeb5b3c60c47f23c0c8","datavalue":{"value":{"amount":"+0.8933743","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":"Q5415475$33857B3D-8917-4821-A1EC-89BAA66FC8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0739e675b2cd89b17f5bf22785a9031229a951e3","datavalue":{"value":{"entity-type":"item","numeric-id":3599238,"id":"Q3599238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfebc6f44d7d602ee327a0f9c1f4ab3cf59a012","datavalue":{"value":{"amount":"+0.8932335","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":"Q5415475$AD3EFB28-99E2-4A63-9283-B0DB640B6B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab7f26c17279354c2d122b0b16567577710587b","datavalue":{"value":{"entity-type":"item","numeric-id":4567773,"id":"Q4567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27244808fbba246028f021964967fd76010a9372","datavalue":{"value":{"amount":"+0.8884312","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":"Q5415475$626A95C3-4595-468F-AEAE-F5D638851455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3272ff4391abae8a82f13dcccec492da40d3c525","datavalue":{"value":{"entity-type":"item","numeric-id":1565842,"id":"Q1565842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27d706c415d0a663ad8e299a449307951349660","datavalue":{"value":{"amount":"+0.8790952","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":"Q5415475$EC559EE3-465B-4435-AC3F-15E5E5A53C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906729ac4cc1998c02698e334fcadc0ac9f81b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1314960,"id":"Q1314960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0fba8754cd2fb8112aee3aa3ed7066e1979cca","datavalue":{"value":{"amount":"+0.87590694","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":"Q5415475$0E952320-93AD-4B58-A8F6-F44FDE8E8E38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short proofs for the determinant identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Short_proofs_for_the_determinant_identities"}}}}}