{"entities":{"Q790107":{"pageid":791955,"ns":120,"title":"Item:Q790107","lastrevid":64493652,"modified":"2026-04-11T20:14:58Z","type":"item","id":"Q790107","labels":{"en":{"language":"en","value":"Manifolds allowing RET arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847375"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790107$31F6E871-E2A0-4303-9FD2-986E4010D418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5181b7019331317d2935f44f52afaad0907ccd52","datavalue":{"value":{"text":"Manifolds allowing RET arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790107$321DF706-C3AB-4683-A555-F7F485D53E14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b928524a8ee57ac4ac275ed379c00c5cddfbd067","datavalue":{"value":"0534.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790107$CA0E3623-B417-4238-AA9F-1EA45076E552","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee3a7b89cf20737a434ee35ff199ce25a1f7b87","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790107$E622C16A-21D2-42B8-8AD4-BC15A9D8E274","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790107$0618A8BF-9FF6-422F-8148-2C3CEED96C49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q790107$EE63F26E-A3D5-496E-AAE5-9CBE07090EB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4eb56f9a37a2328269db3c40124bc7d5640264df","datavalue":{"value":"In a previous paper the author generalized the theory of recursive equivalence types to recursively enumerable manifolds. Roughly speaking this is analogous to extending a theory from Euclidean spaces to spaces which are locally Euclidean. Certain strong conditions were imposed on the manifold in order to make it possible to define addition of RETs. In this paper it is shown by means of counter-examples that these conditions are necessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790107$E0B0A3FE-96DD-4D5E-90B9-FE8FD2268E7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790107$3CDE1789-6BB3-44EF-9AEF-5956C7ECDA43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"042a1ef140639e38630539316581984691fb81cc","datavalue":{"value":"3847375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790107$BF95ACFA-4061-4000-AC82-06CB6EE48AF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05de5b0f8160fbfa94901f8e01ad399cacceb422","datavalue":{"value":"addition of recursive equivalence types","type":"string"},"datatype":"string"},"type":"statement","id":"Q790107$713D9C60-5E4C-4AAB-9F4C-66C7433D6D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac7fb9cbbf66cc0f294674a8b305e6a4373e2a6e","datavalue":{"value":"recursively enumerable manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q790107$A93DD98E-091F-4AC5-9261-99124079AEB5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790107$2F4BCA35-0CE1-4D40-A698-E772B6A84172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16a8676aa317171b4e37a09fba3e2bdf76a3d0fd","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870450","type":"string"},"datatype":"url"},"type":"statement","id":"Q790107$4F8AE7B9-07E4-474B-AC2F-EA3BE51CAF4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97d8225dd4c83a356ddf6f132d09e440cf0bf202","datavalue":{"value":"W2057050321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790107$E2FF2410-DD1E-44C9-BCE7-85D4CE1C41F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3f957b143640cf0d6d6d567ac0ddf4e05fec9be","datavalue":{"value":"10.1305/NDJFL/1093870450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790107$81CE1956-3395-41EC-ADE5-24E71BFE3B96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5fa3d7a7f767301577c0100e87464908293e78","datavalue":{"value":{"entity-type":"item","numeric-id":3676136,"id":"Q3676136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dfdf79c1b5aeded62cdf94709c28f78e6f8094","datavalue":{"value":{"amount":"+0.7236440181732178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790107$2ADB8D31-C7A7-4498-AC2A-70D29A31B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b411454046be8a802ac4360bfaf617254cd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":3030814,"id":"Q3030814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3d759e22ddde014e2d9bd7821d347be313e5e2","datavalue":{"value":{"amount":"+0.7227017879486084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790107$395A9A2E-71B9-4C97-A5D1-D75C2ECED25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9329cd0ab30454c4ff30b26c0a775dcb6a53db89","datavalue":{"value":{"entity-type":"item","numeric-id":1072544,"id":"Q1072544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b3b36ad33a1a9c8165dc9a421a44e73d90450c","datavalue":{"value":{"amount":"+0.6960180997848511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790107$3090ABD8-115C-433D-BDA9-DB27A50FB05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c7278bfe50cba94c119e945b5bb3a359f5831","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a004f927a96de76fe7b03e01acf2c4ef21f6634c","datavalue":{"value":{"amount":"+0.688840925693512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790107$418E6DCC-015E-4B39-B701-F5418CDA2289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c343e64b2fc0a5e2ecbe6e68e8559e8ca4a794","datavalue":{"value":{"entity-type":"item","numeric-id":1908450,"id":"Q1908450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c899c98bbf9813cccdc38071435e68b5ccb1981","datavalue":{"value":{"amount":"+0.6711870431900024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790107$C59C33C2-A039-457D-90AC-455913C5D0EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Manifolds allowing RET arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Manifolds_allowing_RET_arithmetic"}}}}}