{"entities":{"Q5740657":{"pageid":7770209,"ns":120,"title":"Item:Q5740657","lastrevid":52582073,"modified":"2026-01-23T01:00:14Z","type":"item","id":"Q5740657","labels":{"en":{"language":"en","value":"An experimental library of formalized mathematics based on the univalent foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606943"}},"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":"Q5740657$4758704B-DC0D-4313-8B9F-79A01E666485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2f60067552db35fd5c0fb78211045caeeefc2b5","datavalue":{"value":{"text":"An experimental library of formalized Mathematics based on the univalent foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740657$D29B9C78-C2B7-41F1-8C6F-80DDB3021143","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1183b919976f64924139d6cbc56d5ec56e0f24ae","datavalue":{"value":"1361.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$75336D72-464C-4666-BC77-AC79D27D1628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9f6d66e3bed37609f905124e2ccdba5336f9d03","datavalue":{"value":"10.1017/S0960129514000577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$34A6406E-DE1A-46CF-9838-FACB2BA3650C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c8bbac3c2d1ca09e76202553b05458d0e708962","datavalue":{"value":{"entity-type":"item","numeric-id":177922,"id":"Q177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740657$A5A85B79-A212-453C-B557-485D352CE658","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740657$E3EC0A67-0F3F-46CB-BD06-BF653D4F5C73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740657$2E85D9A9-1C83-4866-825F-B7A8943AA633","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$A0C387F3-83CC-4AC3-A410-06751669672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$D0AD09CC-9980-4DD4-8568-7A14B2E003C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$CDF908F7-91E2-4567-B13A-321BD35DEC0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5fc5e1536ff6cb6d9f318b4bffbae4adf3d224b","datavalue":{"value":"6606943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$E52F02CB-E9F7-413F-86BD-FE68CEFC704E","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":"Q5740657$E0A94AE4-BE50-4D36-824D-E1CF24E19C2E","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":"Q5740657$04FDD6A3-4778-40AD-B87B-CEC0202EBFFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740657$D642491A-8EEE-4BB0-9817-F1324833A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740657$11F4C737-A28C-44A5-8528-7211899394CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c578f4335a048fdaa22afef900c6f83310a8618","datavalue":{"value":"https://doi.org/10.1017/s0960129514000577","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740657$E34C6D6C-C27F-4244-A292-76470EC274E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"063d6cd9a8b7074be1c5a7d7a8fa518ab53ac5af","datavalue":{"value":"W2132795002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740657$621C1AE6-BC5D-40E9-9191-508AC94F981A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942bdedabae6481b1253a0d9554720a247a8ecde","datavalue":{"value":{"entity-type":"item","numeric-id":3003342,"id":"Q3003342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdbdf192b13ef2843843384fa83490d5c73c52b","datavalue":{"value":{"amount":"+0.8256306648254395","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":"Q5740657$8D66714B-289A-4E5D-97F6-D0E320CE6EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8159143ae053ba97a5118d21121588cefaa294","datavalue":{"value":{"amount":"+0.8052953481674194","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":"Q5740657$D036200E-4657-4357-8B28-EF97D3565394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2415820e121b4666002dd6a1ed6c319c7c544b","datavalue":{"value":{"entity-type":"item","numeric-id":4684362,"id":"Q4684362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a3c1545f95fc54245b08b99c885fd4a5efd2ae","datavalue":{"value":{"amount":"+0.7894799113273621","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":"Q5740657$91F487C6-3DD4-4051-96CF-E8E29F6E3C12","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":"9ad793b5e166ddf43784424102ca6f65f8acdf61","datavalue":{"value":{"amount":"+0.783511757850647","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":"Q5740657$3ACD8F7B-B9C8-451D-B141-0F9ADA58C367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6594be8ecdae723d8f311aec8dfc436012bd944e","datavalue":{"value":{"amount":"+0.7740346193313599","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":"Q5740657$760BCC22-FA57-40B5-937F-128577EBC17B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740657"}}}}}