{"entities":{"Q1277004":{"pageid":1287754,"ns":120,"title":"Item:Q1277004","lastrevid":70547301,"modified":"2026-04-13T15:23:16Z","type":"item","id":"Q1277004","labels":{"en":{"language":"en","value":"Numerical verification of solutions for variational inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247607"}},"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":"Q1277004$BEB4CCB2-5CE6-4FF1-962E-90A48C9CAE94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"018de9019f1cc9d2404971c121c6837a090b045b","datavalue":{"value":{"text":"Numerical verification of solutions for variational inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277004$8A88B161-374A-414C-A0B3-018104EC51E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"255f792e61eaa53cc408feae589d2ac1c14d09d8","datavalue":{"value":"0919.65043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$4B60BB4B-0D6C-4278-A19D-313D219BE041","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03e76079d094af4279ee914896cfa54f62b3c086","datavalue":{"value":{"entity-type":"item","numeric-id":355178,"id":"Q355178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277004$CE0F4E1B-00A5-4A33-AA17-9F498AEB460D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95540be8f4ae29e0cd09df3ac80e3ab78a149f9","datavalue":{"value":{"entity-type":"item","numeric-id":411414,"id":"Q411414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277004$7C722AFB-D5D4-4E80-9CD6-B67591E9C64C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b3d1ca268e3dbdbae43efb5a69b3a469f08bcb8","datavalue":{"value":{"entity-type":"item","numeric-id":78127,"id":"Q78127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277004$CB018778-C159-44D9-9055-24E679C3E882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4657432f41b43c1846ecc251d3ec440dc26ae96","datavalue":{"value":{"time":"+1998-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":"Q1277004$4984FDB2-9FD7-4917-959E-476F54EEB64E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e14c6a0aa18616135f6c7e2c519330f14ebdc274","datavalue":{"value":"The paper deals with the study of a numerical technique that enables to verify the existence of solutions for variational inequalities. This technique is based on the infinite-dimensional fixed point theorems and explicit error estimates for finite element approximations. Main result: A new method which automatically proves the existence of weak solutions for variational inequalities by numerical computation (the basis of given method consists of computing procedures to verify the existence and inclusion set of a solution by using Schauder's fixed point theorem), is described. Due to the finite element approximations and explicit a priori error estimates for obstacle problems, the authors present an effective verification procedure that through numerical computation generates a set, which includes the exact solution. Finally, a numerical example for an obstacle problem is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$05CC6E3C-C8FA-4DFE-BCE0-2A9746B3292E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$739D2652-4DC5-46AC-90E7-6496E4576C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85ffdf6add2661e7fe58e124fb3769692822d9d8","datavalue":{"value":"49M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$B421D57A-CCCB-4E11-B156-3B2ACAEB92D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c855c2120bb41f1b7772a76df5765e44dc68d6ba","datavalue":{"value":"49J40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$D710DA3D-3820-4ED0-92A7-277F3C11285A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db2357ccb6475fb5a2a3b2e144843d0bb9edea5b","datavalue":{"value":"1247607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$A416BB11-4FA8-4DC2-B979-E17884100BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209055baf9a861626a4de8b6a4c63a6d004160b9","datavalue":{"value":"numerical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$BA1B1A4F-4090-4323-8D5A-597496A4CB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc2ba1e8b62961e218797312d0af57634d4629b5","datavalue":{"value":"Schauder's fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$1B67716B-4E99-4952-B715-1A7F42CF2DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f27f19c77bc29110950cbf263063a39c57efb97","datavalue":{"value":"variational inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$216C3A4F-DE87-4699-9D24-34E6B49E2953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af040cff5348a66d61184558eb684813d945d1b7","datavalue":{"value":"explicit error estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$FD12E620-5CEF-4D5C-B603-2F4EFDC7F5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1d0fa13f4f37a54b1d2690601d88df11a4a273","datavalue":{"value":"finite element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$AE05169A-7B6A-4F8F-AB9F-9AE530263059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd51c9f456ef351a82eedb55b7f294c5fc46365","datavalue":{"value":"weak solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$FC607FBB-F052-417A-8F86-8018C1A174A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f3778f84fcdbb758e38890256cad84285e5d224","datavalue":{"value":"obstacle problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$FEA99AD6-1354-419A-8C96-578DDC5C411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37318345779707692012b8c7959755f9c69b2691","datavalue":{"value":"numerical example","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277004$BE3A1C8C-82A9-49D6-8CAF-A3A83659B202","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcc3b31257c92762c634d0105987fcff91dacfb0","datavalue":{"value":{"entity-type":"item","numeric-id":591447,"id":"Q591447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277004$099886B7-B9AF-4903-9850-987EE8870DB1","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":"Q1277004$CCE579E0-873E-4E3C-81F8-B0A7C90DCE75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f194748cac9fd5c0dd7f3c5debd483e1fbf357","datavalue":{"value":"https://doi.org/10.1007/s002110050394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277004$EC0263C6-0E82-4C08-9E58-D53B1A23D33E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81cd435ba1b02f96d2e59246ae77e83057b351e5","datavalue":{"value":"W2062697801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$737F7A04-D3F1-4D56-8C9C-38C91DDE9CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b31a6cebbbe9a4917aacff0a9d8938073bca3c7","datavalue":{"value":"10.1007/S002110050394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277004$A4355FCC-308F-42AB-A06F-7C1532C11D21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b0c5e9d30ac02cd50f4136abadaf3ae6caf1ee","datavalue":{"value":{"entity-type":"item","numeric-id":1609070,"id":"Q1609070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f53e25ca95b7eecdb765ebad846cd2cb05e6fa2","datavalue":{"value":{"amount":"+0.96611667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$E7936D86-7597-4DD7-95D6-72E2A30BA9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca32a7db7ef4c55c0dd4e8e52c565b1744448d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3375620,"id":"Q3375620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66310669502c07b932120fac7797b078dc891d0d","datavalue":{"value":{"amount":"+0.94963115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$73AADE1E-EAC4-40CC-9DE4-7A4AD51D1790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4af03a267ac205afb99c5055d0da00a1faa4d3e","datavalue":{"value":{"entity-type":"item","numeric-id":481617,"id":"Q481617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e319c0c5e78fff1634db45ac23ee4f4c34a50576","datavalue":{"value":{"amount":"+0.9325732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$82364862-42D8-4F3D-A800-38B2652F2A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6545dd412941a9e6e02277be1eec4ba8357342","datavalue":{"value":{"entity-type":"item","numeric-id":689912,"id":"Q689912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4374eccdd679464cce6f8edc62f33105c94b44","datavalue":{"value":{"amount":"+0.92817545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$618D8069-10A3-4748-A185-372E1E9165B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f22d2df5f6242db47ed93a721507fc0fc89671e","datavalue":{"value":{"entity-type":"item","numeric-id":4568286,"id":"Q4568286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928f6b4825b7195307d2af17c10c2dd2d8c84597","datavalue":{"value":{"amount":"+0.92790186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$475EDCBB-FDDF-4964-814F-2E47968CEDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e933c49be4cdedd57ca841ef986c6183b35437","datavalue":{"value":{"entity-type":"item","numeric-id":4868550,"id":"Q4868550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af9af1cbf67b551490ae114a799f5c7d63bf498","datavalue":{"value":{"amount":"+0.92367315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$F065A39B-1501-4073-9CEE-B1CD79FC5314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97571cb9179973a6252867665c45a7c5051f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4785183,"id":"Q4785183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ae0ad9806ba2775b62b6ff27b688586712f083","datavalue":{"value":{"amount":"+0.91972363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$7823F1AD-6D94-4643-8F8A-1C52ECD4549B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e29e1ba57856883932ed956ed92884db863ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2769532,"id":"Q2769532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56337a53ea7e5c9206de82a22a9b6ed5bd09733c","datavalue":{"value":{"amount":"+0.9184501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$F153D71F-B8B6-4F98-A1E3-E98AD215589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97117aa8bcb7580ac6d1c248a3eb291e8da1f51","datavalue":{"value":{"entity-type":"item","numeric-id":5118178,"id":"Q5118178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d43494488a2de4389dff53b126dcf5c5cd89ad","datavalue":{"value":{"amount":"+0.9169674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$CD41022C-4B87-42B6-AB57-45173F9E37A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3efa685f9ac4987ef0bbe4122093cc82880ba34","datavalue":{"value":{"entity-type":"item","numeric-id":5051233,"id":"Q5051233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17723c01ab562289428171193f6cd6fbb5126ad2","datavalue":{"value":{"amount":"+0.9161121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277004$04B0359E-8EAA-4A51-9C1D-C14ABFAAF0D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical verification of solutions for variational inequalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Numerical_verification_of_solutions_for_variational_inequalities"}}}}}