{"entities":{"Q3158513":{"pageid":3169229,"ns":120,"title":"Item:Q3158513","lastrevid":85938470,"modified":"2026-06-03T12:41:36Z","type":"item","id":"Q3158513","labels":{"en":{"language":"en","value":"Proof verification and the hardness of approximation problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131007"}},"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":"Q3158513$1E928B18-D529-4AE8-879B-B575D7660EE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52bccd2dfc9b1a7402312875b8ecc0e68a768aad","datavalue":{"value":{"text":"Proof verification and the hardness of approximation problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3158513$09E98FB5-41EE-4E2F-A867-0A4D5221420A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5777d6c3bc1746ae01c8b9a4c3072114fb6a66b","datavalue":{"value":"1065.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$D7B72B5B-610A-47C3-ABC2-23F87A7A76F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"200ac1ecff6be1b0586890b2bf375f798648f42c","datavalue":{"value":"10.1145/278298.278306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$F5E2C285-7101-4AD0-BE96-E8515B76E730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7d1a4eaf68ad28c765a87d96a0e4f61af86791","datavalue":{"value":{"entity-type":"item","numeric-id":2453542,"id":"Q2453542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158513$6C9ABA6B-EB54-46A2-902F-9044A0B957C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fa856eb9cad7c56d02923351b2c4236ede2b614","datavalue":{"value":{"entity-type":"item","numeric-id":6480589,"id":"Q6480589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158513$73AA3B06-8BCD-46C7-B754-1C3CF734CCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccd7572ad91008f8d4532f3567ea98b1e4155afe","datavalue":{"value":{"entity-type":"item","numeric-id":6480588,"id":"Q6480588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158513$50F8423F-51A1-487E-9035-7501D777AB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e96e25c99f7cb1abfc84da3be0bcf9854173eac","datavalue":{"value":{"entity-type":"item","numeric-id":6480585,"id":"Q6480585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158513$53804AED-A0B4-46C8-8370-32A91D89384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53c7dfd41c210a4d8670938137c8b5fcd7e565ec","datavalue":{"value":{"entity-type":"item","numeric-id":6480591,"id":"Q6480591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158513$24C5F5D9-FCD9-4868-8189-07044695F8DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158513$A5117AE2-137A-41E3-A305-EB2DAC7B07A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3158513$A7FEECCB-D3B2-4178-94BD-1E5B96846DAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$2110414A-41E8-4279-8283-D007D49107D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$3A270391-B309-41A2-8250-20CE36A74C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$398216E2-6B16-49CC-B645-78427390ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$B31EB6FC-4486-4AB8-9ED4-BE07056DE7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"156d125bbe1ada3b8c3a53f8ba685434cb794797","datavalue":{"value":"2131007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$2FEDCB8F-4469-4254-AE01-0C9E76856A12","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":"Q3158513$357C23FD-E082-47D2-B249-BD31D9A97EB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36292b42a3271311e7b8f2f9070537098217b714","datavalue":{"value":"https://doi.org/10.1145/278298.278306","type":"string"},"datatype":"url"},"type":"statement","id":"Q3158513$64517442-1721-4597-9428-996631B65923","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b74b5f2ad5d3d69eb44e61989944440f0d5f02d","datavalue":{"value":"W2148352980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$F9705CBF-EFFC-4AA2-B961-34123E75D13B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d651ecb63e4be65d6716698657b10c7e0b07b04f","datavalue":{"value":"Q55872309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$48793CCB-A878-4C08-848A-F4A56D8B689C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b6a4d70d84d6a99f34dec44b3923112022c3fa76","datavalue":{"value":"journals/jacm/AroraLMSS98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158513$A6EABBA7-8A02-4222-A291-0D36C2F189E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f1a1ccf4c1bfe4b8fbb79bcc8627df209f2b95","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e0db5b8288d7416cef6373766e3b3e0175bd52","datavalue":{"value":{"amount":"+0.950886845588684","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":"Q3158513$CAA79427-4664-40F1-9D21-DE9F1E0E2FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb34017d2959acceb077203a2463c7286afa976","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c0c907e8f9b80ec6817529456c16666b11de31","datavalue":{"value":{"amount":"+0.9011352062225342","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":"Q3158513$E3AD843A-814C-49C3-BF4D-F345C1B87F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f154465087b074874b8b3ba81ee1aa3deab47c1","datavalue":{"value":{"entity-type":"item","numeric-id":5691296,"id":"Q5691296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67696f52e24dcc1c7c5fe724450db09fc9515d7","datavalue":{"value":{"amount":"+0.9011350274086","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":"Q3158513$AF6CEDEA-7476-46D2-A6F4-90B2145E2D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfbe5278299d2455f99a7f2270406f8ce244889","datavalue":{"value":{"entity-type":"item","numeric-id":4230321,"id":"Q4230321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0b2778d21c7f94357fb46bc48281152ce26e6d","datavalue":{"value":{"amount":"+0.8904148936271667","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":"Q3158513$91EAE963-88C6-425E-AEFE-AD0DF7ED2195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71a9c4b35d7b6a68bd039dbc67d0e2884e37718","datavalue":{"value":{"entity-type":"item","numeric-id":1344618,"id":"Q1344618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf31ce08da2b404e8e52668d582cd482fef7a9cb","datavalue":{"value":{"amount":"+0.876537024974823","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":"Q3158513$84EF7544-3DB4-497F-A26A-F63DBD80C199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof verification and the hardness of approximation problems","badges":[]}}}}}