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
9
|
2.5K Views
|
1 Reply
|
9 Total Likes
View groups...
Follow this post
Share
Share this post:
GROUPS:
Staff Picks
Mathematics
External Programs and Systems
Graphics and Visualization
Graphs and Networks
Logic and Boolean Algebra
Wolfram Language
Wolfram Summer School
[WSS24] Study "Logic Puzzle" axiom/proof graphs from TPTP.org
Arihant Gadgade
Arihant Gadgade, Georgia Institute of Technology
Posted
1 year ago
POSTED BY:
Arihant Gadgade
Reply
|
Flag
1 Reply
Sort By:
Replies
Likes
Recent
0
EDITORIAL BOARD
EDITORIAL BOARD, WOLFRAM
Posted
1 year ago
POSTED BY:
EDITORIAL BOARD
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
