Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Barendregt–Geuvers–Klop_conjecture> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Barendregt–Geuvers–Klop_conjecture wikiPageID "27088586".
- Barendregt–Geuvers–Klop_conjecture wikiPageRedirects Pure_type_system.
- Barendregt–Geuvers–Klop_conjecture wikiPageRevisionID "569505610".
- Barendregt–Geuvers–Klop_conjecture subject Category:Unsolved_problems_in_computer_science.
- Barendregt–Geuvers–Klop_conjecture label "Barendregt–Geuvers–Klop conjecture".
- Barendregt–Geuvers–Klop_conjecture sameAs Barendregt%E2%80%93Geuvers%E2%80%93Klop_conjecture.
- Barendregt–Geuvers–Klop_conjecture wasDerivedFrom Barendregt–Geuvers–Klop_conjecture?oldid=569505610.