{"entities":{"Q3153385":{"pageid":3164101,"ns":120,"title":"Item:Q3153385","lastrevid":80285600,"modified":"2026-05-06T15:50:52Z","type":"item","id":"Q3153385","labels":{"en":{"language":"en","value":"Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1824098"}},"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":"Q3153385$8BB08E4F-997F-4ED3-A587-66A89F413459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"430fdc7e0f762da35f1f4a7d02f14bc0daad9a4a","datavalue":{"value":"1050.14055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$6A33E046-EB45-4B9F-92F5-365C2A26C53B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3153385$2D016ADD-5674-44A1-B86B-301483C2183F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee783ee86e7ab91a1576dbe7954ff7f22ac339e","datavalue":{"value":{"entity-type":"item","numeric-id":2266748,"id":"Q2266748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3153385$FD526A31-3988-4490-AECD-EF2B2AFD7B41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3153385$072638E7-F0BA-469B-AAE3-5300B7F31AFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaf14d183faf00d1486021d71672c055f5731f07","datavalue":{"value":"https://arxiv.org/abs/2202.05504","type":"string"},"datatype":"url"},"type":"statement","id":"Q3153385$F161FE5A-8263-4E24-86E9-24F43D4A1F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$6A31C6EC-7AC3-47CA-AAB5-B559268CC38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$246E0C83-5BC1-4809-AA64-D0AB9313271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$69A970D1-D991-47C1-8517-B33C76666AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$8978C0A5-6843-4E0D-A2E8-45DBBE09FDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$1DC872E4-1F00-43C5-B398-346EF96536E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$CF2DE9A3-95AF-4C05-ACD2-076DE0174241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$D75CA8C1-250C-4594-B6C8-C5D201168496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a65fcf907416fbcfc7d1fc400b77c1f98eca339","datavalue":{"value":"1824098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153385$668C8F30-062F-4ECB-8687-98BD79404349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153385$8F8B90A9-96B2-4CA9-B433-D654AF9FB7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a7ce28e1af7609b2eaf998ed46ff5537ee68cf","datavalue":{"value":"Newton polygon","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153385$5D13EFEA-12A1-48FB-AD94-A87CB69FE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65a88374b423c584f92554d28c120cf1f6df921","datavalue":{"value":"generalized Taylor formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153385$D243996C-7F6C-4C0C-9FEF-9CE699389875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbbaa6f9a0bb4284f8c093e4ef764a323139f77d","datavalue":{"value":"generalized Tschirnhaus transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153385$6393BD4F-A27D-4990-8810-C955C9405A04","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":"Q3153385$3B7BA99D-B56E-4634-8692-F72F529247E7","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":"175002bb426a9592278ee7a01de35aac883ddb37","datavalue":{"value":{"amount":"+0.7994549870491028","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":"Q3153385$02A858F4-C31A-4F1A-8880-9854B2B462FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b36fdbf9ac4d904d23b02f53375ef156f36dd","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c8f2075eea9cd54cec7dd16c4c72bd3e53a19c","datavalue":{"value":{"amount":"+0.780501663684845","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":"Q3153385$FE5B4A9C-691E-4CC4-8974-6349FD2AE764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e089133e18c337574d39d66e8024f8adc95e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462c8030cc7b501374db56ee9229f843ff4b7349","datavalue":{"value":{"amount":"+0.779110312461853","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":"Q3153385$8C286F78-A31D-41A7-ACBE-42C7965BED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dabcbab1e4d1e7311caff28d84ce93acc6d4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5292667,"id":"Q5292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d843ffd8d4c348fc15da4b807757cfc3ab3332","datavalue":{"value":{"amount":"+0.7757794260978699","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":"Q3153385$9B1E8827-9175-4A6D-860B-050EB42AF22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc11c17d3e233e45ac3ad42707043fc751d3c62","datavalue":{"value":{"entity-type":"item","numeric-id":3708785,"id":"Q3708785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4747765b6f19ac4a17f8f6af0c754147118dc6b","datavalue":{"value":{"amount":"+0.7736907005310059","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":"Q3153385$9682D6B7-DC2D-4D28-AF37-CFEBEE011DB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Taylor_formulae,_computations_in_real_closed_valued_fields_and_quantifier_elimination"}}}}}