File:Tamarin Prover Logo.png
Appearance
Tamarin_Prover_Logo.png (316 × 316 pixels, file size: 83 KB, MIME type: image/png)
Summary
[edit]Description | The logo for the Tamarin Prover software. |
---|---|
Author or copyright owner |
Cas Cremers |
Source (WP:NFCC#4) | Author / Artist (Cas Cremers) |
Use in article (WP:NFCC#7) | Tamarin Prover |
Purpose of use in article (WP:NFCC#8) | to serve as the primary means of visual identification at the top of the article dedicated to the entity in question. |
Not replaceable with free media because (WP:NFCC#1) |
n.a. |
Minimal use (WP:NFCC#3) | This will only be used on the article page for the Tamarin Prover. |
Respect for commercial opportunities (WP:NFCC#2) |
n.a. |
Other information | I do not know for certain whether the image is non-free (the rest of the software is available under GPL v3), but I am choosing this option to be on the safe side. I will remove these restrictions from the file later if the author (Cas Cremers) grants permission. |
Fair useFair use of copyrighted material in the context of Tamarin Prover//en.wikipedia.org/wiki/File:Tamarin_Prover_Logo.pngtrue |
Licensing
[edit]This is a logo of an organization, item, or event, and is protected by copyright. The use of low-resolution images on the English-language Wikipedia, hosted on servers in the United States by the non-profit Wikimedia Foundation, of logos for certain uses involving identification and critical commentary may qualify as non-free use under the Copyright law of the United States. Any other uses of this image, on Wikipedia or elsewhere, may be copyright infringement. Certain commercial use of this image may also be trademark infringement. See Wikipedia:Non-free content and Wikipedia:Logos.
Use of the logo here does not imply endorsement of the organization by Wikipedia or the Wikimedia Foundation, nor vice versa. | |||
|
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 16:43, 7 October 2017 | 316 × 316 (83 KB) | DatBot (talk | contribs) | Reduce size of non-free image (BOT - disable) | |
16:53, 24 September 2017 | No thumbnail | 420 × 420 (82 KB) | Mpdehnel (talk | contribs) | Uploading a non-free logo using File Upload Wizard |
You cannot overwrite this file.
File usage
The following page uses this file: