Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073317789> ?p ?o ?g. }
- W2073317789 endingPage "45" @default.
- W2073317789 startingPage "27" @default.
- W2073317789 created "2016-06-24" @default.
- W2073317789 creator A5005850376 @default.
- W2073317789 creator A5020176705 @default.
- W2073317789 creator A5040311876 @default.
- W2073317789 creator A5074298006 @default.
- W2073317789 date "1992-01-01" @default.
- W2073317789 modified "2023-09-26" @default.
- W2073317789 title "Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof" @default.
- W2073317789 cites W1532420827 @default.
- W2073317789 cites W1554357161 @default.
- W2073317789 cites W1581769579 @default.
- W2073317789 cites W1590963539 @default.
- W2073317789 cites W2034500240 @default.
- W2073317789 doi "https://doi.org/10.1007/978-1-4471-3494-7_3" @default.
- W2073317789 hasPublicationYear "1992" @default.
- W2073317789 type Work @default.
- W2073317789 sameAs 2073317789 @default.
- W2073317789 citedByCount "6" @default.
- W2073317789 countsByYear W20733177892013 @default.
- W2073317789 crossrefType "book-chapter" @default.
- W2073317789 hasAuthorship W2073317789A5005850376 @default.
- W2073317789 hasAuthorship W2073317789A5020176705 @default.
- W2073317789 hasAuthorship W2073317789A5040311876 @default.
- W2073317789 hasAuthorship W2073317789A5074298006 @default.
- W2073317789 hasConcept C102993220 @default.
- W2073317789 hasConcept C104317684 @default.
- W2073317789 hasConcept C108710211 @default.
- W2073317789 hasConcept C111919701 @default.
- W2073317789 hasConcept C118615104 @default.
- W2073317789 hasConcept C124978682 @default.
- W2073317789 hasConcept C128838566 @default.
- W2073317789 hasConcept C145420912 @default.
- W2073317789 hasConcept C185592680 @default.
- W2073317789 hasConcept C195653647 @default.
- W2073317789 hasConcept C199343813 @default.
- W2073317789 hasConcept C199360897 @default.
- W2073317789 hasConcept C202854965 @default.
- W2073317789 hasConcept C203659156 @default.
- W2073317789 hasConcept C204241405 @default.
- W2073317789 hasConcept C2318724 @default.
- W2073317789 hasConcept C2524010 @default.
- W2073317789 hasConcept C2776937632 @default.
- W2073317789 hasConcept C2777686260 @default.
- W2073317789 hasConcept C2778361913 @default.
- W2073317789 hasConcept C2778701210 @default.
- W2073317789 hasConcept C2987117450 @default.
- W2073317789 hasConcept C2993131915 @default.
- W2073317789 hasConcept C33923547 @default.
- W2073317789 hasConcept C3845977 @default.
- W2073317789 hasConcept C41008148 @default.
- W2073317789 hasConcept C55493867 @default.
- W2073317789 hasConcept C71924100 @default.
- W2073317789 hasConcept C80467683 @default.
- W2073317789 hasConcept C88610354 @default.
- W2073317789 hasConcept C98045186 @default.
- W2073317789 hasConceptScore W2073317789C102993220 @default.
- W2073317789 hasConceptScore W2073317789C104317684 @default.
- W2073317789 hasConceptScore W2073317789C108710211 @default.
- W2073317789 hasConceptScore W2073317789C111919701 @default.
- W2073317789 hasConceptScore W2073317789C118615104 @default.
- W2073317789 hasConceptScore W2073317789C124978682 @default.
- W2073317789 hasConceptScore W2073317789C128838566 @default.
- W2073317789 hasConceptScore W2073317789C145420912 @default.
- W2073317789 hasConceptScore W2073317789C185592680 @default.
- W2073317789 hasConceptScore W2073317789C195653647 @default.
- W2073317789 hasConceptScore W2073317789C199343813 @default.
- W2073317789 hasConceptScore W2073317789C199360897 @default.
- W2073317789 hasConceptScore W2073317789C202854965 @default.
- W2073317789 hasConceptScore W2073317789C203659156 @default.
- W2073317789 hasConceptScore W2073317789C204241405 @default.
- W2073317789 hasConceptScore W2073317789C2318724 @default.
- W2073317789 hasConceptScore W2073317789C2524010 @default.
- W2073317789 hasConceptScore W2073317789C2776937632 @default.
- W2073317789 hasConceptScore W2073317789C2777686260 @default.
- W2073317789 hasConceptScore W2073317789C2778361913 @default.
- W2073317789 hasConceptScore W2073317789C2778701210 @default.
- W2073317789 hasConceptScore W2073317789C2987117450 @default.
- W2073317789 hasConceptScore W2073317789C2993131915 @default.
- W2073317789 hasConceptScore W2073317789C33923547 @default.
- W2073317789 hasConceptScore W2073317789C3845977 @default.
- W2073317789 hasConceptScore W2073317789C41008148 @default.
- W2073317789 hasConceptScore W2073317789C55493867 @default.
- W2073317789 hasConceptScore W2073317789C71924100 @default.
- W2073317789 hasConceptScore W2073317789C80467683 @default.
- W2073317789 hasConceptScore W2073317789C88610354 @default.
- W2073317789 hasConceptScore W2073317789C98045186 @default.
- W2073317789 hasLocation W20733177891 @default.
- W2073317789 hasOpenAccess W2073317789 @default.
- W2073317789 hasPrimaryLocation W20733177891 @default.
- W2073317789 hasRelatedWork W131041899 @default.
- W2073317789 hasRelatedWork W13799593 @default.
- W2073317789 hasRelatedWork W1596025996 @default.
- W2073317789 hasRelatedWork W1794567776 @default.
- W2073317789 hasRelatedWork W1894081149 @default.
- W2073317789 hasRelatedWork W1964787812 @default.
- W2073317789 hasRelatedWork W2073317789 @default.
- W2073317789 hasRelatedWork W2156307264 @default.
- W2073317789 hasRelatedWork W2967502375 @default.