TY  - CHAP
U1  - Konferenzveröffentlichung
A1  - Fisseni, Bernhard
ED  - Fisseni, Bernhard
ED  - Schmitz, Hans-Christian
ED  - Schröder, Bernhard
ED  - Wagner, Petra
T1  - ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
T2  - Sprachtechnologie, mobile Kommunikation und linguistische Ressourcen. Beiträge zur GLDV-Tagung 2005 in Bonn
N2  - Mathematische Texte sind natürlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, daß der natürlichsprachlichen eine logische Struktur zugeordnet wird.
N2  - Mathematical texts are usually not fully formalised but are written in natural language (possibly interspersed with formulae). ProofML is an XML application that permits to annotate mathematical proofs so that a logical structure is assigned to the linguistic structure.
T3  - Sprache, Sprechen und Computer. Computer Studies in Language and Speech - 8 
KW  - Automatisches Beweisverfahren
KW  - Computerlinguistik
KW  - Natürliche Sprache
KW  - Texttechnologie
KW  - XML
Y1  - 2005
U6  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-82509
UN  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-82509
SN  - 3-631-53874-X
SB  - 3-631-53874-X
SP  - 604
EP  - 618
PB  - Lang
CY  - Frankfurt am Main [u.a.]
ER  -