WOLFRAM COMMUNITY
Connect with users of Wolfram technologies to learn, solve problems and share ideas
Join
Sign In
Dashboard
Groups
People
Message Boards
Answer
(
Unmark
)
Mark as an Answer
WOLFRAM COMMUNITY
Dashboard
Groups
People
7
|
246 Views
|
1 Reply
|
7 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
17 days ago
POSTED BY:
Arihant Gadgade
Reply
|
Flag
1 Reply
Sort By:
Replies
Likes
Recent
0
Moderation Team
Moderation Team, WOLFRAM
Posted
16 days ago
POSTED BY:
Moderation Team
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
Group Abstract
Be respectful. Review our
Community Guidelines
to understand your role and responsibilities.
Community Terms of Use
Feedback
Enable JavaScript to interact with content and submit forms on Wolfram websites.
Learn how »
