Nachum Dershowitz
id:
nachum-dershowitz-230-4016175
title:
Nachum Dershowitz
text:
Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Nachum_Dershowitz
date created:
2014-09-22T09:21:51Z
date modified:
2024-09-15T16:52:15Z
main entity:
{"identifier":"Q18209412","url":"https://www.wikidata.org/entity/Q18209412"}
image:
fields total:
13
integrity:
14