select case when COUNT(*) > 0 -- If an entry exists in filtered revision table, the user has edited else not edited

                 then 'Has edited'

                 else 'Has not edited'

       end as 'User has edited or not?'

from revision

join actor on rev_actor = actor_id -- link revision and actor table

and actor_name = '203.94.130.78' -- Username or IP address to check whether they have edited

and rev_timestamp > '20170504000000'; -- timestamp to check