Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

FraCaS

From MaRDI portal
(Redirected from Software:39557)
Jump to:navigation, search



swMATH27843MaRDI QIDQ39557FDOQ39557


Author name not available (Why is that?)

Official website: https://files.ifi.uzh.ch/cl/hess/classes/seminare/interface/framework.pdf




Cited In (10)

  • Natural language inference in Coq
  • The proper treatment of linguistic ambiguity in ordinary algebra
  • Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
  • Plastic
  • GF
  • GF
  • LangPro
  • SICK
  • Translating between language and logic: what is easy and what is difficult
  • NeuralLog


This page was built for software: FraCaS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=FraCaS&oldid=56371992"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 07:17. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki