{"entities":{"Q3543646":{"pageid":5573550,"ns":120,"title":"Item:Q3543646","lastrevid":50516453,"modified":"2026-01-14T06:34:58Z","type":"item","id":"Q3543646","labels":{"en":{"language":"en","value":"A Brief Overview of HOL4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378170"}},"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":"Q3543646$DDCCEA4E-AE4B-4EC3-A53F-EE6B54058087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecd3e7cf04c2a1e24d35dec6f199d45ca66cc389","datavalue":{"value":{"text":"A Brief Overview of HOL4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543646$EA12A70F-DA74-4627-8E68-C6B128F029EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f65cc683fdabc924c7940c51f404d5b76cb43575","datavalue":{"value":"1165.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543646$91D5961E-90F4-40FA-A4C7-4BCCFCFD71FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d599da6b928ba36bcc7f08e3adab468123cabb9","datavalue":{"value":"10.1007/978-3-540-71067-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543646$5C631545-6597-4C79-BFC8-CB52E619338A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$B794556F-6A01-4C29-943B-8D9F1DA141CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$F2384DCA-F56F-4003-8269-FD60176C8176","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$AD43B7BB-FA00-4D21-95B8-29E1301C8DE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-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":"Q3543646$05C7DA89-BAE5-4E4C-8C24-477565579C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543646$19F9A970-51B7-4D5D-8DC8-6DF353A945AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b480214b0e2b3e985472a218bebe2861be3ba478","datavalue":{"value":"5378170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543646$AE64E91F-2301-4636-B053-2AF43A640D08","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":"Q3543646$0AC4F43E-7EB3-4BBD-9A90-0BE811FB9BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$6BFFDA6B-B6AB-46DE-925E-BB0AFE2C6763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$1CE551A3-30E5-4312-A723-8B0C8E91CE2B","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":"Q3543646$438835DD-5DE0-44E7-B574-66ACADA5A872","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b47341a0f046a193d4705d6968e08954110b97e6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71067-7_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543646$F423EFEE-B9AC-4463-AF95-152DC3D5C483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d96e11a462c7053ebad971718fd0b5856ea115db","datavalue":{"value":"W1943070836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543646$889609ED-DC10-4342-976E-EC4F4E619F6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc984cdec628cc7f36b386f0c4b014ff5e947f6","datavalue":{"value":{"entity-type":"item","numeric-id":2754029,"id":"Q2754029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$B9FE5888-D67C-4746-9715-5BD306DF1F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$2EFCBAE7-4AB3-4029-81EA-A7E262F7E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$BDAA2597-85C4-4BB6-A244-2A9DF8633245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4bcef8b279cb9ea7fd5f367387553b97c3c26b","datavalue":{"value":{"entity-type":"item","numeric-id":3608760,"id":"Q3608760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$2FF66C31-6BBF-4589-AB71-681AE3FFB68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$CBCD2A5E-05B2-4115-BD81-417BB3414B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac79901714ac42172a3e8bf1476f80d428ae193f","datavalue":{"value":{"entity-type":"item","numeric-id":4328966,"id":"Q4328966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$E1A6A405-3779-4200-A149-0CC5A466C1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d91a92033dbeb71d90023607ed064df0797f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$FD7B53B6-938D-41D8-B6F1-863EF1CE9FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec88c2663747bf3533fc5bf0eb353d891e25d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5168920,"id":"Q5168920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$0960DDE3-A6CF-46CD-A456-750CEBB5AB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896bd19e6777ba4c516f5fbf2337d447a60ba466","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543646$3DF6DFE4-BD59-40C8-B9CF-41F41D30A20A","rank":"normal"}],"P1643":[{"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":"7e790937b9840d5e54ad460bfd978ae7acb56ee0","datavalue":{"value":{"amount":"+0.8401010632514954","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":"Q3543646$E767C4BD-4CC5-44ED-B42F-9EED9777CFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed489c16afffe6660385a0a5d5846d6841b6f59","datavalue":{"value":{"amount":"+0.8256301879882812","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":"Q3543646$F150F9DF-BE31-441D-AFDE-69CAA733360B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef7c286fb322135f98a489f42e729b7284efa24","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23041a987aaba48aee72cd7fcd3ba89455353cab","datavalue":{"value":{"amount":"+0.7822325825691223","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":"Q3543646$E068BDC1-70E5-4520-86FC-E8B03BDBBEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cab783396284eb004b42756f108087b79277b8","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23041a987aaba48aee72cd7fcd3ba89455353cab","datavalue":{"value":{"amount":"+0.7822325825691223","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":"Q3543646$7ADB8B31-3F61-4F77-91BE-3C4E34595723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8e1bb16b406ac7e7163934679323658132e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4328966,"id":"Q4328966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688d1bc560d481f1171e3814c8e2d24dcb6a85f5","datavalue":{"value":{"amount":"+0.7623023390769958","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":"Q3543646$A3928DF4-C19C-4BBA-91D7-DBC2BFDCEFBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543646"}}}}}