{"entities":{"Q2798253":{"pageid":2808991,"ns":120,"title":"Item:Q2798253","lastrevid":83437112,"modified":"2026-05-07T07:57:06Z","type":"item","id":"Q2798253","labels":{"en":{"language":"en","value":"From Sets to Bits in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6562501"}},"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":"Q2798253$17A26DB1-781C-4B16-A7AC-7FDB16E929CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bda712132e64e27a44ed1c2772c80b1a631aee6","datavalue":{"value":{"text":"From Sets to Bits in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2798253$9A7CDD3C-6950-475A-B66A-6879AA7260A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17827af07a0c64f4344e6f3f97934c8475b4d4f4","datavalue":{"value":"1475.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798253$C9E2F239-9A60-410E-A4C7-8B99B927E428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"deb9ad1ad5abf3447c9b78632d371f8203fe79fb","datavalue":{"value":"10.1007/978-3-319-29604-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798253$C2BC069D-E005-44EB-A3F3-5FFB6F8CD593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4de9c4a49c1ee25676f6cd2a52080513bfad8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2798251,"id":"Q2798251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$A4B248EC-60B9-4886-B5F1-BE9C51584B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db996d04c31cf60b0d6f1dbaa6e0171d1c9f854","datavalue":{"value":{"entity-type":"item","numeric-id":2055656,"id":"Q2055656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$326F867F-EF2F-4C11-BB24-295BFE6DAD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e33e27f9f81d71e5c3574531855566bea284042","datavalue":{"value":{"entity-type":"item","numeric-id":192364,"id":"Q192364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$BA27EEDE-3EC8-41D0-8ED4-3355BA2BD553","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$4191661D-EA66-40A9-93AA-13C9714171EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d632be975d89d9bf6400f8a1a3033c5ac887a3f4","datavalue":{"value":{"time":"+2016-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2798253$E7AF7C66-5687-4B02-9218-A3DE34ED626A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798253$A075FD2C-4124-4F20-915C-D6E463A0501D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad018cfb391aef8eaafa630fa9bbc5590c6cf1a","datavalue":{"value":"6562501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798253$C45C220A-3D18-4E33-B0EF-17BDB96B13BE","rank":"normal"}],"P1463":[{"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":"Q2798253$8F61AAB0-59B1-4ED3-8CA9-7F1089135BF4","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":"Q2798253$FFC981C6-44AE-4792-A616-8803C857C830","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":"Q2798253$892928B5-813F-4BAC-B6B9-6206817B8254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$B797B380-FBF4-414D-8B23-AB4E7E84654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"123d4630e9a6143baea5fddf56cc6abfe61f4197","datavalue":{"value":{"entity-type":"item","numeric-id":33381,"id":"Q33381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$084BE833-2B34-4BF4-A015-CEC992899E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40dadedbce14e95292c69d29e336e7ab60db514f","datavalue":{"value":{"entity-type":"item","numeric-id":33380,"id":"Q33380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$7811D064-0046-4493-9700-F8F248B6AF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$C7021EAE-47FC-43E7-B5DF-332756EDFEDA","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":"Q2798253$37107281-9C7E-4C54-B036-0B925FFE9509","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29f14e5d45c4a9bb1ae0b1472070b8a4583bc398","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29604-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2798253$6C114882-A0E7-4B17-BE64-85356ECCB3CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9561b0a7078418006196f7894f305a03e2e154d1","datavalue":{"value":"W2230566585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798253$5A3B7322-D010-4249-A10D-5F6355858D01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$57453DB5-0C28-4EF8-B85B-570221801C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d7d3ccc3684bd24073efc75ecbe050838f84f1","datavalue":{"value":{"entity-type":"item","numeric-id":5591930,"id":"Q5591930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$96C079AC-0ECD-4CBC-A42C-60D86CFAF0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$482E6AC4-E479-48E5-9D7D-B7C74D0E4D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07a9a1305cdef540fdf4d7966c5a991691893f6","datavalue":{"value":{"entity-type":"item","numeric-id":2427301,"id":"Q2427301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$E70EF37B-9A3B-4C9D-B14F-F0AAA94B8915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$0A56F10B-DF11-47B5-9F2C-7A4A63C6174C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$43394E6E-8FB3-4CD5-883E-8F741FE2B38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$4905B99B-F057-491F-84D2-3951DB293D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51840355e08753d0377af591c495ff9f8053cee","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$035F6615-E645-4025-86BA-EC0AC37D49E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$938AF5C5-BD65-4255-9833-453E2DE771B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$5922D291-5953-4FC0-B54B-DB3C94E7E8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798253$47042889-1F8A-4C28-AC84-95AFCC38AEDF","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":"b2054699ff49a946d3ca7f08a23a0adca8fb0037","datavalue":{"value":{"amount":"+0.89997494","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":"Q2798253$AEE82E94-19FF-45F2-92E4-8DF4D633C8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f6c553fb1f48f6d30ac68d84a48e70ec4a4bd5","datavalue":{"value":{"entity-type":"item","numeric-id":3612448,"id":"Q3612448"},"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":"Q2798253$0F84E482-71A5-41D8-8051-3E10D8CB68D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277e7249a69282f954442c61a0a57324c686c3da","datavalue":{"value":{"entity-type":"item","numeric-id":3075244,"id":"Q3075244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8c76ccc38cb34a84b78effe3cc412568813b8c","datavalue":{"value":{"amount":"+0.83889496","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":"Q2798253$C846770E-2FCD-42AC-A0B8-D1A7F24C2B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ceac4475be8b1ce0b4b201818d1dc917554221","datavalue":{"value":{"amount":"+0.82558036","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":"Q2798253$17036A1E-13E3-4AD9-9709-51A2A3A5B383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e3ba11329d11ff01bee6e0f280507a8c76ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":1183639,"id":"Q1183639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e8a151d54f7d4e388eb8e31b5c51fab7c6b55d","datavalue":{"value":{"amount":"+0.82286733","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":"Q2798253$97A79A02-D95F-4E22-935F-B56E5EB3D4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669e4f6b7c6a17581b7f49225e9acbe285fd3583","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143b41963520e9b40892fd7db8050ba014b835a9","datavalue":{"value":{"amount":"+0.82188046","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":"Q2798253$4F20F178-A991-4EDE-9229-3F84FB5EE9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37adf8bf98178385c6a89a395e82fb15b7f7127","datavalue":{"value":{"entity-type":"item","numeric-id":4647576,"id":"Q4647576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe8b2a8054dfafbc6f8df99321e9a748fd7388e","datavalue":{"value":{"amount":"+0.8138848","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":"Q2798253$66B76859-C047-4C8D-AE8A-624A97E1A17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b85b92a612525e53f1940e47c9de317d158f38a","datavalue":{"value":{"entity-type":"item","numeric-id":3608814,"id":"Q3608814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a290a49fbc2a39c464777363b60db58afb20063e","datavalue":{"value":{"amount":"+0.81231385","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":"Q2798253$7E6E3904-EF37-42FB-B22B-B82BE1D4B9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210fc6ea1c74927f8cc30615348c9f5912fd19d2","datavalue":{"value":{"entity-type":"item","numeric-id":3586063,"id":"Q3586063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac5319dfc1d0ed3c1e00688354356cefcad7fd8","datavalue":{"value":{"amount":"+0.80794054","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":"Q2798253$8F083559-CAE1-47F5-B39E-9153C3D4E024","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":"ba38b3bf8d3f2d3dd18cdb02b80453e93fff05eb","datavalue":{"value":{"amount":"+0.8071722","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":"Q2798253$F204FB4B-759E-431D-8C00-31B9010BB2C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Sets to Bits in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_Sets_to_Bits_in_Coq"}}}}}