image differencing use is required in what astronomical discovery?
Entity
m.0c3qy
Pluto
class entity
astronomy.astronomical_discovery m.07lqp5
astronomy.astronomical_discovery astronomy.astronomical_discovery_technique
Astronomical Discovery Image differencing
none none
astronomy.astronomical_discovery.discovery_technique
Discovery Technique
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :astronomy.astronomical_discovery . 
VALUES ?x1 { :m.07lqp5 } 
?x0 :astronomy.astronomical_discovery.discovery_technique ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND astronomy.astronomical_discovery (JOIN astronomy.astronomical_discovery.discovery_technique m.07lqp5))