{"entities":{"Q5747663":{"pageid":7777214,"ns":120,"title":"Item:Q5747663","lastrevid":51080210,"modified":"2026-01-16T13:36:09Z","type":"item","id":"Q5747663","labels":{"en":{"language":"en","value":"On the formalization of the Lebesgue integration theory in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785355"}},"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":"Q5747663$C09EB7A1-BCF1-4F34-BBB4-2EBBF2340544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30b69cffd366c9d4b522d7a2510c2797a319e0d7","datavalue":{"value":{"text":"On the Formalization of the Lebesgue Integration Theory in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747663$662F7BE6-5411-4239-8D1E-68CD19B4ABAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66bb7208e5996bef947fd474accdcbaad9086b56","datavalue":{"value":"1291.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747663$34C68177-AD5F-4F08-9BDB-51F7F016D85A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a94cd84e3a4812fd5b3e8cdbaadabcb20a93d6c4","datavalue":{"value":"10.1007/978-3-642-14052-5_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747663$5E7B0452-A5C1-4952-99C1-33DD1C703D3A","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":"Q5747663$01912EE4-F6B3-4C8F-B0C5-64B41131DB2B","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":"Q5747663$6E3FEFD3-DF9C-4A02-A388-C549FE2AB76D","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":"Q5747663$7B907AC4-9780-4878-BC24-C6CB5FD83953","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":"Q5747663$CE5D22BE-7F40-4A15-9DED-42B169AEBAC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747663$F31378B5-A23B-4560-A9F7-E67BACEF1436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747663$C512A020-A258-4EAB-BF7E-66748D37A7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff3eda259169ff970f6c3965a7811beb0bbcb4db","datavalue":{"value":"26A42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747663$8E28DD36-917E-4A1A-AA03-15C40B349E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"108759cd3cea4621962b41ae84d2b0be50f50992","datavalue":{"value":"5785355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747663$EE35A860-315A-49EB-9C62-1581906DC72A","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":"Q5747663$298098FC-DCDD-4BB2-9C87-8C0C0CB98B55","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":"Q5747663$D1F819F3-92DE-4244-B0BF-871E40CD7D39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20c0e7e9a4ae7d4ead3ea377cb98857679ef419d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747663$98C6A449-27A5-47BB-863A-92E4226E1B92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a514ed187fd35e6760ed42424c2ef5acf04433f9","datavalue":{"value":"W1814275833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747663$CAAA3CCF-40DC-4F9F-A071-20EDC85C4CCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a2dfe78d9fea8f367956ae27f49fef5feb9a27","datavalue":{"value":{"entity-type":"item","numeric-id":5464655,"id":"Q5464655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d5c43378812b152f03252c8547e613a955b97a","datavalue":{"value":{"amount":"+0.845260739326477","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":"Q5747663$DFF958B8-0121-4C24-99EE-BE07B2ED87BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f481d1562ef12fd442b7504ddc0be150ba4d26a6","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553918549913bc4387374e8715f09bcd9f18083d","datavalue":{"value":{"amount":"+0.7824141979217529","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":"Q5747663$FDAC34CF-8869-4549-92FB-A6F9165E7EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e6fdc3a903bccf32cd91e81c4d334dca11d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2375421,"id":"Q2375421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286afa6eeb688f684b5d8603c20d015e0bdb02af","datavalue":{"value":{"amount":"+0.711234986782074","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":"Q5747663$0B799610-553E-406B-9485-3AF92F1409BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a642dd509fa39d333ce011f5fc7a90e147616c7e","datavalue":{"value":{"entity-type":"item","numeric-id":3497626,"id":"Q3497626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628143b33e4c356867fb3af2cf396369a6f04b41","datavalue":{"value":{"amount":"+0.700985848903656","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":"Q5747663$54151356-0EEA-4508-AAD7-7F55C9C34637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e2d4c163df77d668e43e9741165319d047ef61","datavalue":{"value":{"entity-type":"item","numeric-id":3497625,"id":"Q3497625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa586c34f3bf6881036007b3341f9ce041259ad","datavalue":{"value":{"amount":"+0.6988968849182129","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":"Q5747663$89A01902-DBE7-4294-9F72-FFCAA058E65F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747663"}}}}}