{"entities":{"Q3386918":{"pageid":3397621,"ns":120,"title":"Item:Q3386918","lastrevid":53899124,"modified":"2026-01-25T21:56:07Z","type":"item","id":"Q3386918","labels":{"en":{"language":"en","value":"A bottom-up algorithm for solving \\#2SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291125"}},"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":"Q3386918$17F6AFC6-F0A8-468E-8D4A-F064A45E4B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df0840d84ca9ca9b2236d20cf2c58ec04fe022e8","datavalue":{"value":{"text":"A bottom-up algorithm for solving \u266f2SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3386918$251AF2F9-3A69-43D8-92DC-511746EF9C68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3f5b2795cf0552d95c647c40b23bd146f830af9","datavalue":{"value":"1497.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$6F588295-1447-495E-B7DB-FA70376DECB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87246d1d7769356eafb73bf240a78e4d3a26840","datavalue":{"value":{"entity-type":"item","numeric-id":2892662,"id":"Q2892662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386918$31AE838A-D452-4E3D-9094-2066FC1C71F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60940ecc4ceaddc26904eca5f47a54fe65de60fe","datavalue":{"value":{"entity-type":"item","numeric-id":283676,"id":"Q283676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386918$B1AE68D1-B42E-4C46-817F-5F66AEFBEE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fef25de94264979f610aa2724d39f7ce8515ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1744435,"id":"Q1744435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386918$1FBCDA69-1FD8-495A-A993-266EEB205C2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386918$CD261DF2-4857-40D5-825D-4B1830F2ECF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386918$CED1DA58-3EBA-4E26-AAED-C98FC2B49A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$53915AFC-7919-40DD-BBDA-F44DA38A0685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$9E6FFCA8-3CFA-4B7E-BA7A-595774F62168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$EBB91E70-6A5B-4C33-BBEF-3D96DF11411B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02ec8a55465643c1dcab306b4d0f8517db70d001","datavalue":{"value":"7291125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$F6CF31C2-6655-4CF7-B47E-9FF663128165","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2394f8ce002beb84bc8a0d72e2f81f023383a8","datavalue":{"value":"\\#2SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386918$588FE3FA-819A-4FDC-80BD-38F0400D8A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff7086c700c06e99880c04f2de1ecb5f045714e","datavalue":{"value":"counting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386918$BEDDB242-695F-428B-8B76-52D403DB7899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddd437525c60a01caa3eb5bc65d365875d1262e","datavalue":{"value":"enumerative algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386918$5A7A3CFF-FEE2-4B3A-9771-81178AD58C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee46e2c6a42a74803d50f6329947494bb4a53f6","datavalue":{"value":"graph decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386918$4C27445B-B633-4E23-BFEB-293F755B610A","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":"Q3386918$DA4BA150-CBA2-4B6B-8B2C-8C898A1EA53C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c690b52ef53dbb3fe129f3a34f6b5f16a109eeed","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzaa009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386918$F7F73624-7A2C-4D60-9E4F-AC1A846FC25F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0990c3baa66b9ed421b8cf3255c5ba4970af61e","datavalue":{"value":"W3022611987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$F06E8C01-6B4B-4DEA-8EFD-28BC0AFAE455","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70f1a5e6a942da833d9aa9ed5bfc6b5452bcbc81","datavalue":{"value":"10.1093/JIGPAL/JZAA009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386918$2E42FD44-8B5D-4D9C-9F3F-62E02B5853EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef270f544a08dfea2d53296bb24a14b56076010","datavalue":{"value":{"entity-type":"item","numeric-id":283678,"id":"Q283678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540f8450db42ba42929bc1607222b04f4de0e7e6","datavalue":{"value":{"amount":"+0.9314128756523132","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":"Q3386918$E62E80BB-66DC-4D00-8A13-0A433F36AB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b841a9f0187ffe637465bc5a5b44fa3555e50eff","datavalue":{"value":{"entity-type":"item","numeric-id":2892663,"id":"Q2892663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205a0f5a47258f476fe0a22e102d0caa5a93732c","datavalue":{"value":{"amount":"+0.8168880939483643","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":"Q3386918$5CEC0569-2267-46A5-B12E-AB6464FE2D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e538b655714f5962a68723c41859f66c7436fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4b3c42f84d9641eb6c17c333f2650f0fc1b79e","datavalue":{"value":{"amount":"+0.7994996309280396","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":"Q3386918$3E234180-EC45-4CD2-9F90-F4FEBD2714C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7abc8b76be92fa52cab5c75defb2371ea2b17e","datavalue":{"value":{"amount":"+0.7870184183120728","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":"Q3386918$C7663F56-8681-47AF-B415-4988ADC98E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8d03f5f20b65b49aab0c9b93fca13933d9b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e90f209a1b253539e92e314d0eee0773454b059","datavalue":{"value":{"amount":"+0.7852070927619934","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":"Q3386918$C7931015-0246-4C4C-8194-49A5922219AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3386918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3386918"}}}}}