{"entities":{"Q4916067":{"pageid":6945648,"ns":120,"title":"Item:Q4916067","lastrevid":41108915,"modified":"2025-04-18T07:58:50Z","type":"item","id":"Q4916067","labels":{"en":{"language":"en","value":"Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155882"}},"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":"Q4916067$18397202-F127-4B6E-B8A9-AC1A67FE4FA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b085a0bec900efbfb55920a55af309e2197903f7","datavalue":{"value":{"text":"Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916067$66CA8ED4-023C-4310-B5A8-49664E4E0C67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a331cc50fc6cf9eb1214386a755861829cf356cf","datavalue":{"value":"1383.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$AF91BC85-70CD-4F78-A818-A7F88E21EE47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba8bff090ddcf4b2f7524eafdb64c89581ac731c","datavalue":{"value":"10.1007/978-3-642-35308-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$9D872AD8-8E67-4356-8CDF-A70EF69B7456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55cfbbbb889685c16294bfa3437f02f1746fc983","datavalue":{"value":{"entity-type":"item","numeric-id":352947,"id":"Q352947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$3E50EBEA-9CEC-40F7-B41B-EBB86DDF38FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad8ccccb23328bcd4bc5d77fdcb24566eaf7e22","datavalue":{"value":{"entity-type":"item","numeric-id":2018660,"id":"Q2018660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$CC117AF5-A369-4CB0-BAEF-13766B95829D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$C120E2E5-35C1-4271-AFBD-F2FAB8DCC047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$F6030FAC-A9C4-42CC-898E-AD3C3B064C37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916067$C51B37E8-841F-4619-8493-4BAF6621C7F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$036D5541-BE5D-48A0-950C-60C85729161F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$9F533FD0-DF69-44AA-A02D-DB83FCD2DE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5899661668715416a1168396457e99220d1a650","datavalue":{"value":"35L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$F47E8DB3-FC20-43C9-B832-E809B510E227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e684f517bc6f932d171582c3cf8f56057214c71","datavalue":{"value":"6155882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$2CCF32CF-D2EA-4840-B720-926339BB0BEE","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":"Q4916067$0E5178C5-19E4-406F-9C67-7E17FB4D4A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$8963FD14-FD7A-4832-AF73-7545888EE564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$2EA17FFE-6874-4E6E-8F4E-E09FAE1DA0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916067$748855A6-33FD-40E3-9489-C9D64B48496E","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":"Q4916067$2560AA63-D1A3-4A66-9BFA-C79BDFF8FC33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3d54d2cb28f524bd05db4f80ca5a614fd935b8f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916067$54876937-BD0C-4F4D-8D96-05E0B30141FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74404a60304844bf894e8b5740630a4898b575b3","datavalue":{"value":"W112168304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916067$3826D46A-93AB-43A8-BD62-DCFC74318103","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcdc34d6875016adae88018ed7456d8e974283b","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a0b7a2a1c010c374dd55b5bbabdc8586ca79a9","datavalue":{"value":{"amount":"+0.90922916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$C03FC8E2-289D-4D26-BE83-0A8E8273B8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd266fac46d1f0e4912cd14beb4ae60fc9970e0a","datavalue":{"value":{"entity-type":"item","numeric-id":5875440,"id":"Q5875440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5ecabe57c61616b3c7c570495484797419351d","datavalue":{"value":{"amount":"+0.8700796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$02E829E7-3DD3-4E42-B754-CE49790AEE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d7a49cbc127c73bb43f0247c4df4127a92b875","datavalue":{"value":{"entity-type":"item","numeric-id":2673304,"id":"Q2673304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7fb90bc0d34e7d16e96dbd940764ef9ab85c5f","datavalue":{"value":{"amount":"+0.8666568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$D460174D-73D5-4D97-9FB9-D1F8A6D4B642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32b826958b00bfcb34ffa029093896a13eee46a","datavalue":{"value":{"entity-type":"item","numeric-id":2957693,"id":"Q2957693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39b03a2061c7b97218eea57e8942a281362ad57","datavalue":{"value":{"amount":"+0.86499906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$DE961961-41D7-45D6-9B85-CC3A9526AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7320effd6b74b39d05b919a835846f87bff5ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5195277,"id":"Q5195277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8791d861880d0ce6c0b81a10b9a39d8af8cb6495","datavalue":{"value":{"amount":"+0.8566122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$482E6A6E-8BEB-4595-9A94-28BEED14705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9c71099e1c408567d56c1b9f9489c73500cc55","datavalue":{"value":{"entity-type":"item","numeric-id":4989411,"id":"Q4989411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4f00891f3e7bada64592a0844cc6f88bc13e09","datavalue":{"value":{"amount":"+0.8462282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$D3151D09-DDC8-46B1-B85C-A7F8CC7C8C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cecb197cba373237d74ec245fe75d5b1a83f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a8db20ace701f71af60285faa6127b6db8992d","datavalue":{"value":{"amount":"+0.8443644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$9A4E5D5F-86CF-426F-AC61-911CC79FFBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35972ae61dc081a3614608bd04d82ea882ee1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7162c2e1fc9993b8cb0234378a6af4b182100d","datavalue":{"value":{"amount":"+0.8439529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$B51BE7C7-B8B3-4129-AA8F-91E925A214FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57b827cfa1b0779f2065db0f2675dd90878f16d","datavalue":{"value":{"entity-type":"item","numeric-id":4590870,"id":"Q4590870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba454dce2051a8a7d3f7efb196f9f3de2037c83c","datavalue":{"value":{"amount":"+0.8438915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$0F1CEAAE-84EE-4918-BDF8-717CDA7194A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4f2860390bc544328555552fa26063e1c68a10","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3db01c45be1dcc1d4dfe82292233bb9180b6e3","datavalue":{"value":{"amount":"+0.84224755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916067$4F4B8E8F-375E-45F0-9D5D-4FB631E4FDA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916067"}}}}}