File:CompSciLogicUnsuccessfulTree.png

No higher resolution available.

CompSciLogicUnsuccessfulTree.png (334 × 190 pixels, file size: 3 KB, MIME type: image/png)

This is a file from the Wikimedia Commons. The description on its description page there is shown below.
Commons is a freely licensed media file repository. You can help.

Summary

computer science logic: unsuccessful resolution refutation tree

Licensing

This chart is ineligible for copyright and therefore in the public domain, because it consists entirely of information that is common property and contains no original authorship. For more information, see Commons:Threshold of originality § Charts

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	00:43, 21 January 2005		334 × 190 (3 KB)	Ehw	Unsuccessful resolution refutation tree
	15:08, 20 January 2005		334 × 190 (4 KB)	Mshonle	computer science logic: unsuccessful resolution refutation tree

File usage

The following page uses this file:

Logic for Computer Science/Propositional Logic

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Horizontal resolution	28.35 dpc
Vertical resolution	28.35 dpc
File change date and time	00:40, 21 January 2005