{"entities":{"Q1194381":{"pageid":1205130,"ns":120,"title":"Item:Q1194381","lastrevid":66830937,"modified":"2026-04-12T13:08:52Z","type":"item","id":"Q1194381","labels":{"en":{"language":"en","value":"Relaxed verification for continuous problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64312"}},"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":"Q1194381$B0D523B2-2A5B-42DC-81AA-6234DBA71483","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02f9574672d30b68562b87ef9119f35b6a2de7db","datavalue":{"value":{"text":"Relaxed verification for continuous problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194381$9CB9423A-1072-495E-B12B-41E5CA4A67B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50509487100a3621a0452e8a4ba878de1dcac360","datavalue":{"value":"0755.65148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$93ECB8BC-2C54-4AAE-A4BB-262D40B693B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97a4f655a5d2fad71dea16bc6ab510383c63ce54","datavalue":{"value":"10.1016/0885-064X(92)90012-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$2A74101B-12E4-4022-8E01-191D4351A559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6018a2a53dcc745eb502de825d121b26a76b54f3","datavalue":{"value":{"entity-type":"item","numeric-id":192022,"id":"Q192022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194381$A80961B6-FE32-44DE-AEFB-DA6DA3D31788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"022cc2ef7a956d48f142cada4328c1d9ba0d76f3","datavalue":{"value":{"entity-type":"item","numeric-id":346289,"id":"Q346289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194381$7B487D09-EE6B-4B31-A059-5521F74321F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f728e963338f0590fef2609026707340c65ee9d2","datavalue":{"value":{"entity-type":"item","numeric-id":162057,"id":"Q162057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194381$D729977C-53EA-4555-87DA-D3C5E23C1F6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194381$00E3D6FC-93B1-47DC-AE8A-3C6926FCD7E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14ea0103aac04a7a9ab28168416354f9fd4dc23a","datavalue":{"value":"The authors analyze the complexity of verifying whether a given element is close to a solution element. Closeness is measured by two nonnegative parameters \\(\\varepsilon\\) and \\(\\alpha\\). If \\(\\alpha=0\\) the authors get the strong verification problem which usually cannot be solved in the worst- case setting [cf. the second author, ibid. 8, No. 2, 93-123 (1992; reviewed below)]. The case \\(\\alpha>0\\) is studied in this paper. Complexity bounds for the \\((\\varepsilon,\\alpha)\\)-verification problem are also derived.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194381$8DEBC1D5-1649-4AF7-8C76-299B6F06A435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"355ea56a4f84d7973d94c70a8b1f92966ec83542","datavalue":{"value":"65Y20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$362E26B1-E5A5-49DD-B790-F2BABEDF260B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ae13d34166b4c2d458855f3bc2c684b2cb32f7b","datavalue":{"value":"65J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$32BEF063-17B5-49AE-A1B2-96439B8134B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$B0BADAA5-9D85-42C2-9E7B-BF4AEC9494F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65ab373edcbd020d40eb1a2b3274a9843ec44b74","datavalue":{"value":"64312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$C037FBB8-7C62-491D-9E95-A0266526C681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f87460328507df866ede7716efa2d282ef1a04e4","datavalue":{"value":"worst-case setting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194381$61611C1D-C10A-4A95-8C81-63175332F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49ee788a249e73bac4c2b631ca1b0c61d6e51e23","datavalue":{"value":"verification complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194381$B2B7D584-AAB5-4AF6-A0B9-3D1A88FA9C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9a7d52128f37f4ac08b69e7d79d2d8ff923827","datavalue":{"value":"computation complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194381$F8A0E1BB-68C5-49DB-809C-0E8CA47A7475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5c050772bdddd7dd8c52388ff1fe9e49b2197b","datavalue":{"value":"information-based complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194381$4CE3D37E-903E-43AB-A51B-BDECDC7EA9C8","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":"Q1194381$885BD4A4-2D51-44B9-8851-63B7A7002E41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"928acafd69f3a56f634d58fac671ace05ea297c9","datavalue":{"value":{"entity-type":"item","numeric-id":1194380,"id":"Q1194380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194381$B41DD2B0-2A9F-4FD9-B839-02FA3A7C37E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c7f6bb8f785a7fe3a8055f9eed74bf866f59f90","datavalue":{"value":"https://doi.org/10.1016/0885-064x(92)90012-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194381$501A5E6C-A49D-4C0C-A405-B9A4365C0C8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e38cb4227712fb01deae379d777826b8a7eea560","datavalue":{"value":"W1987388421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194381$D5520FCC-7BC6-487A-A86C-9DFFD8AADB48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541fc7e0397d7f1c654d0adc9527aa9a70574984","datavalue":{"value":{"entity-type":"item","numeric-id":1194380,"id":"Q1194380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f79994260bb656eacbca5b52e3c7ad8b96675d0","datavalue":{"value":{"amount":"+0.7893153429031372","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":"Q1194381$D7A17574-3B72-4E80-8102-1CBC8D6DE86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaf5d295452acd4bf9474f2d2b914ba436b4b9f","datavalue":{"value":{"entity-type":"item","numeric-id":849186,"id":"Q849186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f79994260bb656eacbca5b52e3c7ad8b96675d0","datavalue":{"value":{"amount":"+0.7893153429031372","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":"Q1194381$05D1CEDC-2C73-43A2-84FB-36CABB4CAF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ea81cb9e2d34a9d0888ac9eb431fea3c019c0f","datavalue":{"value":{"entity-type":"item","numeric-id":3632175,"id":"Q3632175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc066bf8fec201bd990c8c089e45a219543a7ad0","datavalue":{"value":{"amount":"+0.6688961982727051","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":"Q1194381$0E765E78-0B24-4981-9CA9-951884F58BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8ead8ac770dface710edc0c311b6c91f3ea90f","datavalue":{"value":{"entity-type":"item","numeric-id":2018466,"id":"Q2018466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa394e269cc55dbe23d1c482a5bbcb0e2c521a79","datavalue":{"value":{"amount":"+0.657164454460144","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":"Q1194381$F88CB77C-A7A0-4050-8185-C366A4AD2FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43c53ebdb64cbabe867146b9fc27f432982e65d","datavalue":{"value":{"entity-type":"item","numeric-id":1900758,"id":"Q1900758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4af8da95d16189eeac419105ad5fe3c0b5a4e90","datavalue":{"value":{"amount":"+0.6564416289329529","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":"Q1194381$88D61425-D1DB-4B91-A1E4-4CB5B2E7E239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relaxed verification for continuous problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relaxed_verification_for_continuous_problems"}}}}}