callback( { "result":{ "query":"Theory* and* Applications* of* Satisfiability* Testing* SAT* 2014* 17th* International* Conference* Held* as* Part* of* the* Vienna* Summer* of* Logic* VSL* 2014* Vienna* Austria* July* 14* 17* 2014* Proceedings*", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"0.88" }, "completions":{ "@total":"0", "@computed":"0", "@sent":"0" }, "hits":{ "@total":"0", "@computed":"0", "@sent":"0", "@first":"0"} } } )