Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6667502> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Q6667502 subject Q7451631.
- Q6667502 subject Q7464734.
- Q6667502 subject Q8374213.
- Q6667502 subject Q8797482.
- Q6667502 abstract "In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF. Several more recent proof tools like Isabelle are based on this idea. Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system.".
- Q6667502 wikiPageExternalLink book.
- Q6667502 wikiPageExternalLink lfs-impl.html.
- Q6667502 wikiPageExternalLink mdorf01.pdf.
- Q6667502 wikiPageExternalLink meaning.html.
- Q6667502 wikiPageWikiLink Q1056428.
- Q6667502 wikiPageWikiLink Q1308502.
- Q6667502 wikiPageWikiLink Q1366730.
- Q6667502 wikiPageWikiLink Q15487688.
- Q6667502 wikiPageWikiLink Q160302.
- Q6667502 wikiPageWikiLink Q1720612.
- Q6667502 wikiPageWikiLink Q176916.
- Q6667502 wikiPageWikiLink Q190080.
- Q6667502 wikiPageWikiLink Q2067227.
- Q6667502 wikiPageWikiLink Q21463773.
- Q6667502 wikiPageWikiLink Q217595.
- Q6667502 wikiPageWikiLink Q2872609.
- Q6667502 wikiPageWikiLink Q3149511.
- Q6667502 wikiPageWikiLink Q322325.
- Q6667502 wikiPageWikiLink Q3257974.
- Q6667502 wikiPageWikiLink Q3890222.
- Q6667502 wikiPageWikiLink Q4055684.
- Q6667502 wikiPageWikiLink Q430001.
- Q6667502 wikiPageWikiLink Q431667.
- Q6667502 wikiPageWikiLink Q460340.
- Q6667502 wikiPageWikiLink Q5593683.
- Q6667502 wikiPageWikiLink Q586459.
- Q6667502 wikiPageWikiLink Q649732.
- Q6667502 wikiPageWikiLink Q7050708.
- Q6667502 wikiPageWikiLink Q7345273.
- Q6667502 wikiPageWikiLink Q7451631.
- Q6667502 wikiPageWikiLink Q7464734.
- Q6667502 wikiPageWikiLink Q7666857.
- Q6667502 wikiPageWikiLink Q7860906.
- Q6667502 wikiPageWikiLink Q8078.
- Q6667502 wikiPageWikiLink Q8374213.
- Q6667502 wikiPageWikiLink Q8797482.
- Q6667502 wikiPageWikiLink Q9312.
- Q6667502 wikiPageWikiLink Q967536.
- Q6667502 wikiPageWikiLink Q975734.
- Q6667502 wikiPageWikiLink Q997433.
- Q6667502 comment "In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF.".
- Q6667502 label "Logical framework".