{"entities":{"Q2879252":{"pageid":2889972,"ns":120,"title":"Item:Q2879252","lastrevid":52085354,"modified":"2026-01-20T22:02:50Z","type":"item","id":"Q2879252","labels":{"en":{"language":"en","value":"A Coq formalization of finitely presented modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341482"}},"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":"Q2879252$B4546378-CEE3-4F88-A65E-3F36DAF022C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d02031f758dbc0d4c22e112640e3859f06642fb","datavalue":{"value":{"text":"A Coq Formalization of Finitely Presented Modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879252$CD7D2E67-9E1B-474E-9148-B901EF185E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c76b3db14a6f20dc13707d23fc4ded4d5f3fa0da","datavalue":{"value":"1416.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879252$49C050BC-1543-467D-9399-E0E0AC15B5C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45090c088c7f5d0fc13b07868cc512027f309864","datavalue":{"value":"10.1007/978-3-319-08970-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879252$9178E8B9-C8E8-4637-80F1-25F39E34ACF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879252$AA1A828A-5C51-4C69-9A39-F5273832A14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879252$F6E5CCC2-D070-4D6B-9832-BA31E17E4146","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":"Q2879252$36FAF933-4BF4-4AAD-8C7F-AD54FAE33377","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":"Q2879252$476DD72F-BBBB-4F68-B157-80F57E0556E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b93e239ba286154a887f966633cad42494d14a32","datavalue":{"value":"https://hal.inria.fr/hal-01378905/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879252$D5F5A323-00A1-404D-848D-9CBB5146F368","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879252$D68C2336-7EE8-40FD-A509-56BDF27B2962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879252$7B73E022-2712-4264-8ED2-3E52BA385581","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5b3b23b6e83b6ebcdeb659599578a69502ac462","datavalue":{"value":"6341482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879252$80103288-9A34-4FD5-932B-92D616808DBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879252$2DB92B0C-AC40-47C0-9544-09E3968C61DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85250b0f5793fddfbfacbacf1a198f152b6c2ef","datavalue":{"value":"homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879252$294F1614-9D8E-4743-9FC2-AD5DB319E922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879252$73AD2665-079D-46B9-A297-DF5E047BB2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879252$F7C8B762-AF46-4B25-92EE-D0CF7FAEFAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879252$A1FAE319-6041-45BC-8D96-493FEF712008","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":"Q2879252$0D19972C-7920-4A16-AAE7-A70ADEED98A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879252$864A8959-6D25-4D94-B6A5-B0E76AA125CC","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":"Q2879252$2E5011CB-9378-4E0A-BEBE-6A42E922B2B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d954346139bf5ff7644c6065c1d8b9025f36261","datavalue":{"value":"W1044853446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879252$2B69F02B-88CF-4CCE-8AFA-2C53F469B4A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd9d9c437a0b2dd000dca2d43353a3aac50de0a","datavalue":{"value":{"entity-type":"item","numeric-id":631755,"id":"Q631755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f8ec189330036d801bff2eb9a5ce662b7fe7fd","datavalue":{"value":{"amount":"+0.7847305536270142","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":"Q2879252$1ADB3AA3-4F4E-41DC-945B-E1C536048B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4af1f9318484167a2c6f128780501e62e5c42dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946715,"id":"Q2946715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06dd7fb4eb3848f50b134710c1c66e6fd6dc7a72","datavalue":{"value":{"amount":"+0.7810066938400269","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":"Q2879252$E80718DD-9B6C-4DE6-B8F2-073F28F87A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f8e4fb92c5e9f8415dedf91c1faa12b8ea2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af62835c1ef65a367308a005086ec0ca9ddca660","datavalue":{"value":{"amount":"+0.7783583402633667","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":"Q2879252$87293ABD-3BC0-43F7-85F7-036BC4214593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c39fa23a77733b0872bfe3e6bcb191b833b9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":3637300,"id":"Q3637300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4c21a2f9735a3fcc3b324f33aa10a31df88c49","datavalue":{"value":{"amount":"+0.7656514048576355","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":"Q2879252$2854B46B-10D4-48D7-A775-E83AF2EC35DE","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":"83c8c8845082ccaeec47f3c77ff92adaf84a4af0","datavalue":{"value":{"amount":"+0.7640347480773926","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":"Q2879252$5F49254F-9E3C-415B-AE68-A37E79BD6968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879252"}}}}}