Matches in DBpedia 2015-10 for { ?s ?p "Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Twelf abstract "Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.".
- Twelf comment "Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.".