Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Lawrence_Paulson> . }
Showing items 1 to 6 of
6
with 100 items per page.
- Isabelle_(proof_assistant) author Lawrence_Paulson.
- Paulson wikiPageDisambiguates Lawrence_Paulson.
- Larry_Paulson wikiPageRedirects Lawrence_Paulson.
- Lawrence_C._Paulson wikiPageRedirects Lawrence_Paulson.
- Isabelle_(proof_assistant) author Lawrence_Paulson.
- Lawrence_Paulson primaryTopic Lawrence_Paulson.