{"entities":{"Q5379891":{"pageid":7409465,"ns":120,"title":"Item:Q5379891","lastrevid":100972118,"modified":"2026-06-05T23:34:59Z","type":"item","id":"Q5379891","labels":{"en":{"language":"en","value":"Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7066202"}},"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":"Q5379891$73F45ABF-1115-4D1A-80C2-FD5D7ABBC15A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4234c317e56be9bbb5cc4cd1ab1a931a7da24adf","datavalue":{"value":{"text":"Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5379891$561B2F59-0183-4D39-B3A7-3077CFE83E7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"875107de16199ca84395c04a1b9864ce6dd50947","datavalue":{"value":"1429.16025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$02AB7E94-A08E-4D51-8AA1-83C5BE803463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7964fbc23e358bd22f57ae8492e8f1c73e5fee28","datavalue":{"value":"10.3233/FI-2019-1754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$EA6622E9-80C4-41A1-8C70-BA91B3B73020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcb230c984a4e82c00f7d5d33f743850e72013","datavalue":{"value":{"entity-type":"item","numeric-id":726685,"id":"Q726685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379891$2B546DCE-5FB3-4A89-A0AB-1F64E2D5A9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"055f2952cdcd3675342e9b0b03b6bfdf8f1c9354","datavalue":{"value":{"entity-type":"item","numeric-id":332609,"id":"Q332609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379891$17D50B31-A83D-4951-8BC6-B75C5A614D0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379891$6C5F0892-61C6-41D1-8B7E-BE64CBB4E641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a7e6647cc38575d23a1be1a0482c67720ee3ca6","datavalue":{"value":{"time":"+2019-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5379891$7838724D-4BBE-4C48-BE7E-6BCFF9AA21A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7579c3fddacb148630f737a0e2bead348838a3ee","datavalue":{"value":"https://arxiv.org/abs/1707.07765","type":"string"},"datatype":"url"},"type":"statement","id":"Q5379891$9DC34B0B-B040-482C-883B-24C703C62FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1add4b6f2e0f7d09d66e69c7560a9b916f3ca74d","datavalue":{"value":"16U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$D7CB9D31-AA87-46AA-85A4-877F2D2EFCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b6afc1feb9a65438177fb3c10ef8fb7c36423d6","datavalue":{"value":"16W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$42DC25C9-F4CD-4A4F-98AE-C5384623308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d438ee2badcec5403c41406055f5321f853ced5","datavalue":{"value":"16K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$1D10591F-29BC-45A3-842C-26DD27868391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$AB046A13-D5FB-4386-B2AF-4086D9C8C3B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b817c71dc5277e91a3c7673f2717b99f65f15a9","datavalue":{"value":"7066202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$6E604AF3-6160-4CC8-BC4C-362F1AEF4030","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e9eee33ad345007dbeb47867a2ecf099f6e092","datavalue":{"value":"symbolic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379891$3EB9D410-78C3-4D51-BE16-52B3DED6C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cb1d1ded54547f1e9f62620a288fa0bcc13a0bd","datavalue":{"value":"non-commutative computational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379891$ADF0C472-5BBA-4BE1-A5EE-FF9F2E5BE904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb476f56be4c984ff3732155d7714c33d96f6eb1","datavalue":{"value":"projective modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379891$8D2EC9F8-157F-4793-A82E-6DA16517244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e4f9e83b41ab4465709fb5f52d874cabe7befd3","datavalue":{"value":"Ore extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379891$626C880F-83CD-4569-A3C4-C8560ACD8F9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379891$D9BED2E4-7D89-4E3A-B8EC-8F7C146B2401","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":"Q5379891$752556DF-ADF2-435B-804B-E94EA63D8B3D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"798941dc776c2737f4e01d787dd45a1c97478290","datavalue":{"value":"Q128553745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379891$0005AF03-62DE-4C53-B0DD-2D490A6D0A2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187820e740e00f3bcb84771b89d07b787d82a8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1183295,"id":"Q1183295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ecb874e704ddf06a231ef57024a519bbee6939","datavalue":{"value":{"amount":"+0.8323079347610474","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":"Q5379891$F1F9D718-41AA-42A7-A0CD-3AC4132F4D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96ef3cd1d0935e80779c2059d0fe1cade28c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":3346427,"id":"Q3346427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c21035aad10bfba9bfb9db8eacf465efebc038b","datavalue":{"value":{"amount":"+0.8306080102920532","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":"Q5379891$B01AA1D2-B3F2-4187-8406-39F74A5B8F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cb3766c00a5b21d8b0dd64e2c18ab635103e06","datavalue":{"value":{"entity-type":"item","numeric-id":5926299,"id":"Q5926299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c6326d81c1acddb2c8410290f24b816827431f","datavalue":{"value":{"amount":"+0.8295279741287231","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":"Q5379891$202650CD-4A9A-436A-848B-0EDF8803BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebae870e460a5b59e74f7aba69c9a08b94560da","datavalue":{"value":{"entity-type":"item","numeric-id":2345724,"id":"Q2345724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c6326d81c1acddb2c8410290f24b816827431f","datavalue":{"value":{"amount":"+0.8295279741287231","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":"Q5379891$4F681877-E724-4CAC-8330-F96DFE926CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65c8e32c1be32ffc02868b67c3f04305d293d74","datavalue":{"value":{"entity-type":"item","numeric-id":1975382,"id":"Q1975382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb463615c9ded25a622ebb2582daad87060b56ff","datavalue":{"value":{"amount":"+0.8204931616783142","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":"Q5379891$BFC7F50D-51B7-4C58-9B85-8BF04B5C56CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_matrix-computational_proof_of_Quillen-Suslin_theorem_for_Ore_extensions"}}}}}