{"entities":{"Q6856426":{"pageid":20635195,"ns":120,"title":"Item:Q6856426","lastrevid":84259295,"modified":"2026-05-14T07:47:46Z","type":"item","id":"Q6856426","labels":{"en":{"language":"en","value":"Growing Mathlib: maintenance of a large scale mathematical library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161305"}},"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":"Q6856426$7EB7D75D-3FB9-4D49-84CB-FC5EFB0E730B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"765a74e22e0574378ce9daf8a78b2223b02e4d36","datavalue":{"value":{"text":"Growing Mathlib: maintenance of a large scale mathematical library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856426$5DFBCD90-8488-4D80-8B8E-59ECE0326625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8f59521c40e2a3ac21157ee9f75d4cc1de1d79d","datavalue":{"value":"10.1007/978-3-032-07021-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856426$0E89BECA-4CDB-4BB8-9516-8E1D70CC2D59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc821230a7dc1550b9f8f0d5c6e779210c396b9d","datavalue":{"value":{"entity-type":"item","numeric-id":2102927,"id":"Q2102927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$CABEE685-7DF7-486F-A897-009C8A20D963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c319287454d92cc74fa76fcd9195329e5f1cb6d","datavalue":{"value":{"entity-type":"item","numeric-id":483505,"id":"Q483505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$BCEEDB41-6CB0-4263-AB4D-5F9CFE12662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb99c05ec16c612d126d969714a868adb95a827","datavalue":{"value":{"entity-type":"item","numeric-id":504309,"id":"Q504309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$F1AAAD3D-9F66-4DDC-AB23-9144CB168C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9128c7a803a9db2682f7538baa121ad98600a2","datavalue":{"value":{"entity-type":"item","numeric-id":2962247,"id":"Q2962247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$BB22D692-947B-488A-95D6-BADD10DFBC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1f86e71fc13dd6a2a50be8a0b1fb9a2dc75df8","datavalue":{"value":{"entity-type":"item","numeric-id":6172716,"id":"Q6172716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$BC224518-99AC-4783-ADA2-F45C9710313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae1d02a76bba5eca125f57097df8c1c19ce2c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":375851,"id":"Q375851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$7E5F5B50-1153-43B4-AF02-FBCF9FC63286","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856426$407B5634-0540-4778-83CF-5029A14F5DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856426$4E3F84A1-3175-4272-AB62-E5044D03374E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e3079d83e029c9fbcb2fd59b56404863922eb5","datavalue":{"value":"8161305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856426$5CD3AB7C-CD07-43EE-BC6B-6DA38723DDA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc238ea6cb52c715bab39832f2cd5b4837c9294f","datavalue":{"value":"formal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856426$7D9F127E-4B81-4B62-AA96-F8570CD8E95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4946ec552e7330fed3653f72092c7dc47bd89f","datavalue":{"value":"library development","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856426$DADB1EB3-640F-454E-B892-90B7C9FC67D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"311b603be778d5dd21132345c4dd96e9f74dfbaa","datavalue":{"value":"linting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856426$A7358769-408C-49E3-84B8-A3851C293D66","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":"Q6856426$2D4FA206-6874-4F82-B20E-8948724E800D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1056a5b32fe5ebe314adc9089b3db36981626158","datavalue":{"value":{"entity-type":"item","numeric-id":6572535,"id":"Q6572535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$517D30D8-BCB5-46F2-9B56-8B0D6BD525FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$D0C6EF79-6E84-40EA-A350-8C7CAA037B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$E9A8DB7E-6752-4AE0-A8FF-150ADEAF761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e37db2eef3f9b1d261585b732fcd8910d7ba79","datavalue":{"value":{"entity-type":"item","numeric-id":6130524,"id":"Q6130524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$FBCE778C-474D-4603-938C-CB83BBC5A36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5aec19a99c84d927d542015d4a26843eefab62f","datavalue":{"value":{"entity-type":"item","numeric-id":6572555,"id":"Q6572555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$13B171A8-6088-4D13-9EC5-061F03E7A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$1CD0FC4B-5329-4611-825C-05CA88CD81A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078ddddbc529bb0488b5ed4ce3b280e536c3e9","datavalue":{"value":{"entity-type":"item","numeric-id":6860008,"id":"Q6860008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$7E607ED4-E13E-4CD4-B8E4-2B3BBE63641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782b8a238feb0f5b453d31ffb401d841c1e2a4e7","datavalue":{"value":{"entity-type":"item","numeric-id":6860001,"id":"Q6860001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$43247728-DDF3-4C33-8D83-6928DD4D3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$DACC60F2-9208-4ABB-BBBD-3B98244A06B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$67204725-F5C5-4AED-9D47-23B19EB8D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f707d41b44671464c5d9fbd310386196c74d6c07","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$173F6BC5-D1B7-4802-96E1-6CD7AE9CDA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b714c1213b3a8f95bd8e14ce37c4444ca93c0","datavalue":{"value":{"entity-type":"item","numeric-id":5094470,"id":"Q5094470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856426$4D2B7757-C2C0-4AB8-A103-F69902FD6012","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Growing Mathlib: maintenance of a large scale mathematical library","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Growing_Mathlib:_maintenance_of_a_large_scale_mathematical_library"}}}}}