{"entities":{"Q3439113":{"pageid":3449816,"ns":120,"title":"Item:Q3439113","lastrevid":90157928,"modified":"2026-06-04T19:26:00Z","type":"item","id":"Q3439113","labels":{"en":{"language":"en","value":"Recognizing more random unsatisfiable 3-SAT instances efficiently"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5157955"}},"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":"Q3439113$4BBC6F3F-8C8D-4497-AAEF-1A272CD51763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b41921f5ec536fbe9cef2ed8c0eb9ec4eb64d27c","datavalue":{"value":{"text":"Recognizing more random unsatisfiable 3-SAT instances efficiently","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3439113$D037BC42-250A-4234-ABDA-0CC41E95F168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc4aa8c58b4ab11f10d6a5c7c7e8911e6f221519","datavalue":{"value":"1179.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439113$C4418334-D480-44F2-98AE-BE4D51C2AFAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"196b5f71e19952392ca7672a9103d33f2d0c5d76","datavalue":{"value":"10.1016/S1571-0653(04)00461-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439113$7ADE9D11-30CC-4A49-8AD3-EC3FE1D9A3CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3515511aa56ac5db4b50e5be2cf99215ea72c954","datavalue":{"value":{"entity-type":"item","numeric-id":706612,"id":"Q706612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$280D0C94-129B-4718-A704-76BA6E87B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$FC3BABCB-F8E4-42C6-82A5-19AE5B1A9296","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a136d04e761e9859ba9ed38b65864112febfa028","datavalue":{"value":{"entity-type":"item","numeric-id":111211,"id":"Q111211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$8BD13BA1-E81E-4D49-AB97-D5B27880F4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"326d1aa492c2881fdbfbd9632ea765a7b6767976","datavalue":{"value":{"time":"+2007-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3439113$ED05D515-FF97-4AC4-BBE6-F2E3F246B7BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439113$7C219DD9-25F5-454F-A778-BC738F4C425B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"666c41979d1516b8a3f1e1902ae0f67c0581832f","datavalue":{"value":"5157955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439113$74A105A9-1828-4CA8-B96A-7D36B79255A0","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":"Q3439113$AAAA45DE-353D-497F-A129-D8517562D787","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bc568735e9a177f6675bf341e687d704fda87e","datavalue":{"value":{"entity-type":"item","numeric-id":5691133,"id":"Q5691133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$21691CD5-77A2-4E3E-B3F6-E85385262C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5872b792758513b34e5a0a368f783f64fff93733","datavalue":{"value":{"entity-type":"item","numeric-id":5900782,"id":"Q5900782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$2418D860-0D9A-4DC7-BC5C-6146E7163E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a157b93c6843fb22f2ec11d758cfb4e2cce5cee","datavalue":{"value":{"entity-type":"item","numeric-id":3579211,"id":"Q3579211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$F3EF13CB-1C8C-4B27-9CA6-C7F8FF642CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a753931acbdac6cb4eebfa6e027fc79862981337","datavalue":{"value":{"entity-type":"item","numeric-id":5318249,"id":"Q5318249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$C4670255-4D2C-44E4-B6F0-F82860A826EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$CA4776FA-AD00-4880-9BE3-A4744D494744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d93cb76c9e2b6f5a7dc3d012209a895ac5acb6","datavalue":{"value":{"entity-type":"item","numeric-id":4535026,"id":"Q4535026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$8A849649-1CFB-43CB-9AD0-A521895C6092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3009684eb7945556c56793ee792b9b228bab1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1169017,"id":"Q1169017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$94F0DDCA-C23C-4774-BAF7-B62030783CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbecc2d7d4a2a58c3b20a450df6f537e83568562","datavalue":{"value":{"entity-type":"item","numeric-id":4708577,"id":"Q4708577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$AB1D24CF-8B58-4976-BD81-4F2D48A06074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac0c37f379af66489170b21bf7f88d1cb9d24ef","datavalue":{"value":{"entity-type":"item","numeric-id":2762790,"id":"Q2762790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$7EAF6BEB-5EDD-4654-928C-160C3082B3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390be7305ce05113b357c48ac0fa762281466019","datavalue":{"value":{"entity-type":"item","numeric-id":4304296,"id":"Q4304296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439113$486F0461-473F-480F-90E1-22F56CC0F596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90b3092eebfb42c007a482410e7c94aa6ce0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4535026,"id":"Q4535026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a7250c0e3b1c9381d83740d47b59ac4a6b1847","datavalue":{"value":{"amount":"+0.9323818683624268","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":"Q3439113$73FFB3BE-F676-4F4F-BADC-B86165C5698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5b89826f951deabb7279b639d6c929de2a2f28","datavalue":{"value":{"entity-type":"item","numeric-id":5470697,"id":"Q5470697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d859271ce4185fb160a8168d3aca06bff887f72d","datavalue":{"value":{"amount":"+0.91304349899292","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":"Q3439113$24648AD9-1B6B-48D8-BAD6-BF74075E78E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3134d6d93626b2492e70c1b77ac64227cbdc19e5","datavalue":{"value":{"entity-type":"item","numeric-id":4708577,"id":"Q4708577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf185530ffae04653e82157e11805a80c9cdb4bb","datavalue":{"value":{"amount":"+0.8783570528030396","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":"Q3439113$5169F21E-9E2D-4B69-904A-29551899E7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f217533a22c07b8181a08760432a95b0988ac362","datavalue":{"value":{"entity-type":"item","numeric-id":4471151,"id":"Q4471151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e33641eccd05243bee096d480dd4d7052a6472","datavalue":{"value":{"amount":"+0.8755034804344177","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":"Q3439113$AD930B5E-561A-4199-AED8-7B3F691950C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4890284ec96a501dac04c39a2d2f51abe38db2b8","datavalue":{"value":{"entity-type":"item","numeric-id":2762790,"id":"Q2762790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40adc3c2c8c8e058e014fc5fff30a92082f51869","datavalue":{"value":{"amount":"+0.8694384694099426","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":"Q3439113$B0D4311D-4F8E-4ED9-B018-EE0FB2545E26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recognizing more random unsatisfiable 3-SAT instances efficiently","badges":[]}}}}}