MPTP - Motivace, implementace, první experimenty
Popis výsledku
Popis systému MPTP, který překládá matematickou knihovnu Mizar pro automatické dokazovače pracující v logice prvního řádu.
Klíčová slova
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
MPTP - Motivation, Implementation, First Experiments
Popis výsledku v původním jazyce
Description of the MPTP system translating the Mizar Mathematical Library for first-order automated theorem provers.
Název v anglickém jazyce
MPTP - Motivation, Implementation, First Experiments
Popis výsledku anglicky
Description of the MPTP system translating the Mizar Mathematical Library for first-order automated theorem provers.
Klasifikace
Druh
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2005
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Journal of Automated Reasoning
ISSN
0168-7433
e-ISSN
—
Svazek periodika
33
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
21
Strana od-do
319-339
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—
Základní informace
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
JD - Využití počítačů, robotika a její aplikace
Rok uplatnění
2005