Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Laboratory for Foundations of Computer Science
An Entity of Type:
SpatialThing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Academic institution in City of Edinburgh, Scotland, UK
Property
Value
dbo:
description
academic institution in City of Edinburgh, Scotland, UK
(en)
dbo:
wikiPageExternalLink
http://www.lfcs.inf.ed.ac.uk/
http://www.lfcs.inf.ed.ac.uk/people/
dbo:
wikiPageWikiLink
dbr
:Scotland
dbr
:Category_theory
dbr
:Formal_logic
dbr
:1987
dbr
:Algebra
dbr
:Algorithm
dbr
:University_of_Edinburgh
dbr
:Computational_complexity_theory
dbr
:Computer_scientist
dbr
:Type_theory
dbr
:Semantics_(computer_science)
dbr
:Concurrency_(computer_science)
dbr
:Database_theory
dbc
:1987_establishments_in_Scotland
dbc
:Science_and_technology_in_Edinburgh
dbc
:Educational_institutions_established_in_1987
dbc
:University_of_Edinburgh_School_of_Informatics
dbr
:University_of_Edinburgh_School_of_Informatics
dbp:
wikiPageUsesTemplate
dbt
:Comp-sci-theory-stub
dbt
:Scotland-org-stub
dbt
:UK-university-stub
dbt
:Authority_control
dbt
:Coord
dbt
:One_source
dbt
:Only_primary_sources
dbt
:Reflist
dbt
:Short_description
dbt
:Use_British_English
dbt
:Use_dmy_dates
dbt
:Scotland-edu-stub
dct:
subject
dbc
:1987_establishments_in_Scotland
dbc
:Science_and_technology_in_Edinburgh
dbc
:Research_institutes_established_in_1987
dbc
:University_of_Edinburgh_School_of_Informatics
georss:
point
55.92125 -3.173611111111111
rdf:
type
owl
:Thing
owl
:Thing
geo
:SpatialThing
rdfs:
label
Laboratory for Foundations of Computer Science
(en)
Лабораторія основ інформатики LFCS
(uk)
owl:
sameAs
yago-res
:Laboratory for Foundations of Computer Science
freebase
:Laboratory for Foundations of Computer Science
wikidata
:Laboratory for Foundations of Computer Science
http://d-nb.info/gnd/290148-1
http://viaf.org/viaf/146031832
dbpedia-uk
:Laboratory for Foundations of Computer Science
dbpedia-global
:Laboratory for Foundations of Computer Science
geo:
geometry
POINT(-3.173611164093 55.921249389648)
geo:
lat
55.921249
(xsd:float)
geo:
long
-3.173611
(xsd:float)
prov:
wasDerivedFrom
wikipedia-en
:Laboratory_for_Foundations_of_Computer_Science?oldid=1282327560&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Laboratory_for_Foundations_of_Computer_Science
is
dbo:
wikiPageDisambiguates
of
dbr
:LFCS
is
dbo:
wikiPageRedirects
of
dbr
:Laboratory_for_foundations_of_computer_science
is
dbo:
wikiPageWikiLink
of
dbr
:Don_Sannella
dbr
:Bernhard_Steffen_(computer_scientist)
dbr
:University_of_Edinburgh
dbr
:Aggelos_Kiayias
dbr
:Jane_Hillston
dbr
:Philip_Wadler
dbr
:Michael_Fourman
dbr
:Peter_Buneman
dbr
:Arnon_Avron
dbr
:University_of_Edinburgh_College_of_Science_and_Engineering
dbr
:Chris_Tofts
dbr
:Faron_Moller
dbr
:Gordon_Plotkin
dbr
:Robin_Milner
dbr
:OCaml
dbr
:Rod_Burstall
dbr
:LFCS
dbr
:Laboratory_for_foundations_of_computer_science
is
dbp:
workInstitution
of
dbr
:Peter_Buneman
dbr
:Gordon_Plotkin
is
foaf:
primaryTopic
of
wikipedia-en
:Laboratory_for_Foundations_of_Computer_Science
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International