{"entities":{"Q5090412":{"pageid":7119988,"ns":120,"title":"Item:Q5090412","lastrevid":94268714,"modified":"2026-06-05T06:23:18Z","type":"item","id":"Q5090412","labels":{"en":{"language":"en","value":"Cubic Formula Size Lower Bounds Based on Compositions with Majority"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559078"}},"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":"Q5090412$8516CC2A-9AC2-4C3D-942C-AF4A570C5331","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9af34c68de603f5df190f791003241dc07c602c6","datavalue":{"value":{"entity-type":"item","numeric-id":247136,"id":"Q247136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$A9009239-5BDC-4679-8EA1-40429E3EEBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"166681f99bdb381ae955de5692a4d3ab1ca72c9e","datavalue":{"value":{"entity-type":"item","numeric-id":397078,"id":"Q397078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$4FBB2C5B-16EF-4A8F-BA1E-14790F798597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f1e910fca1d12556e74f056343d60e12f820e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5090411,"id":"Q5090411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$34863BC6-205C-4CEA-9EAE-2157E77BBA9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090412$BABF7CBB-272F-46B6-A7EB-867DA497ADDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090412$6F5603FC-22E4-487B-99E0-2D3023955415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c3cef6c1ada28f3197eb66524014f70aa6b70d2","datavalue":{"value":"7559078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090412$118B7ACB-1E15-480C-8F7A-D59376F9A152","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3165e9c0d622a971a512afa42fe00c2b1e9903bb","datavalue":{"value":"formula lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090412$F76484D2-A083-43F9-8281-81382ECD92F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23e8839b5b25ed2c28e12b6d70e4e4d60d612ef","datavalue":{"value":"random restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090412$F83F043D-E005-4DAF-B958-06BEE80CFCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f7738103655eebf6dcf46b0e426c4496e04d94b","datavalue":{"value":"KRW conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090412$43879E32-34BD-443B-A291-8E15AED74E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090412$0AB94E2C-3EE8-41FA-9762-70FE1AE03228","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":"Q5090412$13BBE15D-7720-4BD0-8CD0-604E2066EBD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bcbc2413915441e613dddba43820875359d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1103591,"id":"Q1103591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$7C14B5AD-D44E-4439-8B55-5F52FB882E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f733bcf84fba7550fa604bfd3a0500c060a8c8d","datavalue":{"value":{"entity-type":"item","numeric-id":5002692,"id":"Q5002692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$1571802B-0484-4A9E-866F-881882DAAF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70009dfc8f09fcb3a3435bd0a77374e4e087449a","datavalue":{"value":{"entity-type":"item","numeric-id":2351392,"id":"Q2351392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$CC02A522-A401-46DE-AB64-A770B51D1755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1297b2dc3e928e7dd58b10f3d0768b177d2f76a7","datavalue":{"value":{"entity-type":"item","numeric-id":5368737,"id":"Q5368737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$A3961665-5E48-4280-91B8-CD96CD9CB88C","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":"Q5090412$5BD003CE-7FAF-451F-993A-FCDC40883924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$8EF9BA6A-A596-4D39-BF40-5D0EE11616A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c6d2f448b6afbbf7878ca0dc26e9b064406ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$8F72C094-5621-4F24-BBAD-D6526FA344E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09197078f33ccba0eb69b812b6075f0111d7a955","datavalue":{"value":{"entity-type":"item","numeric-id":1918946,"id":"Q1918946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$AFE50713-4AD6-4255-850E-B38F9543EF26","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":"Q5090412$A5DC7C16-E675-4941-BFF5-EBAE2AC7360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd209926dffada2c198307b6a94ad83b7b0576","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$896673DA-B734-42DC-9A48-3431DE95925B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc88ad3f5e586e09fb41605d42c5ccdd508e82f","datavalue":{"value":{"entity-type":"item","numeric-id":2963581,"id":"Q2963581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$268D2D84-2E6F-4E11-B5C6-4B6A12E69085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4f87cf38c71954b63db4f3fc97a1994b3c553","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$B8A785F1-9116-4BFE-831C-E6AFD978CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa93a58866a9c5f473caaa51543fda0e3a5eefa","datavalue":{"value":{"entity-type":"item","numeric-id":334301,"id":"Q334301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$7A464391-92D6-4354-AB0E-96179341DFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$FC813660-363F-437A-908F-13E4B00ABBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606afcde5f72fdf63a9c4c49e2a2bcf0fa1ce431","datavalue":{"value":{"entity-type":"item","numeric-id":4978064,"id":"Q4978064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$ED0F8939-4A9D-4B22-8CD2-8ABFA2BDFA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8ab76ca2a98c2ec7fbf989d43fdf31a692debb","datavalue":{"value":{"entity-type":"item","numeric-id":3218066,"id":"Q3218066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$F185417E-3056-45A3-83D3-8E17CA0F53E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad3f1183883bf3ccf6963255539000a858b9a65","datavalue":{"value":{"entity-type":"item","numeric-id":3716300,"id":"Q3716300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090412$E87DA8E4-8F6F-464C-B441-66C1C6DF8348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"053ca61880e0ed5cfb0c55bfcc97a1fd699a5f00","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ITCS.2019.35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090412$E4564CF1-8BCC-45A7-B741-49B519C13EA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f77a6c3ef277da67e691f8e1370bec95a7e01a62","datavalue":{"value":"W2913244533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090412$CB109D8B-4FC3-412F-A5D5-B00147722340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38f2999334838907c6acfdacb7e2e01acf73f39f","datavalue":{"value":{"text":"Cubic Formula Size Lower Bounds Based on Compositions with Majority","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090412$A37E7AB2-426E-4CA9-8A62-AB198F849A70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9bcff84ed2fc0b7bd00e1ab0c6481ea689b7d10","datavalue":{"value":"10.4230/LIPICS.ITCS.2019.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090412$68B1810F-7F73-46C6-9CE7-0F53AD002399","rank":"normal"}],"P1643":[{"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":"d21c7e7fc6a78e75eac1065a84b110ece282aab0","datavalue":{"value":{"amount":"+0.7811834216117859","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":"Q5090412$4D19B74A-233A-49CB-AF65-A7866314E7B5","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":"a0f01616cf01b727aad25faf2533087d500d901b","datavalue":{"value":{"amount":"+0.7725263833999634","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":"Q5090412$1089A3C5-4BA9-4F2A-86E3-82A40B9416A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1783ac1602249e907f9846465fd68a7b1fa10ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5368737,"id":"Q5368737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e41d8d3faacad921dd2a7b9ca11ab785f8a906","datavalue":{"value":{"amount":"+0.7659144401550293","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":"Q5090412$BB2114FE-8408-40B4-870B-8356AEA3B343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c497de03c3685dab29a38fe6ad0351df0d3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1616616,"id":"Q1616616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ba0d74a0bc37f2ff8d72bae3dd07042510da2d","datavalue":{"value":{"amount":"+0.7658078670501709","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":"Q5090412$9225F153-7D60-4DB9-BD8E-1048F46FB229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edf83b61b234b0c5998958d03d1f7788ebdaf1a","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37aa2ed61fa9ca0f12bd1c8e948d250ac650e359","datavalue":{"value":{"amount":"+0.7648539543151855","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":"Q5090412$A7FD6DAE-07A1-4275-BDA8-CB0C267C79C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cubic Formula Size Lower Bounds Based on Compositions with Majority","badges":[]}}}}}