{"entities":{"Q2851950":{"pageid":2862670,"ns":120,"title":"Item:Q2851950","lastrevid":51838436,"modified":"2026-01-20T07:17:04Z","type":"item","id":"Q2851950","labels":{"en":{"language":"en","value":"Formalizing cut elimination of coalgebraic logics in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213580"}},"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":"Q2851950$637555D7-05A1-4F7B-8CD2-9F05994B4A09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d4d3e4ac48734e439779244b4b394a347ce61d5","datavalue":{"value":{"text":"Formalizing Cut Elimination of Coalgebraic Logics in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851950$B8E06420-9194-4C32-B526-708CF6C1185E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94caa6c3fdb7c47898628c0668aaa564c1549f7","datavalue":{"value":"1401.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$C00F583B-914B-4A5D-87FE-7EC4CFA29834","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5896e0e08039fdeccf2dfc3e83dcaf14ea31c92","datavalue":{"value":"10.1007/978-3-642-40537-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$DFC8A055-1AA7-49C6-AB75-079FF00BBA2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6997ab07e7932b481a649bf1d5271ce569949f23","datavalue":{"value":{"entity-type":"item","numeric-id":835771,"id":"Q835771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851950$BB5D0990-7D0D-490C-8A29-4AF97A0D4EED","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":"Q2851950$1AD56079-B5BC-4947-A0B8-A8A7D6660D00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-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":"Q2851950$D921F426-2CCA-473B-9E7C-7B6AB1A78C25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$882838D2-CE6E-4855-88E2-C6D13DB17B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$18E78B89-80D0-4978-ACA8-7327B4BF3D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$0D08927D-454F-4811-87E2-64B06D2B473D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$37BCE0FC-6D04-4525-96A3-2AFD889BAA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$7821EEE5-E90B-46C7-A0B8-37CF0419CD14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f1e7f89afbd630bcd4c647853b66ab10172fbc","datavalue":{"value":"6213580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$E28D9DC8-96C0-4150-A117-BB3DB60B5C83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851950$97C04461-323C-48E5-BBE8-8239BF3603B5","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":"Q2851950$902C6577-4EC9-4BE4-B36B-0F8D0CF38507","rank":"normal"},{"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":"Q2851950$016489E5-DE93-478F-B07A-BC63AB32FEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851950$70A52281-83A2-4AD6-9C50-F07B9AEF33F3","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":"Q2851950$0FFB7B5B-27B0-4B0E-B569-EB578495CD86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e781f83f682a41276c42bcfc9fe4b3d1a768f2c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851950$0B5FB483-8277-43B3-A22A-0B8F2AD188DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1051b0ae26ee9c53529f27bb60b1f0759e0feba1","datavalue":{"value":"W294087978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851950$12A77ECC-2E65-46B8-8220-C79B9D2FCF07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6088c4f363c63f265622ba73d04c6fb45abe4988","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6cede814a7a7075a0bdfde259bd9b18b66bde71","datavalue":{"value":{"amount":"+0.8177260160446167","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":"Q2851950$065179EF-F93B-4BC5-9B05-275DAE1153C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5d84f9f10fe366e1ad2f2e537eef4ae556dc06","datavalue":{"value":{"entity-type":"item","numeric-id":402120,"id":"Q402120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0146e558f50882aaa6b6a92ace4415230a4d5f","datavalue":{"value":{"amount":"+0.7610870599746704","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":"Q2851950$E9EE56E7-84E8-4336-B068-EC7D07E3F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20632995ab65f3b907e5567aeb0b710e9bac8fda","datavalue":{"value":{"entity-type":"item","numeric-id":2873670,"id":"Q2873670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc9afde1a27fb16fb26fdb66402289cad31dfb5","datavalue":{"value":{"amount":"+0.7564113140106201","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":"Q2851950$36A24598-8497-4A86-BBC3-8EF5A51142BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c724725837931461cac224b93554ded3c2abc9","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b500bb2b9554f9631bd896a6c2a81bf29c4209b8","datavalue":{"value":{"amount":"+0.7549009323120117","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":"Q2851950$63925113-84D4-4EC9-A12E-A1DF43D77E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b112eee35eabfd306112c4a3f285b9abddd0a824","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060143df32b241ad925fd1fb89c1e4bdbc4210b2","datavalue":{"value":{"amount":"+0.7416085600852966","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":"Q2851950$71C20271-0C25-452E-B9A1-6463C58307B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851950"}}}}}