{"entities":{"Q5901152":{"pageid":8008155,"ns":120,"title":"Item:Q5901152","lastrevid":58612845,"modified":"2026-04-06T00:22:11Z","type":"item","id":"Q5901152","labels":{"en":{"language":"en","value":"Formal theories for linear algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779250"}},"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":"Q5901152$AA373446-5828-4EA1-A771-996B1D12EA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f60ba33ca53bd2893450e74fcba67c91e3bba1f","datavalue":{"value":{"text":"Formal Theories for Linear Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901152$58C35908-EE6C-4D19-9A21-5AE8C298D7EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11696b88dbccf41b9f2ee9086218b392d1289f2e","datavalue":{"value":"1238.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$0BDB393E-E4CC-43AE-93FE-42370906DEA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad9c5a4b9eeb2003cd86a49e077335f79be4db17","datavalue":{"value":"10.1007/978-3-642-15205-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$C9335FE6-1EA6-4C80-AFBF-3FBD24493CE7","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":"Q5901152$4E46C29E-3CF3-40C5-B893-8FD09DBE0930","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":"Q5901152$FDD13DEC-15F0-41D6-BA4C-DD76F6B7FD52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901152$7862EAB4-EBEF-4144-A8C9-3A75C6A51EE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-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":"Q5901152$19CBE305-3BE4-42C8-93D8-FC12F8583302","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0257bc607d696346c316eb65b28bd52f4df634","datavalue":{"value":"https://arxiv.org/abs/1101.1449","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901152$155DEAF3-BF42-444C-9520-84DC6AA01676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$34C9238E-3CF5-4B4C-97A3-42A3DD773D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$85FD5CDB-C00A-4B2C-A297-A0D54D0A860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$8264575E-E651-4A88-8011-C9095B5E77D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$311CF68E-EF4E-4757-BAD1-AB251FD2ADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$9C7B452E-67AE-4EB3-98FE-EF4DC5272CDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e6902c1232d1e40f51f219c3719250e3445aff4","datavalue":{"value":"5779250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$92FBA6BB-737C-4DA4-938F-7E5BF50E68C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ddaf7a2d84714f8d3882c66d56a33eff59cb339","datavalue":{"value":"bounded reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901152$B54A2494-79C4-456B-9561-FCAA3614D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901152$6AB46650-A5A6-4B4F-B5C3-083860B32ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901152$8EEAD36A-4E42-4D7C-9834-9D394D00B1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d146385bd214c988dc91b3c0cc2011de48b86fe","datavalue":{"value":"parity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901152$E1F08482-8002-4360-8DD4-66458AD164C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574f1053a5d0cb138eeb1d178cfc4915c70a8532","datavalue":{"value":"determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901152$49ECC74A-D257-4D9B-AA44-EC33826F2A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901152$F60CA246-86A5-460A-B069-20B9333402EF","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":"Q5901152$85870CA7-7C73-46BE-81E2-FDB9650D25E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47267f5b7a30b5148cdccc1b2a3dffe6fdcc6b35","datavalue":{"value":"W1876112628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901152$E9365482-E1B4-4F96-914B-C673A7D73479","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a76c54a723d94007f00f0da302e5344556a97a","datavalue":{"value":{"entity-type":"item","numeric-id":5891510,"id":"Q5891510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dccc09b73112901535a253b2fc7f1f3bbd8911f","datavalue":{"value":{"amount":"+0.9989635348320008","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":"Q5901152$458BA406-527A-4520-9DDC-D7166DC95377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e8b96e9b34a3808f72ead488ca3b7947fa6bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1886325,"id":"Q1886325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff41e6f99085ac38e3a3977c5cb96a24bff920a","datavalue":{"value":{"amount":"+0.8331559896469116","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":"Q5901152$897F4D1F-49E3-48C4-B253-F6DD6C3BCBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31866b0236537a6a34b59be0c57d9ea3dbb34d57","datavalue":{"value":{"entity-type":"item","numeric-id":3511442,"id":"Q3511442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc7e1c261ab4689d305616030e417a0b7e19a32","datavalue":{"value":{"amount":"+0.7893636226654053","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":"Q5901152$432F424B-B8A5-451A-8CC6-B7B749892B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758853338eca872e1267172b138fd81bb1f154c","datavalue":{"value":{"entity-type":"item","numeric-id":1766923,"id":"Q1766923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21cce54e4f34399f93aaf4c71d71f2f3f82e5ee9","datavalue":{"value":{"amount":"+0.7867487668991089","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":"Q5901152$CB65EF48-C4BA-47D8-8934-D9B29668D55D","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":"a85f6880b1f1c1cfe5f51988b49524fbb6c38091","datavalue":{"value":{"amount":"+0.775804340839386","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":"Q5901152$C9BD5776-596B-4E21-AF9F-DAB4755CD661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901152"}}}}}