{"entities":{"Q3075244":{"pageid":3085960,"ns":120,"title":"Item:Q3075244","lastrevid":51185630,"modified":"2026-01-17T03:23:23Z","type":"item","id":"Q3075244","labels":{"en":{"language":"en","value":"Implementation of Bourbaki's \\textit{Elements of mathematics} in Coq. I: Theory of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850140"}},"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":"Q3075244$1D680698-0CC5-4506-9A4B-D73AF3797FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad32870ee05d09f4ce3d9f8cea349ef7c4a9c275","datavalue":{"value":"1211.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075244$F71E07D7-BB5E-4666-94E2-CCE93323869A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9360e45f322d1ba8012d3f5472eb549636095c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1811166,"id":"Q1811166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075244$D986EB0C-13AC-4891-8DFF-5D1AF93B8755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c08091180089def748f7e20273d2f981bdee68","datavalue":{"value":{"time":"+2011-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075244$BE3DCF95-B501-4E53-8691-AFA209255F44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ea568a2f0634dfe9c40d978371e7bb0741616f8","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1899","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075244$642B0CDC-FE39-46EC-9A98-3735F8C1EC01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075244$AC2489FF-3AFA-4308-84FD-5F12096CD0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075244$CC66D3B7-0DA7-4A8F-8485-80056BDC92BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075244$ED5F4CC1-A74E-4FE8-9FE0-ECDFDFEA2657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1a9b23b6d91ce2fa01138f207163f5cd3975e64","datavalue":{"value":"5850140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075244$0097C7DD-C5FA-4905-8989-4E4865357586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1372ffff74520350202123d5b9d69217d0f404c","datavalue":{"value":"Bourbaki's Elements of Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075244$2737E7D2-7444-4107-8CCA-281FC3FE7458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb171b452877b1022a2827f87c82906c7876d0b","datavalue":{"value":"formalization of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075244$D7C4A44C-99A9-4284-A5FD-2A09A92D75C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075244$68AA447B-BCBF-446E-BE62-673127F19BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ffc2010d6d4ee0c55fb2de6147d0c3af2eb995","datavalue":{"value":"Gaia software","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075244$5A0AB92D-660F-40BE-89E0-8CF22821943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7472e4658b8de33c5273a9948e796a637010e06","datavalue":{"value":"Zermelo's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075244$C8C4E61E-7A53-47AA-AB8A-36D5F4730994","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":"Q3075244$10427C40-5BDE-442F-92C2-8C20775990B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ee4919dba608fb88895148261fb02ed1a66290c","datavalue":{"value":{"entity-type":"item","numeric-id":21587,"id":"Q21587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075244$E3C0D165-6873-4123-B4A1-407F0ED17AFC","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":"Q3075244$B6CB14E4-3BD9-42F4-9D31-2AF0E2C71F17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7320effd6b74b39d05b919a835846f87bff5ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5195277,"id":"Q5195277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96157f4bcdb5a861415d1c5b67796411389a2c38","datavalue":{"value":{"amount":"+0.8873881101608276","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":"Q3075244$2D60F63A-15C1-4C4A-9216-4A70C8BFF337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22636e35b8583d2a0dbd39a2980da67c7d76519b","datavalue":{"value":{"entity-type":"item","numeric-id":4472194,"id":"Q4472194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa3eece452dd157c33bae3566b0724dbebe5795","datavalue":{"value":{"amount":"+0.7593356370925903","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":"Q3075244$572E2D4E-AAD2-471D-BA13-C22B4D2BB924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9b44095d13cd2bcad82afdc067f0870b5d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4cd1d42c540867639b300a8329a2e191168a4b","datavalue":{"value":{"amount":"+0.7523989081382751","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":"Q3075244$A5CC23D9-8634-449D-AAE5-3F9AEB39643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6baf109fd3c8a77f39389732ce81670994485a54","datavalue":{"value":{"amount":"+0.7500592470169067","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":"Q3075244$774C5BC9-8D1D-40BF-B032-99E26D220712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cdcf48e2229f3526631ece2a3e1a80cc930fcc","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef2da046ec6dbec91edbf42da74aa6526de2152","datavalue":{"value":{"amount":"+0.7416139841079712","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":"Q3075244$678C378A-38C0-46BF-B3B7-2FA8A0B4EEF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075244"}}}}}