|
gptkb:AMNH_6517
|
partial skeleton
|
|
gptkb:Topkapi_manuscript
|
almost complete
|
|
gptkb:YPM_1876
|
partial skeleton
|
|
gptkb:Gödel–Löb_provability_logic
|
arithmetical completeness
|
|
gptkb:OMNH_53062
|
nearly complete skeleton
|
|
gptkb:Iterative_Deepening_A*
|
complete
|
|
gptkb:Isaiah_scroll_(Dead_Sea_Scrolls)
|
nearly complete
|
|
gptkb:Isaiah_Scroll_(Dead_Sea_Scrolls)
|
nearly complete
|
|
gptkb:Argentinosaurus_skeleton
|
partial
|
|
gptkb:IDA*
|
complete if branching factor is finite
|
|
gptkb:Trix_(Tyrannosaurus_rex_skeleton)
|
one of the most complete T. rex skeletons
|
|
gptkb:Hebior_Mammoth
|
about 85% complete
|
|
gptkb:Dubai_Dino
|
over 90% original bones
|
|
gptkb:Dmanisi_skull_5
|
most complete adult Homo erectus skull
|
|
gptkb:Tristan_Otto_T._rex_skeleton
|
about 50% original bones
|
|
gptkb:A*_Search_Algorithm
|
complete
|
|
gptkb:first-order_logic_with_equality
|
complete
|
|
gptkb:Eigenstates
|
Form a complete basis in Hilbert space (for Hermitian operators)
|