skolemisation

A means of removing quantifiers from first order logic formulas.

[Details?]

Try this search on Wikipedia, OneLook, Google

Nearby terms: Skim « SkipJack « SKOL « skolemisation » S-K reduction machine » skrog » SKsh

Loading
Copyright 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.