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 | ||
| 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 | |||
| Property / P4 (Deleted Property) | |||
Automatyczne dowodzenie twierdzeń Property P4 not found, cannot determine the data type to use. | |||
| Property / P4 (Deleted Property): Automatyczne dowodzenie twierdzeń Property P4 not found, cannot determine the data type to use. / rank | |||
Normal rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
Leo Bonhart | |||
| Property / Version: Leo Bonhart / rank | |||
Normal rank | |||