Restoring old revision of "Item:Q408855"
Jump to navigation
Jump to search
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.
Latest revision | Your text | ||
| aliases / en / 0 | aliases / en / 0 | ||
| aliases / en / 1 | aliases / en / 1 | ||
| aliases / en / 2 | aliases / en / 2 | ||
| aliases / en / 3 | aliases / en / 3 | ||
| aliases / en / 4 | aliases / en / 4 | ||
| aliases / pl / 0 | aliases / pl / 0 | ||
| aliases / pl / 1 | aliases / pl / 1 | ||
| aliases / pl / 2 | aliases / pl / 2 | ||
| aliases / pl / 3 | aliases / pl / 3 | ||
| aliases / pl / 4 | aliases / pl / 4 | ||
| Property / National Library Identifier | |||
| Property / National Library Identifier: a0000003841187 / rank | |||
| Property / Related form and genre | |||
| Property / Related form and genre: Programy komputerowe / rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Sztuczna inteligencja / rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
| Property / Version | |||
| Property / Version: P30389T36851 / rank | |||