@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-wikidata:	<http://wikidata.dbpedia.org/resource/> .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
dbpedia-wikidata:Q375533	owl:sameAs	dbpedia-ja:Kent_Recursive_Calculator .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbpedia-ja:Kent_Recursive_Calculator	rdf:type	wikidata:Q315 ,
		wikidata:Q9143 ,
		owl:Thing .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbpedia-ja:Kent_Recursive_Calculator	rdf:type	dbo:ProgrammingLanguage ,
		dbo:Language .
@prefix schema:	<http://schema.org/> .
dbpedia-ja:Kent_Recursive_Calculator	rdf:type	schema:Language .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia-ja:Kent_Recursive_Calculator	rdfs:label	"Kent Recursive Calculator"@ja ;
	rdfs:comment	"KRC (Kent Recursive Calculator) \u3068\u306F\u3001\u30A4\u30AE\u30EA\u30B9\u30FB\u30B1\u30F3\u30C8\u5927\u5B66\uFF08University of Kent\uFF09\u306E\u30C7\u30D3\u30C3\u30C9\u30FB\u30BF\u30FC\u30CA\u30FC\u306B\u3088\u3063\u3066\u8A2D\u8A08\u30FB\u5B9F\u88C5\u3055\u308C\u305F\u5358\u7D14\u306A\u9045\u5EF6\u8A55\u4FA1\u65B9\u5F0F\u306E\u7D14\u7C8B\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u3042\u308B\u30021979\u5E7411\u6708\u304B\u30891981\u5E7410\u6708\u306B\u304B\u3051\u3066\u3001EMAS \u30AA\u30DA\u30EC\u30FC\u30C6\u30A3\u30F3\u30B0\u30B7\u30B9\u30C6\u30E0\u4E0A\u306B BCPL \u3067\u5B9F\u88C5\u3055\u308C\u305F\u3002"@ja .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-ja:Kent_Recursive_Calculator	dct:subject	<http://ja.dbpedia.org/resource/Category:\u95A2\u6570\u578B\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/Category:\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ;
	dbo:wikiPageID	3841534 ;
	dbo:wikiPageRevisionID	77980435 ;
	dbo:wikiPageWikiLink	dbpedia-ja:Miranda ,
		<http://ja.dbpedia.org/resource/\u30C4\u30A7\u30EB\u30E1\u30ED\uFF1D\u30D5\u30EC\u30F3\u30B1\u30EB\u306E\u516C\u7406\u7CFB> ,
		<http://ja.dbpedia.org/resource/\u30BB\u30F3\u30C8\u30A2\u30F3\u30C9\u30EA\u30E5\u30FC\u30B9\u5927\u5B66> ,
		<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u30AA\u30C3\u30AF\u30B9\u30D5\u30A9\u30FC\u30C9\u5927\u5B66> ,
		<http://ja.dbpedia.org/resource/\u9045\u5EF6\u8A55\u4FA1> ,
		<http://ja.dbpedia.org/resource/Category:\u95A2\u6570\u578B\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/Category:\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/W:David_Turner_(computer_scientist)> ,
		<http://ja.dbpedia.org/resource/\u30B1\u30F3\u30C8\u5927\u5B66> ,
		<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/W:Orwell_(programming_language)> ,
		<http://ja.dbpedia.org/resource/W:SASL_(programming_language)> ,
		<http://ja.dbpedia.org/resource/1981\u5E74> ,
		<http://ja.dbpedia.org/resource/\u30D1\u30BF\u30FC\u30F3\u30DE\u30C3\u30C1> ,
		<http://ja.dbpedia.org/resource/1979\u5E74> ,
		<http://ja.dbpedia.org/resource/\u30AC\u30FC\u30C9_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0)> ,
		dbpedia-ja:BCPL ,
		<http://ja.dbpedia.org/resource/\u52D5\u7684\u578B\u4ED8\u3051> ,
		<http://ja.dbpedia.org/resource/\u5BA3\u8A00\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ;
	dbo:wikiPageExternalLink	<http://www.lambdadays.org/static/upload/media/1487239321204160davidturner.pdf> ,
		<http://krc-lang.org/krc.1.html> ,
		<https://www.microsoft.com/en-us/research/publication/a-history-of-haskell-being-lazy-with-class/> ,
		<http://krc-lang.org> ,
		<https://www.cs.kent.ac.uk/people/staff/dat/krc/recursion_equations.pdf> ,
		<https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
dbpedia-ja:Kent_Recursive_Calculator	foaf:name	"KRC"@ja .
@prefix prop-en:	<http://ja.dbpedia.org/property/> .
@prefix template-en:	<http://ja.dbpedia.org/resource/Template:> .
dbpedia-ja:Kent_Recursive_Calculator	prop-en:wikiPageUsesTemplate	template-en:No_footnotes ,
		<http://ja.dbpedia.org/resource/Template:Infobox_\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		template-en:Citation ,
		template-en:Cite_book ;
	foaf:homepage	<http://krc-lang.org> ;
	prop-en:date	2018 ;
	prop-en:section	1 ;
	prop-en:website	<http://krc-lang.org> ;
	prop-en:year	1981 ;
	<http://ja.dbpedia.org/property/\u540D\u524D>	"KRC"@ja ;
	<http://ja.dbpedia.org/property/\u8A2D\u8A08\u8005>	<http://ja.dbpedia.org/resource/W:David_Turner_(computer_scientist)> ;
	<http://ja.dbpedia.org/property/\u30D1\u30E9\u30C0\u30A4\u30E0>	<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u5BA3\u8A00\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ;
	<http://ja.dbpedia.org/property/\u578B\u4ED8\u3051>	<http://ja.dbpedia.org/resource/\u52D5\u7684\u578B\u4ED8\u3051> ;
	<http://ja.dbpedia.org/property/\u5F71\u97FF\u3092\u4E0E\u3048\u305F\u8A00\u8A9E>	""@ja ,
		"\u3001Orwell (OL)\u3001"@ja ;
	<http://ja.dbpedia.org/property/\u5F71\u97FF\u3092\u53D7\u3051\u305F\u8A00\u8A9E>	<http://ja.dbpedia.org/resource/W:SASL_(programming_language)> ;
	dbo:abstract	"KRC (Kent Recursive Calculator) \u3068\u306F\u3001\u30A4\u30AE\u30EA\u30B9\u30FB\u30B1\u30F3\u30C8\u5927\u5B66\uFF08University of Kent\uFF09\u306E\u30C7\u30D3\u30C3\u30C9\u30FB\u30BF\u30FC\u30CA\u30FC\u306B\u3088\u3063\u3066\u8A2D\u8A08\u30FB\u5B9F\u88C5\u3055\u308C\u305F\u5358\u7D14\u306A\u9045\u5EF6\u8A55\u4FA1\u65B9\u5F0F\u306E\u7D14\u7C8B\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u3042\u308B\u30021979\u5E7411\u6708\u304B\u30891981\u5E7410\u6708\u306B\u304B\u3051\u3066\u3001EMAS \u30AA\u30DA\u30EC\u30FC\u30C6\u30A3\u30F3\u30B0\u30B7\u30B9\u30C6\u30E0\u4E0A\u306B BCPL \u3067\u5B9F\u88C5\u3055\u308C\u305F\u3002"@ja .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-ja:Kent_Recursive_Calculator	dbo:wikiPageLength	"4385"^^xsd:nonNegativeInteger .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-ja:Kent_Recursive_Calculator	prov:wasDerivedFrom	<http://ja.wikipedia.org/wiki/Kent_Recursive_Calculator?oldid=77980435&ns=0> .
@prefix ns14:	<http://ja.wikipedia.org/wiki/> .
dbpedia-ja:Kent_Recursive_Calculator	foaf:isPrimaryTopicOf	ns14:Kent_Recursive_Calculator .
dbpedia-ja:Miranda	dbo:wikiPageWikiLink	dbpedia-ja:Kent_Recursive_Calculator ;
	<http://ja.dbpedia.org/property/\u5F71\u97FF\u3092\u53D7\u3051\u305F\u8A00\u8A9E>	dbpedia-ja:Kent_Recursive_Calculator .
<http://ja.dbpedia.org/resource/\u30D1\u30BF\u30FC\u30F3\u30DE\u30C3\u30C1\u30F3\u30B0>	dbo:wikiPageWikiLink	dbpedia-ja:Kent_Recursive_Calculator .
<http://ja.dbpedia.org/resource/\u30D4\u30FC\u30BF\u30FC\u30FB\u30A2\u30AF\u30BC\u30EB>	dbo:wikiPageWikiLink	dbpedia-ja:Kent_Recursive_Calculator .
<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u4E00\u89A7>	dbo:wikiPageWikiLink	dbpedia-ja:Kent_Recursive_Calculator .
ns14:Kent_Recursive_Calculator	foaf:primaryTopic	dbpedia-ja:Kent_Recursive_Calculator .
<http://ja.dbpedia.org/data/Kent_Recursive_Calculator.ntriples>	rdf:type	foaf:Document ;
	foaf:primaryTopic	dbpedia-ja:Kent_Recursive_Calculator .