{"entities":{"Q3590928":{"pageid":5620832,"ns":120,"title":"Item:Q3590928","lastrevid":50156273,"modified":"2026-01-13T07:15:01Z","type":"item","id":"Q3590928","labels":{"en":{"language":"en","value":"A New Rank Technique for Formula Size Lower Bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186504"}},"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":"Q3590928$D19D73E4-9A91-4F2A-905A-57F400CF79A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac4abba706ed2c9b8bf8a7cf2e224911d7bf145","datavalue":{"value":{"text":"A New Rank Technique for Formula Size Lower Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3590928$E8E6ED8F-405C-4B91-B321-B62F5BD66D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b168efa90f58a3be865fca6754238ef4eec18e1e","datavalue":{"value":"1186.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590928$CAAB8E2C-D5FF-426F-B331-2BC6463A5352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abd34106b6e74c06530f57889a19b1e0a2327511","datavalue":{"value":"10.1007/978-3-540-70918-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590928$1E7E0B39-3E63-47CA-B29E-30B24C5518D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7915a4aef0bb01557ffe03d5e69dc3acdf50e3","datavalue":{"value":{"entity-type":"item","numeric-id":295640,"id":"Q295640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590928$EBD16E20-D409-4E43-87B7-3D9D7AF592A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"334565905e7ca1f85bae0282d055ef576b4d641e","datavalue":{"value":{"entity-type":"item","numeric-id":3590917,"id":"Q3590917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590928$1ADBED2F-5DDC-47CF-90F1-95DAB34B5092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3590928$EBC91CD6-3C44-4E58-9B1A-4C26416EBDFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590928$D792C03E-3EF7-4591-AD9A-518DB68445CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590928$6AE3129E-2D23-4657-A7DD-1083188DC33A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2a6a1a3474b59a21abc555af66ee2cc085d290f","datavalue":{"value":"5186504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590928$510D60D8-5210-44F6-8D36-FE347F0A0D0C","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":"Q3590928$0CD4EF58-340C-43D6-9DF6-3C9B6DB62AAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02a14cb22b3fb669353a07bc78c74b29bdea4731","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70918-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3590928$1E2D4BEA-92F0-4105-BD4E-BC8D811D36EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b83ee300a2d3c46218ec2a1ab93a8447478edb4","datavalue":{"value":"W1857141208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590928$9ACA3CFC-2B66-4B64-94BA-FB84A97C8C5A","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":"5fcf3c6a7c2855f5b1ae3ea3cd82aeb0c7197e2d","datavalue":{"value":{"amount":"+0.8114051222801208","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":"Q3590928$E36CA228-9A25-4806-A5D2-E7A0FE65FE7D","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":"2979a195c57b492ef93d16fcae3a11be7f23f4c0","datavalue":{"value":{"amount":"+0.8014256358146667","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":"Q3590928$68C1CE98-5739-4FBA-86A6-264ED7A8F763","rank":"normal"},{"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":"ac5ca7f6310078ce8066646c13ff84ee6dffd28f","datavalue":{"value":{"amount":"+0.7897195219993591","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":"Q3590928$BE2DEA04-0BEB-454A-8961-79F1EDCE4E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c2374536506f2ff7ba2cf41e125144dcbf38b2","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb9299f8a7a2bca09b1dec845a6440dbf660c8f","datavalue":{"value":{"amount":"+0.7849407196044922","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":"Q3590928$5B1D5341-C7EF-409D-84EE-A26A5D82973C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e36610f123eb275585b22125e437b686505bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3692861,"id":"Q3692861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926e4f35c22115c4747ed98ab6ea54ad51a778b5","datavalue":{"value":{"amount":"+0.7832828760147095","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":"Q3590928$32F62B3F-689E-4FE9-A139-0CBC5A306CD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3590928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3590928"}}}}}