{"entities":{"Q5168421":{"pageid":7197993,"ns":120,"title":"Item:Q5168421","lastrevid":52035992,"modified":"2026-01-20T19:35:06Z","type":"item","id":"Q5168421","labels":{"en":{"language":"en","value":"Breaking the rectangle bound barrier against formula size lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313578"}},"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":"Q5168421$3DDFA50F-54FF-4EAF-A3FB-589A50B760C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac0dbb159ad3455a16f33345f8a9c8cb6e101827","datavalue":{"value":{"text":"BREAKING THE RECTANGLE BOUND BARRIER AGAINST FORMULA SIZE LOWER BOUNDS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168421$07F5DEC6-B5CD-4B8A-BEC3-F3F19ACD26BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95a45d9c48bf613ba4a321d703516e95420204d6","datavalue":{"value":"1360.68477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$24DD80E3-8F40-4C86-861C-46AA273817FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c8f3b21dfd08f0ca670415d5ed8bd2694a2b76c","datavalue":{"value":"10.1142/S0129054113500378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$E12E139A-A63A-4FC9-BE29-F8C670BF434F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd8c36233d3b59038a282389d99787758bd772b","datavalue":{"value":{"entity-type":"item","numeric-id":428878,"id":"Q428878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$C9ED7325-F1F3-4F43-908B-18A035F4C4F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$D87D06FB-22EC-4272-B621-B46CF5791861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"528fd4e4e62279625069f1dc7f195683c614a8fc","datavalue":{"value":{"time":"+2014-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168421$5807EBB3-322E-4B0F-9BC3-D4A29B1DD904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$0D77DA42-0793-4510-BA40-337356DC273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$5EBD61B8-DEDE-49BA-956E-5620407B62A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$00025FF5-1FC9-4CE1-A118-9486CD9B6FC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a0397010bfc0cf7d3951bd696326af028f19f9","datavalue":{"value":"6313578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$FAC2AD6C-0E21-4C2F-9AEA-94498CFFDF48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfcdf00c2b018a9c79f427df1b2783729abb256","datavalue":{"value":"formula complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168421$FDEAFA27-21A7-40B4-8175-FD32D9CDD655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c80994a6d77fb2e82c65b80b07584f97b67a626","datavalue":{"value":"formal complexity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168421$DADEB834-6486-4F4E-8522-774679F6AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b91b63b6c68d41d43412be154909b425a783c6","datavalue":{"value":"lift-and-project method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168421$B92FDC90-34BA-4DE4-83F5-D1E7718A2155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168421$750C34CF-FE17-4A35-BEB4-377907F2474A","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":"Q5168421$44AA8062-BFC9-47CA-AE50-B1B1093F7776","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d2b726ac2608042e6c3036560ddbd505628bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2490260,"id":"Q2490260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$2B7CDBF3-2347-4BC9-82F0-42B3F7397697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa7e63ff28463bee3f9b1aaa19f1ce51fa643df","datavalue":{"value":{"entity-type":"item","numeric-id":2367913,"id":"Q2367913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$8D584CC3-5BCC-426A-9A4A-051C19EE2674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$F056A523-2443-455A-949A-4480D32885A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db40f07365cd89c48d7b165f124728d51286ea6","datavalue":{"value":{"entity-type":"item","numeric-id":964405,"id":"Q964405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$690A98CA-1A66-4AE6-98F9-906686DBD956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218140a952bc22c5765ddba6f8482ee15b188561","datavalue":{"value":{"entity-type":"item","numeric-id":4764345,"id":"Q4764345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$81092FF3-7511-46AE-97D3-C8CE520E0A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$61B90DC9-63EA-4E18-917B-F5B8BCC369EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a20e0a9e4155b899677d724a7858d21bacba90f","datavalue":{"value":{"entity-type":"item","numeric-id":2547883,"id":"Q2547883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$EC0909C6-C66C-47D4-9234-25EA26DC2971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0592c726de0b665bac4af88ba1b195d5f9b859c5","datavalue":{"value":{"entity-type":"item","numeric-id":685364,"id":"Q685364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$DF353B42-19AF-4924-8871-689FC987B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970254598db65ed4989cb309b0fd0babe3e91a96","datavalue":{"value":{"entity-type":"item","numeric-id":2458941,"id":"Q2458941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$E40D9A39-420D-42C3-8432-E971515E3018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ca987cd31fcda273faf7f829a209009518eeda","datavalue":{"value":{"entity-type":"item","numeric-id":2706355,"id":"Q2706355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$398D4CDA-D0CA-498C-9FD2-7EAAC7112DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee71670fb1023e5e9c1019240e7a825ff32db7","datavalue":{"value":{"entity-type":"item","numeric-id":5704137,"id":"Q5704137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$BECE65C2-70C3-4D24-9675-FF89FC968AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10fd61339ab43ba8dcb7503cd9f27fd08a2342bb","datavalue":{"value":{"entity-type":"item","numeric-id":3590928,"id":"Q3590928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$B8715EDE-BFB9-45A7-8E09-4ABAA62D6B33","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":"Q5168421$64F4399E-77A9-44EB-8073-FF39A2742BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44fcaa1f05407395b26870122229a43ea361110","datavalue":{"value":{"entity-type":"item","numeric-id":3197621,"id":"Q3197621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$902E84C6-DD0D-4B5E-87A4-8E9992ED1369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9645ee2ceb6da21bfab3bc81d2ee8522dab39b90","datavalue":{"value":{"entity-type":"item","numeric-id":1329799,"id":"Q1329799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$8AF7D8AE-3C75-4840-807E-81B80836CFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa6516e3e9c1392ea94a1d4140b53cbe9bc1908","datavalue":{"value":{"entity-type":"item","numeric-id":1917353,"id":"Q1917353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$F19B4031-E48E-46DC-87CD-D04E92D96E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8f90cad264334e641db42e132e956787e45e4","datavalue":{"value":{"entity-type":"item","numeric-id":428879,"id":"Q428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168421$33CE5586-CD6A-4E84-AE3B-32D2C31AF8FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f89d3c60ad28d2de423406b8bddeb083575a0a83","datavalue":{"value":"https://doi.org/10.1142/s0129054113500378","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168421$70618CEB-061A-4C81-9212-305653F72C12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4cda83c9297facf97e8103983f1a845b530d550","datavalue":{"value":"W1974865967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168421$C413DAC2-FA38-4ED8-8E1B-047C678D2D1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7791d1acdf1425e214433b1cc87832c6f0ca9d5","datavalue":{"value":{"entity-type":"item","numeric-id":3586121,"id":"Q3586121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03ee433a39d313dace0613359e20c8350c556cc","datavalue":{"value":{"amount":"+0.9982305765151978","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":"Q5168421$44F27824-4B2C-4611-92B2-65F4479449A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53036268ce9208c17793d64cd0d4410e85d3b58f","datavalue":{"value":{"entity-type":"item","numeric-id":5390018,"id":"Q5390018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246ba9c2e8ae0fc1a628f2d68763190d34169f06","datavalue":{"value":{"amount":"+0.823534369468689","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":"Q5168421$3F45394F-216D-421B-B446-B44EBF0703B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e50ee97192ff20d8a6dc21af533715192c08e9","datavalue":{"value":{"entity-type":"item","numeric-id":428879,"id":"Q428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195e4d05cb0f5d37b1015c69c1ee547a1880fc3a","datavalue":{"value":{"amount":"+0.8210723400115967","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":"Q5168421$17A01355-FF3D-4E11-BD4C-E2224E7D6D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cb56bc98e027200428d2c8f519e6bd7cd4b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3590928,"id":"Q3590928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bebb49ab7cef2514cd506e9d0959fc91308df62","datavalue":{"value":{"amount":"+0.7801598906517029","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":"Q5168421$6159E528-592F-4DBB-9EF6-D09415184A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a223c47336f497d0c4270ccb274b987465fa5b52","datavalue":{"value":{"entity-type":"item","numeric-id":2935596,"id":"Q2935596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d3abf381453bf0af46ae9ad08aa08bd55dd0d1","datavalue":{"value":{"amount":"+0.76854407787323","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":"Q5168421$DBA66C87-4DEF-4D97-96E7-164CE44EA1F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168421"}}}}}