{"entities":{"Q3183517":{"pageid":3194225,"ns":120,"title":"Item:Q3183517","lastrevid":50790686,"modified":"2026-01-15T04:47:13Z","type":"item","id":"Q3183517","labels":{"en":{"language":"en","value":"HOL Light: An Overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618498"}},"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":"Q3183517$449E4910-D314-4E5C-8611-D52727D279C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b080f28216067f1092790a87d978023790ecc84","datavalue":{"value":{"text":"HOL Light: An Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183517$D5F31335-338A-40E3-8396-AD5637EA3E0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"430480c02b0e6d60d94ce76a581ddaa4218f76af","datavalue":{"value":"1252.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183517$F0D32BCF-9563-414A-AA7A-BEDC494BF114","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b70efeb69c5db6f4decfaa45365554036d176dd0","datavalue":{"value":"10.1007/978-3-642-03359-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183517$FE788746-3616-4214-82F6-7035F26D346A","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":"Q3183517$DEFB60F8-B7CB-457D-9334-F581D28FABC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183517$2861CF4A-249F-47D4-B5E5-00EFFB756F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183517$9A6164C5-8AA6-43F4-919E-F66B31814C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183517$D22E2BC7-9EA4-457F-9F2B-70B3C96AEEC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ab75f11bf02fde1ba2027b0acd465a22ab319e6","datavalue":{"value":"5618498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183517$DBE493BA-2234-4644-85CB-2281DD5049CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$176F13DB-1845-4647-BF99-CB6DD6C0811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$9E4D0E01-5555-4274-A0DF-1B9E67A77B2D","rank":"normal"},{"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":"Q3183517$46E1D5A8-0F50-4677-B8CF-6DF4A99AC36D","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":"Q3183517$F85483A2-2740-40D3-81F7-E86F5908118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07f544da61a733e790b6290335bb2f4a402f91cc","datavalue":{"value":{"entity-type":"item","numeric-id":35395,"id":"Q35395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$1FFD78FD-8832-4181-A407-82E7CB130B3C","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":"Q3183517$F4F41024-9D09-49A6-A94E-3A54BB34D1A3","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":"Q3183517$9C0F14F1-F71A-44C9-B700-5669C0B47931","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":"Q3183517$49E216C2-D898-4691-8C5D-3CC39BDB61E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92410b66f1bbd77a0453697e2feff9997f83a387","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183517$CFE47F46-BA47-4E71-9671-3E46F1F886BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53694dd0352c6e5117cc2022d5003c8cbaa2bdcf","datavalue":{"value":"W1600435877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183517$CFECC2E2-7BBC-4E06-BB63-330F51C3C504","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$E411AFF6-3DA3-44CC-AD8F-B5B240662646","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":"Q3183517$88ABBBB0-E382-472C-A87D-60BDF73B6EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$20138C34-8427-4DB0-B31B-0B1E3E1D14D5","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":"Q3183517$44097650-0377-4E78-B1C7-96B679238E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$F269F57A-B9F0-4672-9AC7-10B5CC144474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a0619f07c8313163d5395382f74c59a1da4d00","datavalue":{"value":{"entity-type":"item","numeric-id":5448058,"id":"Q5448058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$57300F39-D276-4004-914F-4079DACE7EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbadfde9c7a92f9ea143c4168d91416e4773fbef","datavalue":{"value":{"entity-type":"item","numeric-id":5899158,"id":"Q5899158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$98AE97B9-0622-4783-8968-695404316563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb026c7f4679de1f9e698ead828cb6959dff56","datavalue":{"value":{"entity-type":"item","numeric-id":3523169,"id":"Q3523169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$57C84B2E-0425-497A-8242-EA373B3DA4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f831bdd0445bbb207a58535cee0f990813469d","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$BABCC85A-26E2-4793-ACB2-BC2F72954EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$E73BBD04-B99F-4DE3-AC0A-800617C1922D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$FA163424-9006-4DA0-98C7-D664C38460C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$F4C6D6C2-771A-4189-A21C-B559D53C032C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9055b0cc60b35ae226978f59203587ec6cf2e814","datavalue":{"value":{"entity-type":"item","numeric-id":714712,"id":"Q714712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183517$70205310-B3B7-46DD-9B08-F372653132A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd8dc0e0b76d191fd26f35e8e5741833044fd26","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"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":"Q3183517$FC42A6A8-B199-490B-9805-065CD25BDCD1","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":"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":"Q3183517$01AABDF0-F99A-4DA9-BA6A-D0FB7E55CD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c21c4cd5d4993c28f29a090d2fcc426973edfae","datavalue":{"value":{"entity-type":"item","numeric-id":2280211,"id":"Q2280211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b256f2797ebf65b71e78b0f92387a3746ec06b30","datavalue":{"value":{"amount":"+0.8095752000808716","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":"Q3183517$979A9940-69A1-4779-88CE-A99327DFA377","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":"26936d186b7ccac8d63fddc3fc0ea9abfa4b4cfd","datavalue":{"value":{"amount":"+0.8045547008514404","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":"Q3183517$73F77F19-551A-4EFA-B32A-14D8F9A29556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e348351fc0d55da2a66fc3a8fea950fad5013e","datavalue":{"value":{"entity-type":"item","numeric-id":2848688,"id":"Q2848688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26936d186b7ccac8d63fddc3fc0ea9abfa4b4cfd","datavalue":{"value":{"amount":"+0.8045547008514404","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":"Q3183517$960B24F4-8C5E-4DFC-8884-2E965B31C041","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3183517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3183517"}}}}}