{"entities":{"Q3637160":{"pageid":5667066,"ns":120,"title":"Item:Q3637160","lastrevid":49738438,"modified":"2026-01-09T20:57:12Z","type":"item","id":"Q3637160","labels":{"en":{"language":"en","value":"Solving SAT for\u00a0CNF Formulas with a One-Sided Restriction on Variable Occurrences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576276"}},"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":"Q3637160$3A4728DD-A266-47D8-AA6F-CA679986506C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddaaa253e89b97725fafd598651d974ccf5335cf","datavalue":{"value":{"text":"Solving SAT for\u00a0CNF Formulas with a One-Sided Restriction on Variable Occurrences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637160$3100F076-C3EA-4AE1-9AFF-BFAF9463D165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b09f1ac8b8c2a6a9c2957d82dc8279773ce96fb","datavalue":{"value":"1247.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637160$2EE50EAF-F79A-4406-8B35-2E2B4BF73503","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a0afbd4af0f0c2f0e3fd81ee7495ff2868ddd11","datavalue":{"value":"10.1007/978-3-642-02777-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637160$C8DE16B4-7FF0-4C89-AAF3-9C615052F100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0072017cd9a770c0fe62c8f76482b2e35b78eace","datavalue":{"value":{"entity-type":"item","numeric-id":428904,"id":"Q428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$B6A36010-E143-4066-97AB-A00AD18117FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4baf1246ca3bd7d8e2e3b31627e33d8d26846674","datavalue":{"value":{"entity-type":"item","numeric-id":309787,"id":"Q309787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$F842498D-0405-4F5B-AB6B-D2C93937D739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11324fa342c81c30ac095bea5b5286aa7a4bc5ff","datavalue":{"value":{"entity-type":"item","numeric-id":309798,"id":"Q309798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$8F440954-CA66-4645-9910-673431F8B04E","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":"Q3637160$A3301D02-516B-4F81-9679-F5B129F5503E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637160$E203CDE2-6966-483B-8D06-DCFC3CE543C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c35ae107996fd9463d971957c6755dcd13494f2","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.1442","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637160$A5A0E5D6-99C5-4149-B030-08CD00E7CA7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637160$6C9E974C-4C0E-4E6E-8409-E6CB1F870337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637160$DCF57720-D484-472F-ABAE-E94F3EB8C7E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3af8047d308d705687a8a49bb0a3fd370e48666","datavalue":{"value":"5576276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637160$5BBCA316-6FD1-408F-8417-EBEF353EA850","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":"Q3637160$D292D582-0858-408F-BB03-FF2EBFC1209F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e11baf544b8420f25c06db1ee79eb803b93fd9f","datavalue":{"value":"W1608133301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637160$B28A52E8-BF09-4E61-A173-2AB2A930B9BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d06f526300db7e0a42c270317b15ba36d696da","datavalue":{"value":{"entity-type":"item","numeric-id":2944511,"id":"Q2944511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$BD4B329F-822B-45FB-AEAA-3B285721E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$189EBE35-54D7-4034-A92D-88A0583C2142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$143946E1-204C-4CAD-A266-54050A965FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a0de63ef37c927b318d77f47f00a69c6cf8d4","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$9BE1EB48-920B-4B6B-A83B-3A4676EFEB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3194984f10d1bd6b3034671e1f13a64006941dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$21CD6268-5468-4B4C-8446-6D8FF6963688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7eeb4ea2f04585306669bc0f76745ba7ff9f85","datavalue":{"value":{"entity-type":"item","numeric-id":5713721,"id":"Q5713721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$8441FB0B-EC22-4480-93FD-904A8BFA1355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b96c822f729b68a181a2e84984b2c06a66068e","datavalue":{"value":{"entity-type":"item","numeric-id":4398229,"id":"Q4398229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637160$90AAD01B-DB36-4AA3-92CF-A9C27DE211EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bf62472b9ba778316998aaddc3430b21003a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5713721,"id":"Q5713721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce08ff11934a1b1940c51b46d3cef7ef8e84d206","datavalue":{"value":{"amount":"+0.877015","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":"Q3637160$EAA6AD9F-431C-44FD-8E77-EF265874E493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5598d1002c22144d12692a80aaca887f39e5164e","datavalue":{"value":{"entity-type":"item","numeric-id":3192052,"id":"Q3192052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f3d2c230a00f946e7a697ec4c1d257ad0d37b1","datavalue":{"value":{"amount":"+0.8763052","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":"Q3637160$CE8A3974-C4D2-4B8C-8202-4145BDB21DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e089e8fb29d2427668e456ab5a32cb854dc36acb","datavalue":{"value":{"entity-type":"item","numeric-id":4351797,"id":"Q4351797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb1f39105bf78cc71fdcd5ed189fd010a367a9f","datavalue":{"value":{"amount":"+0.874473","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":"Q3637160$E2C8327D-96AF-4177-955A-89C3BCF9691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7aadd2493227378cba256c19a5a5b4a589eec3","datavalue":{"value":{"amount":"+0.87295246","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":"Q3637160$D844FA6B-6A73-4C9B-94E1-EF2764EFCBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cba91de41422a7130154f6e14b5bf2345e7c05f","datavalue":{"value":{"entity-type":"item","numeric-id":2701980,"id":"Q2701980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c9ec8db10ba4ccb819d0721e2c107cb7c1c6ee","datavalue":{"value":{"amount":"+0.86755097","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":"Q3637160$E431DC29-9079-41D3-BEFD-077FF64171A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf04b3067c5a65f4a3075a271b23baa295294759","datavalue":{"value":{"amount":"+0.8610022","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":"Q3637160$C215D4FB-4A28-49A6-AFFD-4BD6D89448C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf04b3067c5a65f4a3075a271b23baa295294759","datavalue":{"value":{"amount":"+0.8610022","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":"Q3637160$D103B4B8-1F08-4E48-8BA7-D970F81DD889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41851dbd9d8df884799c51766bd11828e498f3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1627839,"id":"Q1627839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758993f8140a9c95a173a6a7c39b8911e0c430be","datavalue":{"value":{"amount":"+0.8574181","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":"Q3637160$DA50704D-7D31-4001-9B2D-C992F242825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950964d65a724e0810d1250e681666c08162cdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2843331,"id":"Q2843331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e66ff107f192d60192b09e4b7421200daa553e9","datavalue":{"value":{"amount":"+0.8549308","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":"Q3637160$62D9A943-C2E2-4C5D-A995-0D64663B2C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637160"}}}}}