corese icon indicating copy to clipboard operation
corese copied to clipboard

Published 20 hours ago • verified publisher icon Wimmics

Override SKOLEM value

Open rac021 opened this issue 4 years ago • 0 comments

Hi,

Is there a way to override the SKOLEM field ( http://ns.inria.fr" + SKOLEM_MARKER ) in the interface ExpType ?

Thank you

R

rac021 avatar Oct 24 '20 13:10 rac021