{"entities":{"Q1826468":{"pageid":1837210,"ns":120,"title":"Item:Q1826468","lastrevid":48303979,"modified":"2026-01-04T07:33:34Z","type":"item","id":"Q1826468","labels":{"en":{"language":"en","value":"A trustworthy proof checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081539"}},"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":"Q1826468$4ED344E1-BB94-470C-B852-49E14E8125ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ead466bcc7651f87b1f5d5f793f85c6cca0fe918","datavalue":{"value":{"text":"A trustworthy proof checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826468$97350785-5DD5-494F-8C1C-911DBC5AB17E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"323b820279820cbb96d8d47c00088da29da35182","datavalue":{"value":"1069.68596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826468$6DA1F64E-EFEF-45AB-BFC1-49930F146FE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8be097070b48ff95302705e7b85629aeb9760bfb","datavalue":{"value":"10.1023/B:JARS.0000021013.61329.58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826468$2FD007C7-4FBA-4D4A-A407-7F4B020FBAC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$E6B32850-A4B9-4E81-8DF2-E88FCC67229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3873d5197866be679e32069a308401a07744f77a","datavalue":{"value":{"entity-type":"item","numeric-id":1826466,"id":"Q1826466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$264EED56-A444-4D1E-8088-FA7BA0FEF85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$0CBC6881-C6DA-427A-8762-EB9F9779CC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3699876df584019b98eb75db9af2b3a714eaba2","datavalue":{"value":{"entity-type":"item","numeric-id":1826467,"id":"Q1826467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$B938AD26-A63C-4EB4-A033-D4C2B1F71229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$962F9841-2DC6-4466-8104-41A4E8FC8943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826468$CA1592BF-4BFD-4DA7-B53E-70216469CE56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826468$8A7F9632-5185-488E-8CFC-7965709651AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826468$2636878B-11D7-4EA6-9E53-61201792D37C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1376827409da52c76616895d2bc9f38a065a8531","datavalue":{"value":"2081539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826468$8422F8F5-43D6-4657-A58C-E550250CFA37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29a0a1a089c1739ef594b8aa170de0991ebf7f7","datavalue":{"value":"proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826468$3BC3143D-CAC8-458F-BE8E-C804799242C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826468$6C208339-F322-4E55-816B-19461E8162C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$0AA65805-4362-48C9-A642-AA377AA8F973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826468$0DCE5F6E-8A34-441B-9EBF-7C7288745963","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":"Q1826468$DD543294-1DEA-4A71-AA93-11E8803A31CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de17ba1f33020611d872a4cfff3ce9c0eb67d70","datavalue":{"value":"https://doi.org/10.1023/b:jars.0000021013.61329.58","type":"string"},"datatype":"url"},"type":"statement","id":"Q1826468$FD9CFDC2-9E44-4EED-8328-27A72FEBF174","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84ef5d39babfd8ae24e201bb01b9b8ad5c8a0b67","datavalue":{"value":"W1974984092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826468$685D2F43-109E-4EFD-A25B-0F0493B9A8AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcaec69054130be72a53d68cd034f76a83ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":4809042,"id":"Q4809042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed67668a4447144df0b92ba1ad0fe8ded557697b","datavalue":{"value":{"amount":"+0.8732098937034607","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":"Q1826468$8E647ADA-217D-4235-9903-10FDFF8F15A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4c58166af4fd8878e7ff75c3ce057129bb80ae","datavalue":{"value":{"amount":"+0.8568228483200073","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":"Q1826468$119C1051-F42D-4670-877A-0F9A1EED141A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4058f62085610f87a8a0f446c6ee87fa66459336","datavalue":{"value":{"entity-type":"item","numeric-id":4418583,"id":"Q4418583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f4a5b699e1172965cd4268ce8102cbb2c2c058","datavalue":{"value":{"amount":"+0.8494971394538879","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":"Q1826468$877A8B91-9910-4196-9AFE-537C551F761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c28ffde56c07e13c0f2b27208e760f8b8404e3e","datavalue":{"value":{"entity-type":"item","numeric-id":4261077,"id":"Q4261077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f3d08249552d4afae730f8cdce69edfcadd4e0","datavalue":{"value":{"amount":"+0.8414822220802307","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":"Q1826468$D0550936-EBEC-4C4D-BD14-89B86A6986CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04a29f48ac6bba380b5eb3d174358e2625d2892","datavalue":{"value":{"entity-type":"item","numeric-id":5178881,"id":"Q5178881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5ba91871238942b7d8d26e615ab7e6dc4aeea2","datavalue":{"value":{"amount":"+0.8292120695114136","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":"Q1826468$18D51515-BD9F-4D61-B2E7-8E7AA13E02E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1826468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1826468"}}}}}