Matches in SemOpenAlex for { <https://semopenalex.org/work/W807670710> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W807670710 abstract "Creating visualizations of finite first order logic models can be very beneficial for users studying the models as it provides an additional aid for the user and makes it easier for the user to understand and comprehend the model. This thesis describes methods on how to visualize the different parts of the model, the domain, functions and predicates, and then combining them into a drawing for the user to look at. We will also provide methods on how to reduce a model using function and predicate properties in order to simplify the drawings we make of a model." @default.
- W807670710 created "2016-06-24" @default.
- W807670710 creator A5023441368 @default.
- W807670710 date "2013-10-17" @default.
- W807670710 modified "2023-09-27" @default.
- W807670710 title "Visualization of a finite first order logic model" @default.
- W807670710 hasPublicationYear "2013" @default.
- W807670710 type Work @default.
- W807670710 sameAs 807670710 @default.
- W807670710 citedByCount "0" @default.
- W807670710 crossrefType "journal-article" @default.
- W807670710 hasAuthorship W807670710A5023441368 @default.
- W807670710 hasConcept C100481476 @default.
- W807670710 hasConcept C102993220 @default.
- W807670710 hasConcept C107457646 @default.
- W807670710 hasConcept C134306372 @default.
- W807670710 hasConcept C140146324 @default.
- W807670710 hasConcept C14036430 @default.
- W807670710 hasConcept C154945302 @default.
- W807670710 hasConcept C19689857 @default.
- W807670710 hasConcept C199360897 @default.
- W807670710 hasConcept C33923547 @default.
- W807670710 hasConcept C36464697 @default.
- W807670710 hasConcept C36503486 @default.
- W807670710 hasConcept C41008148 @default.
- W807670710 hasConcept C78458016 @default.
- W807670710 hasConcept C80444323 @default.
- W807670710 hasConcept C86803240 @default.
- W807670710 hasConceptScore W807670710C100481476 @default.
- W807670710 hasConceptScore W807670710C102993220 @default.
- W807670710 hasConceptScore W807670710C107457646 @default.
- W807670710 hasConceptScore W807670710C134306372 @default.
- W807670710 hasConceptScore W807670710C140146324 @default.
- W807670710 hasConceptScore W807670710C14036430 @default.
- W807670710 hasConceptScore W807670710C154945302 @default.
- W807670710 hasConceptScore W807670710C19689857 @default.
- W807670710 hasConceptScore W807670710C199360897 @default.
- W807670710 hasConceptScore W807670710C33923547 @default.
- W807670710 hasConceptScore W807670710C36464697 @default.
- W807670710 hasConceptScore W807670710C36503486 @default.
- W807670710 hasConceptScore W807670710C41008148 @default.
- W807670710 hasConceptScore W807670710C78458016 @default.
- W807670710 hasConceptScore W807670710C80444323 @default.
- W807670710 hasConceptScore W807670710C86803240 @default.
- W807670710 hasLocation W8076707101 @default.
- W807670710 hasOpenAccess W807670710 @default.
- W807670710 hasPrimaryLocation W8076707101 @default.
- W807670710 hasRelatedWork W10311529 @default.
- W807670710 hasRelatedWork W1556653287 @default.
- W807670710 hasRelatedWork W2019428499 @default.
- W807670710 hasRelatedWork W2034796681 @default.
- W807670710 hasRelatedWork W2047025946 @default.
- W807670710 hasRelatedWork W2118503838 @default.
- W807670710 hasRelatedWork W2124280719 @default.
- W807670710 hasRelatedWork W2139933968 @default.
- W807670710 hasRelatedWork W2171505762 @default.
- W807670710 hasRelatedWork W2202946472 @default.
- W807670710 hasRelatedWork W2281160902 @default.
- W807670710 hasRelatedWork W2293612389 @default.
- W807670710 hasRelatedWork W2483962391 @default.
- W807670710 hasRelatedWork W2506697841 @default.
- W807670710 hasRelatedWork W2511712975 @default.
- W807670710 hasRelatedWork W2512402302 @default.
- W807670710 hasRelatedWork W2913663225 @default.
- W807670710 hasRelatedWork W3035185719 @default.
- W807670710 hasRelatedWork W3039049957 @default.
- W807670710 hasRelatedWork W2027508318 @default.
- W807670710 isParatext "false" @default.
- W807670710 isRetracted "false" @default.
- W807670710 magId "807670710" @default.
- W807670710 workType "article" @default.