{"entities":{"Q2879272":{"pageid":2889992,"ns":120,"title":"Item:Q2879272","lastrevid":52085390,"modified":"2026-01-20T22:02:53Z","type":"item","id":"Q2879272","labels":{"en":{"language":"en","value":"Universe polymorphism in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341501"}},"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":"Q2879272$56B402AF-662F-4076-9A1A-B9F04FA617A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"155d122ba8ca80ff68770832c05521dcbdfa39d4","datavalue":{"value":{"text":"Universe Polymorphism in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879272$F29F167D-D652-49CC-8ECF-961DFAC8E435","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1dcf2624e8c5f2b52e55a8ca15f54a459bf9cfd","datavalue":{"value":"1416.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879272$A24C6EA3-944D-4170-8C7A-93F8B6C7DDF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"567933ddf7cc0c72aa2eb84a139e103ddd59be18","datavalue":{"value":"10.1007/978-3-319-08970-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879272$A001E5B9-3D54-4C44-B003-82DC7EC7EECB","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":"Q2879272$F1584920-8D59-4225-9B00-81FFD26FFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879272$E4280C14-9F01-46D9-AB66-102392A5E21E","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":"Q2879272$DAA430C9-7091-4EBD-8CCC-3EFD4CF3A64A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879272$3FB2EBFB-6B18-4916-91EE-4D58AC9E28A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879272$FB808690-2D1B-4043-9CB8-9BC2227F4A60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0791ec471cbf51e6026b5fb08ddb04212ed4f9f","datavalue":{"value":"6341501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879272$E921429C-4A3C-43C6-8C11-7B730EF7896F","rank":"normal"}],"P1463":[{"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":"Q2879272$9CE4F29D-904C-41FB-9A1A-CAD393D52F67","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":"Q2879272$ACFBD89B-0726-40A9-A869-C14CEC86B27E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebc27cc2655fe1e04d61586d88c476113be58acc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879272$1F772853-74D6-4284-9290-677A739B2EFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11ffe510afc076ef4cd58c22baf8283e6088af01","datavalue":{"value":"W1875842672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879272$FD56B12D-7767-4D8F-B745-98E0BCAABF29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb902c0537b60f3f972d7c131ae52cd1c1fd2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4993361,"id":"Q4993361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e1d941f71af8fb8768edf7d8f966ee10b91d48","datavalue":{"value":{"amount":"+0.7744300961494446","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":"Q2879272$CEC9EC5F-F5B8-4780-A63F-5D5D24FD80AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b038897e985a6185f1472ca068c61d8eab3426ce","datavalue":{"value":{"entity-type":"item","numeric-id":4484336,"id":"Q4484336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d68f46504db1867fb2035d40135c931b17dcdd","datavalue":{"value":{"amount":"+0.7706417441368103","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":"Q2879272$51A6BFBF-DDC3-486C-B83D-2D84C3D10CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c839c0aa8470b2188f6dd55eb1a4a77f974e30","datavalue":{"value":{"entity-type":"item","numeric-id":2787453,"id":"Q2787453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d39e95e27d0f03734f7a631cb1e02d862c19e3","datavalue":{"value":{"amount":"+0.7618246674537659","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":"Q2879272$A67D8244-B5C1-4B2C-A48A-1AD6DBC7A39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d229532ddf32a8c0ef725993d323ddf9386f50e","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6adbcacb277321ef88c495b914f0cc8d13249b","datavalue":{"value":{"amount":"+0.7571611404418945","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":"Q2879272$3EF49906-BCD2-4B4F-BAA9-50ACA2EEA3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15487497335ac7907cba7b59c4509170d36557b5","datavalue":{"value":{"amount":"+0.7557106614112854","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":"Q2879272$0A3DD95E-BD2F-4077-AD61-1679C8CC33E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879272"}}}}}