Matches in SemOpenAlex for { <https://semopenalex.org/work/W3001922952> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3001922952 abstract "Nielson, Nielson and Seidl's class H1 is a decidable class of first-order Horn clause sets, describing strongly regular relations. We give another proof of decidability, and of the regularity of th..." @default.
- W3001922952 created "2020-01-30" @default.
- W3001922952 creator A5009314275 @default.
- W3001922952 date "2005-08-16" @default.
- W3001922952 modified "2023-09-26" @default.
- W3001922952 title "Deciding H1 by resolution" @default.
- W3001922952 doi "https://doi.org/10.5555/1090363.1090368" @default.
- W3001922952 hasPublicationYear "2005" @default.
- W3001922952 type Work @default.
- W3001922952 sameAs 3001922952 @default.
- W3001922952 citedByCount "0" @default.
- W3001922952 crossrefType "journal-article" @default.
- W3001922952 hasAuthorship W3001922952A5009314275 @default.
- W3001922952 hasConcept C10138342 @default.
- W3001922952 hasConcept C114614502 @default.
- W3001922952 hasConcept C118615104 @default.
- W3001922952 hasConcept C136119220 @default.
- W3001922952 hasConcept C138268822 @default.
- W3001922952 hasConcept C153269930 @default.
- W3001922952 hasConcept C154945302 @default.
- W3001922952 hasConcept C162324750 @default.
- W3001922952 hasConcept C182306322 @default.
- W3001922952 hasConcept C189790780 @default.
- W3001922952 hasConcept C199360897 @default.
- W3001922952 hasConcept C202444582 @default.
- W3001922952 hasConcept C2777212361 @default.
- W3001922952 hasConcept C33923547 @default.
- W3001922952 hasConcept C41008148 @default.
- W3001922952 hasConcept C81721847 @default.
- W3001922952 hasConceptScore W3001922952C10138342 @default.
- W3001922952 hasConceptScore W3001922952C114614502 @default.
- W3001922952 hasConceptScore W3001922952C118615104 @default.
- W3001922952 hasConceptScore W3001922952C136119220 @default.
- W3001922952 hasConceptScore W3001922952C138268822 @default.
- W3001922952 hasConceptScore W3001922952C153269930 @default.
- W3001922952 hasConceptScore W3001922952C154945302 @default.
- W3001922952 hasConceptScore W3001922952C162324750 @default.
- W3001922952 hasConceptScore W3001922952C182306322 @default.
- W3001922952 hasConceptScore W3001922952C189790780 @default.
- W3001922952 hasConceptScore W3001922952C199360897 @default.
- W3001922952 hasConceptScore W3001922952C202444582 @default.
- W3001922952 hasConceptScore W3001922952C2777212361 @default.
- W3001922952 hasConceptScore W3001922952C33923547 @default.
- W3001922952 hasConceptScore W3001922952C41008148 @default.
- W3001922952 hasConceptScore W3001922952C81721847 @default.
- W3001922952 hasLocation W30019229521 @default.
- W3001922952 hasOpenAccess W3001922952 @default.
- W3001922952 hasPrimaryLocation W30019229521 @default.
- W3001922952 hasRelatedWork W151660158 @default.
- W3001922952 hasRelatedWork W1547248107 @default.
- W3001922952 hasRelatedWork W1581869334 @default.
- W3001922952 hasRelatedWork W1586483497 @default.
- W3001922952 hasRelatedWork W1867138659 @default.
- W3001922952 hasRelatedWork W1975946025 @default.
- W3001922952 hasRelatedWork W2077704773 @default.
- W3001922952 hasRelatedWork W2079353347 @default.
- W3001922952 hasRelatedWork W2120953967 @default.
- W3001922952 hasRelatedWork W2166108892 @default.
- W3001922952 hasRelatedWork W2168179019 @default.
- W3001922952 hasRelatedWork W2184083642 @default.
- W3001922952 hasRelatedWork W2754530097 @default.
- W3001922952 hasRelatedWork W2771865035 @default.
- W3001922952 hasRelatedWork W2945500475 @default.
- W3001922952 hasRelatedWork W2964112588 @default.
- W3001922952 hasRelatedWork W2964409640 @default.
- W3001922952 hasRelatedWork W2981723726 @default.
- W3001922952 hasRelatedWork W3086629457 @default.
- W3001922952 hasRelatedWork W32500609 @default.
- W3001922952 isParatext "false" @default.
- W3001922952 isRetracted "false" @default.
- W3001922952 magId "3001922952" @default.
- W3001922952 workType "article" @default.