{"entities":{"Q5470697":{"pageid":7500256,"ns":120,"title":"Item:Q5470697","lastrevid":41748002,"modified":"2025-05-07T21:36:19Z","type":"item","id":"Q5470697","labels":{"en":{"language":"en","value":"Recognizing More Unsatisfiable Random <i>k</i>-SAT Instances Efficiently"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5029533"}},"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":"Q5470697$61244751-1521-4FC3-B757-5E7E127D5DB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a5d3aa33b9c6dd11be8add2a1933b7d4d49f215","datavalue":{"value":{"text":"Recognizing More Unsatisfiable Random <i>k</i>-SAT Instances Efficiently","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5470697$D121ADDB-DCF3-4E8F-9978-F3C8997FEE4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"717e2f049653c04d63bcdbf337ad60e56a708300","datavalue":{"value":"1090.05064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$72EE1279-143F-4732-A2EE-1DBDEB53807B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75457676f95c2d839824cda9c5a426dc6f08fbd8","datavalue":{"value":"10.1137/S009753970444096X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$FF58825D-37A4-4268-A3E6-049DEB8BE7C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c71829ae3dd18c417ae6c11ebadab5179769660","datavalue":{"value":{"entity-type":"item","numeric-id":178708,"id":"Q178708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5470697$00A56BD2-E1F5-4379-A940-C05FE6F43C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1cf400bc99a406c4d5dfcfdd4d04f10c4dc1f7f","datavalue":{"value":{"entity-type":"item","numeric-id":178700,"id":"Q178700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5470697$FD25D590-DFA3-46F1-B4ED-A93206D4F2A5","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":"Q5470697$24E1E7A3-A54A-4C52-B6AE-EEDE106005E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5470697$D932C0BD-6DCE-41B2-928F-BB08B30F6D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a277b3613bea0aefa80be7752a72369716d085","datavalue":{"value":{"time":"+2006-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5470697$30EAF380-319E-44CE-8334-95F1160A782D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$BCD884A4-5888-44DA-B017-D736AEF7303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$FEF1C8CA-218A-44A9-8DDF-7310D02A1CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75be5ce92fc5fc34a817435fa78115862dca90ff","datavalue":{"value":"34L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$ACE6708A-37C1-412A-BF8B-6C79A38AE934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bdbdfa86d828ecd58be36f16ca4b45a14057606","datavalue":{"value":"34L20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$A8BC7719-EF67-415D-9C67-5669BE0BA6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$33212833-B227-46DB-A411-7852C33AD280","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd261ebbf5c996b4e36f9b811a17a4900a285249","datavalue":{"value":"5029533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$7992DB4C-54CB-47AF-BF0B-AD1CE26866A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778348b169535f209fffb8dabbe107eba88f2241","datavalue":{"value":"random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470697$E35F70D0-5B11-4C38-967F-B39C6D4E3A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319d0f9f06dd9ec464939cdfc670308cc43654db","datavalue":{"value":"random satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470697$FED2A316-C942-47C2-80D0-E20A658259BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa81df441542f6274098710f6cbf221c0ad61be4","datavalue":{"value":"spectral methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5470697$7BCC84C1-805A-45D3-9898-ABE811090A53","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":"Q5470697$61A634F4-E18E-4B6A-9A32-D1D0BE9EE6AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23121cb6ace83aa6579c92fbb9a853048c655f68","datavalue":{"value":"https://doi.org/10.1137/s009753970444096x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5470697$2183AC2B-44CF-4D1C-9A67-FE2D41D0E8DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8aba4bbc080af13e93ddeadd90af0999a83cdbb","datavalue":{"value":"W2011639573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5470697$08BFEA5B-C739-4303-92A4-C136EB1E522B","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":"0a95d1f9a226576ce08064414daa82c59a3ecd3e","datavalue":{"value":{"amount":"+0.9487581","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":"Q5470697$9913CEF8-7D58-4E1B-ADE4-E58658D5B4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f8fd2ea61e9cb48fe2ac4632854cbebc6c8571","datavalue":{"value":{"entity-type":"item","numeric-id":3439113,"id":"Q3439113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea4f72a90b1782a1f7aec1790d1f2bf4def019b","datavalue":{"value":{"amount":"+0.947171","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":"Q5470697$2E99DACC-8EA8-4FD3-B2AF-813DF9354C77","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":"c290a09048d030ee9fd90dac446977390f0c311e","datavalue":{"value":{"amount":"+0.9452115","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":"Q5470697$C65B173A-3DB0-4900-AB94-6899A4482257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cc790a3ed13be41e4f0f1941c000da147799a8","datavalue":{"value":{"entity-type":"item","numeric-id":877837,"id":"Q877837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2041eecd8478fabaa1fc166cca69dfada9339887","datavalue":{"value":{"amount":"+0.9117286","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":"Q5470697$F978CCA5-7801-48A9-8301-671DEC78763C","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":"3c8079135c16df7816f6c50d65968e2e953f7911","datavalue":{"value":{"amount":"+0.90155184","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":"Q5470697$187BFF96-4038-4C56-B8CB-7F8D5346D70B","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":"3c8079135c16df7816f6c50d65968e2e953f7911","datavalue":{"value":{"amount":"+0.90155184","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":"Q5470697$1EF203C6-810C-460F-91E2-C676770D2FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614fb4889151150a3176c408ebc4b705d67bd20","datavalue":{"value":{"entity-type":"item","numeric-id":513324,"id":"Q513324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7a98ef2409cf8b5b8c186d41e09227904f690c","datavalue":{"value":{"amount":"+0.8991336","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":"Q5470697$536317D8-D7CD-4D89-915B-988E53C783BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df06991ccf06069f6f047a45ab0cc7be22e30f5c","datavalue":{"value":{"entity-type":"item","numeric-id":557836,"id":"Q557836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d440b1b65d45d2ff14c38e9cc0168288a0a57fd","datavalue":{"value":{"amount":"+0.89509195","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":"Q5470697$1EEE25BE-93C8-42DB-A5A6-F086BFB0B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3be8ad35bcf660758325d8ba78af632055baae3","datavalue":{"value":{"amount":"+0.894362","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":"Q5470697$9F1C1099-C680-46E6-8AE2-DFD67EE5CF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3be8ad35bcf660758325d8ba78af632055baae3","datavalue":{"value":{"amount":"+0.894362","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":"Q5470697$ADFFF928-2199-4C95-8789-A79A55176A6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5470697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5470697"}}}}}