{"entities":{"Q428879":{"pageid":430646,"ns":120,"title":"Item:Q428879","lastrevid":51497537,"modified":"2026-01-18T12:43:38Z","type":"item","id":"Q428879","labels":{"en":{"language":"en","value":"A stronger LP bound for formula size lower bounds via clique constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049396"}},"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":"Q428879$9CE57318-5BEE-412B-AFD6-7920DFBEDE58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5594a9c3920de4313c36b71e2152880960784db","datavalue":{"value":{"text":"A stronger LP bound for formula size lower bounds via clique constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428879$457B8CA4-3991-4E90-8111-D961947DE7E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"079b4117513b06f4a7ba855e4aebe70ea3a60360","datavalue":{"value":"1280.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$995BB4AA-3CA0-48A0-B72E-C44EE54D5473","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":"Q428879$A41CB9DC-D4E4-4F49-80BA-C9E21A9B8A9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$34D61110-70C1-42A7-A7C9-4DD8CD3BB61C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72164bd681bf7e905e9de5f982349bc17f0310f","datavalue":{"value":{"time":"+2012-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428879$B041DB53-DC40-4F90-A289-25A6F0490CE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$EA6F1EAE-F81D-4D8C-8287-3C3861534D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$C088F2E7-4AF9-4AF0-B6C3-ADCB851502A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$BD849C6B-0EF5-4ACE-BF50-E1389CFEFCE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09bfccdd1f0870b08766b5246005165fbd174d01","datavalue":{"value":"6049396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$A08DF0C8-43FF-44C2-BAF0-EADD67CF3A94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc33a1cfa82bbbe30c9123716c0aa4774b6c4201","datavalue":{"value":"formula size lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q428879$64C1156F-7DA9-4C30-B550-13FB3D41FE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q428879$47A14581-06E9-46F5-974A-6B9AC597621B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b95e6464a846ba981add81dbf7112377d9e9ddb","datavalue":{"value":"monotone self-dual Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q428879$E7E4325E-98C8-4BE0-8666-8DB5ED0175B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9500328a0a0a93ae778cd33d5ecd620868459d","datavalue":{"value":"stable set polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q428879$88CACD86-BA1E-4AD1-B459-E1DD5A520956","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":"Q428879$2DF84815-4AD4-4F9A-A092-237901BB5568","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3522deb36e59bafadb0d064507cbc1088b7ff274","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q428879$003E3BD5-26F7-4706-A88B-C839B1DE47D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e011f3b418a8ed0e40fd56b77602cc8a4e99ce68","datavalue":{"value":"W2149120558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$54A48CB2-83C0-417F-891F-6C57AF488E9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b00b0f56d6a4cfbc499cb10e5661b9e96f4a5b","datavalue":{"value":{"entity-type":"item","numeric-id":5894821,"id":"Q5894821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$30A00BE7-FBA0-459B-BAA3-67223CBAFC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfca590a0c5d81e5368649ef954fd5a6ce01d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3068642,"id":"Q3068642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$3506BE1F-07C2-4D9C-AF9D-A0710444B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e096769d95a149f6c82e2f6de7ecb7877246380","datavalue":{"value":{"entity-type":"item","numeric-id":1893164,"id":"Q1893164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$C98FB881-1485-4A05-9093-DE21718E3403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c069039c37717b85c7239d896073bd3a56d1f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1961458,"id":"Q1961458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$E4F56841-969C-4556-923B-509DBAF55E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16b4d29c0ba31b1bc8e06218af428a76fc8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":1210712,"id":"Q1210712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$260A862F-512A-46E3-8D2D-093DB427C6FD","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":"Q428879$7E5118E5-059B-4181-8DC0-863DA00E748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8845d3096abc0c86a3a759de9b7fa522d4979d93","datavalue":{"value":{"entity-type":"item","numeric-id":3549652,"id":"Q3549652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$DA22B7BD-B632-417D-932A-0323E7F5BFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96882cd0948e75d9b63a4f52ffb4f226d07507c5","datavalue":{"value":{"entity-type":"item","numeric-id":3581283,"id":"Q3581283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$A4BB2908-C153-4426-8960-0909AF447388","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":"Q428879$4FCF3248-9964-4389-AACB-79188ABBFD5A","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":"Q428879$80608558-1E1D-414A-8603-7E6EA72EC5B6","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":"Q428879$6E961238-96FA-4506-9FE2-F34DBB28080F","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":"Q428879$29D998AD-8B5E-417F-8854-01925CDDD179","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":"Q428879$2F8CCFF3-F3F5-429F-9A1B-0FC12DCD5047","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":"Q428879$8D269EDA-0B3A-40C1-B41A-C41A8C33744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc125b9d0451994663c708da31405626b2ebc3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4431436,"id":"Q4431436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$40F10870-1EDA-41EC-B448-23CF6BBCD583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db1d814609443cb82390ab1957b7e71a5f4529b","datavalue":{"value":{"entity-type":"item","numeric-id":4863976,"id":"Q4863976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$1263E5EC-2752-49C5-B9E7-E1158022AFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53db3e7d6700de9e42fc48a29bd259b2c12ae64","datavalue":{"value":{"entity-type":"item","numeric-id":5917544,"id":"Q5917544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$E460C249-3CB2-4672-8110-23FFC5D2FC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e138268b388c59cc350422a307264a1cbe02595","datavalue":{"value":{"entity-type":"item","numeric-id":5181532,"id":"Q5181532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$57A2E654-2DC9-4B45-A6AF-805B4858E4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47d597964395c4381d7db3edd668f7f0cb97614","datavalue":{"value":{"entity-type":"item","numeric-id":1240148,"id":"Q1240148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$CDD71A04-657B-4D6C-AB41-813D6B65DDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3edcb13764906d92993c4891e6da53578f7439bc","datavalue":{"value":{"entity-type":"item","numeric-id":4036708,"id":"Q4036708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$20782009-D08F-4963-B6F3-323E5FA88EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$06990D06-502A-4443-B002-0EA7E403D60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf037d38dc5bf2fadb65966fe0758939eb49522","datavalue":{"value":{"entity-type":"item","numeric-id":1356879,"id":"Q1356879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$6D3528CC-0B82-411C-8C6E-B1E3285289CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8596724c5d932dc6446277102cbe7c7e6388feea","datavalue":{"value":{"entity-type":"item","numeric-id":2638784,"id":"Q2638784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$A2773FE9-139D-4C02-98F8-9273FF9C9EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44540786a55cfa40dfaa85c784a8a9aa89d58a6","datavalue":{"value":{"entity-type":"item","numeric-id":5365063,"id":"Q5365063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$650F416B-201D-4832-B31F-55558FAD4868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e45ed079c6226b7011d69796cc778f25967194","datavalue":{"value":{"entity-type":"item","numeric-id":3549690,"id":"Q3549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428879$6D4D97D3-39E8-4851-BB8F-2691BCF4307B","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":"Q428879$A8F5EAA0-2794-4E01-8E52-958F9C76CF81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be60cc2d334ba05363c672c5cf62daa0c4b70f54","datavalue":{"value":"10.1016/J.TCS.2012.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428879$18180850-94AF-4D85-BBC3-7E68E8D7385C","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":"24c15f6499811176f103c23d69860ad4c7bb557b","datavalue":{"value":{"amount":"+0.9963772892951964","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":"Q428879$6052379D-D434-4CCC-AA1E-BA2CF2E3DA34","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":"7978f234cfe72d3ae2ef21966e8a834a718a7ac7","datavalue":{"value":{"amount":"+0.8290729522705078","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":"Q428879$148E53B8-4C07-4181-82C7-426C5D5D2658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d5d0a311c898b4785a10bcf14f657cd0152cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5168421,"id":"Q5168421"},"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":"Q428879$CF6CC91E-65FF-4312-90C7-2576D2D02BDE","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":"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":"Q428879$847FEA39-CD32-401A-8724-B76E5B6E2E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3bdca52e2c4f5ac1c130ea35d22f78bb5b650db","datavalue":{"value":{"entity-type":"item","numeric-id":3192005,"id":"Q3192005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f200bde606cb0ff5fb8efe860cdf43d0068d1f6e","datavalue":{"value":{"amount":"+0.7714009284973145","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":"Q428879$35950DD4-6E01-4F92-BEFC-BD2E6135F85A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:428879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:428879"}}}}}