{"entities":{"Q5891510":{"pageid":7927305,"ns":120,"title":"Item:Q5891510","lastrevid":93333329,"modified":"2026-06-05T04:13:34Z","type":"item","id":"Q5891510","labels":{"en":{"language":"en","value":"Formal theories for linear algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021342"}},"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":"Q5891510$53826F93-27B6-4D91-9B6B-94FA6BF1F3BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cfa0e934380c2a54716c40aa8971e6f8622a088","datavalue":{"value":"1238.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$53B1707C-FA7B-4ABE-82E4-01DD43DDD81C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"466faf5e7a4c9ca5cb952ebab9d4771849e300cb","datavalue":{"value":"10.2168/LMCS-8(1:25)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$62546E05-E191-4852-9AE3-E0F8DC69F47B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10faac92b98a76374342013295498533fc2b5d3f","datavalue":{"value":{"entity-type":"item","numeric-id":2881092,"id":"Q2881092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891510$7A259C27-C4C1-41FF-A013-3A6104C82CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891510$565DE2F3-3BDE-4D78-A803-76815522567A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891510$A5878140-904A-4D41-B6C5-3FFCDD9D753A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891510$BA6B04B2-421E-4425-8FCE-926B36907EAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$9D1D40D2-8383-4C7F-BCFA-B1B9946B7AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$7106A38C-E139-4F72-B1CC-E1C177880013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$07E0AE71-5164-4291-8725-A2DCB399B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$A3216D39-E48E-4B3A-99AF-901427B57AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$4910E04E-3608-4FDB-8F69-C844D92403C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c7bc0cae8bd66dce8e4316b1b5fcf9b8a23602","datavalue":{"value":"6021342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891510$4B9094D6-CA4B-44A8-867D-E1A2AB1F9446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ddaf7a2d84714f8d3882c66d56a33eff59cb339","datavalue":{"value":"bounded reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891510$E1D875BF-68EA-4828-8706-6343A7F91420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891510$144FEB61-C54A-41B4-84C2-49858A565675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891510$B4965FCB-8AD0-48B7-84C5-740A99AFE1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d146385bd214c988dc91b3c0cc2011de48b86fe","datavalue":{"value":"parity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891510$CA65769B-2A13-4D41-A81A-61EDED16CD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574f1053a5d0cb138eeb1d178cfc4915c70a8532","datavalue":{"value":"determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891510$0A190155-1998-4AA9-BEC3-0A2F98CBBE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891510$6751B362-90CB-4E35-842B-9A43477EBF4C","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":"Q5891510$16B0FCEE-4A6B-4E5A-8A40-60F9E6A3BDAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7dc5e5e540adf127a4dd9000f77502f11e4203","datavalue":{"value":{"entity-type":"item","numeric-id":5901152,"id":"Q5901152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q5891510$023D22B2-5DC3-4EE9-BF83-16EADAF11FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad83d404f8040da7343ff93885d0689691cc608","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd28e337d1e3ed96f481099884d52221e921c7aa","datavalue":{"value":{"amount":"+0.8953213","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":"Q5891510$8097F004-6485-4C8A-BD51-FF1C1ED74FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fdc921f72930e3028aeeb19705cffea4b6ccc4","datavalue":{"value":{"entity-type":"item","numeric-id":3749156,"id":"Q3749156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960558166c8889892d85456828da6190bb8b5443","datavalue":{"value":{"amount":"+0.89363784","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":"Q5891510$CF729D1E-F23C-4992-BD6E-E8C493875CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda7033f31715219fbaf7c11d5078edaed05db1d","datavalue":{"value":{"entity-type":"item","numeric-id":2933736,"id":"Q2933736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fb5bd2174cb60b3f893292f6db1148f0c7dd55","datavalue":{"value":{"amount":"+0.8929136","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":"Q5891510$DE312940-A06C-429E-895A-671345F8EEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ef8be240a6685ce258cfae2abab296ffc25a20","datavalue":{"value":{"entity-type":"item","numeric-id":5743180,"id":"Q5743180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da460937a818955fe3ebc422e5257a9991aa35a","datavalue":{"value":{"amount":"+0.8892061","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":"Q5891510$F0D9D244-3142-457E-8C5B-71BA0FCC417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6ccf97c0c21c31b9fb576a8b4617e0a7d0a886","datavalue":{"value":{"entity-type":"item","numeric-id":5896131,"id":"Q5896131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2201c4971696c65f41f80a28419605baab75d006","datavalue":{"value":{"amount":"+0.88913435","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":"Q5891510$2042470F-E66A-4A74-A72B-84CE33651FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa4420ae4bb8e534cb2eb5b6a33987632f555fb","datavalue":{"value":{"entity-type":"item","numeric-id":4857371,"id":"Q4857371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370f9073aa4bae807fc40f17d6b6017dae810d18","datavalue":{"value":{"amount":"+0.88888717","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":"Q5891510$8AFDB4B8-73CA-4716-B0CC-A7317B5ABC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ddd130f3c78fcb50d10a42eb01f17bd3fbae4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2401682,"id":"Q2401682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca0b21c5893585b48713239bb6a9b9bad4e7f96","datavalue":{"value":{"amount":"+0.88828003","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":"Q5891510$72AA797D-9B94-4687-BED7-345137667DBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f969d3ed11a0abcc87a11d9badd63d4e99e1ce9d","datavalue":{"value":{"text":"Formal theories for linear algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891510$A9E96123-704A-4781-AF8D-BAF665A6D79D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal theories for linear algebra","badges":[]}}}}}