{"entities":{"Q2982005":{"pageid":2992730,"ns":120,"title":"Item:Q2982005","lastrevid":52799390,"modified":"2026-01-23T13:01:40Z","type":"item","id":"Q2982005","labels":{"en":{"language":"en","value":"Refinement through restraint: bringing down the cost of verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713896"}},"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":"Q2982005$2A668FE7-FAA3-44F5-8ED9-6609A12F78E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c7c547495e9ce86eca367970a758a95190148b6","datavalue":{"value":{"text":"Refinement through restraint: bringing down the cost of verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982005$FC1EBE56-7262-4BD0-A4DD-46F934E17648","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d3170bd07970f545328c8a801b9c4d2a3bc215b","datavalue":{"value":"1361.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$323205E6-682F-4FDF-92C5-212D85E911A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa3ce88aaf4245efe05e637f3b64f829624cbac7","datavalue":{"value":"10.1145/2951913.2951940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$E0D7F081-0F4C-4A8A-8759-3D8FA1728C30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd6094f21c1e1d5be129c3232983e75a4ab79dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2829267,"id":"Q2829267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$14174263-CBCD-424E-AED2-209CEA1ABEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf5bf73d892ad168b08770f308e46cff0968e0c9","datavalue":{"value":{"entity-type":"item","numeric-id":2115978,"id":"Q2115978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$BC8906DD-FA8E-4A12-BAAE-F3344FD0FB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686f26ef2102dec34f922caacebd6571ad7fe765","datavalue":{"value":{"entity-type":"item","numeric-id":1786740,"id":"Q1786740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$43ADEA1A-90EE-4E1F-896C-382E7AD8F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1471d40486df588cbec70c79883b59fb64e3a7","datavalue":{"value":{"entity-type":"item","numeric-id":2982004,"id":"Q2982004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$D475A7CA-E0F6-4046-B107-EA18DE3757BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fe58740a0dd2515eb5c2689375a6dfac950c43b","datavalue":{"value":{"entity-type":"item","numeric-id":2829266,"id":"Q2829266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$941FA74F-AAFA-44F3-9227-5CD312E097B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6c2a5937a40e685c427c9b959ad4c359ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":287363,"id":"Q287363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$8BDAD8EC-78D1-4FC3-85CC-8346AAAC043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad250d2383a6addb9f20421ad8f0febdd8925ab","datavalue":{"value":{"entity-type":"item","numeric-id":1798970,"id":"Q1798970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$2D09BE5A-5F66-47D4-823C-8E9B20ACAB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d312af30877232f30bb9c23fdc31fcdcb768e4","datavalue":{"value":{"entity-type":"item","numeric-id":2631536,"id":"Q2631536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$741E17E6-59B3-46B4-8310-649606E7EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$C023CD77-35B6-446E-B8C6-7D01A2E518E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$39635C7C-A926-4CCC-BB7F-37EAFC6EB34B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982005$F7AC5EBC-F4D1-4152-9354-315192706A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$8854A35D-9502-42BA-B92E-17F26558AD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$4BC0E201-1DD9-4084-A40D-E0CF79B57584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$C4065E1A-9779-4E6D-899A-EB900D3AEAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$9E022CF9-621C-489B-9489-D9B8696F83E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$878CB5E0-4D8D-464C-ABEF-2F3B673A336F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c2e190256459354f8f46e7a765ee25c60437406","datavalue":{"value":"6713896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$BC003263-A553-4465-A872-F412A0207720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982005$67E90F46-E0E3-42BE-8FB2-48460C90EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e720cb2d15b89f1fd5730906233db5039b6ccf4","datavalue":{"value":"file systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982005$AA4C1128-2C23-457D-A33E-EF26FC82F188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e1274f9a42ee56b39863d4c156892237de6700","datavalue":{"value":"linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982005$1912A4C2-D38C-49A8-AEAD-5EC4E5D63EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982005$666F5C22-36FD-4778-83B2-BCA3C344AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982005$14C73306-E3EE-41C4-BA48-013B6FAACE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982005$315A44E2-E5F3-4A3E-9E16-94342AD96B9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86b4d5730b37b9917aebaffbab7ba473acfa7fcf","datavalue":{"value":{"entity-type":"item","numeric-id":14040,"id":"Q14040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$522619BE-8AEE-4F92-BCF7-3C0521F6141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$284CD6EB-8CCE-4E70-ACE5-4E88108B11A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1c18efc5b6712307f1855501a0d85b81350367ca","datavalue":{"value":{"entity-type":"item","numeric-id":44159,"id":"Q44159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$B5D2ED73-901C-4C16-93C8-AA25AE9611DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$8C6A6166-D8E7-40FC-A703-965B324414F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$99BA9FF6-1768-4373-B3ED-2EB0A9B05E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$1B35C6B8-8906-47E4-B0A2-6F566E0FF0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a9ff7c29b88ecbd3bb30b10875fc8eb845d9ced","datavalue":{"value":{"entity-type":"item","numeric-id":31827,"id":"Q31827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$0ACFDE26-5861-4AC8-A95B-3C31BCB6CC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d06ab5629e6c8be6abf4aeb15fe2fe8af69eb74","datavalue":{"value":{"entity-type":"item","numeric-id":27968,"id":"Q27968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$5469DC9E-6913-4D2F-AC83-7FDE6CF3A5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982005$3F25955D-5651-4EE8-AA86-EBB3455C740E","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":"Q2982005$6042067F-CFC9-44D2-A47A-57EB4949E51E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83917f358286a6c8583201a73fc19f71cae4af0f","datavalue":{"value":"https://doi.org/10.1145/2951913.2951940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982005$39E2788F-BD77-46F4-AB40-FFE0C3CE7BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1a21069f8b25b87eb6570bdd490100908aa5596","datavalue":{"value":"W2430362266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$B20D994B-A23B-48FE-AD61-9B9BAB2E515C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0bcf0496e74f4c536e9eabf2e134ebea14a77b87","datavalue":{"value":"Q130970044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982005$A959EF4C-B4CF-4515-91E9-712F8444B947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ddedec4dbaad0dc206f5f821e6238ebfaa746","datavalue":{"value":{"entity-type":"item","numeric-id":2829268,"id":"Q2829268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38d86184aa1d67b36b22c0f689f27966061c6b8","datavalue":{"value":{"amount":"+0.837146520614624","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":"Q2982005$00E57CD4-9696-4011-9A73-A3A0D3CD010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc28ae7c08274cf206e5bfc796ffc6b2a46c3f23","datavalue":{"value":{"entity-type":"item","numeric-id":5019022,"id":"Q5019022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c6b78fc1ff3fa7a04251434a3d26fb9bc4aceb","datavalue":{"value":{"amount":"+0.8059828281402588","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":"Q2982005$629ECA1F-C07E-48EF-A4E4-A91B4B4927C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62a3e1ad6d3adcef7c858b6dc71b22aec9d1f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebb2a59507c0dcec048032253b6e69badbd0500","datavalue":{"value":{"amount":"+0.703657865524292","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":"Q2982005$9DB2BC8D-5B88-4BE0-BF51-0A6E08B35708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc3df6eda0adfbde599dd1004027faf5061f90e","datavalue":{"value":{"entity-type":"item","numeric-id":5716570,"id":"Q5716570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ead5dc3456fbd812f74d6a64c076adb7166077","datavalue":{"value":{"amount":"+0.6964945197105408","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":"Q2982005$76C72307-5D11-4B69-9344-03C23B198F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a215fc588401e3c34e118dbe74ffb7d61a35c133","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb37b5b9534e33419464ce9d94ec85f18c32590","datavalue":{"value":{"amount":"+0.693877100944519","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":"Q2982005$AC7EB2D2-28E0-48B0-B854-79DC7B0E491C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982005"}}}}}