Wikidata entity: Q1609529
Contact
| P856 | official website | http://mizar.uwb.edu.pl/ |
| P275 | copyright license | ... | Q10513445 (GNU General Public License, version 3.0) | GNU General Public License, version 3.0 |
| P17 | country | ... | Q36 (Poland) | Poland |
| P287 | designed by | ... | Q4759721 (Andrzej Trybulec) | Andrzej Trybulec |
| P366 | has use | ... | Q431667 (automated theorem proving) | automated theorem proving |
| P571 | inception | ... | 1973-01-01 | ??? |
| P737 | influenced by | ... | Q2872609 (Automath) | Automath |
| P31 | instance of | ... | Q9143 (programming language) | programming language |
| P31 | instance of | ... | Q7397 (software) | software |
| P31 | instance of | ... | Q11387554 (proof assistant) | proof assistant |
| P3966 | programming paradigm | ... | Q531152 (declarative programming) | declarative programming |
| P1072 | readable file format | ... | Q105863136 (Mizar article) | Mizar article |
| P1072 | readable file format | ... | Q105863947 (Mizar article (with rem)) | Mizar article (with rem) |
| P7078 | typing discipline | ... | Q7977969 (weak typing) | weak typing |
| P1073 | writable file format | ... | Q105863136 (Mizar article) | Mizar article |
| P1073 | writable file format | ... | Q105863947 (Mizar article (with rem)) | Mizar article (with rem) |
| P646 | Freebase ID | /m/01dpvn |
| P6366 | Microsoft Academic ID (discontinued) | 97159802 |
Why not click here or view trends?
log id: 6605907