Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4669633> ?p ?o }
Showing triples 1 to 54 of
54
with 100 triples per page.
- Q4669633 subject Q8816922.
- Q4669633 abstract "AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups.".
- Q4669633 keyPerson Q90599.
- Q4669633 location Q1724.
- Q4669633 location Q183.
- Q4669633 product Q4811752.
- Q4669633 type Q1589009.
- Q4669633 wikiPageExternalLink www.absint.com.
- Q4669633 wikiPageExternalLink www.absint.com.
- Q4669633 wikiPageWikiLink Q1146208.
- Q4669633 wikiPageWikiLink Q13218767.
- Q4669633 wikiPageWikiLink Q1329550.
- Q4669633 wikiPageWikiLink Q15777.
- Q4669633 wikiPageWikiLink Q1589009.
- Q4669633 wikiPageWikiLink Q1724.
- Q4669633 wikiPageWikiLink Q177929.
- Q4669633 wikiPageWikiLink Q183.
- Q4669633 wikiPageWikiLink Q1967350.
- Q4669633 wikiPageWikiLink Q23548.
- Q4669633 wikiPageWikiLink Q2385483.
- Q4669633 wikiPageWikiLink Q25271.
- Q4669633 wikiPageWikiLink Q280413.
- Q4669633 wikiPageWikiLink Q3058934.
- Q4669633 wikiPageWikiLink Q333341.
- Q4669633 wikiPageWikiLink Q362858.
- Q4669633 wikiPageWikiLink Q3988.
- Q4669633 wikiPageWikiLink Q4811752.
- Q4669633 wikiPageWikiLink Q492234.
- Q4669633 wikiPageWikiLink Q5155256.
- Q4669633 wikiPageWikiLink Q5364620.
- Q4669633 wikiPageWikiLink Q700758.
- Q4669633 wikiPageWikiLink Q83259.
- Q4669633 wikiPageWikiLink Q852587.
- Q4669633 wikiPageWikiLink Q8816922.
- Q4669633 wikiPageWikiLink Q8880.
- Q4669633 wikiPageWikiLink Q90599.
- Q4669633 homepage www.absint.com.
- Q4669633 keyPeople "Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm".
- Q4669633 location "Saarbrücken, Germany".
- Q4669633 name "AbsInt Angewandte Informatik GmbH".
- Q4669633 products "aiT, StackAnalyzer, Astrée".
- Q4669633 type Q1589009.
- Q4669633 type Organization.
- Q4669633 type Agent.
- Q4669633 type Company.
- Q4669633 type Organisation.
- Q4669633 type Agent.
- Q4669633 type SocialPerson.
- Q4669633 type Thing.
- Q4669633 type Q43229.
- Q4669633 comment "AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups.".
- Q4669633 label "AbsInt".
- Q4669633 homepage www.absint.com.
- Q4669633 name "AbsInt Angewandte Informatik GmbH".