{"entities":{"Q2311345":{"pageid":2322088,"ns":120,"title":"Item:Q2311345","lastrevid":57840900,"modified":"2026-04-02T18:29:49Z","type":"item","id":"Q2311345","labels":{"en":{"language":"en","value":"Compact linear programs for 2SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7078511"}},"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":"Q2311345$724BDF68-F74A-4845-B177-74659684EA01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d7605ef04b5b667595d4e9399e875317113d8e0","datavalue":{"value":{"text":"Compact linear programs for 2SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2311345$78B9E064-DA62-47F9-8CB6-05CFE617B246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16358c09c17de8af7a34a901b8fa765b36e1bb1f","datavalue":{"value":"1461.90072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$E8146CD3-E4DB-4A74-8689-A76AD394B408","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd8238ea275ad1f712fee23b00be1e92331fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":450532,"id":"Q450532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$5C9BFEF6-2153-4BF6-AF4C-2C44D73B57A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f80dfc7d569f12c09d99bcc3b3496b227a33b7d","datavalue":{"value":{"entity-type":"item","numeric-id":173840,"id":"Q173840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$226C0E3B-3294-48E2-A515-F215FE460852","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$F07B622A-0FD8-4AC1-A9D9-EA74EC9610FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4c5ce9058e70e86b27db6383241102ef321cb0","datavalue":{"value":{"time":"+2019-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2311345$3B6847F7-AB77-4C39-9AAE-E9C12DAA275F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad684b5a6fffcffe68d5c74e2d443f0d58af4ed2","datavalue":{"value":"https://arxiv.org/abs/1702.06723","type":"string"},"datatype":"url"},"type":"statement","id":"Q2311345$AA84D934-CDDA-4879-91A8-DD9103545585","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$33845FD7-D02D-4774-AF42-8910615CC479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$48265B13-5D63-4C76-AD83-85D1D508DBED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"847f6f3fd90d2dbbf689851854faea5de137f3c0","datavalue":{"value":"7078511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$C7C562F3-C84A-474B-B8D2-F1013E81DD38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b541d40c4af51a0d14435de2d4dcccbb0b58f3","datavalue":{"value":"multicommodity flows, superpolynomial extension complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311345$ABF09794-1584-4773-990B-C9AE94C43118","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":"Q2311345$5D811586-CD3F-4D55-98A0-74DC358CDC98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2264a96e8bb2e281830445a0a44b14c2ed111130","datavalue":{"value":"W2963882531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$081AC4E1-3332-4C52-BFC3-AB06C2B1D8D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$569DE853-8B6B-440A-89FE-EE58EC0B3F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a61a93217152639df69c14faceb65cda562f1a7","datavalue":{"value":{"entity-type":"item","numeric-id":2345857,"id":"Q2345857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$48EA3106-595B-4266-8E2B-DF4919651A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bfe2446aa0e3854a2d481f9f93e1250c3cd0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1751156,"id":"Q1751156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$6769EC28-F893-45E8-8CD1-8FD6334A6ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f85a23e4dc1803e53d5c099f1c74e95db5a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":1201153,"id":"Q1201153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$FEBBA9E8-9929-464B-A9F3-F4DDA5C88CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7b660937930adbd0ff364afa7db1889b982e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1317481,"id":"Q1317481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$A9168692-241A-490C-A54A-B582C881CDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358d8c3d436e67c1434430264a92f454ba1997c9","datavalue":{"value":{"entity-type":"item","numeric-id":3819073,"id":"Q3819073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$B35C8368-C5F7-413A-8BAA-D950A00E2B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4aad5fe8a3370041d9c29ba8c41f94752c5efa2","datavalue":{"value":{"entity-type":"item","numeric-id":3703906,"id":"Q3703906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311345$82145A19-C294-4C7E-B2C8-3A81078E5E09","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db977eec5383fe0564c21e49ac7e52db1389a1c8","datavalue":{"value":"Q129979154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$0236A9FC-43CC-4EDD-8DCC-4F6DE670A9AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc1caece4f52173763da56f95fcb4bfc5a9a1e4","datavalue":{"value":"10.1016/J.EJC.2018.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311345$76EFE315-E25B-4945-8F3F-73DB66CD1C37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5181653640d40c17597bbc5114109377a3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1278588,"id":"Q1278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9148ed4a06474335950d9d80dfc720bb86ba52ea","datavalue":{"value":{"amount":"+0.7734593749046326","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":"Q2311345$E96011D5-8A46-4239-A252-5A7C95812658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63b056c786560e6ce7f12d29c1a3b1757f5efbe","datavalue":{"value":{"entity-type":"item","numeric-id":1412705,"id":"Q1412705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683b5ae42c6071f1a9b6b7edfa17e6e594ad7e53","datavalue":{"value":{"amount":"+0.7729108929634094","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":"Q2311345$ADA5CB1D-45F9-412E-976A-0CB4DA7F70BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd0cd7e87ff833e6bdb21f340b695db768a2c7d","datavalue":{"value":{"entity-type":"item","numeric-id":1317481,"id":"Q1317481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3f24e4056e4851b8588bc9a50e0cda3142af27","datavalue":{"value":{"amount":"+0.770390510559082","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":"Q2311345$D9E2E347-3519-40D9-9809-E4F699E7EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c2d69720522d2454a3e2a7def9c3c1ba36e7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1186549,"id":"Q1186549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010f1fd47aeb6644f428cc7967cd486546660263","datavalue":{"value":{"amount":"+0.7696718573570251","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":"Q2311345$8B0F9FA8-0FF5-4DA4-9638-252F6B9B1256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e35dfce42fd667a8d59eaf4ff558f1797478043","datavalue":{"value":{"entity-type":"item","numeric-id":5687265,"id":"Q5687265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162acc4b577ec51e69ced69a6eb9840dc2c2bc22","datavalue":{"value":{"amount":"+0.7604626417160034","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":"Q2311345$38849D82-3326-4625-B35F-66229C1BB8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2311345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2311345"}}}}}