{"entities":{"Q1791161":{"pageid":1801903,"ns":120,"title":"Item:Q1791161","lastrevid":72966417,"modified":"2026-04-14T09:04:34Z","type":"item","id":"Q1791161","labels":{"en":{"language":"en","value":"HOL Light QE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946982"}},"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":"Q1791161$CFFA342B-5B50-41AA-B750-8E9FF699A05E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41ee4cfb36fe41f36ee7b57c81fbd3bfcd47a3e1","datavalue":{"value":{"text":"HOL Light QE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791161$B648C9AC-014C-405B-A300-B82FBB45D606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16d68528dbbae5f5e16f679de706117b37116def","datavalue":{"value":"10.1007/978-3-319-94821-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791161$9E156F8C-A9E9-48F6-9535-2648BEC23E0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$39169B6D-2521-4767-A8C8-32520CC5E5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$8BD01E1F-260D-40BE-9C84-1D697D629BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bd2d4c576593cdf31f5408cd4281394a5cfa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1791160,"id":"Q1791160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$1CC15F35-63A6-4F1D-B4D6-0143BEADF15B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791161$723282CD-1C70-488D-B2EC-B2DA7B2625F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1545ccff2e3094f6c1648b63c421672e16c2aebe","datavalue":{"value":"https://arxiv.org/abs/1802.00405","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791161$610BE0C8-C11F-4314-A101-06B197B75A2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791161$BB9CE327-3853-4976-99B2-80E85EAFCEA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e312879f990f67a2c56a53e4c3449209e085ab","datavalue":{"value":"6946982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791161$AE735E51-507C-4C80-BD94-E5FAE1A8A818","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$0E60FE50-CA64-4503-BEA8-76232AE2B8EA","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":"Q1791161$26A93B62-5036-468A-B9FE-DFFF120034AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$0D0FAA9A-1979-4B7C-99D6-5F85DDBFB1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$FB97B441-5F37-449B-9C36-84B0A18621BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$1154FF58-4728-4DDD-B854-74513EEC111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f24032ff3cf9f3c17f8d1145a9d47bb4d132d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":34508,"id":"Q34508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$F169514A-5825-4E87-8139-142C891F4952","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":"Q1791161$DE8BEDBC-CDC2-4627-AC00-5702CF1313CF","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":"Q1791161$D7B16B5A-F001-4E87-A759-568B1194EC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"814189daad4ea60dfd6dfeab0605eb84be0e72c4","datavalue":{"value":{"entity-type":"item","numeric-id":32992,"id":"Q32992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$2E7DEB25-D67C-4139-9658-9AE271CE8B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791161$07D06D4C-4459-4DF4-B383-16C85E23DA54","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":"Q1791161$521B57C5-7447-4AFA-B7FA-0794887BAA38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7f97b2d2f7e146dabfd4b7e61bd5ef83622f753","datavalue":{"value":"W2963485651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791161$8BA28B9D-B9BE-4525-A079-691ACEFCBD12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2536a75f60310e61c48370f2c68acea0affca58","datavalue":{"value":{"entity-type":"item","numeric-id":1753993,"id":"Q1753993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea3d19e764f7db5543fad5a0e08219859891287","datavalue":{"value":{"amount":"+0.7982982993125916","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":"Q1791161$7A10F3C1-3AA1-4D9E-8B78-0DFB49B3B115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01deb28689cbb2a8e21a790c8955d58c95817628","datavalue":{"value":{"entity-type":"item","numeric-id":2817296,"id":"Q2817296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20597238ad2483208e1d8c75ed8c14e83be6d36","datavalue":{"value":{"amount":"+0.7922639846801758","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":"Q1791161$01AC4F59-4233-4D48-AD00-7BF0876E93A7","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":"d7424fa1e1e9c7f5fc2c9e62d437aa06bac02668","datavalue":{"value":{"amount":"+0.7301312685012817","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":"Q1791161$90BC387E-1EEE-4078-A5E4-209DB9F3D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13dc7f22145c3ee7d01646b1b7659ece94a963","datavalue":{"value":{"entity-type":"item","numeric-id":2287903,"id":"Q2287903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1779c6817f974cdb125274d87c9ee4e6cf0be1","datavalue":{"value":{"amount":"+0.7281751036643982","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":"Q1791161$D12886E9-7448-4862-80EA-2243D5DF047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9c73403d170fc9547196e85568fc9043b785b3","datavalue":{"value":{"entity-type":"item","numeric-id":3453133,"id":"Q3453133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85eb0aa156c6d8c3c836ddaf067bebcbc3266c5","datavalue":{"value":{"amount":"+0.7223930358886719","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":"Q1791161$5D1E4E14-6D66-4B91-9C8D-8CA6C7A652AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL Light QE (scientific article; zbMATH DE number 6946982)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL_Light_QE_(scientific_article;_zbMATH_DE_number_6946982)"}}}}}