Heuristic for avoiding skolemization in theorem proving.
Publications de l 'Institut Mathématique. Nouvelle Série, 38(52) (1985), p. 207.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 68T15
Mots-clés : man-machine interaction, system GRAPH, stronger subgoal 
@article{PIM2_1985__38(52)_257722,
     author = {Pevac, Irena},
     title = {Heuristic for avoiding skolemization in theorem proving.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {207},
     publisher = {mathdoc},
     volume = {38(52)},
     year = {1985},
     zbl = {0601.68060},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1985__38(52)_257722/}
}
TY  - JOUR
AU  - Pevac, Irena
TI  - Heuristic for avoiding skolemization in theorem proving.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1985
SP  - 207
VL  - 38(52)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1985__38(52)_257722/
LA  - en
ID  - PIM2_1985__38(52)_257722
ER  - 
%0 Journal Article
%A Pevac, Irena
%T Heuristic for avoiding skolemization in theorem proving.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1985
%P 207
%V 38(52)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1985__38(52)_257722/
%G en
%F PIM2_1985__38(52)_257722
Pevac, Irena. Heuristic for avoiding skolemization in theorem proving.. Publications de l 'Institut Mathématique. Nouvelle Série, 38(52) (1985), p. 207. https://geodesic-test.mathdoc.fr/item/PIM2_1985__38(52)_257722/