{"entities":{"Q5428258":{"pageid":7457832,"ns":120,"title":"Item:Q5428258","lastrevid":41878662,"modified":"2025-05-09T08:31:44Z","type":"item","id":"Q5428258","labels":{"en":{"language":"en","value":"Towards Constructive Homological Algebra in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215398"}},"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":"Q5428258$735AF245-62A2-4002-B700-E8D216B938E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57c3e389c07bd89ca6d44c3e9030ef65c4657055","datavalue":{"value":{"text":"Towards Constructive Homological Algebra in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428258$2FE5D6E7-37B7-4107-A07A-5F9081B398D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c63fef2ec60d788ddc57b157a85e0660670fd350","datavalue":{"value":"1202.68376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$88F4CE14-33CE-44EB-9E6C-DE4CCA65252E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba152396efb468050b0152b6bf51266dcfd4698","datavalue":{"value":"10.1007/978-3-540-73086-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$8CCE3505-D7E3-4754-AB91-6853631581D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428258$180E5BFF-792C-4108-A36F-B5F0BFEF98AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3ce062a3abe34fbc66f2165f0b82461a1fec7d","datavalue":{"value":{"entity-type":"item","numeric-id":930884,"id":"Q930884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428258$E0E2414C-A6A2-4966-993F-54BAC0C04E0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0fde56500ce7b4c1f33971d2e4b588b592b48421","datavalue":{"value":{"entity-type":"item","numeric-id":5428254,"id":"Q5428254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428258$5F4287E5-1A63-4EFF-BC8E-373B0029E57F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428258$423B9308-434D-4AEE-97E6-E73AACF4CAA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea5b2bf315f09d0e823714c51230da21ae3979fe","datavalue":{"value":"https://hal.inria.fr/inria-00432525/file/v2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428258$5217B145-2260-401B-ACDE-ADE95386FF78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$0CA61974-B02E-40EF-987C-4FD1BA6EFD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$7A6FE133-BD2E-4DC1-B17A-6E7C8B9B8265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$12F0D3E5-AE88-42AD-8D65-B6F394A99F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f8ff1bc7135bb1a5f4ce6282771b53dfaffbb01","datavalue":{"value":"18-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$4497D8BF-89CD-475C-9ACF-1642295004CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e0066bd6b09cdce209fd7d86806c170c5f699ee","datavalue":{"value":"18G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$902C3EAA-D4D6-48FC-984F-DCFA74F00CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$71B43E44-C7AC-49F9-83BF-B309F3F31E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"931545771f1baa498c5f7fec85b3f9c3a54a0154","datavalue":{"value":"5215398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$A72697E5-00F3-4BF0-8F05-7F617FA10F6F","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":"Q5428258$10C4CFD8-B5E9-4E70-A650-53939AEFEC65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b18ccced4b9ffd6d0c05c0e366cae41cd8fb6bc9","datavalue":{"value":"W1525943315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428258$F59DD5BB-69D7-4976-B5F4-D2312D194896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6a0e6d7a5650309ee9f2db22aeda2d9a4087d8","datavalue":{"value":{"entity-type":"item","numeric-id":3177878,"id":"Q3177878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f6ea36a20644153549cad69a54282ba15f965c","datavalue":{"value":{"amount":"+0.952266","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":"Q5428258$5F825767-0D4A-4DFD-812D-E6860E631348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c6a4684fe2f0f6173a122b751e66dc74b98254","datavalue":{"value":{"entity-type":"item","numeric-id":5156772,"id":"Q5156772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b522f45b78eb45e41553f007f8771c6e9d27066","datavalue":{"value":{"amount":"+0.93702644","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":"Q5428258$A19B75D6-6201-470A-B0DF-3DE6D805E3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af40b122e99d12112b5e8fe056252b548654fbe7","datavalue":{"value":{"amount":"+0.9348419","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":"Q5428258$7778FBA4-671E-474A-88DF-6977CAC86E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992f0b1de34fae686657c881f47cf95dc1b288fd","datavalue":{"value":{"entity-type":"item","numeric-id":5210799,"id":"Q5210799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e52d7121c251e72a51a7b8aae955ce283458cb","datavalue":{"value":{"amount":"+0.9287991","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":"Q5428258$C523145C-47AE-4A4B-84A8-E1793FC81389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76cffd7091f80b436e933640e3bffbfa15200377","datavalue":{"value":{"amount":"+0.92795897","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":"Q5428258$3FAEA8A1-13BE-496C-8DCE-3D7C366F8193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c5a60ec5f58390a7c064f30194d5f22868ac1f","datavalue":{"value":{"amount":"+0.9279587","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":"Q5428258$28071CAF-A374-4BC2-8BB2-84B65F46C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f341e3b87c29d21db53fddde511a42f7d897194","datavalue":{"value":{"entity-type":"item","numeric-id":5040166,"id":"Q5040166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e01f5ef3de9b46bdec95c2821d1f3c791e4157","datavalue":{"value":{"amount":"+0.9275007","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":"Q5428258$086A5E80-7FC2-4E2E-96E0-F713F41B4CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ec9b030401ca7dc1a392d776507f50e8efaae8","datavalue":{"value":{"entity-type":"item","numeric-id":6075425,"id":"Q6075425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0742902d1b1bddf6e1892448eed7488903a1068c","datavalue":{"value":{"amount":"+0.9260903","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":"Q5428258$0F55F26C-85BB-454E-A69D-038EB9F87E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f9e8952c90f9ac03a449ed010ba758d7f8e474","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b8f7a5a1c37830b616572765a0f31a3b50530b","datavalue":{"value":{"amount":"+0.9257149","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":"Q5428258$DA0E1592-14E6-4485-B2C6-5C7786637F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26a27a8bfe25512aa29a38b683bbd0df010aafa","datavalue":{"value":{"entity-type":"item","numeric-id":2988057,"id":"Q2988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c00de242e9e5b7c00fdba8d6617b132243b781","datavalue":{"value":{"amount":"+0.9251704","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":"Q5428258$731D6BE9-0117-410A-8D1D-2B9F5DFD3A5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428258"}}}}}