File:Distribution diagram.png
Jump to navigation
Jump to search
No higher resolution available.
Distribution_diagram.png (567 × 461 pixels, file size: 18 KB, MIME type: image/png)
Captions
Captions
Distribution of (term node) sharing factor for a population of theorem proving runs
Summary[edit]
| Description |
English: Distribution of (term node) sharing factor for a population of theorem proving runs. Only used as an example to discuss the diagram type. |
| Date | |
| Source | Own work |
| Author | Stephan Schulz |
Licensing[edit]
I, the copyright holder of this work, hereby publish it under the following license:
 
|
This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication. |
| The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.
|
|
This media file is uncategorized.
Please help improve this media file by adding it to one or more categories, so it may be associated with related media files (how?), and so that it can be more easily found.
Please notify the uploader with {{subst:Please link images|File:Distribution diagram.png}} ~~~~ |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 13:39, 27 April 2024 | | 567 × 461 (18 KB) | Stephan Schulz (talk | contribs) | Uploaded own work with UploadWizard |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
