{"entities":{"Q540403":{"pageid":542170,"ns":120,"title":"Item:Q540403","lastrevid":62608071,"modified":"2026-04-11T07:14:35Z","type":"item","id":"Q540403","labels":{"en":{"language":"en","value":"Euclidean functions of computable Euclidean domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903676"}},"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":"Q540403$AB197871-27C6-4114-A1C0-00346098350D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0423d3ec69c2c1e0724c7c6c48d3be1c961c2097","datavalue":{"value":{"text":"Euclidean functions of computable Euclidean domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540403$CAFEA898-CF57-4C5E-87A1-5D187F69322A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b8be30666206fee0661f6849695f00722462c92","datavalue":{"value":"1260.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540403$FFF45BC7-42AE-4352-AE22-73E1F2059D36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d752a3e6f298e56196bc49781100adcab117bf22","datavalue":{"value":"10.1215/00294527-1306172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540403$07A806B4-A4B9-49D6-98FF-AA1495BB3A6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c055f536f99deee52869e6ffc924c94cdf7bde8","datavalue":{"value":{"entity-type":"item","numeric-id":385077,"id":"Q385077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540403$906DA8CE-8DAF-4C91-92BA-CE6517638011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540403$CBA6A65B-6197-4312-9860-DCC025C4C905","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":"Q540403$BFBD0314-4CBE-4C42-AB77-09E4EF232AA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540403$DF642477-6DFB-4B5F-8694-5133251A6A1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540403$1831C57C-ABE7-469B-97D9-EC6C6298CEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540403$FE268A99-FD35-45B3-9A7B-CB7B59738143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77444783d031159083c2716a96d993bcdab7cbb4","datavalue":{"value":"5903676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540403$F9B91025-4BE1-4121-863E-924F46D8F25D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d3ac691a81dd125a56e9978ee1b5d8441b8c73","datavalue":{"value":"computable Euclidean domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q540403$C077E210-DB3B-4013-9DB5-7DCE451CBD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370e4c6f75dcd2aedd1b516cf9440898335584c0","datavalue":{"value":"complexity of Euclidean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q540403$C8C78E21-BB7A-4558-9987-44FFB9910AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837fc5bf62023271ee428d3915134847c33c3eee","datavalue":{"value":"proof-theoretical strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q540403$68586CA1-65B3-4E1E-B844-C53337B93AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q540403$3F97550D-C6F1-4471-9054-08DDF13A14DD","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":"Q540403$77B72DC8-DDD2-4404-8604-D968AE31E060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a442841e69c456a66ab72060c5d0500e7d19adcb","datavalue":{"value":"https://doi.org/10.1215/00294527-1306172","type":"string"},"datatype":"url"},"type":"statement","id":"Q540403$82874142-0E1F-4F5F-ADD2-4487C30BC46A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e8c1168237153ed4fc5a92d950de7b89f0b55ec","datavalue":{"value":"W2029691756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540403$66BAB2DC-2907-40B3-AF78-5DE770317E9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeced4697a90db226b2b5eb6f22a90f1ab40b826","datavalue":{"value":{"entity-type":"item","numeric-id":1062977,"id":"Q1062977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472f58d8e6471b8f862703af9ce4e11ad5b64694","datavalue":{"value":{"amount":"+0.7879759073257446","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":"Q540403$28581CB4-3DEF-4D8F-8025-152D6B17AF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b23ec942dc13adfca3ea727d4bab83cf991e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5743058,"id":"Q5743058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0857611423ce84a38c6011d40bbae8ac0ca90b","datavalue":{"value":{"amount":"+0.7659899592399597","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":"Q540403$5F90F107-6FCF-42CB-AEF3-BC8F23C2C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff03f0ad5a678628eac201c2e58568be75085a1","datavalue":{"value":{"entity-type":"item","numeric-id":2111255,"id":"Q2111255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cf7c1ac83351efbe38d90e9dee5875a90b8b0c","datavalue":{"value":{"amount":"+0.7657814025878906","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":"Q540403$5186D03E-F2B3-42A8-80F1-2BCDB6137754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0cd368c4c47e9a3334ced6f7e2357f0aafd212","datavalue":{"value":{"entity-type":"item","numeric-id":397887,"id":"Q397887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d87e60d2489359f683d6a397413c56f593f716b","datavalue":{"value":{"amount":"+0.7644156217575073","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":"Q540403$703CDBCD-B798-4FB6-9D08-C23CB98679C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5789188c9c86c511a38fe7f35af1deb68af9578a","datavalue":{"value":{"entity-type":"item","numeric-id":1223443,"id":"Q1223443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c871053e1fd162778dda870800ed8e0e3d744b","datavalue":{"value":{"amount":"+0.7449316382408142","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":"Q540403$AD2771FE-B533-477F-8CEC-699E6D789B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Euclidean functions of computable Euclidean domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Euclidean_functions_of_computable_Euclidean_domains"}}}}}