-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
rework model #1444 #1707
rework model #1444 #1707
Conversation
Any reason why we don't classify Regarding #1444 (comment):
Originally posted by @stap-m in #1444 (comment) |
I am fine with that. I also already commented somewhere that I think that model could be classified as information content entity. |
…into feature-1399-rework-model
I found why the CI is failing. There are multiple reasons. First, there is a Second, you add the following two axioms:
Be aware that both But the problem why the CI fails is that neither I suggest the following:
|
Co-authored-by: l-emele <[email protected]>
Co-authored-by: l-emele <[email protected]>
Co-authored-by: l-emele <[email protected]>
Co-authored-by: l-emele <[email protected]>
Thanks, that was the problem! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks fine now.
Co-authored-by: l-emele <[email protected]>
Summary of the discussion
From #1444
Type of change (CHANGELOG.md)
Added
model
model role
scale model
mathematical model
Updated
model
tonumerical computer model
and reclassified asmathematical model
Removed
Workflow checklist
Automation
Closes #1444
PR-Assignee
term tracker item
Reviewer