Konferenzbeitrag
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
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.
- Language
-
Deutsch
- Subject
-
Automatisches Beweisverfahren
Computerlinguistik
Natürliche Sprache
Texttechnologie
XML
Sprache
- Event
-
Geistige Schöpfung
- (who)
-
Fisseni, Bernhard
- Event
-
Veröffentlichung
- (who)
-
Frankfurt am Main [u.a.] : Lang
- (when)
-
2018-11-21
- URN
-
urn:nbn:de:bsz:mh39-82509
- Last update
-
06.03.2025, 9:00 AM CET
Data provider
This object is provided by:
Leibniz-Institut für Deutsche Sprache - Bibliothek. If you have any questions about the object, please contact the data provider.
Leibniz-Institut für Deutsche Sprache - Bibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzbeitrag
Associated
- Fisseni, Bernhard
- Frankfurt am Main [u.a.] : Lang
Time of origin
- 2018-11-21
Other Objects (12)
Something Empirical about Focus
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
CLARIN Web Services for TEI-annotated Transcripts of Spoken Language
A Paradigm for Eliciting Story Variation
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Signposts for CLARIN
Signposts for CLARIN
Objectivity and Reproducibility of Proppian Narrative Annotations
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Story Comparisons: Evidence from Film Reviews
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
Something Empirical about Focus
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
CLARIN Web Services for TEI-annotated Transcripts of Spoken Language
A Paradigm for Eliciting Story Variation
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Signposts for CLARIN
Signposts for CLARIN
Objectivity and Reproducibility of Proppian Narrative Annotations
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Story Comparisons: Evidence from Film Reviews
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
Something Empirical about Focus
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
CLARIN Web Services for TEI-annotated Transcripts of Spoken Language
A Paradigm for Eliciting Story Variation
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Signposts for CLARIN
Signposts for CLARIN
Objectivity and Reproducibility of Proppian Narrative Annotations
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Story Comparisons: Evidence from Film Reviews