Matches in SemOpenAlex for { <https://semopenalex.org/work/W131470545> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W131470545 endingPage "608" @default.
- W131470545 startingPage "606" @default.
- W131470545 created "2016-06-24" @default.
- W131470545 creator A5033882984 @default.
- W131470545 date "2011-01-01" @default.
- W131470545 modified "2023-09-24" @default.
- W131470545 title "Automatic Generation of Deductive Logic Proof Problems" @default.
- W131470545 cites W1514405275 @default.
- W131470545 cites W2033528976 @default.
- W131470545 cites W2159103211 @default.
- W131470545 doi "https://doi.org/10.1007/978-3-642-21869-9_116" @default.
- W131470545 hasPublicationYear "2011" @default.
- W131470545 type Work @default.
- W131470545 sameAs 131470545 @default.
- W131470545 citedByCount "2" @default.
- W131470545 countsByYear W1314705452014 @default.
- W131470545 countsByYear W1314705452017 @default.
- W131470545 crossrefType "book-chapter" @default.
- W131470545 hasAuthorship W131470545A5033882984 @default.
- W131470545 hasConcept C108710211 @default.
- W131470545 hasConcept C154945302 @default.
- W131470545 hasConcept C177264268 @default.
- W131470545 hasConcept C199360897 @default.
- W131470545 hasConcept C2524010 @default.
- W131470545 hasConcept C2777502361 @default.
- W131470545 hasConcept C2778012447 @default.
- W131470545 hasConcept C33923547 @default.
- W131470545 hasConcept C41008148 @default.
- W131470545 hasConcept C97364631 @default.
- W131470545 hasConceptScore W131470545C108710211 @default.
- W131470545 hasConceptScore W131470545C154945302 @default.
- W131470545 hasConceptScore W131470545C177264268 @default.
- W131470545 hasConceptScore W131470545C199360897 @default.
- W131470545 hasConceptScore W131470545C2524010 @default.
- W131470545 hasConceptScore W131470545C2777502361 @default.
- W131470545 hasConceptScore W131470545C2778012447 @default.
- W131470545 hasConceptScore W131470545C33923547 @default.
- W131470545 hasConceptScore W131470545C41008148 @default.
- W131470545 hasConceptScore W131470545C97364631 @default.
- W131470545 hasLocation W1314705451 @default.
- W131470545 hasOpenAccess W131470545 @default.
- W131470545 hasPrimaryLocation W1314705451 @default.
- W131470545 hasRelatedWork W131470545 @default.
- W131470545 hasRelatedWork W1585132271 @default.
- W131470545 hasRelatedWork W2046306960 @default.
- W131470545 hasRelatedWork W2109507516 @default.
- W131470545 hasRelatedWork W2120926795 @default.
- W131470545 hasRelatedWork W2135819447 @default.
- W131470545 hasRelatedWork W2149863612 @default.
- W131470545 hasRelatedWork W2166247150 @default.
- W131470545 hasRelatedWork W2740990710 @default.
- W131470545 hasRelatedWork W4243252198 @default.
- W131470545 isParatext "false" @default.
- W131470545 isRetracted "false" @default.
- W131470545 magId "131470545" @default.
- W131470545 workType "book-chapter" @default.