[lyo-dev] Discussion on skolemization

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[lyo-dev] Discussion on skolemization

From: Andrii Berezovskyi <andriib@xxxxxx>
Date: Fri, 23 Feb 2018 21:31:50 +0000
Accept-language: en-GB, en-US, sv-SE
Delivered-to: lyo-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/lyo-dev>
List-help: <mailto:lyo-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/lyo-dev>, <mailto:lyo-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/lyo-dev>, <mailto:lyo-dev-request@eclipse.org?subject=unsubscribe>
Thread-index: AQHTrO23kyZOOUY7r0uc0MSQlQCRyQ==
Thread-topic: Discussion on skolemization

Hi,

I would like to get your opinion on skolemization, I posted a message here: http://discourse.oslc.co/t/oslc-resource-skolemization/77

–Andrew.

Prev by Date: Re: [lyo-dev] 2.2.0 release
Next by Date: Re: [lyo-dev] 2.2.0 release
Previous by thread: [lyo-dev] Fw: EDL license
Next by thread: [lyo-dev] example client for interfacing to DOORS NG
Index(es):
- Date
- Thread

Back to the top