{"entities":{"Q3612448":{"pageid":5642354,"ns":120,"title":"Item:Q3612448","lastrevid":49686271,"modified":"2026-01-09T01:44:17Z","type":"item","id":"Q3612448","labels":{"en":{"language":"en","value":"Subset Coercions in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527186"}},"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":"Q3612448$18ACB1AF-676A-47C7-9C0C-2F853A9F2017","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a55c382fe1a3f2ba71f0da6e324d844aa6db199d","datavalue":{"value":{"text":"Subset Coercions in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612448$43C9F25A-D89E-406F-8DC3-A02926AE63D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c63513c214d785e20f061297056cf5451825fe1a","datavalue":{"value":"1178.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612448$40F0AFD6-75A2-480F-B169-1A5920ED33CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9ca0ee2b117d48bea21acd149268c32eb0a36b","datavalue":{"value":"10.1007/978-3-540-74464-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612448$E81DE4CE-5000-434E-A715-3C2006D47953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9414558f268ee594724569b856f23c96f190f01","datavalue":{"value":{"entity-type":"item","numeric-id":1791139,"id":"Q1791139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612448$EDA92F0F-4960-40FE-8BC0-7C386087A2FE","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":"Q3612448$8E28F6A6-8B89-4416-A0B4-7624199605F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612448$0E713445-CD04-4DC7-BF8B-EBDBE6DF47DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612448$3A90E7CC-F715-4FEF-9E95-7643C4C5B2F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05f02e26d6e791c12e74c008d2b9e71e71dfb5dc","datavalue":{"value":"5527186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612448$278D8506-B10E-41EF-8476-F6C01BF9BA93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612448$0E1A33FC-6CA4-447C-B1CB-E4E8768426EA","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":"Q3612448$BD58361C-00C5-4C3B-A2E8-E9704AF42759","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":"Q3612448$CD82533F-206F-4942-BFE2-F3E1D0E5C97E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2549a42a5aedf6d17361077c4804ecf02f06a34a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612448$AF450A74-B24F-401F-B795-D891F5760A2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a40069da93f1e59c892f694d7fdbd11feaa224a","datavalue":{"value":"W1496429054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612448$2028FE09-5CE4-4EFC-9C46-0002CB536307","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9644e45ab3eb0302d0cceb18cb4afa4ca8851ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e382483f89e5c9f40cd1240d969a8509c766c8","datavalue":{"value":{"amount":"+0.8968599","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":"Q3612448$CCBA5F78-9B92-49DF-8DD0-21AD6D526A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09dcfc29a679f1edee160689ef72e73458c00e75","datavalue":{"value":{"entity-type":"item","numeric-id":4246948,"id":"Q4246948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca34ed906eadb41ad83bcbe5e6fde935e623b08b","datavalue":{"value":{"amount":"+0.8932409","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":"Q3612448$05B94532-6578-4229-91D1-7E583E7C2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c4c4a053ad4c0a5924d47e6c4822f65866faed","datavalue":{"value":{"amount":"+0.89144695","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":"Q3612448$4A17104B-CAF2-47A7-A0CC-E20CF5977964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e08ae23f2ce5afd49576406a05a26a50add7678","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263381f5b3f22dfa7253e725be0254f590231b23","datavalue":{"value":{"amount":"+0.875193","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":"Q3612448$6AF8147D-DC7D-4C1F-ADBE-91FC07280909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2109662e4adac34d5ea4c784f9d56ed371e57424","datavalue":{"value":{"entity-type":"item","numeric-id":2798253,"id":"Q2798253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251d4818efe1ce864beaa20cec4010d4fd5108e0","datavalue":{"value":{"amount":"+0.8733999","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":"Q3612448$49A29661-DDD1-4469-958B-0A69571F85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6272bff2ef2753562174842ca396160d3c8e9852","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dc86fd1ab011dd2dcc9c0ba489f823afd35264","datavalue":{"value":{"amount":"+0.8719206","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":"Q3612448$28888075-7B7B-449A-B4D8-17ACF1642DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48aae8fd39c8b4a66b19bb4c6c754b913540fee","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267e1e5370b1235c745ddbde6fa6417611f5f436","datavalue":{"value":{"amount":"+0.8709681","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":"Q3612448$06002EE2-EC61-46F1-B807-2712ABAA2CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e6b2f2aa39a2a7a9d647c753613818954876ff","datavalue":{"value":{"entity-type":"item","numeric-id":2871871,"id":"Q2871871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce12fc2ed30e035abe61aa448971a0cd195e466","datavalue":{"value":{"amount":"+0.86728585","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":"Q3612448$8AF63964-DF10-448A-84FA-9B635376965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d18c4363ab10d9b63d6e33945cf5e7798ccf20","datavalue":{"value":{"amount":"+0.8669447","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":"Q3612448$DB267389-A280-4ABB-8C27-0CFDE6703AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12fca70c80b50c2c2b9f44f6d856ee5c5a831c8","datavalue":{"value":{"entity-type":"item","numeric-id":4499304,"id":"Q4499304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fa2e796b465d7ef0caf42b653a88870dc2b828","datavalue":{"value":{"amount":"+0.8622318","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":"Q3612448$EDEF9161-22A3-4C83-9881-DBD2CC2A4443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612448"}}}}}