Source / pinned edition

arxo.physics_alignment

Source of package arxo.physics_alignment · sha256:04b60b5a585396ee10635f0e14257a122c22f271bc2e0ce30b0d2970ac071123

work
urn:arxo:arxo.physics_alignment#Import_Source_6c621d1a05138a7888d37d9269a9da8e2e11e4aced2f6cfd24b05ab1b9e61bb0
number
sha256:04b60b5a585396ee10635f0e14257a122c22f271bc2e0ce30b0d2970ac071123
kind
urn:arxo:arxo.physics_alignment#treatise

Import_Edition_6c621d1a05138a7888d37d9269a9da8e2e11e4aced2f6cfd24b05ab1b9e61bb0

edition
urn:arxo:arxo.physics_alignment#Import_Edition_6c621d1a05138a7888d37d9269a9da8e2e11e4aced2f6cfd24b05ab1b9e61bb0
language
en
officiality
unofficial
materialisation
PINNED_UNOFFICIAL_COPY
life cycle
—

Publications

URITypedocumentHashRetrieved
urn:arxo:alignment-profile:qudt-wikidata-dimension/0.1text/plain; charset=utf-8sha256:42951d4c67ee7e1602fc0e51f3358d8a31d3412df373f242a7e139ed921ba4f42026-09-07T23:57:13Z

Fragments — 3

/AlignmentConfirmed · lemma · referenced by: 1

en · unofficial · sha256:1386dff83dd866a5bac34c0aae05e5db2e833666800ef8552d846625275f1e99

{"conclusion":["aligned_resource",["wd","rdf"]],"parameters":{"rdf":"Resource","revision":"Text","s":"Statement","wd":"Resource"},"premises":[["source_revision",["wd","revision"]],["alignment_requested",["wd","rdf"]],["source_alignment",["s","rdf","wd"]]]}

Referencing norms: Import_Rule_0c05420bd60087f211c9d338a9bac52ab37ce981c796c6f46c5436822cbfdf76

/DimensionViaAlignment · lemma · referenced by: 1

en · unofficial · sha256:0a829737495e3eccfea55cc5b2ba31a165e0e46d4301934d74fbfad2f537ca49

{"conclusion":["dimension_of",["wd","d"]],"parameters":{"d":"Resource","rdf":"Resource","s":"Statement","wd":"Resource"},"premises":[["aligned_resource",["wd","rdf"]],["source_dimension",["s","rdf","d"]]]}

Referencing norms: Import_Rule_74a0d5e5d1a0c51035f15b2f570a43ae0efd826b4f5dbc634a40c634dbeb7b1d

/SameDimension · lemma · referenced by: 1

en · unofficial · sha256:876ca89311327a09ab64c5399b6bc2f535f205e69ed31a23497e70f67ee27b3c

{"conclusion":["same_dimension",["a","b"]],"parameters":{"a":"Resource","b":"Resource","d":"Resource"},"premises":[["dimension_of",["a","d"]],["dimension_of",["b","d"]]]}

Referencing norms: Import_Rule_c7b76c0d4b3763e706bd8efedf9e8bebcf619b9796f01d2cfd5ab65222ef110d

The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.