{"entities":{"Q4625658":{"pageid":6655240,"ns":120,"title":"Item:Q4625658","lastrevid":89951774,"modified":"2026-06-04T18:42:17Z","type":"item","id":"Q4625658","labels":{"en":{"language":"en","value":"Circuit complexity, proof complexity, and polynomial identity testing. The ideal proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7029222"}},"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":"Q4625658$F344DFB7-5DDA-413F-8E94-CE0BA3E72670","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b04f166f842e88c9410756da06fc12312874f48","datavalue":{"value":{"text":"Circuit Complexity, Proof Complexity, and Polynomial Identity Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4625658$45BDBE30-710E-4D45-9811-6054E525EBBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c6714cbf23e9b625268851584155114a76577dc","datavalue":{"value":"1426.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$F0EA8814-3268-4522-9F5A-77FFD9C0F9C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96ff726536517f6e8610fdb2d2d7b53709b9347e","datavalue":{"value":"10.1145/3230742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$2209730C-F87C-4A6A-9B88-B3FFAEDF1B9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"855e30996183ae5970f026fb05ae3c2a5bb0c9a7","datavalue":{"value":{"entity-type":"item","numeric-id":716332,"id":"Q716332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625658$39ECFF3F-BF3A-4DE9-B69F-CDCC0EB67CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625658$CEEE12D8-4150-4239-962E-DC9A611FD5CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625658$1E36CC74-912F-4625-9789-63086FE40C9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc29c15a6fca964aa571755fad99d56eec8fcf01","datavalue":{"value":{"time":"+2019-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4625658$62CDDD8C-8B06-47E6-BC3D-EE57DB4B6549","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2ebb14817f418a35f3d7e2149279f9b01529355","datavalue":{"value":"https://arxiv.org/abs/1404.3820","type":"string"},"datatype":"url"},"type":"statement","id":"Q4625658$AA790F49-EBAA-45A3-95D3-9AAAEB1AB00E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$AEEA32A4-ADBA-4BE2-B82C-6779D31AA208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$4DA6CD70-726F-428F-9968-C8E342581559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$929B8E6E-F6E5-471F-9CC3-DCFFD5A967E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$0B720AE9-679F-4AD9-BCE6-FFA76CE2CD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$D4352FDC-8CE3-4C18-A945-4B5BF52362CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86462c309addc2b75743e3681899f4e1e36b747c","datavalue":{"value":"7029222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$38967FB5-9EB5-4BFC-BA0D-AD7BBAE34DB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587613ed4c5ddf920bd6e4c74ddaf749b7222a8a","datavalue":{"value":"\\(\\mathrm{AC}^0[p]\\)-Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$D46CC1E1-A6D4-48AE-8C02-6AFA2857ADD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ac53fcc63cdbcb70f6a6c30e90c7889604e3e0","datavalue":{"value":"VNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$19E33ED9-BCEB-4211-8C49-0B1098EE41A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$C07A3590-B654-4E5C-AEF7-AB1B2D394286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecde75e20fea1230a086243cffda8342cc569a15","datavalue":{"value":"permanent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$7A2E0930-925A-4A32-BB88-4688AA83F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574f1053a5d0cb138eeb1d178cfc4915c70a8532","datavalue":{"value":"determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$9B7FB052-1FDB-4C36-984A-0ADB51AA3640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$FE4A4125-977B-4741-9048-D668784EB4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df315845aed3ea96e6de75c6806537745705a4","datavalue":{"value":"polynomial identity testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$7FC14AE1-6E07-4CE5-B319-302E174D0775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a023fdd9c1c6f28e134d963976a278037343f0","datavalue":{"value":"syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625658$640B0065-2B30-4076-ABDF-83E1A53196DA","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":"Q4625658$EB9D4378-6174-4A3C-8B72-DF0016230763","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d759ec4b86b1ead109522243a782cf468dfd959","datavalue":{"value":"W2903251947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$26E8066D-C005-4DA0-B2F6-2A42AE6E0A7F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8cf1cff964a96655c22eb25a4658764ea4c2d7d1","datavalue":{"value":"Q128861616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625658$3476748B-B654-4542-95E2-70346E77309E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe985d4561bfe6f64cefdfc7a45c602e6ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5368766,"id":"Q5368766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e849f3cbbf4f5fcf69c04f635a9fbc58e243c517","datavalue":{"value":{"amount":"+0.8268073201179504","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":"Q4625658$A0B7022C-E059-4CD4-AC90-6E2F6A071529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ea5cf7cb0e23e6cfd1151eb8ebd39ce739b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145666,"id":"Q5145666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8668e2a4c422d4650e23bc35ff086251156785b1","datavalue":{"value":{"amount":"+0.8093772530555725","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":"Q4625658$09E59A6E-104D-435C-BC94-638D70947725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0dcb9473db49242994ba849ab40d6e8309464a","datavalue":{"value":{"entity-type":"item","numeric-id":1401356,"id":"Q1401356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5a4a2f76866bc5fe0b5dd467c75d7bd9f3cd7c","datavalue":{"value":{"amount":"+0.7849152684211731","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":"Q4625658$FF050CD1-8BBC-4174-BAD7-0553C5118C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649eac039940f92b5a17a4deafb654193d06c975","datavalue":{"value":{"entity-type":"item","numeric-id":2911618,"id":"Q2911618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f2a6c5aaad29aea6d01b003c2245a4a6666de4","datavalue":{"value":{"amount":"+0.7770049571990967","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":"Q4625658$5933F0D7-5A2D-4790-BD3E-747544A9D187","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":"4d7a9fac780967857a764f9e681235b1c80409f0","datavalue":{"value":{"amount":"+0.7681211829185486","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":"Q4625658$A8389A09-37E1-4235-B228-CFE2901C7E33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circuit complexity, proof complexity, and polynomial identity testing. The ideal proof system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Circuit_complexity,_proof_complexity,_and_polynomial_identity_testing._The_ideal_proof_system"}}}}}