{"entities":{"Q5941296":{"pageid":8118098,"ns":120,"title":"Item:Q5941296","lastrevid":40696762,"modified":"2025-04-04T09:42:25Z","type":"item","id":"Q5941296","labels":{"en":{"language":"en","value":"Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635461"}},"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":"Q5941296$3CD28ED0-005B-41DA-9AC3-2C51D5671BB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243ace9250a407a4ec61c82681c8ed2b66f0a184","datavalue":{"value":{"text":"Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941296$5AD6A253-7169-4ADB-AD6F-A6C4BB672B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45328eb976694d820e62bc260311f9f2435ecf63","datavalue":{"value":"0974.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941296$8397D606-AFA3-4A5F-8EFC-F27742199856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43aefadcdabaade6fafc0045d8519f72f335ca28","datavalue":{"value":"10.1016/S0304-3975(00)00157-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941296$6906E85E-FB57-4428-A6D1-69F231B629F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$D912068F-9165-4855-80B0-E03ECE776A80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$1068F8F7-A055-4634-AC39-3916C8B66E20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941296$00AE64FA-90AA-4CD7-8E4C-3FF8BBA774F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941296$6509B4BA-CD16-41A2-8217-3C187BE408B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40732ccf5d7ece4ddc7c96c1cd874974c659b2d3","datavalue":{"value":"1635461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941296$B2CCAA13-FE0B-4781-AB07-49B5373DC581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2528f35991646b3b6497773ceff1749e45c91717","datavalue":{"value":"Positivstellensatz calculus proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941296$96D2AB30-290C-4AC4-B7DB-D7AA1F076899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d5c4a97644c78d4f00545cdd8d19f27e649af8","datavalue":{"value":"Boolean binomial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941296$9E9F9695-A873-4562-BAE4-738FF928E0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bcdadd08b463e1c3ebbef64e54e15cb174a5706","datavalue":{"value":"Tseitin tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941296$46028439-D214-424B-B71F-BC070579A510","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":"Q5941296$6E581847-25EA-4DBD-89A5-8A9878DEDEE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$6DCD8CF0-CA8F-40F8-B6B5-3E2112731DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$F2281DB0-FA71-43EF-8699-794403C05B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$871834A7-D27F-41B6-AB02-1993B9A4FFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$4F06E977-3A24-456F-96B6-2357A1D9C8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$2AE577B3-12CE-4332-AA2C-2A23BA149B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41b5d6b878a8321367dc00f15dbbc6d413050ae","datavalue":{"value":{"entity-type":"item","numeric-id":5957910,"id":"Q5957910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$180EAF41-CE23-4F4A-B88B-5C99DF3F6003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$EAA56CA0-4E0D-4908-846F-4A80C1FBDA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec8f6f81428bd8769215213b5291205ed0250d","datavalue":{"value":{"entity-type":"item","numeric-id":1313833,"id":"Q1313833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$74D0D49D-23B6-4B26-9F5B-B751ADCF1653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94d017d89fe8a00bee910dd24c96d75202f025b","datavalue":{"value":{"entity-type":"item","numeric-id":4012419,"id":"Q4012419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$E02A5C2C-48E1-48A6-BD89-6FE9F020697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ccf4d42c4757827ddea695c7555934bd0854b7","datavalue":{"value":{"entity-type":"item","numeric-id":1112836,"id":"Q1112836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$D3894D85-8831-4579-B5C3-285A1658ADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ed2ce67075a87cdb4040d4b3440a4f78bd3b15","datavalue":{"value":{"entity-type":"item","numeric-id":920104,"id":"Q920104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$7B596D7D-8C3D-4253-8598-7DBFF1994485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408159b1c21249567bf1f15c810c7be66dbe7c68","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$0B24E7EE-C3DE-4D14-BA5C-E5BB7AB5DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e427a3de4ce120fbfba5e22bc0ea204ebacee10a","datavalue":{"value":{"entity-type":"item","numeric-id":2557742,"id":"Q2557742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$B96D570A-CEE4-455D-BCBC-CB73FEAE37D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$A36CF2B8-6B98-4666-8581-0B0580F4A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941296$36A8AB94-BB75-4852-8C9E-4280C681067C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"15c4a4438185692d3b760ecab43928dc6539eec4","datavalue":{"value":"Q126570468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941296$53D03175-DDDE-4929-A8DE-9BC07B1D9EF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fe6ea1be6602dfd1ba8065980c7566ee9c115fa","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00157-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941296$599AF4D8-AD1C-4D24-BBDD-F589D6684849","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8373d7d62d482c3c2f36b11bb75439df255ca856","datavalue":{"value":"W2022749269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941296$C358F96E-76B5-4EA3-AA8A-EF583A930E6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69ab014e1b5bbf3cf57a7e6119a0c0ddd4e5da1","datavalue":{"value":{"entity-type":"item","numeric-id":4635365,"id":"Q4635365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e844e44ec4f415859b0e219e354a56cc10920a08","datavalue":{"value":{"amount":"+0.8931633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$B5D43EE5-3008-49DB-AA20-D6752AD18670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66ca0376e77948f73d51ab23019113ac2d930f1","datavalue":{"value":{"entity-type":"item","numeric-id":3167000,"id":"Q3167000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1963a8974e3cc4160eafabeffddd737e29543c","datavalue":{"value":{"amount":"+0.87023354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$AC29ED9C-13EF-49AE-B193-7F5393256060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f5861fd87df4d9cf198859706477ab0c35db6b","datavalue":{"value":{"entity-type":"item","numeric-id":5410333,"id":"Q5410333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf93d7ce0433ae4af757877c0781aa536487274","datavalue":{"value":{"amount":"+0.8702334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$1A3CA69B-4519-406E-9404-AF0540CE6CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c57d34cdf0f903d61e4e08642624a06990c7af","datavalue":{"value":{"entity-type":"item","numeric-id":4267801,"id":"Q4267801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f2bf3637377b92b8d70bbee63d460308a854f6","datavalue":{"value":{"amount":"+0.86793005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$2B491A7B-1E29-4DD9-BD96-A8B0D2046268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37890e6ca6f9b888336d491e831222713164a317","datavalue":{"value":{"entity-type":"item","numeric-id":4886070,"id":"Q4886070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f2bf3637377b92b8d70bbee63d460308a854f6","datavalue":{"value":{"amount":"+0.86793005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$B78CBE9B-CB25-4A12-8DEB-2FF0D3B43730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669062cd9728a7cf97068214597d24d0666fd475","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7446708c709bd08c1480b335f8155f3fcfa8c7","datavalue":{"value":{"amount":"+0.8570254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$A68D6DF2-397E-4A70-9AB8-302630991CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c21ef1a46d97da656f13dc6facb127bd9a2127","datavalue":{"value":{"entity-type":"item","numeric-id":1295443,"id":"Q1295443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b95d9751b049172de1089b2c0502e515f5b2af3","datavalue":{"value":{"amount":"+0.85650456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$AF7AEAB8-2058-417F-A9F5-DA313FE9A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c004b08a566e18e292e3af58cbc17bb167929b","datavalue":{"value":{"entity-type":"item","numeric-id":5957910,"id":"Q5957910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2cbd507e5bccddf16e81336cd7a83294748312","datavalue":{"value":{"amount":"+0.8535156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$6D88EB27-329E-457C-81B3-8479C4B5C143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd398aafab5414fa7161e54cb884292294224c2c","datavalue":{"value":{"entity-type":"item","numeric-id":5111161,"id":"Q5111161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858fc7e015e13f5af59e1c10603964948af34ddd","datavalue":{"value":{"amount":"+0.85325444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$49976D4F-6349-4BDE-925E-BAEF215DEACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fc1194d9fc074969187571bc9313d8b2af519a","datavalue":{"value":{"entity-type":"item","numeric-id":2790190,"id":"Q2790190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b80003b0af3885bc59e6eaf1db23841c9f00cc","datavalue":{"value":{"amount":"+0.8513198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941296$CF82F72E-8125-4C42-9503-A1B6D2D56691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941296"}}}}}