Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e date "1999".
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e first "Bart".
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e isCitedBy Structure_(mathematical_logic).
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e last "Jacobs".
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e pages "1–4".
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e publisher "Elsevier".
- 42fc11df812e9154205c5490f49814924af5ab4f64ab0c82df912aa867b4512e title "Categorical Logic and Type Theory".