Michael Fourman ^en

mid: /m/0dh5bz notable type: /computer/computer_scientist notable for: /computer/computer_scientist on the web: wikipedia.org

Michael Paul Fourman FBCS is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009. Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science — more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning. Wikipedia [ - ]

Links

	Subject	Predicate	Object/Value	Creator	Attribution	Timestamp
1	/m/0dh5bz	Filter by property View property schema View property links /people/person/nationality	/m/06q1r Scotland	none	Filter by attribution View attribution links /m/0pclh3k /user/fact_farm_wikimapper_intersector (user)	Revert links 2013-01-01T19:03:57.0001Z
2	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	michael-fourman$002F1573819 /m/0h7zjp6 Ranker.com's URL Namespace	Filter by creator View creator links /user/ravi_ranker	none	Revert links 2012-02-04T13:36:12.0003Z
3	/m/0dh5bz	Filter by property View property schema View property links /common/topic/official_website	http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html	none	Filter by attribution View attribution links /user/jon/attr/681 /user/jon (user) /en/tripleloader (app) /en/wikipedia (dataset)	Revert links 2011-11-23T10:18:42.0000Z
4	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	Michael_Fourman /wikipedia/en_title	none	Filter by attribution View attribution links /user/mwcl_wikipedia_en/attr/148 /user/mwcl_wikipedia_en (user) /en/tripleloader (app) /en/wikipedia (dataset)	Revert links 2011-05-24T01:15:48.0001Z
5	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	174330 /source/videosurf	none	Filter by attribution View attribution links /user/mw_od_bot/attr/258 /user/mw_od_bot (user) /en/tripleloader (app)	Revert links 2010-05-27T13:01:53.0000Z
6	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/education/academic	none	Filter by attribution View attribution links /user/mw_template_bot/attr/21 /user/mw_template_bot (user) /en/tripleloader (app)	Revert links 2009-06-12T20:15:30.0015Z
7	/m/0dh5bz	Filter by property View property schema View property links /education/academic/advisors	/m/08w0c8 Robin Gandy	none	Filter by attribution View attribution links /user/mw_template_bot/attr/21 /user/mw_template_bot (user) /en/tripleloader (app)	Revert links 2009-06-12T20:15:30.0014Z
8	/m/0dh5bz	Filter by property View property schema View property links /education/academic/advisors	/m/015gkm Dana Scott	none	Filter by attribution View attribution links /user/mw_template_bot/attr/21 /user/mw_template_bot (user) /en/tripleloader (app)	Revert links 2009-06-12T20:15:30.0013Z
9	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/computer/computer_scientist	Filter by creator View creator links /user/faye	none	Revert links 2008-12-05T03:31:58.0062Z
10	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/influence/influence_node	none	Filter by attribution View attribution links /user/mw_template_bot/attr/5 /user/mw_template_bot (user) /en/tripleloader (app)	Revert links 2008-11-27T00:41:11.0014Z
11	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/base/computerscience/topic	Filter by creator View creator links /user/pumpkin	none	Revert links 2008-10-30T02:30:59.0107Z
12	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/user/narphorium/people/topic	Filter by creator View creator links /user/narphorium	none	Revert links 2008-10-17T03:28:18.0136Z
13	/m/0dh5bz	Filter by property View property schema View property links /people/person/employment_history	/m/04hns5s cvt	none	Filter by attribution View attribution links /user/mw_prop_bot/attr/1 /user/mw_prop_bot (user) /en/tripleloader (app)	Revert links 2008-08-20T16:23:34.0024Z
14	/m/0dh5bz	Filter by property View property schema View property links /people/person/gender	/m/05zppz Male	Filter by creator View creator links /user/mw_gender_bot	none	Revert links 2008-06-25T01:42:12.0002Z
15	/m/0dh5bz	Filter by property View property schema View property links /people/person/profession	/m/03m3mgq Computer Scientist	Filter by creator View creator links /user/mw_prop_bot	none	Revert links 2008-03-21T09:01:43.0017Z
16	/m/0dh5bz	Filter by property View property schema View property links /people/person/profession	/m/04s2z Mathematician	Filter by creator View creator links /user/mw_prop_bot	none	Revert links 2008-03-03T05:48:11.0027Z
17	/m/0dh5bz	Filter by property View property schema View property links /people/person/places_lived	/m/03lm7tf cvt	Filter by creator View creator links /user/mw_template_bot	none	Revert links 2008-02-10T14:24:45.0004Z
18	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	Michael_Paul_Fourman /wikipedia/en	Filter by creator View creator links /user/mwcl_wikipedia_en	none	Revert links 2007-12-15T19:12:16.0000Z
19	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	michael_fourman /en	Filter by creator View creator links /user/topicns_loader	none	Revert links 2007-08-13T16:58:01.0005Z
20	/m/0dh5bz	Filter by property View property schema View property links /people/person/education	/m/02kq1cr cvt	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:22:29.0073Z
21	/m/0dh5bz	Filter by property View property schema View property links /people/person/education	/m/02kq1c2 cvt	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:22:29.0072Z
22	/m/0dh5bz	Filter by property View property schema View property links /people/person/nationality	/m/07ssc United Kingdom	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:22:29.0071Z
23	/m/0dh5bz	Filter by property View property schema View property links /people/person/place_of_birth	/m/05l5n Oxford	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:22:29.0070Z
24	/m/0dh5bz	Filter by property View property schema View property links /people/person/employment_history	/m/02kq4bk cvt	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:22:29.0069Z
25	/m/0dh5bz	Filter by property View property schema View property links /people/person/date_of_birth	1950-09-12	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:17:51.0003Z
26	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/people/person	Filter by creator View creator links /user/mwcl_infobox	none	Revert links 2007-06-19T18:17:51.0002Z
27	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	Michael_Fourman /wikipedia/en	Filter by creator View creator links /user/mwcl_wikipedia_en	none	Revert links 2006-10-24T05:27:10.0077Z
28	/m/0dh5bz	Filter by property View property schema View property links /common/topic/article	/m/0dh5c3	Filter by creator View creator links /user/mwcl_wikipedia_en	none	Revert links 2006-10-24T05:27:10.0076Z
29	/m/0dh5bz	Filter by property View property schema View property links /type/object/name	Michael Fourman /lang/en	Filter by creator View creator links /user/mwcl_wikipedia_en	none	Revert links 2006-10-24T05:27:10.0071Z
30	/m/0dh5bz	Filter by property View property schema View property links /type/object/key	5356861 /wikipedia/en_id	Filter by creator View creator links /user/metaweb	none	Revert links 2006-10-24T05:27:10.0070Z
31	/m/0dh5bz	Filter by property View property schema View property links /type/object/type	/common/topic	Filter by creator View creator links /user/metaweb	none	Revert links 2006-10-24T05:27:10.0069Z
32	/m/0dh5bz	Filter by property View property schema View property links /type/object/permission	/boot/all_permission	Filter by creator View creator links /user/metaweb	none	Revert links 2006-10-24T05:27:10.0068Z
next

Comments

Hide

Michael Fourman en

Links

Comments

Wait!

Wait!

Michael Fourman ^en