Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bidirectional_type_checking> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Bidirectional_type_checking wikiPageID "24476659".
- Bidirectional_type_checking wikiPageLength "87".
- Bidirectional_type_checking wikiPageOutDegree "1".
- Bidirectional_type_checking wikiPageRedirects Simply_typed_lambda_calculus.
- Bidirectional_type_checking wikiPageRevisionID "316257357".
- Bidirectional_type_checking wikiPageWikiLink Simply_typed_lambda_calculus.
- Bidirectional_type_checking wikiPageUsesTemplate Template:R_with_possibilities.
- Bidirectional_type_checking type Redirect.
- Bidirectional_type_checking label "Bidirectional type checking".
- Bidirectional_type_checking wasDerivedFrom Bidirectional_type_checking?oldid=316257357.
- Bidirectional_type_checking isPrimaryTopicOf Bidirectional_type_checking.