File:CompSciLogicUnsuccessfulTree.png

From testwiki
Jump to navigation Jump to search
CompSciLogicUnsuccessfulTree.png (334 × 190 pixels, file size: 3 KB, MIME type: image/png)

This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

Summary

computer science logic: unsuccessful resolution refutation tree

Licensing

Public domain 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

العربية | Deutsch | English | español | français | italiano | 日本語 | македонски | română | русский | slovenščina | 中文（简体） | 中文（繁體） | +/−

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

media type

image/png

File history

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

Date/TimeThumbnailDimensionsUserComment
current01:43, 21 January 2005Thumbnail for version as of 01:43, 21 January 2005334 × 190 (3 KB)wikimediacommons>EhwUnsuccessful resolution refutation tree

The following page uses this file:

Retrieved from "https://en.wikibooks.beta.math.wmflabs.org/wiki/File:CompSciLogicUnsuccessfulTree.png"