Matches in SemOpenAlex for { <https://semopenalex.org/work/W141601732> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W141601732 startingPage "146" @default.
- W141601732 created "2016-06-24" @default.
- W141601732 creator A5033477936 @default.
- W141601732 date "2010-01-01" @default.
- W141601732 modified "2023-09-23" @default.
- W141601732 title "Counterexample Generation for Higher-order Logic Using Logic Programming." @default.
- W141601732 hasPublicationYear "2010" @default.
- W141601732 type Work @default.
- W141601732 sameAs 141601732 @default.
- W141601732 citedByCount "0" @default.
- W141601732 crossrefType "journal-article" @default.
- W141601732 hasAuthorship W141601732A5033477936 @default.
- W141601732 hasConcept C10138342 @default.
- W141601732 hasConcept C102993220 @default.
- W141601732 hasConcept C118615104 @default.
- W141601732 hasConcept C128838566 @default.
- W141601732 hasConcept C162324750 @default.
- W141601732 hasConcept C162838799 @default.
- W141601732 hasConcept C169896238 @default.
- W141601732 hasConcept C182306322 @default.
- W141601732 hasConcept C199360897 @default.
- W141601732 hasConcept C33923547 @default.
- W141601732 hasConcept C41008148 @default.
- W141601732 hasConcept C94375191 @default.
- W141601732 hasConceptScore W141601732C10138342 @default.
- W141601732 hasConceptScore W141601732C102993220 @default.
- W141601732 hasConceptScore W141601732C118615104 @default.
- W141601732 hasConceptScore W141601732C128838566 @default.
- W141601732 hasConceptScore W141601732C162324750 @default.
- W141601732 hasConceptScore W141601732C162838799 @default.
- W141601732 hasConceptScore W141601732C169896238 @default.
- W141601732 hasConceptScore W141601732C182306322 @default.
- W141601732 hasConceptScore W141601732C199360897 @default.
- W141601732 hasConceptScore W141601732C33923547 @default.
- W141601732 hasConceptScore W141601732C41008148 @default.
- W141601732 hasConceptScore W141601732C94375191 @default.
- W141601732 hasLocation W1416017321 @default.
- W141601732 hasOpenAccess W141601732 @default.
- W141601732 hasPrimaryLocation W1416017321 @default.
- W141601732 hasRelatedWork W1486772436 @default.
- W141601732 hasRelatedWork W1521281415 @default.
- W141601732 hasRelatedWork W1522805473 @default.
- W141601732 hasRelatedWork W1528237133 @default.
- W141601732 hasRelatedWork W1542582773 @default.
- W141601732 hasRelatedWork W1573653545 @default.
- W141601732 hasRelatedWork W1591041344 @default.
- W141601732 hasRelatedWork W1949155165 @default.
- W141601732 hasRelatedWork W2009227846 @default.
- W141601732 hasRelatedWork W2070324762 @default.
- W141601732 hasRelatedWork W2110802658 @default.
- W141601732 hasRelatedWork W2141996201 @default.
- W141601732 hasRelatedWork W2148020453 @default.
- W141601732 hasRelatedWork W2476396007 @default.
- W141601732 hasRelatedWork W2479610836 @default.
- W141601732 hasRelatedWork W290319835 @default.
- W141601732 hasRelatedWork W789857969 @default.
- W141601732 hasRelatedWork W107053330 @default.
- W141601732 hasRelatedWork W2792082108 @default.
- W141601732 hasRelatedWork W2978374174 @default.
- W141601732 isParatext "false" @default.
- W141601732 isRetracted "false" @default.
- W141601732 magId "141601732" @default.
- W141601732 workType "article" @default.