{"entities":{"Q53738":{"pageid":53794,"ns":120,"title":"Item:Q53738","lastrevid":105428801,"modified":"2026-10-09T10:10:38Z","type":"item","id":"Q53738","labels":{"en":{"language":"en","value":"Quaternions"}},"descriptions":{"en":{"language":"en","value":"AFP entry Quaternions"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"819a29303dbe1ad20aa0145202e400ca324948d4","datavalue":{"value":"38038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$7612902E-1516-4F51-A33C-85CE327A8D98","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$F61A1281-BCDD-42F1-A0CA-A084EF2CA1DB","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ff5c6e806a839e415be1cc23930165757c23b994","datavalue":{"value":"https://www.isa-afp.org/entries/Quaternions.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53738$EB6B177F-3D72-4D6F-84B2-DADD0EEBFA82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$93D386B9-2539-41E8-9BE0-26D7E32A92D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$1DD8CB33-E473-4269-9B55-9C80B1E03CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$9EDCB971-1288-40A9-A912-8ABFC244B9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$E0962113-3FA0-4FC8-BDC0-6B25E69640B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$61E479D7-FB52-4AAF-BB41-94E2F98572BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd53baf500a6931877eb74cf8c39e6d35302628a","datavalue":{"value":"11.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$3E678244-EF33-4BF4-B0B9-0484B705C161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$083475A0-147E-47FC-96D0-1D8784774EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53738$DFD096BA-0817-4C8A-B876-A96891A4EB4B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$23AADAF0-6EE5-4D6E-80CE-CB06C253DAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$3502EA47-9BE3-44FC-B079-075D0A8D92EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1f3f217ad7d25648b72a532a22e5bf696c7db2e","datavalue":{"value":{"entity-type":"item","numeric-id":40272,"id":"Q40272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$1DD6840D-7ECD-45DF-AC89-54CB6C7B991C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$CF2CBF26-CDAD-4CEE-B935-A6BAB564F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$1B57D755-6E50-4D17-A1F8-7AFC07610119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$7F402E83-60A4-4078-9892-67730E2CB0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$986A383E-6093-42B3-A787-058594EE04F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$D0E9EABB-B499-4C0B-847A-50A63343DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$098EB28E-97A2-4E42-820E-F20E9351BAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$CFFF125A-C855-4F6F-9079-01B2301C91B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eba8b47e1a803cab7d21f0226e3c8085963466de","datavalue":{"value":{"entity-type":"item","numeric-id":5975135,"id":"Q5975135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$FEE9ABFA-DA17-4022-BFD0-5C24276D64AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea5413756061bf33eb1bd266ba2a93f8c7b394c6","datavalue":{"value":{"entity-type":"item","numeric-id":5973088,"id":"Q5973088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$C53A2CFD-A552-4579-8DE1-00CD9090D84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$F3A63CBA-55D6-4A99-AF17-0F5C8DC6A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$696021A1-1643-4FA7-8346-C19E84AD4F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$9027D89F-860E-4A04-935F-5BC38BB976E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fa7aa97df9a13fbf536b4b11691bce6b3e0601a0","datavalue":{"value":{"entity-type":"item","numeric-id":53739,"id":"Q53739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$F28CD923-FC6C-44C7-A5DB-86E35DD57953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3eef3bb546664bd0985bfee8bd40de843753fcc","datavalue":{"value":{"entity-type":"item","numeric-id":53737,"id":"Q53737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$5A3B4DE6-F8C3-4A79-8DBC-19B129D293EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62f40bdff5c85c5ed18529fd2f9a206dbfc7f83c","datavalue":{"value":{"entity-type":"item","numeric-id":53736,"id":"Q53736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$8AF358DA-CF25-4DB7-AE1D-24E6EB095677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2133597b837845e61c323ae305a388d5f339ca99","datavalue":{"value":{"entity-type":"item","numeric-id":53735,"id":"Q53735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$FDA5B92B-F752-4176-97EE-0E4D73B39A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4d03dccf41d6936220149f560cf560feffe3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":53734,"id":"Q53734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$5234CE90-D6DF-42D8-93E7-6CF1A2B58C38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ada7c1aa1f142e193103d840af8dee50579c3fea","datavalue":{"value":"https://isa-afp.org/entries/Quaternions.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53738$72E302B0-627E-4D77-88B9-BFF652ED422C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q53738$8CC9C061-15AE-4E5E-B0C3-5879639B2CC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6ce0af0aa2cb58e85b5e6da7c603ca80ce8235e","datavalue":{"value":"This theory is inspired by the HOL Light development of quaternions, but follows its own route. Quaternions are developed coinductively, as in the existing formalisation of the complex numbers. Quaternions are quickly shown to belong to the type classes of real normed division algebras and real inner product spaces. And therefore they inherit a great body of facts involving algebraic laws, limits, continuity, etc., which must be proved explicitly in the HOL Light version. The development concludes with the geometric interpretation of the product of imaginary quaternions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53738$4F80A653-98E4-4A27-A005-6CC859AA8E36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060557f7388df703dd2d2d2d1dd4d6670ff5a7bd","datavalue":{"value":{"time":"+2018-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53738$C9A6B9AB-6B7B-400D-AC86-C63524820486","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900774b5a4b28facce7fe2b73a8cb3028d70a1d1","datavalue":{"value":{"text":"Quaternions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53738$C1444358-CD76-4E76-AA38-B9623F4EAEF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"874853952c229be1c170f46603eece4ea6863394","datavalue":{"value":{"entity-type":"item","numeric-id":1687738,"id":"Q1687738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$D91D3A7D-10A1-4B22-B9D1-5D858FCC2BCC","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$26AA8B35-8A64-49C6-A6BF-D221DD5BF623","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53738$D8D18D6F-D7FB-4B01-8316-A7E53CA5EF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quaternions Q53738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quaternions_Q53738"}}}}}