{"entities":{"Q512139":{"pageid":513906,"ns":120,"title":"Item:Q512139","lastrevid":62389701,"modified":"2026-04-11T05:45:38Z","type":"item","id":"Q512139","labels":{"en":{"language":"en","value":"Definable types in the theory of closed ordered differential fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688539"}},"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":"Q512139$9C872873-4EB0-4D0B-9815-898A4286A48D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab1bb552422a94ac010bdaea5cd85b65227eef7e","datavalue":{"value":{"text":"Definable types in the theory of closed ordered differential fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512139$C4112E21-10BF-475B-8F17-9CA051AAD0FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0880838c89a7a133a1dcf60755df293573360e00","datavalue":{"value":"1421.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$02D96AED-8143-4A83-B02F-2A0DCE551746","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31323a171b91de97f7fd3f5ff563be7df0514b5d","datavalue":{"value":{"entity-type":"item","numeric-id":512138,"id":"Q512138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$27DE719E-E481-4745-8E1C-3470D5296266","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$E3DA006C-82AE-46C7-A7FD-DF56BBAAA3F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0603ea18d9047924c49ed7d920a19ba7519108b","datavalue":{"value":{"time":"+2017-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q512139$53E6DE32-735A-4214-A12A-F0C6D344BFC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$5C387692-F0C8-47B4-A621-45779BCA1455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$D3FB387C-1EF3-441C-99E1-FB2FABFBC765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$2E17EAF7-97AD-4807-BA28-2C18E29D0DED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9839efd15376b41e3f5ce4ae895605848d2d089","datavalue":{"value":"6688539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$A8E7341F-01D9-4AB3-AB92-A6AEDD8CDB28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8777968e7d5de940edcdf94aab2b22f41311e1b2","datavalue":{"value":"definable type","type":"string"},"datatype":"string"},"type":"statement","id":"Q512139$EBD28147-CC11-4FDB-93AD-B6D1C2930F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c7c3b47c558214484bbd2bf46faeaf9ce2b77a","datavalue":{"value":"differential field","type":"string"},"datatype":"string"},"type":"statement","id":"Q512139$9C57E012-BA07-4B8D-B30B-64183D8FDCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q512139$23B34F4D-FAFD-4890-AD92-A33F3D38A1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2820518cd727278e0922ec1bd0ef1d0f26008c0f","datavalue":{"value":"Dedekind completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q512139$83222612-FB41-4F57-9C81-170A0AA6D859","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":"Q512139$235820E7-EBE3-400E-99E5-2BF9E6FF9556","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89410fb808bc56122ff1344ce0cb602d03baf8b7","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0517-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q512139$29A2E34F-A825-4B48-9BFB-64AB36EAD07E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ff0f610d3200dce72f5a35c34974245fc982d42","datavalue":{"value":"W2555486816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$53E4AF43-F569-456D-B561-93C83FF1DB35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f659efa9dd0a67ca7a1fe0e9b74fa18525c66ab1","datavalue":{"value":{"entity-type":"item","numeric-id":512139,"id":"Q512139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$58D43E9B-5F0D-4ECA-85B1-2EF669B69EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59019840e23d38f21b56848b08c211e979e93f36","datavalue":{"value":{"entity-type":"item","numeric-id":5202999,"id":"Q5202999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$7CA30D7F-611F-456D-8F6A-B497E039C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056bb59256f7fcf91ceb7bd4452e7aa2b157db19","datavalue":{"value":{"entity-type":"item","numeric-id":640880,"id":"Q640880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$08B761C2-8CAA-4F60-9B05-FAFEE1E4125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c8702eab74ef20dcef4b388d42a0118b50603","datavalue":{"value":{"entity-type":"item","numeric-id":3376481,"id":"Q3376481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$732CF393-99C8-4A19-890D-A870EDD23B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6399115103281a795b20a489b445a23c09852f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4292603,"id":"Q4292603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$A4644061-A378-42A1-B3B8-BADBEDAD6063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03be3adb5336fca7c864a426ce7e42484a9ab44b","datavalue":{"value":{"entity-type":"item","numeric-id":4323051,"id":"Q4323051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$2AA9B393-89DF-44BD-AFA8-7033D7E12CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7888b77e215f6b1c77da54febbf7c64f35b2fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4179009,"id":"Q4179009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512139$EAD18BCC-323E-4977-BCFF-7FE7DCF80585","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0194e690a38b8ed4afd10d480f292c7e8c965db","datavalue":{"value":"10.1007/S00153-016-0517-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512139$6F63ECFC-6E56-42AD-B265-95C84804316D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6aee306b72b2336a438466282365328beafee0a","datavalue":{"value":{"entity-type":"item","numeric-id":5195059,"id":"Q5195059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11aa4d2b8e4039e0f618378d289031c2e89537e","datavalue":{"value":{"amount":"+0.8784485459327698","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":"Q512139$C0A94A31-DDB8-4A79-94BB-985BD255F5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590361b517eac2e4e25e1f00f7316266bcd54eec","datavalue":{"value":{"entity-type":"item","numeric-id":5485485,"id":"Q5485485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a738f6711ff20b48a94d54d11c0fb95a88d39f","datavalue":{"value":{"amount":"+0.848452627658844","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":"Q512139$D56F21EE-DF95-4397-B8D6-FA63CE7F973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e3e1ee71b58200d52459519dda522bfdb1c130","datavalue":{"value":{"entity-type":"item","numeric-id":640880,"id":"Q640880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f99b154693e0d58722a9d6d1edca855a509f1aa","datavalue":{"value":{"amount":"+0.8195790648460388","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":"Q512139$915BEE20-994E-4EDA-8038-BBF0D4F6DD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7887a23d159dc6ac67da62c9cc66566f44a67233","datavalue":{"value":{"entity-type":"item","numeric-id":4994917,"id":"Q4994917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663d6b95c98be28f2ab71a54e9e74737194e2e45","datavalue":{"value":{"amount":"+0.7767794728279114","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":"Q512139$E06F3D3A-C80F-4AA5-85C5-29ECD7E90AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c60873e606840c2d5a86dfc420761e3df8edf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4292603,"id":"Q4292603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3e6ff1f83e0be4cd5aab66d64e83e24f3c3634","datavalue":{"value":{"amount":"+0.7674593329429626","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":"Q512139$4375D719-630E-45E3-95B5-DFB2B9EE9A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definable types in the theory of closed ordered differential fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definable_types_in_the_theory_of_closed_ordered_differential_fields"}}}}}