Matches in SemOpenAlex for { <https://semopenalex.org/work/W647575778> ?p ?o ?g. }
Showing items 1 to 30 of
30
with 100 items per page.
- W647575778 endingPage "348" @default.
- W647575778 startingPage "341" @default.
- W647575778 created "2016-06-24" @default.
- W647575778 creator A5029588699 @default.
- W647575778 date "1973-05-15" @default.
- W647575778 modified "2023-09-24" @default.
- W647575778 title "定理証明用言語MICRO-PLANNER について" @default.
- W647575778 hasPublicationYear "1973" @default.
- W647575778 type Work @default.
- W647575778 sameAs 647575778 @default.
- W647575778 citedByCount "0" @default.
- W647575778 crossrefType "journal-article" @default.
- W647575778 hasAuthorship W647575778A5029588699 @default.
- W647575778 hasConcept C144133560 @default.
- W647575778 hasConcept C154945302 @default.
- W647575778 hasConcept C2776999362 @default.
- W647575778 hasConcept C41008148 @default.
- W647575778 hasConceptScore W647575778C144133560 @default.
- W647575778 hasConceptScore W647575778C154945302 @default.
- W647575778 hasConceptScore W647575778C2776999362 @default.
- W647575778 hasConceptScore W647575778C41008148 @default.
- W647575778 hasIssue "5" @default.
- W647575778 hasLocation W6475757781 @default.
- W647575778 hasOpenAccess W647575778 @default.
- W647575778 hasPrimaryLocation W6475757781 @default.
- W647575778 hasVolume "14" @default.
- W647575778 isParatext "false" @default.
- W647575778 isRetracted "false" @default.
- W647575778 magId "647575778" @default.
- W647575778 workType "article" @default.