{"entities":{"Q5957725":{"pageid":8134527,"ns":120,"title":"Item:Q5957725","lastrevid":47758903,"modified":"2026-01-02T15:07:03Z","type":"item","id":"Q5957725","labels":{"en":{"language":"en","value":"Complexity of Positivstellensatz proofs for the knapsack"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1718980"}},"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":"Q5957725$8084F168-5D5B-4E05-A399-744DEF1E9AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4d2505c5e5cb8ff27ddf1f9a2be256884d1d2b6","datavalue":{"value":{"text":"Complexity of Positivstellensatz proofs for the knapsack","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957725$CC970A57-74EF-4A20-BD40-E213EBEBD146","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dde0770fe9d7cb023e9ca84c9f77ff29bccf51ae","datavalue":{"value":"0992.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957725$5BEA0D57-603C-41B4-8827-FF3D21B38F1E","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":"Q5957725$7FA1BF9E-FF19-4E4E-8D1F-FACBD47F6E5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957725$14425C3F-F1BE-4017-93A5-B0299AF6CF8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7a5494c92a046f682164335d6adb9be84d31ccb","datavalue":{"value":{"time":"+2002-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957725$CDFB3EB1-5D72-447C-8089-052988CE0B55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957725$44EC541F-6883-47C1-B799-41D966C9DF17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"025609d7b38f9548860afaf3a55e1816591f27a3","datavalue":{"value":"1718980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957725$14FA0882-19D2-40D0-B752-4AC15F8FE20C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff29eb4c15469599e33e92d2c0f12df97d184","datavalue":{"value":"algebraic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957725$556CBA95-375D-4ECB-8917-C942CF898149","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":"Q5957725$D994119C-6DD1-46C4-BFEC-ED71DC55DB7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"734883a64231c919fe743528d2274f844d3ca50a","datavalue":{"value":"https://doi.org/10.1007/s00037-001-8192-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5957725$D17CC18D-30BD-4AEC-8622-AA0BB6EB2C6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be4339c7adfc45da3b24857522d620a122f2741b","datavalue":{"value":"W2012805418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957725$4B11C520-E24C-468E-B058-98E90349CF29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dde5d7cfc4b19fa7ade344380a9d7bde33877940","datavalue":{"value":"10.1007/S00037-001-8192-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957725$07E24966-1B3B-4675-9070-17E1B4C7B238","rank":"normal"}],"P1643":[{"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":"fa8c5a0e060bbd652f9c11e189cfb84560afb3de","datavalue":{"value":{"amount":"+0.8306229114532471","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":"Q5957725$96512838-878E-47B8-8258-152E5D4295CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492b004c252f363a38862c26c43855346b1a9c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5941296,"id":"Q5941296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fa3e6d61324c7a50845f6950be0b9cd0a228cf","datavalue":{"value":{"amount":"+0.8158820867538452","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":"Q5957725$CFB66450-2E9F-4F7C-8058-DC6615964ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487ec8b93977617c0da1d2ab98f7b25e99fcce13","datavalue":{"value":{"entity-type":"item","numeric-id":4526972,"id":"Q4526972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fa3e6d61324c7a50845f6950be0b9cd0a228cf","datavalue":{"value":{"amount":"+0.8158820867538452","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":"Q5957725$31801A93-C057-490F-8204-D77B17FDC95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20b0366d57d9dfce8a50876aa297e4e5267d80b","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0e3422b965fb3174981b043b4e6cb8ad25b2ac","datavalue":{"value":{"amount":"+0.7913138270378113","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":"Q5957725$8DD3CBBA-45CD-4F8D-B779-0BE33CC377B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff284c1b45b5920d5f515f016243c9855548eed","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0e3422b965fb3174981b043b4e6cb8ad25b2ac","datavalue":{"value":{"amount":"+0.7913138270378113","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":"Q5957725$6D869A2F-DE26-42C2-B52C-0CC153D30532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957725"}}}}}