{"entities":{"Q2795910":{"pageid":2806648,"ns":120,"title":"Item:Q2795910","lastrevid":83417786,"modified":"2026-05-07T07:39:10Z","type":"item","id":"Q2795910","labels":{"en":{"language":"en","value":"A fundamental dichotomy for definably complete expansions of ordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559643"}},"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":"Q2795910$C7519380-61D5-48CB-87E2-57137E151FED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dd073d2877ce2a0f627be7697afa29f890bd1da","datavalue":{"value":"1373.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795910$988BFD13-B6F4-4094-9099-9B212C20AC9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a37e4580e7c2c2112bcae252534e467de5f63583","datavalue":{"value":{"entity-type":"item","numeric-id":351836,"id":"Q351836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$0E02CC03-C504-4729-8B39-1E7F2BD93644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a6f0ee0d8d4751322bc016f613d455675594792","datavalue":{"value":{"entity-type":"item","numeric-id":1650002,"id":"Q1650002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$E2CD875E-B61B-4A91-B3F6-36E0CF5A19C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"545d359c3736dad746c8015ce9f1a04448d43829","datavalue":{"value":{"time":"+2016-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2795910$78AA727A-94B2-4CCB-A2AB-7E5DE7F73436","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c804825d6473e779f39d9cf0d3a19f0149695beb","datavalue":{"value":"https://arxiv.org/abs/1305.4767","type":"string"},"datatype":"url"},"type":"statement","id":"Q2795910$9074BE5A-1C24-49BC-9ABB-E2B89637EA3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795910$7B2AC710-CF64-4B42-B40F-0B5CE2DBFFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795910$6E566D3D-7F36-4EFB-8E03-EE1780E05924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22118855b911f2a3165efbea401e35a572c8281e","datavalue":{"value":"6559643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795910$46CEF1BC-53AB-4088-8377-253C1A109BF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c69a98ad4b30d855f0a0cf6b8b6d075d80b7ed","datavalue":{"value":"definably complete expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795910$89BACBD6-BC6B-44D2-8729-6E90A1403A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795910$2E0FF30A-FED4-4BBC-932A-51F4105B31D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a240260c8a706391d4fc616c4d1d3a7c03bc5d47","datavalue":{"value":"Lebesgue's differentiation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795910$C34EBE8A-D604-44C8-A345-A5D69B74D242","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":"Q2795910$861E6659-3741-45ED-9B2E-B896B7733C4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f37b13a2de7892cb7e7afdeca16b8ea303c9948","datavalue":{"value":"W1549663977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795910$53BE7C73-8D6B-4E0C-BFEF-8B0F1BED0C28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd39f8dec323c90c8eea5bf7358c9e6f4c42eef","datavalue":{"value":{"entity-type":"item","numeric-id":3098908,"id":"Q3098908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$1A363CD2-5709-474A-A4A9-459E86F90A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58688b45ccaab233ac12e649e8c815893eb105cc","datavalue":{"value":{"entity-type":"item","numeric-id":3566681,"id":"Q3566681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$D5A9B147-7889-4952-A740-8310B1DCA9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4995aa6d2e2d8fa8672215c79d36390a98542bfe","datavalue":{"value":{"entity-type":"item","numeric-id":3066707,"id":"Q3066707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$9CB625A3-0AB0-41A1-A360-C55132936D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb4fb017993d9a74189335841cd50d264c90215","datavalue":{"value":{"entity-type":"item","numeric-id":634773,"id":"Q634773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$3DD173ED-36AD-4354-8DF9-2FC38314DE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070f50f66851de35961c4bb6f2a59f5c2791e874","datavalue":{"value":{"entity-type":"item","numeric-id":5620774,"id":"Q5620774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$F455D342-B401-4A65-AC59-55BD3B3E5A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a20cdcb1012f84268ccf9333feac03fa3451d","datavalue":{"value":{"entity-type":"item","numeric-id":4950472,"id":"Q4950472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$00B3C768-1CF5-431A-A2D5-428F5CA388C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca2a8117263a62a9479cc65dfed134465826bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1935863,"id":"Q1935863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$05DD137B-DD79-4E13-814D-88423EDCD8BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc8e9d0a2f4e60768d92e3c33a71dc57d5255c2b","datavalue":{"value":"10.1017/JSL.2014.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795910$E93B03D0-1C56-457F-BBD8-7467D11BBF20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"964831fd22e2b51485fc4e79cfd9d62fa1749952","datavalue":{"value":{"text":"A fundamental dichotomy for definably complete expansions of ordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2795910$F2F5D72D-B9DD-4CF2-9D2A-47A9AFFDB8F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795910$027D682D-0F5B-425C-9914-C80D2B0A7370","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99dd4ce2903b3d24038e802202a80be286c8414d","datavalue":{"value":{"entity-type":"item","numeric-id":4908285,"id":"Q4908285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc5b288611647ba0ee2b8006fbeeab4c418dd92","datavalue":{"value":{"amount":"+0.8169140219688416","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":"Q2795910$5B314C37-AE1F-461E-88A1-32F3C58C2421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804dc680bc4a051192324746f79034e6f29514a7","datavalue":{"value":{"entity-type":"item","numeric-id":3098908,"id":"Q3098908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bece871e36c8ecd1b79c6ea23f81c5a8b7bbfc","datavalue":{"value":{"amount":"+0.7870941758155823","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":"Q2795910$EC2FA5C2-9DFF-4F22-8A47-CE405CA9BD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c900959e0a64b34c44988b161558e6b783e0339","datavalue":{"value":{"entity-type":"item","numeric-id":4916554,"id":"Q4916554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450c7243c43ccb233c0eeccada8a81976ef57e27","datavalue":{"value":{"amount":"+0.7764914631843567","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":"Q2795910$F76619F4-1CFF-4BEE-91C7-07CC41151B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301dd47e80f8373778deb51122e8cd1df71b72b","datavalue":{"value":{"entity-type":"item","numeric-id":4798205,"id":"Q4798205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944372cffc2afb72f8b15fee040fe57518c09b0c","datavalue":{"value":{"amount":"+0.766964852809906","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":"Q2795910$8B116AC4-021C-417C-A64A-B717A2BF0B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56ec707a4bd1e15939de0b833a457bb135b5038","datavalue":{"value":{"entity-type":"item","numeric-id":3066707,"id":"Q3066707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f2796e6a03627622e3d0441fca8a3d8a5826df","datavalue":{"value":{"amount":"+0.7558584213256836","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":"Q2795910$E6CB1D66-8E9C-4444-AA06-66A064A53FEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fundamental dichotomy for definably complete expansions of ordered fields","badges":[]}}}}}