WOLFRAM COMMUNITY
Connect with users of Wolfram technologies to learn, solve problems and share ideas
Join
Sign In
Dashboard
Groups
People
Group Abstract
Message Boards
Answer
(
Unmark
)
Mark as an Answer
WOLFRAM COMMUNITY
Dashboard
Groups
People
3
|
11K Views
|
1 Reply
|
3 Total Likes
View groups...
Follow this post
Share
Share this post:
GROUPS:
Mathematics
Graphs and Networks
Logic and Boolean Algebra
Wolfram Language
Wolfram Summer School
[WSS18] Resolution Based Automated Theorem Prover for First Order Logic
Jan Stan
Jan Stan
Posted
7 years ago
POSTED BY:
Jan Stan
Reply
|
Flag
1 Reply
Sort By:
Replies
Likes
Recent
0
Branden Fitelson
Branden Fitelson
Posted
7 years ago
This is neat! Would you be willing to share your code?
POSTED BY:
Branden Fitelson
Reply
|
Flag
Reply to this discussion
in reply to
Add Notebook
Community posts can be styled and formatted using the
Markdown syntax
.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Publish anyway
Cancel
Reply Preview
Attachments
Remove
Add a file to this post
Follow this discussion
or
Discard
Be respectful. Review our
Community Guidelines
to understand your role and responsibilities.
Community Terms of Use
Feedback
