https://github.com/stefandeveloper/inference

Quantifiers and monotonicity in reasoning tasks
https://github.com/stefandeveloper/inference

heidelberg-university inference monotonicity quantifiers

Last synced: about 1 month ago
JSON representation

Quantifiers and monotonicity in reasoning tasks

• Host: GitHub
• URL: https://github.com/stefandeveloper/inference
• Owner: stefanDeveloper
• Created: 2021-02-26T11:02:16.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-03-30T20:46:38.000Z (over 3 years ago)
• Last Synced: 2024-04-14T02:54:39.301Z (8 months ago)
• Topics: heidelberg-university, inference, monotonicity, quantifiers
• Language: Jupyter Notebook
• Homepage:
• Size: 2.14 MB
• Stars: 1
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project