{"entities":{"Q2870016":{"pageid":2880736,"ns":120,"title":"Item:Q2870016","lastrevid":44706543,"modified":"2025-11-25T08:55:36Z","type":"item","id":"Q2870016","labels":{"en":{"language":"en","value":"On the Approximability of Splitting-SAT in 2-CNF Horn Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247317"}},"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":"Q2870016$EABF0BA4-4614-4192-B7DC-A4BE948F4507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055fcc3bf4ff3f4e577059a88802836418f50469","datavalue":{"value":{"text":"On the Approximability of Splitting-SAT in 2-CNF Horn Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870016$F1BEF911-22F4-483E-AEB7-981B3EADAC9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e367422d3ff60d0816e5b564d98ba51e66e6c657","datavalue":{"value":"1407.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870016$DCB30F56-E0FB-4A71-BD51-8D0A1B2409D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99c731ea5ef9c1886d7b2c51db244af1e24eb4c2","datavalue":{"value":"10.1007/978-3-642-45278-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870016$320BE566-BB62-4C70-BBEB-06A9316A5A23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96b879683bd41217648704eeffbbf8eed3621ffd","datavalue":{"value":{"entity-type":"item","numeric-id":486980,"id":"Q486980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870016$D544A83E-42D3-43C5-BF83-85E580B657BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6413837336d12af96dc702a197403b5d95ff3c7","datavalue":{"value":{"entity-type":"item","numeric-id":294816,"id":"Q294816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870016$E0B39203-D1BA-4213-AC5B-ABA7A9176478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870016$825D39F0-102D-4228-A8A4-B48FB513B39A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870016$57372CFF-D209-4039-B926-ECFF764AE103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03d651bf99e694364eb325964ec0e8ad078ef58d","datavalue":{"value":"http://hdl.handle.net/20.500.11850/156327","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870016$C598C792-0CA9-44EE-8D9B-3E44B97D5171","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870016$51B8D750-B8A6-4A50-A6DE-9FD55DFEA921","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f45fc75492025b2cd9678b2bacfceeccc64aa8aa","datavalue":{"value":"6247317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870016$95E678BD-4B03-47F6-999D-20F236B4454E","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":"Q2870016$48F5E696-DE5A-478B-A08E-B025D6699B9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8868161bffa45b6c0c83a5f9ac71a8e83a4d2452","datavalue":{"value":"W153539009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870016$A28E7EA7-ECC0-425D-8D5A-5035BE53F48C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae697735f1cfe3e7dfb9f5fca85b4dd76135176","datavalue":{"value":{"entity-type":"item","numeric-id":2913811,"id":"Q2913811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353c85e87a2a7444a19c9eb355b9f474352c68d2","datavalue":{"value":{"amount":"+0.88743657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$011C2E79-77D2-4892-96E4-BBE369F58034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171ab77dec29e847f7d8fda73a4fec90be0fef66","datavalue":{"value":{"entity-type":"item","numeric-id":5365140,"id":"Q5365140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353c85e87a2a7444a19c9eb355b9f474352c68d2","datavalue":{"value":{"amount":"+0.88743657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$6BC24BD4-28A2-49BE-9F21-848D42EDCA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a9801562e5c7bc7b6c88a48c21fcb41b8bf771","datavalue":{"value":{"entity-type":"item","numeric-id":826119,"id":"Q826119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68dc8b7f3e39b29c34669a14684fb4b12f1e562","datavalue":{"value":{"amount":"+0.8741126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$93A27FC4-FAFF-4029-887F-47357EC92167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63999194c9b9e26473d947a010bcbd1b4bc3ad19","datavalue":{"value":{"entity-type":"item","numeric-id":2254607,"id":"Q2254607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d92a1c9f9015f3c0193fa042b511f1ff3a52789","datavalue":{"value":{"amount":"+0.8726711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$A76AEC2B-9F0F-47DA-BEA8-77A1DC96515E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9b147435cfbe6f49f1defc74cd0028b3201347","datavalue":{"value":{"amount":"+0.86946857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$E1D0FCB7-0C57-4B57-B67D-293D41510290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db02fc095e1b8da0887b96d0e1881d870f438d16","datavalue":{"value":{"entity-type":"item","numeric-id":293272,"id":"Q293272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1b1fca389c1281fcadf39c2a2fc16eb2d155d7","datavalue":{"value":{"amount":"+0.8669355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$0A84B081-5035-4061-AD49-955397323515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4df11fc868397d19521e862b6fa5bae8dba047","datavalue":{"value":{"entity-type":"item","numeric-id":1097717,"id":"Q1097717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d24c5eae2dba23102e8391d10c430630ff9b30","datavalue":{"value":{"amount":"+0.86670935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$BAF03878-5DEF-4920-B9FC-845CB39E5E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910c90944a50e1f126224610f0f205ee8986208d","datavalue":{"value":{"entity-type":"item","numeric-id":1578395,"id":"Q1578395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073cd85d54d35541741b7e75395aeaa9d9b876f7","datavalue":{"value":{"amount":"+0.86586875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$4E4C4DC6-B406-486A-ADBD-118E674B10FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3cf7555de61224b7834065447ec66f6cc41ad25","datavalue":{"value":{"entity-type":"item","numeric-id":3521946,"id":"Q3521946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af34e01bb82779ca8eef15469328b0aea9a97b11","datavalue":{"value":{"amount":"+0.8617997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$A4385C84-7999-4B41-9427-83A1AAD3CB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4206540e332b7afc5d806bc499739e7bd5bf8cb","datavalue":{"value":{"entity-type":"item","numeric-id":3491546,"id":"Q3491546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74e77f0519545b126bc0a5443b546af110cf356","datavalue":{"value":{"amount":"+0.861515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870016$60DA70EE-D32C-4C39-A77A-5185D81DE0C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870016"}}}}}