Matches in SemOpenAlex for { <https://semopenalex.org/work/W1975736377> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1975736377 endingPage "338" @default.
- W1975736377 startingPage "321" @default.
- W1975736377 created "2016-06-24" @default.
- W1975736377 creator A5002144715 @default.
- W1975736377 creator A5016909506 @default.
- W1975736377 creator A5065820145 @default.
- W1975736377 date "1996-01-01" @default.
- W1975736377 modified "2023-09-27" @default.
- W1975736377 title "CLP(x) for Proving Program Properties" @default.
- W1975736377 cites W111135156 @default.
- W1975736377 cites W1530164705 @default.
- W1975736377 cites W1531625291 @default.
- W1975736377 cites W1541434994 @default.
- W1975736377 cites W1546427822 @default.
- W1975736377 cites W1566028218 @default.
- W1975736377 cites W1579433101 @default.
- W1975736377 cites W1990309597 @default.
- W1975736377 cites W200979903 @default.
- W1975736377 cites W2035855976 @default.
- W1975736377 cites W2050559123 @default.
- W1975736377 cites W2060498389 @default.
- W1975736377 cites W2061970672 @default.
- W1975736377 cites W2063727779 @default.
- W1975736377 cites W208023774 @default.
- W1975736377 cites W2094612221 @default.
- W1975736377 cites W2123396057 @default.
- W1975736377 cites W2395278432 @default.
- W1975736377 cites W2404971999 @default.
- W1975736377 cites W2487755007 @default.
- W1975736377 cites W43350761 @default.
- W1975736377 cites W60619409 @default.
- W1975736377 cites W65937437 @default.
- W1975736377 doi "https://doi.org/10.1007/978-94-009-0349-4_17" @default.
- W1975736377 hasPublicationYear "1996" @default.
- W1975736377 type Work @default.
- W1975736377 sameAs 1975736377 @default.
- W1975736377 citedByCount "0" @default.
- W1975736377 crossrefType "book-chapter" @default.
- W1975736377 hasAuthorship W1975736377A5002144715 @default.
- W1975736377 hasAuthorship W1975736377A5016909506 @default.
- W1975736377 hasAuthorship W1975736377A5065820145 @default.
- W1975736377 hasConcept C126255220 @default.
- W1975736377 hasConcept C128838566 @default.
- W1975736377 hasConcept C134306372 @default.
- W1975736377 hasConcept C137631369 @default.
- W1975736377 hasConcept C173404611 @default.
- W1975736377 hasConcept C176783269 @default.
- W1975736377 hasConcept C199360897 @default.
- W1975736377 hasConcept C20693621 @default.
- W1975736377 hasConcept C2524010 @default.
- W1975736377 hasConcept C2776036281 @default.
- W1975736377 hasConcept C33923547 @default.
- W1975736377 hasConcept C41008148 @default.
- W1975736377 hasConcept C77618280 @default.
- W1975736377 hasConcept C80444323 @default.
- W1975736377 hasConceptScore W1975736377C126255220 @default.
- W1975736377 hasConceptScore W1975736377C128838566 @default.
- W1975736377 hasConceptScore W1975736377C134306372 @default.
- W1975736377 hasConceptScore W1975736377C137631369 @default.
- W1975736377 hasConceptScore W1975736377C173404611 @default.
- W1975736377 hasConceptScore W1975736377C176783269 @default.
- W1975736377 hasConceptScore W1975736377C199360897 @default.
- W1975736377 hasConceptScore W1975736377C20693621 @default.
- W1975736377 hasConceptScore W1975736377C2524010 @default.
- W1975736377 hasConceptScore W1975736377C2776036281 @default.
- W1975736377 hasConceptScore W1975736377C33923547 @default.
- W1975736377 hasConceptScore W1975736377C41008148 @default.
- W1975736377 hasConceptScore W1975736377C77618280 @default.
- W1975736377 hasConceptScore W1975736377C80444323 @default.
- W1975736377 hasLocation W19757363771 @default.
- W1975736377 hasOpenAccess W1975736377 @default.
- W1975736377 hasPrimaryLocation W19757363771 @default.
- W1975736377 hasRelatedWork W1490546714 @default.
- W1975736377 hasRelatedWork W1586892155 @default.
- W1975736377 hasRelatedWork W1591583250 @default.
- W1975736377 hasRelatedWork W1596719193 @default.
- W1975736377 hasRelatedWork W1602018908 @default.
- W1975736377 hasRelatedWork W1967419422 @default.
- W1975736377 hasRelatedWork W2007301302 @default.
- W1975736377 hasRelatedWork W2118850793 @default.
- W1975736377 hasRelatedWork W2951038595 @default.
- W1975736377 hasRelatedWork W4293391431 @default.
- W1975736377 isParatext "false" @default.
- W1975736377 isRetracted "false" @default.
- W1975736377 magId "1975736377" @default.
- W1975736377 workType "book-chapter" @default.