{"entities":{"Q4813802":{"pageid":6843382,"ns":120,"title":"Item:Q4813802","lastrevid":74876721,"modified":"2026-04-15T00:47:24Z","type":"item","id":"Q4813802","labels":{"en":{"language":"en","value":"On Diophantine definability and decidability in some infinite totally real extensions of \u211a"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091196"}},"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":"Q4813802$D6BCCAF6-2BED-49AC-BAC6-2DE29890E705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42cb3e0c1bd0abdb99d83fe0f103393a1fcfe13c","datavalue":{"value":{"text":"On Diophantine definability and decidability in some infinite totally real extensions of \u211a","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4813802$CADBF17C-F9E1-4EC1-958A-469B5E04ACA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca360938d6acab6f22be4033370dcce3d6a36142","datavalue":{"value":"1052.11082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813802$4EE47F49-C0D2-45DA-99BE-F0B6E6B8BD99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29406d48263d3e2f64d59e82b07af8d8e364b9c0","datavalue":{"value":"10.1090/S0002-9947-03-03343-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813802$DCB22C3F-A4D5-4431-9A28-D24E2AE19AB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b618afc0da1e585f627b766ac78978b03311b47b","datavalue":{"value":{"entity-type":"item","numeric-id":204234,"id":"Q204234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$559064B1-C44D-4C1C-A4C4-EC99C75A9F3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$ABF67E13-4772-46D5-B744-547B970B204D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9795cb0c9a94f1d13e079b8c212829a7c382d6b6","datavalue":{"value":{"time":"+2004-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4813802$8B5ABA86-0E55-48E4-BAB8-D422819E72F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813802$FC02378C-11A7-4C9F-B1E4-A4D5BE164DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813802$BCFBDA72-F3CF-41D2-94D3-D9BB43657882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813802$4FCFFD9A-DA5B-48D4-80C5-A7EE011DF11F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d72d258882238584137c2e6c0c5a7998a4fdfe5a","datavalue":{"value":"2091196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813802$83170872-9C07-41DF-8211-EE2A93B920B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813802$EB11CF39-9588-40A9-BAD3-0CC14C98F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c5d70993181bfb9cd60bc3c33906619f1672fa0","datavalue":{"value":"Diophantine definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813802$3C85B9DA-B513-43E7-A15C-C188BE2CA4CB","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":"Q4813802$B1AB7C75-5B64-48B9-8A22-9B66EBF7F785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96c62e407a5780b458dfcde10a885f87af1c0b5","datavalue":{"value":{"entity-type":"item","numeric-id":4888847,"id":"Q4888847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$1A7EA078-E0A2-461C-9243-E7DD1EE12D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1205065f4c8cef117971c965c99a5bacd832ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2715538,"id":"Q2715538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$7A285505-2142-4ABC-A879-9485139C3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$2B32BE67-E8A1-4B8C-BBAB-282238A73BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59deb3a88224e9b92508beef26210bfd35f660a8","datavalue":{"value":{"entity-type":"item","numeric-id":4087160,"id":"Q4087160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$E6F70A4F-F86B-4EEB-A960-2F84DD15E302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76175374e32b684b9a5615ab34f0ab25ae263821","datavalue":{"value":{"entity-type":"item","numeric-id":3861509,"id":"Q3861509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$D01F72B3-BF1F-4125-84F8-9FD0549F8417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29066185f26d92c2e819dde5133ac7e404af196b","datavalue":{"value":{"entity-type":"item","numeric-id":4182610,"id":"Q4182610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$914F4B05-DBC3-4512-9924-1A1EDD0D67BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49767049c87a9348a0f145dab2f97a5504ab989","datavalue":{"value":{"entity-type":"item","numeric-id":1894971,"id":"Q1894971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$BAA22A5F-F241-431D-B1EF-E0A71970A051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d41c519bab633f1cf2c93e6ba952c7aab0ccbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4382917,"id":"Q4382917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$B884411D-02D9-4FCB-B5CD-27EE4FD1BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b95f8c1669127299cb5f5db5cffad8f2dce9588","datavalue":{"value":{"entity-type":"item","numeric-id":4022705,"id":"Q4022705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$712697F6-1AF7-425D-A954-CFE4885EAC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230bdc074c9248486e219e4156d286e55f985db6","datavalue":{"value":{"entity-type":"item","numeric-id":4302339,"id":"Q4302339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$A992B0C2-FB91-4B6D-8009-2B4B704BF346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e8eaa404aa044b37bbc4928345cee9a04c4fa4","datavalue":{"value":{"entity-type":"item","numeric-id":4838352,"id":"Q4838352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$2CF46709-EC28-4EDE-9748-D213355B3204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc6e3e6916a73eb2cc671d34a25bf7a72978943b","datavalue":{"value":{"entity-type":"item","numeric-id":4952444,"id":"Q4952444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$89EA2BE1-2930-43D9-BD5C-C8CEA5C883E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cae23c4c5ab95a73c853989d586eeafdd836834","datavalue":{"value":{"entity-type":"item","numeric-id":1960724,"id":"Q1960724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$C5BEA933-1295-48CD-85B2-D92EC6DE6FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407186c928308a6e7f7f2f19727dc73697d920b3","datavalue":{"value":{"entity-type":"item","numeric-id":3474742,"id":"Q3474742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$B0865E5B-14C4-4455-9883-B5EA10BFECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90dd532426424da135d0829e5bba05724ad46abf","datavalue":{"value":{"entity-type":"item","numeric-id":2715537,"id":"Q2715537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$534B53D5-7014-4847-B8DC-DEB4A395309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce7a78297f792cb35082821bf9680d64c556351","datavalue":{"value":{"entity-type":"item","numeric-id":4419573,"id":"Q4419573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$31458262-BE49-4920-A51E-22DE60A1A612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0585acb31595d6a980522f7f86737ea179f8f52","datavalue":{"value":{"entity-type":"item","numeric-id":4737473,"id":"Q4737473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$C99F9177-D962-4A1F-9033-DD1336FB76FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$2E31382B-E0A1-4CEC-8273-9D5E9809AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef439a3ec7e18fb2994f6fa506fb395e40d2eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3281069,"id":"Q3281069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$C4CA509F-8764-4A28-8DD0-DF8A9AC38620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8ded4f4abd9ba16b382876d5b6b2dd1a68fc43","datavalue":{"value":{"entity-type":"item","numeric-id":3704002,"id":"Q3704002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$E018C272-E244-4D17-9C25-BD176A2281E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d288e748a9e254eb61e2cf57829218aaafaac0","datavalue":{"value":{"entity-type":"item","numeric-id":3475354,"id":"Q3475354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$D523231C-0B95-4B9A-8DDD-59C446688855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3b2c817ccd82ff1792c4f955a7b3ffd5977af5","datavalue":{"value":{"entity-type":"item","numeric-id":3470574,"id":"Q3470574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$41F09105-6BED-4987-B69C-D8AAA1647E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74d91130a1f9a77194ce2b6a85b8db0ec5a9789","datavalue":{"value":{"entity-type":"item","numeric-id":1336465,"id":"Q1336465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$E4E7FB6F-201A-4C5D-BDE1-A7965073660F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4a9f459658a1ed8388a76868d1567f595ed2ff","datavalue":{"value":{"entity-type":"item","numeric-id":1365349,"id":"Q1365349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$77FE72A2-2A04-44E1-B9D0-A7CE50F148D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c85b6fbda0b60138ba52df9bb2efc3aa65e7f7","datavalue":{"value":{"entity-type":"item","numeric-id":1974973,"id":"Q1974973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$FF509D64-C9B9-47FE-AB39-355DEB7A3068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd30bec403ea2b4f023bfae2de1a8c9a079ce981","datavalue":{"value":{"entity-type":"item","numeric-id":2715530,"id":"Q2715530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$68DA132F-CEFE-4EF1-A2D8-945869EFD374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c92c034147766e11a71a21e24983323d245fa9","datavalue":{"value":{"entity-type":"item","numeric-id":701108,"id":"Q701108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$22E66EA8-4587-4F2D-BEE4-36B8D7811DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a39be37c517ba2321425377d961a6fe6b150e0","datavalue":{"value":{"entity-type":"item","numeric-id":4779941,"id":"Q4779941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813802$18A4A869-8A49-4BED-8B2F-85F0371EC162","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f63327d906e14016ddbfe6ac9f496f13b1c1f88","datavalue":{"value":{"entity-type":"item","numeric-id":701108,"id":"Q701108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef8d7c126bfd632c3667398358e26c8a3606b4b","datavalue":{"value":{"amount":"+0.9022296667099","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":"Q4813802$A5060717-7543-4ABC-8998-51F9E30C2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff283777de7833f03c4d70b7fdb1dc37758a9808","datavalue":{"value":{"entity-type":"item","numeric-id":1365349,"id":"Q1365349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1817eb442d32190d48a8b7d2f357c8c313b7a60b","datavalue":{"value":{"amount":"+0.8755011558532715","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":"Q4813802$F063BF91-ACDC-44E9-96A8-79A704DF6A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a58c36441569f2e973c524dc0fd8a0f127dcac","datavalue":{"value":{"entity-type":"item","numeric-id":1331916,"id":"Q1331916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a95ca5f26de34c2b6f1ae17eb6344f3e98f38f","datavalue":{"value":{"amount":"+0.8639404773712158","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":"Q4813802$D9CCAD5B-CA55-47E3-9413-AF582D4277CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fea6a0778d5f3d07bc698b32b30c6900652ab2e","datavalue":{"value":{"entity-type":"item","numeric-id":2370285,"id":"Q2370285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97da453710c4955ea5750a6e5905b018c273b0b","datavalue":{"value":{"amount":"+0.8588585257530212","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":"Q4813802$B39959E0-D1CD-4FF9-B360-CCAFDEC7708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b384febe5181e049ac14a9d5633ce84a920ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3149994,"id":"Q3149994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e938dadbf43c6f8b4506f6fef5c1074c19ee45","datavalue":{"value":{"amount":"+0.851694643497467","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":"Q4813802$D87858B2-81CF-4268-AFCB-23B631723D86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Diophantine definability and decidability in some infinite totally real extensions of \u211a","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Diophantine_definability_and_decidability_in_some_infinite_totally_real_extensions_of_%E2%84%9A"}}}}}