{"entities":{"Q3506323":{"pageid":5536227,"ns":120,"title":"Item:Q3506323","lastrevid":80592821,"modified":"2026-05-06T16:33:28Z","type":"item","id":"Q3506323","labels":{"en":{"language":"en","value":"Elementary constructive theory of Henselian local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5288149"}},"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":"Q3506323$19926BF9-1E66-4941-BBDB-473F0D284C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c65145228b031f7a95a403b5ecaccdf291126ce9","datavalue":{"value":{"text":"Elementary constructive theory of Henselian local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3506323$9AF5800A-4E5F-4CFC-BB29-E5E9B41071D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9433a59dea064d874db1356a0fc88ac47072a402","datavalue":{"value":"1143.13027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506323$0D78706F-BC4A-49DB-815A-144BE93D74D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$5F626AF4-53D0-4E60-B8E1-D0E2F01AE5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"537dd9807cb8216da552da42780b76d16a2963bc","datavalue":{"value":{"entity-type":"item","numeric-id":933193,"id":"Q933193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$BF6F7850-6603-4EB5-B279-AF3414DD2A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee783ee86e7ab91a1576dbe7954ff7f22ac339e","datavalue":{"value":{"entity-type":"item","numeric-id":2266748,"id":"Q2266748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$B38C6EBD-7B2A-4EDD-AEBA-C76DB08CF183","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$B53278A7-E617-4020-B074-BD1C1488A0E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a79b3218258c8b244863c2024bec8cb1e6ce3124","datavalue":{"value":{"time":"+2008-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3506323$B0026FDB-2B13-4288-BDCB-F60F92DEE660","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e9f1f2f5a894d24e3150aa4bf435fcf67f53d2a","datavalue":{"value":"https://arxiv.org/abs/2202.06595","type":"string"},"datatype":"url"},"type":"statement","id":"Q3506323$336FA2F4-8A3A-49B6-8E92-E6BF82A2DD0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4f913a75c61668decaed701ae5192d432188bf","datavalue":{"value":"13J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506323$3A40451D-8C2D-4DF6-81BD-0766B4EFD122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506323$F153D475-B99A-4AF0-99A5-47B8E3CA894D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03d4e3e939e5390a8f2f23fc58bc140c64cad873","datavalue":{"value":"5288149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506323$622EB706-A614-4A73-A3CC-02A52D6C75B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65017176bc921741e79104f5f0cd20fafce285db","datavalue":{"value":"strict Henselian local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$6AE063E1-B8D5-4030-AECB-F02665AC7CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b765ad50788aab19f3e33e83f680bead63b8e296","datavalue":{"value":"separable closure of the residue field","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$B9930414-8C07-4A1C-933D-1E25F07C7FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$BA446100-13DF-460C-AFEF-623182D7C60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2a1208f86827ecf7c2903023ca295eaeea0eac","datavalue":{"value":"Turing computable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$ABC0CE9D-4FAC-4916-9A21-5A5AE2A48AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1626d84aa58771946276a8fe1967add32ccc2e23","datavalue":{"value":"discrete ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$30716F32-2E68-486C-A96F-B3FF39309BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed5825ca0b764f0da94797cf47211376d5677d8","datavalue":{"value":"Heyting field","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$A5AE9126-BE1D-45D2-9485-CDEE35F5EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e350daec9d6fdebd5d64d12206d472f1bb6b36a","datavalue":{"value":"basic system of orthogonal idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$8F3D445E-6588-4160-9334-5F807A90D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dd9515a8e8710b152d274efc4769eebd2e87ff8","datavalue":{"value":"Cayley-Hamilton theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$E4B5BDB4-F9C5-4489-8304-242D7AD86751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f55dc27d352c0ebbee8ca64475d76812886fb19","datavalue":{"value":"Nakayama's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$AC9B432D-66A2-4378-9DFB-8F5B7B4A4E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54f810f9542a6c90fe0b1b025696d5f6e1f9920a","datavalue":{"value":"zero-dimensional ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$5E6C1FD9-308D-4234-9BA1-E00B98870CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69f640e1f3e856166d1d672a80fe099a1642e7e","datavalue":{"value":"pseudo-local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$B908A8A5-7CF6-4007-8650-67216357D5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e664bfad1c910f64cb37f057cc5512e39b66747f","datavalue":{"value":"decomposable ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$FB04F4C1-7DBA-48C7-BC71-BEFD8AFA6627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e00ae82eedd2a0aca14e5d1dabec03393ea55e","datavalue":{"value":"the universal decomposition algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$9A42FF08-3B8D-4B62-BD61-7C39C010691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d4fda1abac1e465816ec8a104b08fecf0be6d9","datavalue":{"value":"Galois idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$4A53D195-B2D1-4992-AEB8-4289FA194486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17daeec414041aaa10bfd3aa443b25b9a19b5af9","datavalue":{"value":"Nagata localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506323$2BB256D6-6DF7-4E48-A65E-07C2EDD450CB","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":"Q3506323$34BF8C56-DEA4-4841-AE67-6579714D0F77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6528b8434925173c3bb0c6fdb85092ca9037611b","datavalue":{"value":"W2085396259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506323$78088C8A-1731-4CF9-8F48-54ED528A89A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$3F91AC50-C154-4FAC-86E6-A2D2E2A04B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$01DF62CE-80B9-48CF-A97D-7CDC2C5B6AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec0856d0ab97b761ab885564b5c0fad7027db2","datavalue":{"value":{"entity-type":"item","numeric-id":5735274,"id":"Q5735274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506323$95421058-F01B-45C8-8F0E-FCBCF4B84533","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5220b1792b6d3848abd42637fe6257b90647b9b6","datavalue":{"value":"10.1002/MALQ.200710057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506323$4152EF4C-7785-49A0-BEBD-58C06EBE899F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe499540d3320275f3330b9a7cfdcbe67992805","datavalue":{"value":{"entity-type":"item","numeric-id":5085323,"id":"Q5085323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa104142a1290a1a350aa51f67f34cd515ff5db5","datavalue":{"value":{"amount":"+0.92303157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$0C5BCF11-4445-4B89-9C08-60EFF0AC5D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af017bfc6a9a3f90287c385e6bf0da71428d2ab","datavalue":{"value":{"entity-type":"item","numeric-id":4010222,"id":"Q4010222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c297ce127b1bc4fdb044f06340bda53043a18b2a","datavalue":{"value":{"amount":"+0.92281306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$C1ECC83F-7459-4887-B736-D5049C638EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babcb9cef2973e6a5c49b50a06b2dde0449e540a","datavalue":{"value":{"entity-type":"item","numeric-id":3476931,"id":"Q3476931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ee2d82155b5e89c7d1a6bda5d1cdf5961f3b6b","datavalue":{"value":{"amount":"+0.9227288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$43672B7D-D81D-41DE-8137-EB408650BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cdbdb521bf44fe69f4b23b026f29fda9d35723","datavalue":{"value":{"entity-type":"item","numeric-id":2404865,"id":"Q2404865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b710a00e7bb91d4b345bed10e15706c4d2e8f3","datavalue":{"value":{"amount":"+0.9196619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$2EF28FF2-146F-4198-8DBE-1A604831E3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383082fb57c6829afe0d5668c7f4c312cf2dc840","datavalue":{"value":{"entity-type":"item","numeric-id":915722,"id":"Q915722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93387fc4a5c4bd0e8dd7958355f61cd755062a0a","datavalue":{"value":{"amount":"+0.9157555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$A0CA5A59-BB30-43B5-BF51-B7551BF57E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bae7e021e1a367f17c7a5b1e7f1aed7f69ff449","datavalue":{"value":{"entity-type":"item","numeric-id":2652490,"id":"Q2652490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e489afaeb30af68883ccee6321fa3c1d32f64e","datavalue":{"value":{"amount":"+0.91048026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$EC7CB8B0-DDC8-4DDB-ADE4-43EA0F4BADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00df60edc847701806ed7c394f573b04eeee166b","datavalue":{"value":{"entity-type":"item","numeric-id":3312227,"id":"Q3312227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647ebb0345eba16b481b26a6e6e088811bb7188e","datavalue":{"value":{"amount":"+0.9043491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$39FCF573-150B-4284-9B68-3E5D822606AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e71f02592d540bd7f6bbaa6a76361b6a49b622","datavalue":{"value":{"entity-type":"item","numeric-id":3726235,"id":"Q3726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a2981f52ba329309b170568c0a908a61d1520c","datavalue":{"value":{"amount":"+0.9037192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$9C9E0C24-8CDB-4295-AED8-8CA09D599E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52423bdc8d2a2f5f4bc7bfba93b4ef57d7e1dfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5610428,"id":"Q5610428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832c3bf35296b4f26987808a2ff4ee1adb55f561","datavalue":{"value":{"amount":"+0.90228504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$64E25B30-2F5B-4915-86AC-AE2B5CE64C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9be5c76972902a3a029aa70f8ccfee407c7945","datavalue":{"value":{"entity-type":"item","numeric-id":1802363,"id":"Q1802363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d52e6df13aaa1598b780caeef40e8f0c21fc75","datavalue":{"value":{"amount":"+0.9017466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506323$25C7F881-E748-4DCC-B971-EC5318FFB1FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary constructive theory of Henselian local rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_constructive_theory_of_Henselian_local_rings"}}}}}