{"entities":{"Q4601840":{"pageid":6631423,"ns":120,"title":"Item:Q4601840","lastrevid":41598622,"modified":"2025-05-06T06:14:05Z","type":"item","id":"Q4601840","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6829288"}},"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":"Q4601840$6F992437-7971-40AB-9BEE-4B33FF75424F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b042388ae73c93e298a6903d39355362961849e","datavalue":{"value":"1434.03133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601840$7637EC40-D87A-489B-90A4-47883FD617B3","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":"Q4601840$3F135BB8-B44A-45EC-BD32-4DCBB3E214EE","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":"Q4601840$2634681D-787C-4E2F-8FEA-FAADEF7C686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae8d5d8c9e87189340fa825d5ed7a7b71278b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1065012,"id":"Q1065012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601840$7DEF8949-1E64-4D30-A33A-2D6F943C87B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1335161379199d9038091fb354c2f0e9ba953e5b","datavalue":{"value":{"time":"+2018-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601840$166CF44B-340C-4CDE-AC0E-E958C8EC96FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601840$254A04D7-4C25-41A7-857A-2FF7A3E20929","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"731a10a85fc6966aade0b003b15ec2a9c1b4aa85","datavalue":{"value":"6829288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601840$CC7B4738-8EF4-438D-B903-7C3D3C4279CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601840$E5CE72F0-8E73-45F0-A7B7-23EA87E226C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c7d2ed2de24e1d8a535188cc19c40627ba1be","datavalue":{"value":"algebraic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601840$33DC2CFC-4B1F-4774-8CD1-25061EA7F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69cfd341a7d55df7894079e6d97240f886311089","datavalue":{"value":"ideal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601840$BF3D93BA-63BA-4168-917B-F1589278CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601840$8C0E54C5-EA94-40BE-924F-BE443990AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec57a93cca72e404926a2f16c8f5d398a080afa2","datavalue":{"value":"non-commutative formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601840$A8112AF4-2571-423D-9BA5-A6ACA4F65C19","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":"Q4601840$BA3ECF86-8461-4EDD-BCF0-70559BF1DF83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03d4a672bc3b005ce3cf15e8cecbf57ccd89fb1","datavalue":{"value":"10.4230/LIPICS.CCC.2015.412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601840$01C8FA84-298F-40BF-86D4-60AFB614AB3F","rank":"normal"}],"P1643":[{"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":"55c4ae89085fdc0ac780e3ee63debae3f1012b0e","datavalue":{"value":{"amount":"+0.9409474","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":"Q4601840$90BDE5E2-DE7B-49B8-8AB6-C62ED8957E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c2ce8c9e939346afb527f68e8461d9ede336de","datavalue":{"value":{"entity-type":"item","numeric-id":2503402,"id":"Q2503402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f36cafe92edea90eb5a11bddae49bb3f33ce751","datavalue":{"value":{"amount":"+0.8991583","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":"Q4601840$4466CE06-5BC4-4BC1-A386-E4DB83116126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1610ca0e2402fc904d3b4c00d63a72f44fcaa2a","datavalue":{"value":{"entity-type":"item","numeric-id":1398470,"id":"Q1398470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de939c47ec905709446ae4c9b3f086cc7aa13a49","datavalue":{"value":{"amount":"+0.88349706","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":"Q4601840$E7ACAA36-92EE-491C-A8DD-73C045386690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a43c2ea88a77d29ca1bf81964fdbb9b814076b1","datavalue":{"value":{"entity-type":"item","numeric-id":3408154,"id":"Q3408154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e66aef8f80e7de712791c1408fb2f3b1ac4671","datavalue":{"value":{"amount":"+0.8756328","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":"Q4601840$A15D2ABE-84E5-491D-A230-029C4BD3022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b3296d8cf0f9e6f149302ca6ad3b4ac5f78d5","datavalue":{"value":{"entity-type":"item","numeric-id":1427855,"id":"Q1427855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b39cfcb759a8601892ebeab64e25e2bebdeefb","datavalue":{"value":{"amount":"+0.87432575","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":"Q4601840$31221DA0-59CF-436E-A93E-C7A3C8843137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c5a2ec83cc3f91529bd80e56fdb64284c3a837","datavalue":{"value":{"entity-type":"item","numeric-id":804570,"id":"Q804570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e03fb38fa93f7f46a69a43f07499d62373c801","datavalue":{"value":{"amount":"+0.87130094","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":"Q4601840$BCBEF688-0DBB-4893-84BE-423521AE8027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a011ee189285d550ce2bad25c6fc85ce5f9fd55","datavalue":{"value":{"amount":"+0.8698886","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":"Q4601840$C7A13E81-60F6-49E3-97D7-D0C8EF06151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0279cea946b5557decb81745760d68e16e201796","datavalue":{"value":{"entity-type":"item","numeric-id":4842978,"id":"Q4842978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcf0c63e2bd63b5922a1034addec843e5fd7142","datavalue":{"value":{"amount":"+0.86681104","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":"Q4601840$67907C37-3F35-4CCC-AECD-868A62526113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebed4de6a9dd7a2daafdaa76db23082ec26c359","datavalue":{"value":{"entity-type":"item","numeric-id":4724626,"id":"Q4724626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3b960b2b132b6cf7c901a0a8dfae661d66f4e8","datavalue":{"value":{"amount":"+0.8661792","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":"Q4601840$75EF43B9-2A93-464A-BDFF-6C569AD7F7EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601840","badges":[]}}}}}