{"entities":{"Q5747673":{"pageid":7777224,"ns":120,"title":"Item:Q5747673","lastrevid":51080231,"modified":"2026-01-16T13:36:11Z","type":"item","id":"Q5747673","labels":{"en":{"language":"en","value":"Developing the algebraic hierarchy with type classes in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785363"}},"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":"Q5747673$72F430FF-BE8F-40D4-BD64-5EF4C8D0D4DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a89f7b0f94cbc07738c74ff7a3e196b33da0d901","datavalue":{"value":{"text":"Developing the Algebraic Hierarchy with Type Classes in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747673$117C6735-43F4-4555-A389-EFD2FC2D9FEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab8d0a243b4f206274a167a3747d0a9ec9a9166","datavalue":{"value":"1291.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747673$155AC3D8-1B94-42FB-97B5-64D4B94D70E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66994dbf6844d3628faeb13197aa7be7d4845824","datavalue":{"value":"10.1007/978-3-642-14052-5_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747673$9E61FEED-BE0F-4C42-9FCC-7438255F9E73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747673$34B6B9EE-DF04-4555-B741-5B18365D1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5803880d1a3015657cb8cbe67e318be0131f8b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3094176,"id":"Q3094176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747673$60F4A213-8F1B-4FCA-A154-1E6880B527AC","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":"Q5747673$8F2D852A-2F98-4B48-9F61-35D9ADB2198B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747673$F141E84B-AA19-4CBA-8155-FEE992E3652D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747673$1FA3DFA2-DCFC-4CAF-A9AB-33890FB3F7A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67c7e9e9a812b687050fffd09c63f27432cff585","datavalue":{"value":"5785363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747673$D156DA43-1E27-4960-8656-F8E7F6B75D6A","rank":"normal"}],"P1463":[{"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":"Q5747673$BB1F87FC-DAD2-4262-9114-559E32EF1F92","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":"Q5747673$62DB9EC0-4F26-4465-88F9-3832EE88F391","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":"Q5747673$E0B9ADA0-3C27-432A-B512-E0294AFCC24A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"235540539af1892fa011e23b240a59429a869215","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747673$D0E97004-BF61-45A5-9C12-4927507F5EA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc86860101a878e2d6377823e71b237374d4e405","datavalue":{"value":"W2152823938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747673$B6B47998-329D-4B2A-8F88-E04F6C0D5EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00741d8653e7ff3ed03255de9dc4a5ba9833efb9","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad03d2810f943bfc10432ba35034ba594126f73","datavalue":{"value":{"amount":"+0.8744596838951111","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":"Q5747673$04385881-0DE1-4A78-B1CB-0C5BD3682D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f96dec649e63601568d9f34d95b3a9d5c172ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb75c8178805a7a2c45f488a970e303e932fe66","datavalue":{"value":{"amount":"+0.8415974974632263","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":"Q5747673$18B3B445-FEBC-4EA8-9528-4D09CBEECAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebdf17415979c5a0a5109871e6e533a5e657dab8","datavalue":{"value":{"entity-type":"item","numeric-id":5327346,"id":"Q5327346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78413cf3b81911b9a8c0f9243179d3b11643f8b","datavalue":{"value":{"amount":"+0.7720065116882324","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":"Q5747673$39E5C9AA-CAAD-442A-8CC3-ED85811F9826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4910d91c3be69dc0495e642c7c1ef82791785ac","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806b53aea748efacf4f90c7c70bb150ae8faac33","datavalue":{"value":{"amount":"+0.7664035558700562","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":"Q5747673$04FDC7FA-EB9A-4A18-9A4F-C0A441063A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53a94cc67207c0fdc8442479c202e5e53255e97","datavalue":{"value":{"entity-type":"item","numeric-id":3582708,"id":"Q3582708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1f9f5be48fa3a53126468a1a0009208d4bccfb","datavalue":{"value":{"amount":"+0.7643372416496277","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":"Q5747673$21B54314-2654-4CFA-93BB-19E44344C066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747673"}}}}}