@prefix dbo: .
@prefix dbpedia-ja: .
dbpedia-ja:ATP dbo:wikiPageWikiLink .
dbpedia-ja:Agda dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbpedia-ja:Information_Processing_Language dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbpedia-ja:Prolog dbo:wikiPageWikiLink .
dbpedia-ja:Spec_Sharp dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
@prefix rdfs: .
rdfs:label "\u81EA\u52D5\u5B9A\u7406\u8A3C\u660E"@ja ;
rdfs:comment "\u81EA\u52D5\u5B9A\u7406\u8A3C\u660E\uFF08\u82F1: automated theorem proving, ATP\uFF09\u3068\u306F\u3001\u81EA\u52D5\u63A8\u8AD6 (AR) \u306E\u4E2D\u3067\u3082\u6700\u3082\u6210\u529F\u3057\u3066\u3044\u308B\u5206\u91CE\u3067\u3042\u308A\u3001\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u30D7\u30ED\u30B0\u30E9\u30E0\u306B\u3088\u3063\u3066\u6570\u5B66\u7684\u5B9A\u7406\u306B\u5BFE\u3059\u308B\u8A3C\u660E\u3092\u767A\u898B\u3059\u308B\u3053\u3068\u3002\u30D9\u30FC\u30B9\u3068\u306A\u308B\u8AD6\u7406\u306B\u3088\u3063\u3066\u3001\u5B9A\u7406\u306E\u59A5\u5F53\u6027\u3092\u6C7A\u5B9A\u3059\u308B\u554F\u984C\u306F\u7C21\u5358\u306A\u3082\u306E\u304B\u3089\u4E0D\u53EF\u80FD\u306A\u3082\u306E\u307E\u3067\u69D8\u3005\u3067\u3042\u308B\u3002"@ja .
@prefix owl: .
owl:sameAs .
@prefix dct: .
dct:subject ,
,
,
,
;
dbo:wikiPageID 769230 ;
dbo:wikiPageRevisionID 91832527 ;
dbo:wikiPageWikiLink ,
,
,
,
,
,
,
,
,
,
,
,
dbpedia-ja:Logic_Theorist ,
dbpedia-ja:GNU_General_Public_License ,
,
,
,
,
,
,
dbpedia-ja:General_Problem_Solver ,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
dbpedia-ja:FPU ,
,
,
,
,
dbpedia-ja:Java_Web_Start ,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
dbpedia-ja:Co-NP ,
,
,
,
;
dbo:wikiPageExternalLink ,
,
,
.
@prefix ns5: .
dbo:wikiPageExternalLink ns5:ALLIGATOR ,
,
,
,
,
.
@prefix ns6: .
dbo:wikiPageExternalLink ns6:CASC ,
,
,
,
.
@prefix ns7: .
dbo:wikiPageExternalLink ns7:TSTP ,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
.
@prefix prop-ja: .
@prefix template-ja: .
prop-ja:wikiPageUsesTemplate template-ja:Enlink ,
template-ja:Cite_book ,
template-ja:Yes ,
template-ja:No ,
template-ja:Lang-en-short ,
template-ja:Normdaten ,
,
template-ja:Reflist ;
dbo:thumbnail .
@prefix foaf: .
foaf:isPrimaryTopicOf ;
foaf:depiction ;
dbo:abstract "\u81EA\u52D5\u5B9A\u7406\u8A3C\u660E\uFF08\u82F1: automated theorem proving, ATP\uFF09\u3068\u306F\u3001\u81EA\u52D5\u63A8\u8AD6 (AR) \u306E\u4E2D\u3067\u3082\u6700\u3082\u6210\u529F\u3057\u3066\u3044\u308B\u5206\u91CE\u3067\u3042\u308A\u3001\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u30D7\u30ED\u30B0\u30E9\u30E0\u306B\u3088\u3063\u3066\u6570\u5B66\u7684\u5B9A\u7406\u306B\u5BFE\u3059\u308B\u8A3C\u660E\u3092\u767A\u898B\u3059\u308B\u3053\u3068\u3002\u30D9\u30FC\u30B9\u3068\u306A\u308B\u8AD6\u7406\u306B\u3088\u3063\u3066\u3001\u5B9A\u7406\u306E\u59A5\u5F53\u6027\u3092\u6C7A\u5B9A\u3059\u308B\u554F\u984C\u306F\u7C21\u5358\u306A\u3082\u306E\u304B\u3089\u4E0D\u53EF\u80FD\u306A\u3082\u306E\u307E\u3067\u69D8\u3005\u3067\u3042\u308B\u3002"@ja .
@prefix xsd: .
dbo:wikiPageLength "18197"^^xsd:nonNegativeInteger .
@prefix prov: .
prov:wasDerivedFrom .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
@prefix dbpedia-wikidata: .
dbpedia-wikidata:Q431667 owl:sameAs .
dbo:wikiPageWikiLink ;
dbo:wikiPageRedirects .
dbo:wikiPageWikiLink ;
dbo:wikiPageRedirects .
dbo:wikiPageWikiLink ;
dbo:wikiPageRedirects .
dbo:wikiPageWikiLink ;
dbo:wikiPageRedirects .
foaf:primaryTopic .
@prefix rdf: .
rdf:type foaf:Document ;
foaf:primaryTopic .