{"entities":{"Q4372917":{"pageid":6402516,"ns":120,"title":"Item:Q4372917","lastrevid":46518996,"modified":"2025-12-24T23:13:25Z","type":"item","id":"Q4372917","labels":{"en":{"language":"en","value":"Lower bounds for resolution and cutting plane proofs and monotone computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097744"}},"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":"Q4372917$D364B6B0-BFED-48E2-896C-2A25AB1F01A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29d24d1329371d9a109997e77df737a9d6360f4d","datavalue":{"value":{"text":"Lower bounds for resolution and cutting plane proofs and monotone computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372917$4A6E9AE4-CD9E-4EBE-9456-76DD0A3BC1A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"291fadedb47891d90f199995c0d3b6854acc2dc0","datavalue":{"value":"0945.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$7B7F559E-154D-4EC9-99FD-257603AECFDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50d9154138b1e192d41a9ed07f24981a6f59f693","datavalue":{"value":"10.2307/2275583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$7501E27D-AA6F-41CC-B6CE-4BF64A397CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$B31A00FC-E0C2-41E3-A151-099629DB83F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$5277BDF6-2C62-46B2-8D46-9E9FAE930C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"befefdbf4b5e326bd1bedc2a91e9c20f746bff09","datavalue":{"value":{"time":"+1997-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372917$1BCFF2EB-4B67-48A6-9CE1-A55415264551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$395A0E1E-FC24-42B6-9CE4-94ADA6DB6ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$297080A4-A1C1-4785-8102-A86D796176FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$93B07C26-E071-4C30-956B-721AB8EAF773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$6E02D43C-AE68-41C3-BB59-7274CA91CC1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da802c20bb7675b93d39daf93b3aa6ca4f2b694","datavalue":{"value":"1097744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$0982D646-F7AF-4A56-9D19-E8785896ABF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9d1647b20c82d33b2f1629c4eaaf4984386a1b","datavalue":{"value":"exponential lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372917$48E47CC5-EC95-4547-9C23-6FAA3A8A7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf966c8016168ae069d96b4c400500938d93f1da","datavalue":{"value":"length of cutting plane proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372917$9B71700D-3E5C-4CEE-A740-BC37C8C8A362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916f2a5439f7e4b36d4fe8bc533c45ce2dc6fc9f","datavalue":{"value":"arithmetic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372917$89ED0243-C1EC-4D5A-A1BC-89926108420F","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":"Q4372917$7010D2D3-F9D3-4D4F-91FF-EE8495DDD2DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65f83d00897723697eb9f7231df93b7a6027729d","datavalue":{"value":"https://doi.org/10.2307/2275583","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372917$FC78BF96-BA65-4E70-AF67-F83272E37308","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b5f3b6c068da2e3f6f5a9be35a9b8434e3a7093","datavalue":{"value":"W2044095368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372917$D71D43AC-7D0E-46B5-8E0C-001EFCA1CDD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$5C02AA9A-E54F-46C4-A9B7-809F8F3361D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$84B3736D-1C93-4789-BAEC-88322F992C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54723723fa204d746ee536bf31ad3e21f36a80d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123134,"id":"Q1123134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$9BD2DBE6-8077-4F7C-8E60-35AFD83FA561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9316bc21130945e76158a0803667b9b47faaef","datavalue":{"value":{"entity-type":"item","numeric-id":2557712,"id":"Q2557712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$1C627F96-41D6-4C25-BF12-6C8BFDB1C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$ADF09E5F-07BF-4B96-9E70-505279657D17","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":"Q4372917$AEF8BAC7-38C9-44CD-8369-D2DA73D256C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$8A8E3417-B9CB-45F0-A109-6FD55D5E634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$707F3979-0C47-4F2F-B444-8962F8B8A386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$D3133720-B97A-4F8B-85E9-5B0957F9B17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$CFCB594B-9E0A-4BD9-9102-7A0FB1BBD6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a06c24999297cee30d2c7f9454999461c7bd69","datavalue":{"value":{"entity-type":"item","numeric-id":3866122,"id":"Q3866122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$E969D3BF-15CB-425B-A49F-B42622FFCC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97a3128124fa8bd35ebbf9fbed77c519f5a7561","datavalue":{"value":{"entity-type":"item","numeric-id":1232179,"id":"Q1232179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$4E42052C-8B44-4C74-9CBF-702B6C67497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372917$3F4BB721-2587-4CBC-BEAA-79A742D9A333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6015e0a342a0ec3ce3b36c729c5d44678453c4","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67f997774755b22194ad67513b3d80c76e682bb","datavalue":{"value":{"amount":"+0.8911889791488647","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":"Q4372917$2E66A52E-48CF-4C7F-AD58-72ED87EB4E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13035691865ae8935425f2404f426833ab6a9d07","datavalue":{"value":{"entity-type":"item","numeric-id":1288204,"id":"Q1288204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ddae6f62cf57f825aa7b784cbeb6acfec16696d","datavalue":{"value":{"amount":"+0.8564098477363586","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":"Q4372917$62BF9D8F-8251-4FE9-86A4-B6016DA99629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838093b358757a675c899cee37dc288026749fc2","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb7a914b393f0c3f09c4136ae3be259038e0b0c","datavalue":{"value":{"amount":"+0.8512952327728271","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":"Q4372917$800958F0-9F3A-4816-BA16-DE41E0BE9C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ed190a174e7cfd26cf20fe4e5a35ca47e83a8e","datavalue":{"value":{"amount":"+0.8490428924560547","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":"Q4372917$608CB944-0D8B-456B-A01C-CD979831A368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372917"}}}}}