{"entities":{"Q3088009":{"pageid":3098724,"ns":120,"title":"Item:Q3088009","lastrevid":51317624,"modified":"2026-01-17T17:56:15Z","type":"item","id":"Q3088009","labels":{"en":{"language":"en","value":"Formalization of entropy measures in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940071"}},"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":"Q3088009$9F74D761-57A6-4834-80F1-62AA2FBB870C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89f7257a09820df65692f82154c8a78d84adc10","datavalue":{"value":{"text":"Formalization of Entropy Measures in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088009$BDA03171-12B3-415C-A7F1-79ECAED79D9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67cf6ddf18ed049702b2f32a5d5334c07d9d523e","datavalue":{"value":"1342.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088009$C496AA90-3C06-47C2-8974-1948F8C7E470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb33401e18152e53ce09122accfeb02f213b56a","datavalue":{"value":"10.1007/978-3-642-22863-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088009$345A070B-3008-4EF7-8D4F-865A7CBB5DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f7865e15345fae204a9c1fe04f5989d4e90130e","datavalue":{"value":{"entity-type":"item","numeric-id":246139,"id":"Q246139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$985909EA-64E7-4192-8CAF-3435A804140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$36A39814-6C83-463B-98A9-EAE39E342E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$BB0939E6-62BE-42F2-8BB4-42C78B2392BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$01D9DDE6-9958-45A2-AAE7-5C7CE4AEA0BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088009$4BE7EABB-92DF-464C-912B-7793DC09E6E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088009$D4CD87DB-D970-4868-997B-4F3864C3BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088009$161BCCEA-1D27-44FC-BF4B-A1AD62E20755","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3d577011e8ec963290ce0343945630b38b6a27f","datavalue":{"value":"5940071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088009$F1552C0C-8A09-4B04-AAF6-665BEFB44F82","rank":"normal"}],"P1463":[{"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":"Q3088009$27140FAE-CAB7-4258-BDE7-2D0D2403717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$BE11F0D2-C120-4E5A-89BF-BD071FF17301","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":"Q3088009$2E1A0433-0778-4CD2-88E1-8007133EEC83","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":"Q3088009$D822CA64-E09E-4B06-BF94-45DE1E4839C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab85302baec817c6a2cf26425deecad1f79d808a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088009$7109BCB9-74C5-4C13-B452-2D17A7DF5690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec79f18c9dff6302c78bdf23ffa45870fbeeba5f","datavalue":{"value":"W162339537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088009$5F8F7B39-CB39-44F0-AF76-335C87971849","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$B3F47A94-8E3A-4E8E-A6DB-AC91F74646A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aff9c5eb3c4c80d652d6459a06ff8ec62dd595","datavalue":{"value":{"entity-type":"item","numeric-id":4023085,"id":"Q4023085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$56C2513E-BC3D-440A-889B-6A1C11781066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744f3929f19e7d008d51861d70f3b8d3e07a486","datavalue":{"value":{"entity-type":"item","numeric-id":4813520,"id":"Q4813520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$E2C606CD-F1CF-401A-8B18-86882C6082E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059293f6c8c9c46adc7c45c14476fe9d5e03b7a5","datavalue":{"value":{"entity-type":"item","numeric-id":4118034,"id":"Q4118034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$2D6A7009-5A9F-40C0-8344-DE6B6454D5FB","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":"Q3088009$CDE9FF03-762C-48F5-B5AB-4EF429A4B242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc22eda20e13ae4c1f389d048db76ed6af41ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2849848,"id":"Q2849848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$8E4B463D-C6EA-4A6B-BD29-97F551536014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686051ea1866b310359b4b104cfcfb66e60203b9","datavalue":{"value":{"entity-type":"item","numeric-id":3189801,"id":"Q3189801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$9CEACE79-ADF4-4EAC-AB5E-7FDE85CF1083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1e49d74090d77a773896f7b2be0970d01b92ca","datavalue":{"value":{"entity-type":"item","numeric-id":5747663,"id":"Q5747663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$9ACDA718-E21C-43B8-8EE8-ED30A7888656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a6a480ee84b52edacfcdd68c90b1d674efdce9","datavalue":{"value":{"entity-type":"item","numeric-id":3223595,"id":"Q3223595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$5A0304FD-DE41-4B8C-A420-FB264BEEB36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$C123CFC8-CF12-4F38-842F-78368F0DBCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dceb76bd2abb1e9101c8e89a7cfd134dff630d86","datavalue":{"value":{"entity-type":"item","numeric-id":4813519,"id":"Q4813519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$9BCF579D-AEA8-4C5A-8EDC-AE34683F73C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f0cf2b8270f6087b7bc3862da42dbac9e1bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":88168,"id":"Q88168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088009$95B65959-D281-4608-9669-B6EBEAEFF8C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf0c0aaac25790a5f61c6a62c479f69532c5128","datavalue":{"value":{"entity-type":"item","numeric-id":5045392,"id":"Q5045392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c94080ebc0e5b6a0b6fb6582043586c38ce6b5","datavalue":{"value":{"amount":"+0.8309211730957031","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":"Q3088009$4E17D3E3-5778-4553-83A7-EF4FE4ADFA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4983965f668e11cc5583d8c2780b81856ad74f","datavalue":{"value":{"entity-type":"item","numeric-id":2914745,"id":"Q2914745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c267dadb43ae7ab0420fc7478b0d1dd13da6574","datavalue":{"value":{"amount":"+0.7893655300140381","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":"Q3088009$FA13CA7D-84EC-4029-90E2-EB9DC2CFCA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07ff81cd829b73f57957165205d53f775343772","datavalue":{"value":{"entity-type":"item","numeric-id":5166664,"id":"Q5166664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc01cee13632a1d7b111667839025bc95f46a0ee","datavalue":{"value":{"amount":"+0.7751591801643372","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":"Q3088009$768730F7-425D-4DDC-8E64-4D754040A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7356e2ee5dd228b3b01cf53bc249f3cd3599488c","datavalue":{"value":{"entity-type":"item","numeric-id":2352494,"id":"Q2352494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b07ca6a285b7d95ded624f06bdd2a27df4de7ac","datavalue":{"value":{"amount":"+0.7746543288230896","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":"Q3088009$B9DC181E-D486-480E-BECD-93414DF6C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b5625db721d32945bb558344f44be3d4db9493","datavalue":{"value":{"entity-type":"item","numeric-id":545151,"id":"Q545151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45713061dc9d68ef8894d4c595708271856f54dd","datavalue":{"value":{"amount":"+0.6979352831840515","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":"Q3088009$F382611D-9165-4BFF-9FB7-361814531FA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088009"}}}}}