{"entities":{"Q6122406":{"pageid":13256713,"ns":120,"title":"Item:Q6122406","lastrevid":93978824,"modified":"2026-06-05T05:35:19Z","type":"item","id":"Q6122406","labels":{"en":{"language":"en","value":"Decision problem for a class of univariate Pfaffian functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811707"}},"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":"Q6122406$BD5F228E-8266-494B-80E9-01947ED90990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e9f03eacb7bfe73d8940f846bf58eefb2122a09","datavalue":{"value":{"text":"Decision problem for a class of univariate Pfaffian functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6122406$E6FEA42A-CA75-42BF-A1A1-48E9098D7BA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2bca6d24bfc6165b27814b6443d53e6a7c7c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":250253,"id":"Q250253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$BB4B79B3-E856-4C5E-875B-CAA95CBEA6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fe1084ec857683a7ac32fede078ecbef17f5a0f","datavalue":{"value":{"entity-type":"item","numeric-id":250254,"id":"Q250254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$EDEACFC0-8FA8-4332-B322-1F680EB28628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7384f5e7f23228cbddb797ad0ee1a037f50b935b","datavalue":{"value":{"entity-type":"item","numeric-id":250255,"id":"Q250255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$C93DE543-0C75-44C8-A2D9-9E5CBA81013C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$C4E9210A-BD54-4F7B-9A5C-D18E5747013A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b4f8179f4c5af9d5e23c2be86ce4f3fdf855100","datavalue":{"value":{"time":"+2024-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6122406$D541970E-2C07-4EB3-9EE6-9AD97AE5A86B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"591fd4f04f508f148931465b8767605e78de11f5","datavalue":{"value":"https://arxiv.org/abs/1905.10882","type":"string"},"datatype":"url"},"type":"statement","id":"Q6122406$25A55FA6-E7B2-48F3-9903-F0A13EA9C270","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f45056db895d63b3c77e660c29fa37a6a804392","datavalue":{"value":"Pfaffian functions, introduced by \\textit{A. G. Khovanskij} [Sov. Math., Dokl. 22, 762--765 (1980; Zbl 0569.32004); translation from Dokl. Akad. Nauk SSSR 255, 804--807 (1980)], are a class of analytic functions that fulfil first-order partial differential equations with polynomial coefficients. To elaborate, consider a function \\(\\phi\\) that satisfies the differential equation \\(\\phi'(x) = \\Phi(x, \\phi(x))\\), where \\(\\Phi\\) belongs to \\(\\mathbb{Z}[x,y]\\) and has a positive degree in \\(y\\). Given any polynomial \\(F\\) in \\(\\mathbb{Z}[x,y]\\), the expression \\(F(x, \\phi(x))\\) is called a Pfaffian function associated with \\(\\phi\\).  Suppose \\(\\Phi\\) represents a quantifier-free formula in \\(x\\), incorporating Pfaffian functions \\(g_1, \\ldots, g_s\\). The main result of this paper is the existence of a symbolic method which determines the truth value of the statement \\(\\exists x\\Psi\\) in a real interval that falls within \\(\\phi\\)'s domain. Additionally, this paper delves into the complexity associated with this procedure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122406$F7F04821-9FDC-48C9-8F0A-6B58DE309E86","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a3cb3302bfe70372bd6624bf5334e81c39ef3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$EE9F83A0-FA84-4669-B68F-8D6ACB9C49C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122406$BA169238-AF96-4AC9-8F77-FE43780DCEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122406$90D7F66E-6EF3-4EB8-BFA5-48DB81184C01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aba01ea03a7f12efdcfed6678e3c49b9c48b704","datavalue":{"value":"7811707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122406$918E76D3-FFBA-4A95-B912-F6BF6B181B99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469425262a3c26dde950474af8b56a7bae078d24","datavalue":{"value":"Pfaffian functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122406$8DC58A7D-751B-43BD-914E-A454A4306752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029bee5706814bdce9cbe610d9a5f7c5fb71e0fc","datavalue":{"value":"Sturm sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122406$575E4D3F-CB53-4B45-ABDB-B7D9F7E1D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122406$D53AEC47-97F4-4738-8143-7E004AFFBA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122406$F1B2CAA8-94E8-4982-89EE-7596A79E0ECC","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":"Q6122406$A3E922AA-5419-44A7-9367-5D3601A91A82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbaca4df3ba50b640ab94e0a26cb39b5b02ddeeb","datavalue":{"value":"W2945709428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122406$80D9FBDC-D120-4FB1-8413-59281EB909F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96e18641eef658ac26bf8b0bb22104ca3babd2b","datavalue":{"value":{"entity-type":"item","numeric-id":3686991,"id":"Q3686991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$9BFA3622-FB99-44CF-B7B7-D65EEF2D0A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cae6ca1463198d98eb8ba22f8ecce3a406dee0b","datavalue":{"value":{"entity-type":"item","numeric-id":3999699,"id":"Q3999699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$C0E4F99B-C9DB-4FDC-81D0-9B461D9C565C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$2EBD4203-DA25-40E5-91F4-6641EBB475CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa787e4915ad607f6ca97135e7d28e1fc627e441","datavalue":{"value":{"entity-type":"item","numeric-id":3710508,"id":"Q3710508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$B0BC8EF6-C816-49D2-AA41-B1FBC96907A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$EF376B52-50F5-4F32-9160-EF06AD003A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be77628ba99466a802aea92c6ce3b2f8d0b72cb","datavalue":{"value":{"entity-type":"item","numeric-id":4237405,"id":"Q4237405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$AAA5E265-951F-499F-8DDF-086CD8B4E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673342e6ebebe287f836b48606b1f358797dc37a","datavalue":{"value":{"entity-type":"item","numeric-id":1190747,"id":"Q1190747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$43886491-1861-4191-A014-7FFE189DE6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9284e78ac4337a1519d07a5b14599cc47874b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4232499,"id":"Q4232499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$A230D92C-CEF6-45C0-A378-BF4F61010032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f6718e979f572917e49257118fb36a14d4bf9f","datavalue":{"value":{"entity-type":"item","numeric-id":3454738,"id":"Q3454738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$8710CCFE-8DB8-497C-9149-F5259376AAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31774f5e01d24eaec86b759292d001967350103","datavalue":{"value":{"entity-type":"item","numeric-id":2702031,"id":"Q2702031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$4D5F9F45-589B-4F0C-9A3E-70AC54409182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbbb64e50a144e5987dd7707ae965d849d78b04","datavalue":{"value":{"entity-type":"item","numeric-id":5301626,"id":"Q5301626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$9E899413-7864-4DE8-AD8E-517B8F9AD859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c2e523e593ce83ef5ae33b6eee17f92da1f228","datavalue":{"value":{"entity-type":"item","numeric-id":1332661,"id":"Q1332661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$316F1820-E148-4E4D-8907-431362851324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9284012cfeaa340d0f849c5b0590734822121e5","datavalue":{"value":{"entity-type":"item","numeric-id":654031,"id":"Q654031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$1929DEC2-CD90-40C4-9D45-E069DE2FC31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9055eb1608fb14a849fccd0098acb8815aa2c2","datavalue":{"value":{"entity-type":"item","numeric-id":480651,"id":"Q480651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$33705331-2155-4FC5-A040-837FB34E490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1f7533bddc55d632380fbd00c4c7ed767b0135","datavalue":{"value":{"entity-type":"item","numeric-id":5964515,"id":"Q5964515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$F7D25FF4-9492-404C-AC53-46B776326042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb70003d572f011d29d7330c5ab7161792b42c1","datavalue":{"value":{"entity-type":"item","numeric-id":2457383,"id":"Q2457383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$D32C1558-B8C2-4C18-95E9-0FDECEDEEEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7e5d78fbfbba385ec9564dfafb26ee0ef28411","datavalue":{"value":{"entity-type":"item","numeric-id":4168679,"id":"Q4168679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$EA5E0368-28B2-4AA7-9077-BEAE9F6D29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0543f1e8c81032cff0b481c190929fef1b006bd","datavalue":{"value":{"entity-type":"item","numeric-id":4406533,"id":"Q4406533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$E32A95B5-813D-4718-B9D5-EF177EDA1E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$9440B883-000D-4BB0-871E-B7B61E399B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d688468eb2199c674e38ecf5ec6f2931ed8d0","datavalue":{"value":{"entity-type":"item","numeric-id":638542,"id":"Q638542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$E4BEEFD2-775E-4AC3-B05D-D1C339F41BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94af4b398439d78f99f728572ea461069cbeaa2e","datavalue":{"value":{"entity-type":"item","numeric-id":5633582,"id":"Q5633582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$77A45EE8-F498-45C2-8308-8A891DFB6E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d05caedf1a345d5e708362edf868127bfcf35","datavalue":{"value":{"entity-type":"item","numeric-id":3140551,"id":"Q3140551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122406$EF4C0CC5-6BC0-4321-BD99-C988065D67D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c4074084575aba7c6d74f966092175a3b02b498","datavalue":{"value":"10.1007/S00200-022-00545-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122406$74D95903-C21C-481A-9116-87A5E09E7C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e65279db5ecce55bcf079b102bc9f119f3a11b","datavalue":{"value":{"entity-type":"item","numeric-id":5964515,"id":"Q5964515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21d3baac05ca9a20b5b39b5cdb138edc2f16ae1","datavalue":{"value":{"amount":"+0.8432667255401611","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":"Q6122406$92A320FF-EBC7-4EC3-AAC5-F81FB9E3D653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3341ba81fe424c4ba7fd657aa05a7ef98dc154","datavalue":{"value":{"entity-type":"item","numeric-id":5292666,"id":"Q5292666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a42e7bdc35ede2ff563b3828d52cd1d7f0373b2","datavalue":{"value":{"amount":"+0.7325330972671509","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":"Q6122406$31094701-C831-4BEB-ACA0-D00935E7C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3653ff3b726f70c41f933c066f407dc2d5ce8a","datavalue":{"value":{"entity-type":"item","numeric-id":4724607,"id":"Q4724607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8281e4ba8cd45e5ef95a2da7afd1a9daa2543611","datavalue":{"value":{"amount":"+0.7276343107223511","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":"Q6122406$307BCF1C-7EFF-4CE6-9EF1-6C59AD64149B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3c1750c9463042ce331b63394c1d476fcce41d","datavalue":{"value":{"entity-type":"item","numeric-id":654031,"id":"Q654031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345999e12d0023b4ab75688b93aedab7c6b5ca88","datavalue":{"value":{"amount":"+0.7256129384040833","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":"Q6122406$A854C4D4-FA2A-4ECE-8AB0-5A5007FD29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed404d5383d29b9625796a21fba566b470a01ea5","datavalue":{"value":{"entity-type":"item","numeric-id":895975,"id":"Q895975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492e0bfcf44f3a5437ad9eb691203c9052bdec7c","datavalue":{"value":{"amount":"+0.7239518165588379","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":"Q6122406$5BC74CE4-EA89-453E-9130-308EF558CA69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision problem for a class of univariate Pfaffian functions","badges":[]}}}}}