{"entities":{"Q6159378":{"pageid":13294211,"ns":120,"title":"Item:Q6159378","lastrevid":41790688,"modified":"2025-05-08T09:25:55Z","type":"item","id":"Q6159378","labels":{"en":{"language":"en","value":"Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691296"}},"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":"Q6159378$D6441E7A-AEC8-4689-A024-511F7A952A02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece42e3bbcf4f31c9bed609bce05f744a7d713a7","datavalue":{"value":{"text":"Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159378$A316FD96-9AC4-41B5-8591-874C069C7E39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc20a4e4d2dc8cc4c3367d333175736024df393","datavalue":{"value":"10.1007/978-3-031-16681-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159378$CDC7C649-3940-4406-B9FD-EA3CBFA9B76B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f64101566eab5cea5671c31f8e640732e15e1e5","datavalue":{"value":{"entity-type":"item","numeric-id":6118823,"id":"Q6118823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$07A4B84D-9BD1-43AE-B6C1-232A0A63E8F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$BDD19313-D05D-4115-9422-F677C6F95B4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159378$A1AAA927-F2EE-49C2-8D3A-9B9443186D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159378$7376F4C5-4294-48E9-A011-43559CFD399A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2da364d69996c0fd4944d151be86369a74f16b2","datavalue":{"value":"7691296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159378$15E3FC09-FB5B-4225-B20D-0FAE4768918F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$05746F37-A242-4CD3-BEA0-0676344FA1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff6db9d16a0ec84f38f8d643901e77bf8b73f45","datavalue":{"value":"archive of formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$9CD347C8-1AD8-4CBF-94DC-4EF8BC6AA969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72acb9703ca3ba67808bd83385f4c6bdd564c8c8","datavalue":{"value":"complex networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$E31D3261-CC20-469C-A75A-3108835D3544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b55dcf2f772e2d41cb1d457864b54fdee4322e","datavalue":{"value":"dependency graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$EE88B39F-860D-4879-8B49-2AA01E070C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c932095c29d5904356297b6b637e1156a6df4","datavalue":{"value":"formal entity network","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$2F06893C-0C59-48E6-865A-310048FB0303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"724d59dbb9fdd96dfa326ee6cf8f883913a5ce10","datavalue":{"value":"centrality metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$1CDF4E8B-DEDA-408E-B36C-C352253636F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820e0d43a8502de4af5d796938a2aa886dfc095a","datavalue":{"value":"formalization quality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159378$31521B0D-9FB7-4B5E-8864-D9052D8AFA9B","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":"Q6159378$B508DAF9-A509-4C8D-9477-980B3933B0BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d7a723fa2ea7dc02d08a9595a9a60cb76b4165b","datavalue":{"value":"https://doi.org/10.1007/978-3-031-16681-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159378$37A8562D-3F8C-4E67-B7C3-77E1CDC3A114","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1797fe2231922d533e18e2d34a739351a33cc58","datavalue":{"value":"W4296118473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159378$D5773FCB-FABA-4775-ABD6-D9C3228980CD","rank":"normal"}],"P223":[{"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":"Q6159378$F2CC2C7A-9FB8-4DCE-A17B-EE32DB52DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f074d597136511ae2a47bac4d16ba2b05002c","datavalue":{"value":{"entity-type":"item","numeric-id":3651182,"id":"Q3651182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$4F4866DA-BCB4-47AD-AA1D-F78CC728B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4bf606a449c9953c484dbb8476ee3760f5a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3267900,"id":"Q3267900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$70E35363-3540-4AFB-8A74-0A408DC61F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d27a8235808fe7506c514b85a7a3cbc1e64a34","datavalue":{"value":{"entity-type":"item","numeric-id":4426334,"id":"Q4426334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$B559F911-EA0C-4917-BDD6-A3AFA74294E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f52925b745c9b56a61e04f9740ccfe538b3249b","datavalue":{"value":{"entity-type":"item","numeric-id":5073254,"id":"Q5073254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$BA40D8B3-99D7-42F8-8950-C2418B9BA766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815dd654a5da80e49d717a0942e4833d3f34b71","datavalue":{"value":{"entity-type":"item","numeric-id":1782604,"id":"Q1782604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$6E8E4980-53A9-4A9B-A371-833B52832765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2296e4c061aa297b15b18e8b2ac7f4a7380c92ae","datavalue":{"value":{"entity-type":"item","numeric-id":5350224,"id":"Q5350224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159378$B4191F28-E089-4B19-8855-0E4D157DD517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508a6b34e2705500bfe3019f5c46879d7d3b10ae","datavalue":{"value":{"entity-type":"item","numeric-id":5313059,"id":"Q5313059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c27ed34715638b0b147009a05d8533ec7fa55d","datavalue":{"value":{"amount":"+0.83018196","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":"Q6159378$19422312-6824-48B3-855D-66B933E964BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3886c179eedc25c0ba7de36f90b7b01237329e4e","datavalue":{"value":{"entity-type":"item","numeric-id":2029587,"id":"Q2029587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2494d1378e191630cb0e524f4b96fa2e16af8a","datavalue":{"value":{"amount":"+0.8115737","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":"Q6159378$710E7E77-6AED-41F6-AE8A-35FA195F81A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a8f67cf0684118a1c7c2d7517023674e4d576b","datavalue":{"value":{"entity-type":"item","numeric-id":2364688,"id":"Q2364688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1056c39ed1298be2ea7362c33e6836e3ceaf2e2","datavalue":{"value":{"amount":"+0.8105097","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":"Q6159378$8BC68E94-6089-4BC1-9E48-7152CF45E0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b920ea1ead514d08b39882473d7174800b2247","datavalue":{"value":{"entity-type":"item","numeric-id":3630243,"id":"Q3630243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c44bb882aff02ae151a510f4c928de36596b37","datavalue":{"value":{"amount":"+0.8027279","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":"Q6159378$51B56D20-CE69-4D49-BE34-B89B688882F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccce3a3de5790e22d8d97b965a5abb2eb6a5522","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceadaf40715d7251bacfb88fe362955bd5dda7b2","datavalue":{"value":{"amount":"+0.8022366","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":"Q6159378$F7ECF084-126C-473D-8794-F4852D6B06C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159378"}}}}}