Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000890615> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2000890615 endingPage "12" @default.
- W2000890615 startingPage "7" @default.
- W2000890615 abstract "We prove a completeness theorem for an improved practical declarative debugger for arbitrary logic programs which checks the satisfiability rather than the validity of solved goals wrt their intended interpretations in the process of identifying errors." @default.
- W2000890615 created "2016-06-24" @default.
- W2000890615 creator A5013625793 @default.
- W2000890615 creator A5071124963 @default.
- W2000890615 date "1991-01-01" @default.
- W2000890615 modified "2023-09-23" @default.
- W2000890615 title "Completeness of an improved declarative debugger" @default.
- W2000890615 cites W1514468887 @default.
- W2000890615 cites W1541434994 @default.
- W2000890615 cites W1972185528 @default.
- W2000890615 cites W2002183011 @default.
- W2000890615 cites W2020091474 @default.
- W2000890615 cites W2027026606 @default.
- W2000890615 cites W2033041410 @default.
- W2000890615 doi "https://doi.org/10.1016/0893-9659(91)90134-h" @default.
- W2000890615 hasPublicationYear "1991" @default.
- W2000890615 type Work @default.
- W2000890615 sameAs 2000890615 @default.
- W2000890615 citedByCount "0" @default.
- W2000890615 crossrefType "journal-article" @default.
- W2000890615 hasAuthorship W2000890615A5013625793 @default.
- W2000890615 hasAuthorship W2000890615A5071124963 @default.
- W2000890615 hasConcept C118615104 @default.
- W2000890615 hasConcept C134306372 @default.
- W2000890615 hasConcept C168065819 @default.
- W2000890615 hasConcept C168773769 @default.
- W2000890615 hasConcept C17231256 @default.
- W2000890615 hasConcept C199343813 @default.
- W2000890615 hasConcept C199360897 @default.
- W2000890615 hasConcept C2777686260 @default.
- W2000890615 hasConcept C2778485113 @default.
- W2000890615 hasConcept C33923547 @default.
- W2000890615 hasConcept C41008148 @default.
- W2000890615 hasConcept C71924100 @default.
- W2000890615 hasConceptScore W2000890615C118615104 @default.
- W2000890615 hasConceptScore W2000890615C134306372 @default.
- W2000890615 hasConceptScore W2000890615C168065819 @default.
- W2000890615 hasConceptScore W2000890615C168773769 @default.
- W2000890615 hasConceptScore W2000890615C17231256 @default.
- W2000890615 hasConceptScore W2000890615C199343813 @default.
- W2000890615 hasConceptScore W2000890615C199360897 @default.
- W2000890615 hasConceptScore W2000890615C2777686260 @default.
- W2000890615 hasConceptScore W2000890615C2778485113 @default.
- W2000890615 hasConceptScore W2000890615C33923547 @default.
- W2000890615 hasConceptScore W2000890615C41008148 @default.
- W2000890615 hasConceptScore W2000890615C71924100 @default.
- W2000890615 hasIssue "5" @default.
- W2000890615 hasLocation W20008906151 @default.
- W2000890615 hasOpenAccess W2000890615 @default.
- W2000890615 hasPrimaryLocation W20008906151 @default.
- W2000890615 hasRelatedWork W1578778518 @default.
- W2000890615 hasRelatedWork W1601811574 @default.
- W2000890615 hasRelatedWork W2115737686 @default.
- W2000890615 hasRelatedWork W2135396778 @default.
- W2000890615 hasRelatedWork W2146717778 @default.
- W2000890615 hasRelatedWork W2165124476 @default.
- W2000890615 hasRelatedWork W3005357250 @default.
- W2000890615 hasRelatedWork W379834542 @default.
- W2000890615 hasRelatedWork W4237428255 @default.
- W2000890615 hasRelatedWork W4245713008 @default.
- W2000890615 hasVolume "4" @default.
- W2000890615 isParatext "false" @default.
- W2000890615 isRetracted "false" @default.
- W2000890615 magId "2000890615" @default.
- W2000890615 workType "article" @default.