{"entities":{"Q2223357":{"pageid":2234100,"ns":120,"title":"Item:Q2223357","lastrevid":72878820,"modified":"2026-04-14T08:27:40Z","type":"item","id":"Q2223357","labels":{"en":{"language":"en","value":"Formal proofs of operator identities by a single formal computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7303204"}},"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":"Q2223357$B4518A5B-63B7-46BA-A257-F90D5954AF55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"294f86675ccad863f200e7d97cc54d81be2d8f89","datavalue":{"value":{"text":"Formal proofs of operator identities by a single formal computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2223357$C91952FA-5707-4D16-A960-AD8E7147E491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5774f63b3c6a2fefadfd08b5abab6805018ff9f","datavalue":{"value":"1486.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$9D46EAAA-A1FF-41C1-9725-259393D6DDE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aebaf485d21d0daa2aee049d81471e99fc05c8b","datavalue":{"value":{"entity-type":"item","numeric-id":246421,"id":"Q246421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$CC66E49B-4301-4E14-BD68-08D3D65A81A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a91f00055d60197b6b307c93c47e79beb3baea","datavalue":{"value":{"entity-type":"item","numeric-id":2223356,"id":"Q2223356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$039A2E96-56F8-45FB-B4CB-C2C91C3BD5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"838f0bffe5edcc0163bfa2ea0f32f7e1732a31fa","datavalue":{"value":{"entity-type":"item","numeric-id":432758,"id":"Q432758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$5293DD92-3AAF-4F82-BD02-D1842A1E0130","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$4E7C67E4-1927-4E85-A9FA-C35AECA69BEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c5ccdc123d434cdc939d7175ce70845983b416e","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2223357$0117961A-4F56-4825-955E-FCAB37D98DB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee7c8655e13220bf6e457a2c7efa0a6a134d666","datavalue":{"value":"https://arxiv.org/abs/1910.06165","type":"string"},"datatype":"url"},"type":"statement","id":"Q2223357$DC514751-672F-42B1-A0FD-03F8325BDAE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$EB104F59-27D1-45E9-ACA3-B66BD837FDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3631970b085224da5231257b2f42e631cb6d5ad3","datavalue":{"value":"16B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$21A6E398-91BA-4258-A625-EC04E9341B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ffcaee9f831b590f5782b03e714aa97c24d0d770","datavalue":{"value":"16G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$320684B7-08CB-43A1-9C9E-EE3654F67C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"698a2ea3f7dd99c470d46769e6d212b6614c44cc","datavalue":{"value":"47L22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$87F1B0C6-9926-4A1F-8BEC-C943AD6162FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a324a3cf4e6daf1048fe6151407478c4fa9b22","datavalue":{"value":"7303204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$75E36142-E171-424C-932C-067934624D6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cba3f39f381f601a116f6e9f4bbdee49c6a455c","datavalue":{"value":"matrix identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223357$6211EC38-54D7-403E-B15B-3861FD139703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"467ad3ebe9b1088117a6a813cea489935ed83192","datavalue":{"value":"algebraic operator identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223357$69FDE926-FFF1-47F9-AAA0-EF1C60C4CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a80d7da4dd4fee663f753b1d5ca399f2f575ecd","datavalue":{"value":"noncommutative polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223357$F02C9828-7D31-448C-B18A-F762C39F2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86119fd6f867cd4715a269b5a27b2eb39c54d8b7","datavalue":{"value":"linear categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223357$CCBBF488-6374-48B0-8B03-D7F8201349CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68d49a74554a913125637adc518ca2d662ccf67","datavalue":{"value":"quiver representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223357$311ECED9-3678-471C-A034-3004AA5D3033","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdd61bd982ad63f7a0044d3f0612e7ccea22adbc","datavalue":{"value":{"entity-type":"item","numeric-id":52546,"id":"Q52546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$BD38792A-7EB5-42AD-898F-C7371BF5498D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8e9347206027d5c4ca662c80851c0f516f0d0d6","datavalue":{"value":{"entity-type":"item","numeric-id":52533,"id":"Q52533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$BB12E7AF-C673-4B18-BD9D-84AB56883B85","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":"Q2223357$46956833-22B1-4BDA-BD6C-BE016165A214","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a1eaf5c1c2cd8aaf694f17bc5789c943df30df8","datavalue":{"value":"W4286683942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$1D402C48-709F-4861-9419-6D9E55C2C316","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eeb3fe6fe211f21125148d89ad1bdfb02bd86980","datavalue":{"value":"Q113870190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$6EE47491-4A45-4086-91AD-A30C96A05337","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$DC27969D-25E9-4192-A5EC-463033A375BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f05d5617f80e4af1004e06124aa4821f444137","datavalue":{"value":{"entity-type":"item","numeric-id":3189704,"id":"Q3189704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$89069C90-DA99-4A60-AC4B-D711037B56AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$82B3824B-D8E7-42EC-BD6A-F36E57A14C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc133cf2d73292b648e284e717c8f99e01f73bd","datavalue":{"value":{"entity-type":"item","numeric-id":5145958,"id":"Q5145958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$700F51A9-E87B-4910-A1A0-48BFFC4B46C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4774de621f1da4f7a6037340f15acbb3e7c4e7f7","datavalue":{"value":{"entity-type":"item","numeric-id":2399898,"id":"Q2399898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$66F76BEE-0096-468C-9214-F96AD4DD0741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ce297ed2df9cd8d2bb49b392464ddca8554894","datavalue":{"value":{"entity-type":"item","numeric-id":3524859,"id":"Q3524859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$93EACD5F-CF16-4B7E-B8A2-0F177DFA5116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b46c2b6bb22c36dd2345ada74a22d37e5297af","datavalue":{"value":{"entity-type":"item","numeric-id":4673198,"id":"Q4673198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$6BB0A122-1D87-4E1C-B5B6-25A66D333E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834fc1fdbf82d6d8873b059db26617b7bff977d3","datavalue":{"value":{"entity-type":"item","numeric-id":2272945,"id":"Q2272945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$0A5108B2-C024-4225-A7BD-4D073DFA85F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5b59e1e9593f95d5d0965708953e2e65ebb38","datavalue":{"value":{"entity-type":"item","numeric-id":1282332,"id":"Q1282332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$23D32406-3D8B-4EB6-A014-39182537A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0be02fba7e9d77158c5c371010172290a527dc","datavalue":{"value":{"entity-type":"item","numeric-id":4396062,"id":"Q4396062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$9B12EADD-308F-4248-8B63-B4AECB5B1BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950c115d279291d3b27efd95f51f3dc490cf3425","datavalue":{"value":{"entity-type":"item","numeric-id":4317807,"id":"Q4317807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$83C58CB6-A324-4B66-87BC-6CA71235502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c24548c9cabce5b196c953550bb315ede5c4d4","datavalue":{"value":{"entity-type":"item","numeric-id":3897151,"id":"Q3897151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$63D4CAAE-4CC9-48B7-8FBD-5916321BD24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8ad2df3ea5b93a614f9aa939eca264bfe51319","datavalue":{"value":{"entity-type":"item","numeric-id":5880542,"id":"Q5880542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$8FCA18A9-DD5A-4386-9F31-A4C17458A5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1389a366a1994d266b9df798c0ee8c2d05208ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5955656,"id":"Q5955656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$D2F89F9D-37D6-4220-891E-8AA869B7A40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adeab232aece751a7dc76b3d22b3a8c4d3feda51","datavalue":{"value":{"entity-type":"item","numeric-id":3839878,"id":"Q3839878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$0CE40867-77A0-4D51-A604-5A58BF0DDF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b3b3f02a231ad62f03bd6202a3de0a5b762f86","datavalue":{"value":{"entity-type":"item","numeric-id":1341746,"id":"Q1341746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$81DAD16E-2A21-4B6C-97E8-413BE50D9C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fed23a7ac1cf6247dc30f43ede236a8dcc733a","datavalue":{"value":{"entity-type":"item","numeric-id":3452876,"id":"Q3452876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$4464B9A7-9A92-45B1-A260-D038BBB10C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0825216aa83f3d98eeacd55e57750fdb687b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2219403,"id":"Q2219403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223357$FF45E443-EC17-4B33-AFF9-70FD914786E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"781f4c54beff6fa7a03ab90cfe5da85b11481add","datavalue":{"value":"10.1016/J.JPAA.2020.106564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223357$3DC40C9B-ABAC-4571-9EED-04B290903023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d7b2fa1fd172f45e62ce27c5569ddf141e0b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2680116,"id":"Q2680116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109f04098acbdd47692a195100dc3cb599c57405","datavalue":{"value":{"amount":"+0.86502016","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":"Q2223357$3F1E78C8-A775-4EAE-ACEB-D0A39DFC9A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4577bca11d57f68f0682077a134ac25477281f43","datavalue":{"value":{"entity-type":"item","numeric-id":4757374,"id":"Q4757374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb924147b21dd9f75aa6f50c64aa9beb32eff159","datavalue":{"value":{"amount":"+0.85562307","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":"Q2223357$1CEFEACB-CEDE-4E12-8CA0-2E3C2E5685AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e9a0d200c32c7415580d947c9b71f80546b3c9","datavalue":{"value":{"entity-type":"item","numeric-id":5880542,"id":"Q5880542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0395839a95bbd196f7412ac10037f5b83a257681","datavalue":{"value":{"amount":"+0.8512438","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":"Q2223357$602E8809-AD70-487E-8324-0967433E2ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b164d3ec100137607a165b9e14c54e739c300e","datavalue":{"value":{"entity-type":"item","numeric-id":1194321,"id":"Q1194321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff1460e60b556af1556748e15f6a5d7753d04e5","datavalue":{"value":{"amount":"+0.85119224","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":"Q2223357$8463A02E-F692-44FC-8967-9057FB54E221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a3421681a9f1c2b013c0d390a185c3f5e4c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":5145958,"id":"Q5145958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec8385644421b4e613a8084a5dc1b1d9be36dc8","datavalue":{"value":{"amount":"+0.84863293","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":"Q2223357$19204069-0DDC-4454-9958-6BE4D514DF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc47e7d18fc676e838f0cdfeb2e09c09ac20d0e","datavalue":{"value":{"entity-type":"item","numeric-id":5355326,"id":"Q5355326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227622b1df18b3a062b79b20befc535db6d96619","datavalue":{"value":{"amount":"+0.84014314","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":"Q2223357$8826F99E-A7CB-43CB-80AD-0C83DD32646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95eacb479d2773df039c6d33d8beb0a1550f97cb","datavalue":{"value":{"entity-type":"item","numeric-id":4577770,"id":"Q4577770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc35811d601bf4c1800a9bd14f33ed0a64105be","datavalue":{"value":{"amount":"+0.8377915","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":"Q2223357$DE6F2315-310B-4A88-8DCF-3202374734B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal proofs of operator identities by a single formal computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_proofs_of_operator_identities_by_a_single_formal_computation"}}}}}