About: Institute for System Programming

Property	Value
dbo:description	instituut van Russische Academie van Wetenschappen in Rusland (nl) institut de l'Académie russe des sciences (fr) instituut van Russische Academie van Wetenschappen in Rusland (nl) institut de l'Académie russe des sciences (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Moscow._Kommunistichesky_Lane.jpg?width=300
dbo:wikiPageExternalLink	http://ispras.linux-foundation.org/index.php/ISP_RAS_Company_Profile http://linuxtesting.org/ http://www.ispras.ru/en/
dbo:wikiPageWikiLink	dbr:Logic_programming dbr:Text_mining dbr:Common_Object_Request_Broker_Architecture dbr:XML dbr:Modeling_language dbc:Institutes_of_the_Russian_Academy_of_Sciences dbr:Parallel_computing dbr:Russian_Academy_of_Sciences dbr:Reverse_engineering dbr:Combinatorics dbr:Cryptography dbr:Linux dbr:Information_retrieval dbr:Database_management_system dbr:Software_engineering dbr:XML_database dbr:Computational_complexity_theory dbr:Sedna_(database) dbr:Mathematical_logic dbr:Computer_Science dbr:Arutyun_Avetisyan dbr:Static_code_analysis dbr:File:Moscow._Kommunistichesky_Lane.jpg dbr:Institute_for_Cybernetics_Problems
dbp:director	dbr:Arutyun_Avetisyan
dbp:established	1994 (xsd:integer)
dbp:name	Institute for System Programming (en)
dbp:type	dbr:Computer_science
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Coord dbt:Infobox_research_institute dbt:Langx
dct:subject	dbc:Institutes_of_the_Russian_Academy_of_Sciences
schema:sameAs	http://viaf.org/viaf/128314813
georss:point	55.745 37.6645
rdf:type	geo:SpatialThing
rdfs:label	Institute for System Programming (en) Институт системного программирования РАН (ru)
owl:sameAs	freebase:Institute for System Programming wikidata:Institute for System Programming dbpedia-ru:Institute for System Programming http://d-nb.info/gnd/10092002-0 http://d-nb.info/gnd/1086073029 dbpedia-global:Institute for System Programming http://viaf.org/viaf/128314813 yago-res:Institute for System Programming
geo:geometry	POINT(37.664501190186 55.744998931885)
geo:lat	55.744999 (xsd:float)
geo:long	37.664501 (xsd:float)
skos:closeMatch	http://www.grid.ac/institutes/grid.454315.2
prov:wasDerivedFrom	wikipedia-en:Institute_for_System_Programming?oldid=1256015060&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Moscow._Kommunistichesky_Lane.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Institute_for_System_Programming
is dbo:developer of	dbr:BLAST_model_checker dbr:JetOS
is dbo:institution of	dbr:Viktor_Ivannikov
is dbo:wikiPageRedirects of	dbr:10.15514 dbr:ISPRAS dbr:ISP_RAS dbr:Institute_for_System_Programming_of_the_Russian_Academy_of_Sciences
is dbo:wikiPageWikiLink of	dbr:Viktor_Ivannikov dbr:Russian_Academy_of_Sciences dbr:BLAST_model_checker dbr:10.15514 dbr:ISPRAS dbr:ISP_RAS dbr:Institute_for_System_Programming_of_the_Russian_Academy_of_Sciences
is dbp:developer of	dbr:JetOS
is dbp:workplaces of	dbr:Viktor_Ivannikov
is foaf:primaryTopic of	wikipedia-en:Institute_for_System_Programming