{"entities":{"Q3613408":{"pageid":5643314,"ns":120,"title":"Item:Q3613408","lastrevid":50603732,"modified":"2026-01-14T13:14:10Z","type":"item","id":"Q3613408","labels":{"en":{"language":"en","value":"Towards Self-verification of HOL Light"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528286"}},"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":"Q3613408$C07BD993-3C81-45CF-97FD-45A2EB91CFB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3438ad046d2269dee05e1657e45f7b9ac5aa88f","datavalue":{"value":{"text":"Towards Self-verification of HOL Light","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613408$A21EB623-A13D-4B44-A289-CA68EDC77BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7594a7a43c358c8e00df81600ba6caa7abbb833","datavalue":{"value":"1222.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613408$A7E9BC42-9980-41B5-AB0E-7E9C55DD8630","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39aceae35450fda858f0fce79c25f93808c6d56a","datavalue":{"value":"10.1007/11814771_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613408$F20E1CC9-0796-4350-B426-C4E62D22E03B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613408$0E55ED48-458B-4CD0-A0DD-73A5B4F77FDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613408$FE9C7495-68D2-4EFE-9E9F-20585DDEC018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613408$974D2AF6-7518-49F7-9E38-C8D00770264F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613408$AAED4050-AF6B-474D-95C5-6D504B1B1515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b95273fac618e7b1191fa597d009681492f9c4","datavalue":{"value":"5528286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613408$0C8AC9D0-0802-46BA-8E8F-FA5EF169ABB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613408$18DEC0E3-9B67-4F99-8FD4-F195E90F6354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613408$FD85602A-B7C8-46CB-9AF4-281DEEEFF2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613408$D5AA47BB-B30D-4598-B862-1AB842DF7CF8","rank":"normal"},{"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":"Q3613408$5892B18F-C0CC-49A0-B270-3ED4625CB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613408$943B4777-EA43-4026-B6A4-AB08C8149548","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":"Q3613408$191C1353-1545-459E-8683-8D2CA976901A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"714435703f8905c8dfd2c9af39a7badb1c2d0857","datavalue":{"value":"https://doi.org/10.1007/11814771_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613408$D58B5F21-CF11-418F-9192-D4E616F268AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"847b4581297b2806e6223e11493546ef73ad299d","datavalue":{"value":"W1606213779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613408$3F13A127-7A88-406D-AAB6-952B8EF4233F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9340227e03cb52d0a7ec16f7ac5a22cc95744b","datavalue":{"value":{"entity-type":"item","numeric-id":5327372,"id":"Q5327372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6521604df5d02249a95602c65481501eff187e00","datavalue":{"value":{"amount":"+0.8520883917808533","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":"Q3613408$A0512F1B-7495-4EF5-B45E-9E941A99CCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d9d91864fd36c9cf69a0a0271de5d035ba5751","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92bba6e5052d29012093f7a26ef50addc51a42c","datavalue":{"value":{"amount":"+0.8422838449478149","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":"Q3613408$CA5C86E2-171E-4CF9-86EF-D345E5F793BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5240345605b6df958dc529fb8dc1a54b30d31b3","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174c7948f106bc8bbcff5291c7263cb2e908a688","datavalue":{"value":{"amount":"+0.8209868669509888","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":"Q3613408$56BEAB6C-6835-491E-874F-BFCBEB1C2F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6b33a9f213e3f67729583300a9e1f98b54e7d","datavalue":{"value":{"entity-type":"item","numeric-id":287361,"id":"Q287361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388f30970a5d9ece28deb4b0ee8cc70abc3242fd","datavalue":{"value":{"amount":"+0.8205186128616333","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":"Q3613408$34FE58E7-300E-4C89-B4D6-22DA6AFD72C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58fd6243ca5ecfa61b5100df2e972a1ed7fb82","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffc1b59056ccfee09c3d20e4ea4f6abaab69f55","datavalue":{"value":{"amount":"+0.7961925864219666","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":"Q3613408$F81682CA-9A26-4E6A-A0BF-BEB55CC23E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613408"}}}}}