@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 .