{"entities":{"Q3069393":{"pageid":3080109,"ns":120,"title":"Item:Q3069393","lastrevid":86320832,"modified":"2026-06-03T18:35:32Z","type":"item","id":"Q3069393","labels":{"en":{"language":"en","value":"Fundamental theorems of analysis in formally real fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5841272"}},"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":"Q3069393$CD4A0612-D4FE-4DA7-A6D7-5BD2DBD40A34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f438a5647faed3aab662294945eca8935d8a81ec","datavalue":{"value":"1224.12012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069393$D0AEF853-2EA8-451C-B273-B020615D04EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"807f67c4a614f97522f555274a10398f5d76e5f7","datavalue":{"value":{"entity-type":"item","numeric-id":626914,"id":"Q626914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069393$5AC9A352-50FC-42F1-B5F5-80D0C322E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae55a7fded231c0b648343b90c79719febf456a4","datavalue":{"value":{"entity-type":"item","numeric-id":2350217,"id":"Q2350217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069393$E90C368B-0F12-4BA6-A318-5F3023EDE547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c02ac786d5c05750fbc2719c1632942525a38cc","datavalue":{"value":{"time":"+2011-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3069393$A84CB2F8-C543-4DC5-8A7A-C2F09D886BCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"211e5d76f32ea4ad392e9ddc7e14065ed0adbabf","datavalue":{"value":"https://eudml.org/doc/231669","type":"string"},"datatype":"url"},"type":"statement","id":"Q3069393$1605ADF1-87CB-4E6D-B444-86DDA01673BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069393$F12C6242-B69D-4DEA-B074-ABD8C3643B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069393$0D2C4340-4A69-425E-B654-14790C5AF269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069393$264A0FE2-7D8A-4C4E-9117-9A4547C6F8B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ec93c3eaac0440a2d079f5e9c756048f18b9ee0","datavalue":{"value":"5841272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069393$026C5EB0-596A-46AF-9B78-EC39ED304B14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706db0629293df00b3b7fba0af5249b98cda66b5","datavalue":{"value":"formally real field","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069393$C736FF59-1E00-4ADC-A4E9-5D65F7FC3BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069393$FD8658E0-78EB-49B0-8628-E1CDCC617015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f3d778fa2fb2222339089d45252c16d92a93d4","datavalue":{"value":"elimination of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069393$A7AA80D8-FEE9-41A6-A881-0CF45CDDD298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eeb41c93533521fe72a94460670732c288ade42","datavalue":{"value":"fundamental theorem of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069393$8D8D476B-0768-4868-8C05-8D6912364479","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":"Q3069393$10F8EAAA-1354-4E9E-96E6-5477113DABA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05231a1d6b81a8d82e1c81ffb17b84491865dc1b","datavalue":{"value":{"amount":"+0.7669557332992554","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":"Q3069393$C623B747-F78C-4140-9A0A-D34F0A0236EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7595dae6f0ea9ade2c3ad755410b80394ecb052a","datavalue":{"value":{"entity-type":"item","numeric-id":3486552,"id":"Q3486552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19970dfab1533e68ad74fedc3883dd05c797e1f8","datavalue":{"value":{"amount":"+0.7616738677024841","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":"Q3069393$C09B0C8D-B297-49DF-B7B0-E2F05EC38BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4483a1705d4cd5a03334083e7e238f94b643baf","datavalue":{"value":{"entity-type":"item","numeric-id":5111613,"id":"Q5111613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331bd30e189244251773e89ef75e4ab83c54804d","datavalue":{"value":{"amount":"+0.7474179863929749","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":"Q3069393$69128FF4-0901-414E-882B-EB597B4C06F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0311581c877afbb1303f65ab1dde1f2a1d324b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4180416,"id":"Q4180416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d0642e32415169fc6cb9c4370d9901f37060a9","datavalue":{"value":{"amount":"+0.7469607591629028","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":"Q3069393$9D150B88-C24B-4D27-B950-1A5BAC19AFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a315925c411fc92cc879f7f121c0b24f9681102","datavalue":{"value":{"entity-type":"item","numeric-id":4258708,"id":"Q4258708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcf872191b14bfdca6f3c20d0f2f6f87aa330a1","datavalue":{"value":{"amount":"+0.7445178031921387","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":"Q3069393$EB4D231F-CE8D-432D-B979-87E9D86D728E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamental theorems of analysis in formally real fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fundamental_theorems_of_analysis_in_formally_real_fields"}}}}}