{"entities":{"Q1389175":{"pageid":1399915,"ns":120,"title":"Item:Q1389175","lastrevid":46927467,"modified":"2025-12-25T21:10:02Z","type":"item","id":"Q1389175","labels":{"en":{"language":"en","value":"Frontier and closure of a semi-Pfaffian set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1164320"}},"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":"Q1389175$2D7F25A1-ED80-4E2B-970D-95BAE70A238E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aff54f005d3893f879d32fa61803be550b536457","datavalue":{"value":{"text":"Frontier and closure of a semi-Pfaffian set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389175$5BA6F0D8-6E74-4685-BBA7-4FF3E7630DDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc81819a2ec2ae141b25065a8cfb7dd1e58c8238","datavalue":{"value":"0911.32009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389175$EBBEAA6B-E905-4ED3-A386-D58B2E12F8E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ef04b11b1829cc6a391442f08f7c60c34a5c759","datavalue":{"value":"10.1007/PL00009371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389175$0EB9BE18-B65E-44A9-9CDC-F820EDFDBFBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389175$704FED25-3B12-4D0B-9573-EBE5C2CF564E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74a7dcc6fa266a508e51192b94ce02b3c025b866","datavalue":{"value":{"time":"+1999-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389175$E4E4D838-F284-49D2-AFBD-001DB2F78800","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11302138ace815e4a35c45abc0932043e05b0824","datavalue":{"value":"The Pfaffian functions are analytic functions satisfying a triangular system of Pfaffian differential equations with polynomial coefficients. A semi-Pfaffian set is a real semianalytic set defined by equations and inequalities between Pfaffian functions.   The main result of this paper says that for a semi-Pfaffian set in an open domain \\(G\\), the frontier and closure in \\(G\\) are represented as semi-Pfaffian sets. The complexity of this representation is estimated in terms of the complexity of the original set. The proof uses some finiteness properties of semi-Pfaffian sets, based on the estimate of the multiplicity of Pfaffian intersections and the reduction to semialgebraic quantifier elimination. Some applications to fewnominal semialgebraic sets are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389175$7D5EC101-C301-4353-BA9A-DA91BD010FA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fd6a5e7d0dd9a9eea04f861ce223cd0c59a682ec","datavalue":{"value":{"entity-type":"item","numeric-id":381151,"id":"Q381151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389175$A606862D-955F-4561-A72E-1D53778A4ED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a101227a4f478aca34c828624731a8dd1439d84","datavalue":{"value":"32B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389175$61C482DC-1699-4745-8B7F-FD6761724263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389175$A747A61A-EF01-460E-95BB-D2A1AB95C180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a8dfe1513ffc7d30d18001da030ff3c1160d70a","datavalue":{"value":"1164320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389175$444EF957-50CB-4324-B098-7BB1802634A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa5fe7abc1aab5a08ddc2c2e53b1217d0d77c794","datavalue":{"value":"semi-Pfaffian set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389175$DEB943FB-C4AE-4FCE-A42C-ADF050D00B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae8219398956ae772a19231671a80f96b332169","datavalue":{"value":"semianalytic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389175$5EC39F9B-471B-495A-BC3D-4E89B297A77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa2dc69f01f2844495ec4429d8fdeebd9a75c52","datavalue":{"value":"fewnominal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389175$56480591-6AA5-4DDC-9A91-71DCAF281B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1083cbd987b138b7545fc2fd96fba317b5e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":220798,"id":"Q220798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389175$860FFDAE-366E-4E5F-8684-EF158F9D2788","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":"Q1389175$891680DF-97FF-4222-9A0B-72CBEBEC8285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33d79095381d98266415f9ced4e42ab522830fc9","datavalue":{"value":"https://doi.org/10.1007/pl00009371","type":"string"},"datatype":"url"},"type":"statement","id":"Q1389175$F746BC69-CC0E-42C7-BB53-C8B2CC4BC2A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"739eaae1e3e626f620490eeb223f149ad626a804","datavalue":{"value":"W2078682506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389175$630C34DE-A643-407E-B361-FD16865C7FCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3ce48e53e94ec060db5c11b7701ab68db4ec23","datavalue":{"value":{"entity-type":"item","numeric-id":4428717,"id":"Q4428717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047c799cf7879c0b17a2db05eaa9aca150f097fc","datavalue":{"value":{"amount":"+0.8446989059448242","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":"Q1389175$84BE6361-CCBD-4B51-83B4-FF1EB032D596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d9e9c3ce1285ab7a84b9cb2e49c1a2108b9638","datavalue":{"value":{"entity-type":"item","numeric-id":958241,"id":"Q958241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b360bf32b14d665ecd42fd1dfcac736733ba8f","datavalue":{"value":{"amount":"+0.8189509510993958","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":"Q1389175$A3BBCDA9-9BA5-41BE-997B-E826FE961495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c65a1b1fb6bdfbdc98354a3f4de46b8bd432a05","datavalue":{"value":{"entity-type":"item","numeric-id":1816872,"id":"Q1816872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdd15349c4b0b7e752ec2cff968c19339f61972","datavalue":{"value":{"amount":"+0.7933390140533447","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":"Q1389175$13DFA336-2FCF-4304-A2C1-F32D401300D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad60037b797d4c00d98c335ac3f4f0e56cc98a0","datavalue":{"value":{"entity-type":"item","numeric-id":1273827,"id":"Q1273827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f7c58607d54fb4972f8d72393740db697dbc11","datavalue":{"value":{"amount":"+0.7814083099365234","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":"Q1389175$397C790B-61D4-42CA-8FD2-8669D8661887","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1389175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1389175"}}}}}