Matches in Wikidata for { <http://www.wikidata.org/entity/Q57389435> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- Q57389435 description "article scientifique publié en 1996" @default.
- Q57389435 description "im Februar 1996 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57389435 description "wetenschappelijk artikel" @default.
- Q57389435 description "наукова стаття, опублікована в лютому 1996" @default.
- Q57389435 name "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 name "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 type Item @default.
- Q57389435 label "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 label "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 prefLabel "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 prefLabel "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 P1433 Q57389435-46B80CC5-7C30-4853-BE30-3C66E03A2A61 @default.
- Q57389435 P1476 Q57389435-C75A1526-D355-4A02-BB14-ECBEE961260E @default.
- Q57389435 P2093 Q57389435-570CD7BE-02A4-4A1D-B3C3-41D16A2F43B6 @default.
- Q57389435 P2093 Q57389435-8DEA72F5-6833-44AB-81AD-D7A445854D07 @default.
- Q57389435 P2093 Q57389435-95D40863-B7B1-4044-825E-AA73120C28A7 @default.
- Q57389435 P2093 Q57389435-CFBB86AE-C2EE-40B0-882F-6EFF4BD967EC @default.
- Q57389435 P2093 Q57389435-E789338D-2D0C-410D-B311-1F1F78259592 @default.
- Q57389435 P2093 Q57389435-FBA1CE29-470B-4AFB-98C1-607F9E205FC3 @default.
- Q57389435 P2888 Q57389435-1A6BADF6-37CD-4E5B-8CCD-B270BF09D528 @default.
- Q57389435 P304 Q57389435-D30CE3B1-E5A1-4B57-A73C-3112595A29DB @default.
- Q57389435 P31 Q57389435-F6F78D99-5CF7-4849-BDB4-1028E5957C0C @default.
- Q57389435 P356 Q57389435-DA6E029C-1319-49AA-B6A8-9788E9250381 @default.
- Q57389435 P433 Q57389435-255DE3A9-7BD3-49A0-9D47-343E9C4E1931 @default.
- Q57389435 P478 Q57389435-0DD100DE-CA04-4FA9-BCDA-BBA1099375A6 @default.
- Q57389435 P50 Q57389435-2C2BBA53-C230-43A3-98EE-40FAF08292F0 @default.
- Q57389435 P577 Q57389435-D0A252DA-C775-4B31-84A4-6F1799618695 @default.
- Q57389435 P8978 Q57389435-8C5A7F1E-6F5C-4F0C-938B-8F9D398BC5C4 @default.
- Q57389435 P356 S004500050036 @default.
- Q57389435 P8978 HuangKKMNRS96 @default.
- Q57389435 P1433 Q15754807 @default.
- Q57389435 P1476 "Die Beweisentwicklungsumgebung $\Omega$ -M krp" @default.
- Q57389435 P2093 "Dan Nesmith" @default.
- Q57389435 P2093 "Erica Melis" @default.
- Q57389435 P2093 "Jörg Siekmann" @default.
- Q57389435 P2093 "Jörn Richts" @default.
- Q57389435 P2093 "Manfred Kerber" @default.
- Q57389435 P2093 "Xiaorong Huang" @default.
- Q57389435 P2888 s004500050036 @default.
- Q57389435 P304 "20-26" @default.
- Q57389435 P31 Q13442814 @default.
- Q57389435 P356 "10.1007/S004500050036" @default.
- Q57389435 P433 "1" @default.
- Q57389435 P478 "11" @default.
- Q57389435 P50 Q91233 @default.
- Q57389435 P577 "1996-02-15T00:00:00Z" @default.
- Q57389435 P8978 "journals/ife/HuangKKMNRS96" @default.