{"entities":{"Q4634922":{"pageid":6664503,"ns":120,"title":"Item:Q4634922","lastrevid":90539933,"modified":"2026-06-04T20:38:19Z","type":"item","id":"Q4634922","labels":{"en":{"language":"en","value":"Witnessing matrix identities and proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6859066"}},"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":"Q4634922$EF8CFD88-04FF-4601-987A-5A604145552B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aeccbec75cad39d3fb88b874adc506748f0ed1b","datavalue":{"value":{"text":"Witnessing matrix identities and proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4634922$0C3E2E45-172B-454F-8D36-ACEF73D0D3D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdf1610e9e78b06e869721a8f72f2d915fff1720","datavalue":{"value":"1417.16029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$D52B63DE-4CC8-4A93-9185-BBAE3813E986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ccba0cdaf7d0df401fdd70be7d01ac4ce2eed4e","datavalue":{"value":"10.1142/S021819671850011X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$8BD3E1DF-E2BD-4F7F-8D3B-1DCABC97E6CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bedfa547f30c150a7a6b5b921c1d287b09be88a9","datavalue":{"value":{"entity-type":"item","numeric-id":527193,"id":"Q527193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$6BB6F1C1-77BC-498E-A437-C81C4E6E66F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$6A85294E-6A5B-465B-B377-B76F83170B60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$8534B05A-CE45-4F0B-8B88-A45820D1DA83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34667658b2053643f4cfa7606566623ee095ba","datavalue":{"value":{"time":"+2018-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4634922$75C5D989-E3D5-4CAF-9CF4-87B3DF7893F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$A7516067-2678-48BA-AD52-3AFF6B449C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$0100B79F-E73B-4A07-AF55-BED86641029A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$3B4AB9AA-A2BE-4D83-A207-E7C6DD1D54C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83716f6aa864858904d9bde3ae9e6f68f560747c","datavalue":{"value":"6859066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$317A5FE5-F649-468C-B40D-54BD1DB7595A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c7d2ed2de24e1d8a535188cc19c40627ba1be","datavalue":{"value":"algebraic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634922$D6EEC2A0-A99C-429A-A6B1-5E128A35C420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba11f32fe098bf4f7e1c8e55b78a6efb41c3d98","datavalue":{"value":"PI-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634922$BF02081C-3A3D-495D-A909-4B2A0E49A9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634922$3A364252-5CB9-493D-8AD7-0DBBE9BDFC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd3040cda0b6f52f89b146a568db6e826723d83","datavalue":{"value":"non-commutative circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634922$3FD33437-0D93-44FD-8624-CB4320C7F67A","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":"Q4634922$7EC1E383-828F-4FBC-A766-1E8EC11EE8C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d778de362d771ab8916374d6707050c71481eb","datavalue":{"value":{"entity-type":"item","numeric-id":258132,"id":"Q258132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$7475CC9F-F261-4809-8818-FB47029C11A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9311248a34cefb80f420e82e4fd52a79b41645dd","datavalue":{"value":{"entity-type":"item","numeric-id":5799456,"id":"Q5799456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$7EC9204B-6DAE-4C6A-95E5-BD827D0DBB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cac23244bf083cc988d2ff407d7ffe3395b8","datavalue":{"value":{"entity-type":"item","numeric-id":4978027,"id":"Q4978027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$6A8ACF60-07E0-4AEA-AC03-05B5248ED05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fff68dd9a8b60aa00c07bb251290f0b0032635","datavalue":{"value":{"entity-type":"item","numeric-id":4474888,"id":"Q4474888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$17994172-3BD5-45CD-86F2-EC9F41242ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52994663dc9145516f3b90f73ece1fd4308059d5","datavalue":{"value":{"entity-type":"item","numeric-id":5454251,"id":"Q5454251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$412667C5-E9D5-4367-8B46-9A7089339392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$BCD465F8-4DB1-4205-BFBC-A0FCFF8C824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$F21B26B3-F46E-4534-A5ED-CCE87CBF6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae280bdc243f33de7077094bf7db0cddeae487e","datavalue":{"value":{"entity-type":"item","numeric-id":4700803,"id":"Q4700803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$E1E0773E-0D40-4339-8E87-000B20DD0DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"debdc80e243d285b50a44b4bca90d8ff20b6cfce","datavalue":{"value":{"entity-type":"item","numeric-id":4625658,"id":"Q4625658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$766200CA-D7FA-49BD-8FF4-75D157D30EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$DED53D52-703F-45EE-9D39-396C6C039829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a94b866c4904c0fee0380e2ce17f042631fee90","datavalue":{"value":{"entity-type":"item","numeric-id":5252690,"id":"Q5252690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$7103ED69-9FC1-4EDF-BB9F-D72A94D92E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9baf8d8bfb2bdb8dd15ab2e808614d8d171cd218","datavalue":{"value":{"entity-type":"item","numeric-id":3002833,"id":"Q3002833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$123CBA7E-DCCD-4950-B2BF-AB9943B46882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$82791BC4-ACE5-48D7-8CEC-F4346DFE7EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509e452b6dd0f8e036244daa5f6ac10d798d6bd2","datavalue":{"value":{"entity-type":"item","numeric-id":5916126,"id":"Q5916126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$EBE9CCA8-8FFE-410B-AF28-C13E4AE33410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1d5270e3203f0a955c789af029c15bc3326cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3789721,"id":"Q3789721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$1A1298DE-8876-4393-9E57-DA43E2A55357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$725FBB08-0CE4-4EE8-983C-13AD03A017C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533e8df49ed24eaeb8ab3a4bfa731b0d3d3fd9f6","datavalue":{"value":{"entity-type":"item","numeric-id":4405313,"id":"Q4405313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$92B6FFE3-E8FC-4FA1-9193-DE32A4FAC4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39985e922adb6434979b0e04c7b76b94645a371e","datavalue":{"value":{"entity-type":"item","numeric-id":4601840,"id":"Q4601840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$2EF867E9-A874-46FD-BF7F-4312AC4CB208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e5fd2840fe679e9f15c3f99e81f0c7076054bd","datavalue":{"value":{"entity-type":"item","numeric-id":1781113,"id":"Q1781113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$538574CF-A6DC-4B5B-B421-202D0F6A6ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef2baa2fa9e55d8bc77003d10bd1b51e52ef0be","datavalue":{"value":{"entity-type":"item","numeric-id":3910639,"id":"Q3910639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$86879135-2038-4E3B-B8CA-ABCB775314E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45693627939fec63d2836fa11bb5f307d8dbed5a","datavalue":{"value":{"entity-type":"item","numeric-id":3899517,"id":"Q3899517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$911B703C-CFB8-4154-8D31-5A2838299E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46b169bb7d34bee5774adb5f2be7dcf2276aa05","datavalue":{"value":{"entity-type":"item","numeric-id":642520,"id":"Q642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$3018A06A-3036-4CC8-B394-C9D823B4E3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73e5fdcd2644fcf8851cd00097d32d1e30f5f00","datavalue":{"value":{"entity-type":"item","numeric-id":3851616,"id":"Q3851616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634922$FBA0D499-4E80-49F5-B7B1-C067BC152676","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4320fd17df9e5b9aa4d6274e8caa4fba7d4dc1d3","datavalue":{"value":"https://doi.org/10.1142/s021819671850011x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4634922$93A3EC4B-0A94-4626-8481-998D6A9C792D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba6a184b0d48e2378618ca9c16222c45c0153f83","datavalue":{"value":"W2787461463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634922$7990B428-B5F9-4738-B3CD-7395B851258F","rank":"normal"}],"P1643":[{"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":"3d42c0b93edd87c02f1475daee9e2981a950afb8","datavalue":{"value":{"amount":"+0.7617591619491577","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":"Q4634922$30832CE7-7D2E-4F6E-AA76-135F306B987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ce97cf4c35cc82bbc17aceee8391bff3b34e12","datavalue":{"value":{"entity-type":"item","numeric-id":5415475,"id":"Q5415475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bc6dacf986d98e80e91bd56154b9b442a104c7","datavalue":{"value":{"amount":"+0.7613154053688049","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":"Q4634922$D620FCE3-31C6-424A-B008-803FCC6E922D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fca757ff0b40cb6d44feae636527d30c9e15c8","datavalue":{"value":{"entity-type":"item","numeric-id":4625658,"id":"Q4625658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57633c3584a4a29c98d13a6aae1fc571149dc6ae","datavalue":{"value":{"amount":"+0.759895384311676","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":"Q4634922$3503AB97-0D87-4106-A856-C4A48604F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49003c15692c9a553dd5f77e233550491ed0566c","datavalue":{"value":{"entity-type":"item","numeric-id":5454251,"id":"Q5454251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee544cacf2c56a4328895800264fbe4dda4c602","datavalue":{"value":{"amount":"+0.7488994002342224","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":"Q4634922$79CBAC53-3443-4738-B1DD-644BA13FC02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8c762874cc6ce0681d1baa7de68651fe7287a3","datavalue":{"value":{"entity-type":"item","numeric-id":2920144,"id":"Q2920144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f811e695756954520018cd4195c70670f18e891a","datavalue":{"value":{"amount":"+0.7407495975494385","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":"Q4634922$17751627-79F7-4E7B-9268-C6A76F1A4F11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Witnessing matrix identities and proof complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Witnessing_matrix_identities_and_proof_complexity"}}}}}