{"entities":{"Q2219403":{"pageid":2230146,"ns":120,"title":"Item:Q2219403","lastrevid":53911322,"modified":"2026-01-25T22:22:19Z","type":"item","id":"Q2219403","labels":{"en":{"language":"en","value":"Formally verifying proofs for algebraic identities of matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298566"}},"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":"Q2219403$DAB394B8-E2D3-4F9B-8F90-ACB2B522C24C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e922812a0fe5cbd8cccef2fcb981803ef41cb79","datavalue":{"value":{"text":"Formally verifying proofs for algebraic identities of matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219403$85A467F6-2109-4DD0-8B21-D0D668839287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"311d81b6c7e1ceda9880db993d1e3cd057132bbc","datavalue":{"value":"1455.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$BE00BD18-42B0-49D0-B6E1-A753421610D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ed39317c80859be2c612368b135438d373c90f","datavalue":{"value":"10.1007/978-3-030-53518-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$5E8B2006-42D3-48F3-A2B8-39C5927AA316","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79296e7eb427db9ef71d67212c7385b1b8c2877e","datavalue":{"value":{"entity-type":"item","numeric-id":2219402,"id":"Q2219402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219403$23F7D1B4-3BEC-4BD3-AE88-3E89F8E619FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42e4160d2f0f1ff156174c9953a1585514a85b6","datavalue":{"value":{"entity-type":"item","numeric-id":432748,"id":"Q432748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219403$C05F44CF-A9B8-4247-85F1-6DFA6F0282DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219403$9685A4D6-3E0C-4A3F-9048-868025254367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$C6830F7E-BD00-4A8F-B766-70EFAC18F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$E70CCC9E-5E5E-4699-BFB5-A855021F3144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$1A38572A-1E05-40D1-A88C-849E1136F190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d73760e42268a5ed2276ee82e9cf4838ba8b8a26","datavalue":{"value":"7298566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$23A21F6C-B927-4E28-9462-B64D5E4B7FF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cba3f39f381f601a116f6e9f4bbdee49c6a455c","datavalue":{"value":"matrix identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219403$CCA4052E-7749-4F6E-8D46-8DDCDDD7149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219403$179AD9E5-26D8-426C-BF5B-134BB2C911D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba259c5c06af63100955fccf8bc8b370e89eaee","datavalue":{"value":"word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219403$E073DBA2-0CB6-4485-A222-2DE2D70B5948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c637bd04eeadc0d155dfc114a8e790a3102174","datavalue":{"value":"proof certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219403$5C0F601D-B74F-4BC2-865E-4D80C6A23A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97337ddcdcff4a5e6a453d3749c52bf19b3e2950","datavalue":{"value":"elimination theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219403$86A53C4D-1C21-4FBA-BB8C-4BCDE9249149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219403$4F43BC94-5057-4DC5-BD10-B6C6D655FB65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219403$778150C5-81F3-4BDC-9E7A-0724C843A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4303f0a3acbdd52a4c9a7a05d48d9c36b518cab5","datavalue":{"value":{"entity-type":"item","numeric-id":52547,"id":"Q52547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219403$FBD2EB8B-84ED-4D6C-B867-5812707E6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219403$5F312DC7-3C04-45C2-807F-B7BBFA547754","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":"Q2219403$01A40DA2-0278-4826-9AC2-E221A9F5D94D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad4b27196577f1cdf72f77177553b3d27b26ba8d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53518-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219403$BF907AE5-D388-41D6-8E7C-B03D021EAC1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b6e86eec1f48dbfe65ba9b6facde10e599ab534","datavalue":{"value":"W3043754333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219403$D326861B-1134-4520-B813-D424C1870A57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd2e7131f38a72dbef10dc5772d9d1ee82103c9","datavalue":{"value":{"entity-type":"item","numeric-id":2244141,"id":"Q2244141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105699a401cd5a1b3c09313ada48763fe2018055","datavalue":{"value":{"amount":"+0.7344874739646912","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":"Q2219403$C1F66002-B167-4FCE-BAC8-86990EC186E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8b1c160e72e1a71ac9b04e95c685c0a1e0adbd","datavalue":{"value":{"entity-type":"item","numeric-id":4396062,"id":"Q4396062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560ac5a360f03cc4a284d7c3307adbf8f8cf574e","datavalue":{"value":{"amount":"+0.7070208787918091","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":"Q2219403$FC19A0F2-8332-405A-8F90-308C8535EAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5229127bd3884548362431694d95a10787b1e05","datavalue":{"value":{"entity-type":"item","numeric-id":4657324,"id":"Q4657324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08a2f26b28f5387326a150825b621ae68cc02e0","datavalue":{"value":{"amount":"+0.7038049697875977","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":"Q2219403$EEC46AFE-EB34-4C64-B211-1E58C44272A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09533e1f8ef4a1454f0e5cce24576c152c2fcaa3","datavalue":{"value":{"entity-type":"item","numeric-id":5315542,"id":"Q5315542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132ffe1fc2aaaab47bf9971079ab106328aef53e","datavalue":{"value":{"amount":"+0.7017309069633484","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":"Q2219403$50D67036-F6AF-456D-9697-7456495A7DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fc70cdd2588e2cf91904a3fe1733e50efde8ad","datavalue":{"value":{"entity-type":"item","numeric-id":2223357,"id":"Q2223357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d516c894cfd501c761c1806f5f7dc20bdb8c18","datavalue":{"value":{"amount":"+0.7017029523849487","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":"Q2219403$D76A4E57-75BC-4EF1-A08A-007469C69F09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219403"}}}}}