{"entities":{"Q40370":{"pageid":40426,"ns":120,"title":"Item:Q40370","lastrevid":56367813,"modified":"2026-03-13T06:15:55Z","type":"item","id":"Q40370","labels":{"en":{"language":"en","value":"HOL Light QE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5890c80881ff20fc505085c4812af0a08f4e85b5","datavalue":{"value":"28656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40370$D90558C0-CC1B-475A-8E36-C12CEE3A43DD","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"16102be35a119fb20156da7324cf018d2c0f57c9","datavalue":{"value":{"entity-type":"item","numeric-id":1791161,"id":"Q1791161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$03E51E8E-9E78-4464-BAA6-672C068C133B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$38F5A4E2-3296-4D4C-8FD0-510FA7528F24","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e207b08265a3d48585c887ef485963bc10b2d436","datavalue":{"value":"https://link.springer.com/chapter/10.1007%2F978-3-319-94821-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q40370$E87BA686-35F9-4B38-8ACE-1935F5530436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40370$047A18E2-FF66-46F7-92B0-12367F864AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40370$50B9B805-5E74-4FD6-88F1-AFDDF05CDA65","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$7E2D4080-B880-4AA7-8075-1DE09E66C388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cc6b0913edacded01c385a7bde05b242ad151a4","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$5C11D42A-6701-4A8B-BA98-20D41264F2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecccfe6931012469cfd50156873069070c64faae","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$3243F66B-2F68-45A2-93E4-B683930E72DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e75e5c2f22314d2d19ca35eb1eb90cbb21de678e","datavalue":{"value":{"entity-type":"item","numeric-id":34508,"id":"Q34508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$092D54D2-2F91-429F-BDAD-4DF9D081B4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$42AE2906-C30C-4E2F-9E66-D53437A26675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$C592947A-2D13-46A8-8559-2ED7C8103A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$9934822C-0672-4FA1-B704-AAD35B7B2FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5c92aa24ebef7c181530c852d15b133223a1d457","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$FAF3AB94-762E-4617-8372-02EBAFDA99FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$EC4CD223-63E2-4A4E-94F1-15385594752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$E33EE324-034A-4773-B1F7-D7504C1E1000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d5fff99af73557a45eccfa0b83feaa35dd993fa7","datavalue":{"value":{"entity-type":"item","numeric-id":39285,"id":"Q39285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$DAD9A797-584A-4464-B8D2-5A6C364EA861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"001eaff59b7c9240612d0809fd97011d13b11c37","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$45381895-8B7C-465D-868F-FE1043A77593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f4c49195386fec971bd4ca13634bbf2894b133da","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$9A3D8DE5-1956-4083-8533-645639366B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"af5be8898ce461756a5dfb25c5eb486b63258a4d","datavalue":{"value":{"entity-type":"item","numeric-id":55704,"id":"Q55704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$ECCFFECD-AA0C-4137-A51D-E552EDF4D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce85c993c5667f0e00667e59d4bde9135ecf7ce4","datavalue":{"value":{"entity-type":"item","numeric-id":39198,"id":"Q39198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$1D40593B-316F-4F4F-8B53-CCEBC438E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d2fc65e1ee5ffcf4439c5452631792125256c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":32992,"id":"Q32992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$79E9AA91-3229-4033-BBB7-E4D49D1B2FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"994326c8d8dd14eeaccd4abcbadc740067b8d313","datavalue":{"value":{"entity-type":"item","numeric-id":21220,"id":"Q21220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$F8232EE7-02C0-4E23-A3D5-585512A37004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e1266d5408ef11a5dec5d9ec5553c8aea149f5b1","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$9C6B2319-297B-4FE3-B687-5650AD39F9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"260c80296e189a786cc2f4c01c3b1b68f6938563","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$D7BC1176-0E1F-4064-A9D1-BBDA756A21E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40370$5B872B60-1E0E-42AE-90E4-13173CB92A4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL Light QE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL_Light_QE"}}}}}