{"entities":{"Q4595958":{"pageid":6625543,"ns":120,"title":"Item:Q4595958","lastrevid":52972928,"modified":"2026-01-23T22:48:19Z","type":"item","id":"Q4595958","labels":{"en":{"language":"en","value":"On the width of semialgebraic proofs and algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816358"}},"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":"Q4595958$8C402DDD-28EE-443F-B0A0-5C12900211F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fb7adc7155a2e921d6d487dcb417168a8787fca","datavalue":{"value":{"text":"On the Width of Semialgebraic Proofs and Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4595958$EF3013EC-F40D-41C6-A4C8-EB7B77CD1710","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d0e749040eca2faaf09a5bf09b867e27e901d60","datavalue":{"value":"1386.90128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$B53F9E92-2D14-4816-9FEF-173503C26F24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cccce4a4205b51ff587d222bc7a07ed4bfa86d8f","datavalue":{"value":{"entity-type":"item","numeric-id":103831,"id":"Q103831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595958$863F68A3-22B9-4B85-A133-50F990D99D75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21d6b420be1b8ff2321307f141bac2dfb997b3c8","datavalue":{"value":{"time":"+2017-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4595958$4EED2DFD-4EEC-4AB4-8333-07908DB942C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59b3d476f788e5da0331d05e8b7cc17aa75d9d25","datavalue":{"value":"https://semanticscholar.org/paper/ab506cbba22d7267f7770b7b5b5c6853c2314c6e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4595958$30F3F693-CCC5-4914-97D5-4F3DC6512D2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$CA053E92-ED50-449D-93BE-B67197205D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$60D5B41D-00A0-4FD4-AA01-5EE5403DD680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eda4ee8bf823e8047083b2d510ceb838e4b3481","datavalue":{"value":"6816358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$7C25D83C-57B5-4AA5-B082-2F6D8B54D598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595958$9EBA2420-309F-49CA-B478-22FCCCA93F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f1ab7fe8b31a29c628f0848ae9e7a984666cf1","datavalue":{"value":"Lovasz-Schrijver","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595958$0EF399C4-EAA5-451C-BB4D-531565AE7516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700421209fe042b615519996338d870933cd1976","datavalue":{"value":"proof width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595958$7D13006C-BDE7-4E74-8BDC-842353B4A69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595958$ADE5A229-3A9E-47BF-8A6C-53F42B93E5BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595958$3A16398E-40BC-4194-A2FF-D5F76094BACD","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":"Q4595958$F64883CD-A844-462F-A93F-1108BA0EEB87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b515ba48370bdd828964e27ab92af03cd521ed9","datavalue":{"value":"W2572894540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$714D3435-868C-40D6-8FBA-B09189BA3FB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7cc05d6255f196504478f9fdb9a5d9bd3d4dcc07","datavalue":{"value":"Q113749921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$109A042C-FF3A-4F26-AE42-BECD32C2528F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d219dc3b9dac6175409855643f8e2d1695f0bdf","datavalue":{"value":"10.1287/MOOR.2016.0840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595958$0FB319D0-DF62-4DF3-B887-5872195D8E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcad698be345a43b5158f8f37158fc25ed1c902","datavalue":{"value":{"amount":"+0.7996214628219604","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":"Q4595958$F07E0A65-0DBB-4858-BFB3-0FBF3653E486","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":"3774e924c40165f80fb8106d56372d2a34405753","datavalue":{"value":{"amount":"+0.7932043671607971","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":"Q4595958$555FFB01-980D-41C6-9051-691154FCBB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de323245be3eacb251437998a661dc80825bf47","datavalue":{"value":{"entity-type":"item","numeric-id":2498920,"id":"Q2498920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3774e924c40165f80fb8106d56372d2a34405753","datavalue":{"value":{"amount":"+0.7932043671607971","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":"Q4595958$37F2F4C0-91E9-41F0-96E4-FE47C627A0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf670fa68de4694250b0337c3ae20c464ce2712c","datavalue":{"value":{"entity-type":"item","numeric-id":3002766,"id":"Q3002766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1bba8ce0281e0888316566cb58131df270c0ecc","datavalue":{"value":{"amount":"+0.7895767688751221","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":"Q4595958$57228C06-4CA4-44A9-B709-36DA12F9CA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85624023b62896bd53179b9c89be9298254c6b12","datavalue":{"value":{"entity-type":"item","numeric-id":4737162,"id":"Q4737162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a14cfb600850fc003a3d2c0d8e174444883c8f","datavalue":{"value":{"amount":"+0.7862471342086792","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":"Q4595958$8D90A071-8C35-415C-81F9-7B7E1C6216D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4595958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4595958"}}}}}