{"entities":{"Q5428272":{"pageid":7457846,"ns":120,"title":"Item:Q5428272","lastrevid":41878663,"modified":"2025-05-09T08:31:44Z","type":"item","id":"Q5428272","labels":{"en":{"language":"en","value":"Cooperative Repositories for Formal Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215413"}},"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":"Q5428272$97E53238-C70F-4281-AE69-CFC8C3D8EBD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"922d9d45ee89cedd7aa983c108ff48e1791c71f9","datavalue":{"value":{"text":"Cooperative Repositories for Formal Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428272$7426DEA4-64E0-4954-A4A4-FA553FD71A93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d96d729d8a6640a67327eb6b53c9799066362af","datavalue":{"value":"1202.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$98AF0431-A7DC-4BD0-9AC3-1C5E0C3805A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef16243f2a40f20b91f4ff77d7ff17257d526c09","datavalue":{"value":"10.1007/978-3-540-73086-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$50433399-6C2E-44AF-AB09-80BD7A101C87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba22885585929376251b983dd7aa4f2529c0ec35","datavalue":{"value":{"entity-type":"item","numeric-id":2680866,"id":"Q2680866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428272$739939CA-D345-400F-A698-3B50396888D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428272$9B92FAA4-1039-40DC-9E23-C65F04B1C782","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":"Q5428272$781F37B9-2F9E-4037-AF75-1E89F17B6740","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":"Q5428272$93468690-1A64-49A5-860C-466C4CCDF489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$EFE9C09D-9473-4492-BB66-D110DCE7D28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$076A5D5D-8426-4EE8-BFF9-246FEA74CB50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5797cbae77f905fe60a37f1512f2da048e1276a8","datavalue":{"value":"5215413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$78E3D95C-7FC2-4311-ABF7-9BEC59491D90","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":"Q5428272$8D74831A-0F1D-4843-954B-4D51DB838652","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":"Q5428272$1898ABD6-F53C-4E9A-A0CC-0C027BF04253","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e52382b0bd4495472e08e780e3f62b427711c9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73086-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428272$F7E47562-2794-4E24-B5CF-56C50BB86E35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63c42963c94b488a3587d908d24e757bd760379","datavalue":{"value":"W1580616295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$CDFB3CF3-2A5A-4C6E-8FAE-CFB428ECBEFB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0bc437e708da1b1f80b389bd75762b8add59213f","datavalue":{"value":"Q108482200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428272$C5F6D733-D91C-409E-B9FC-192F2DFFCB73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5225a69bdcfcfe29a5db8c4b18a78ef5cb47fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4413892,"id":"Q4413892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e303302fb0ad5bee3779cb1567bdacfe0d3689e","datavalue":{"value":{"amount":"+0.8398936","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":"Q5428272$5AF30455-4CD3-47D3-B1C9-B06DA5182C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4916b946f0dcef66c2bc414ed123ab53a201ea","datavalue":{"value":{"entity-type":"item","numeric-id":4524781,"id":"Q4524781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea99a081184f35acb0045c77d94f451a62724d2","datavalue":{"value":{"amount":"+0.8372032","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":"Q5428272$55DB67DD-39FC-46E5-B41B-2AA1C876614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d9ce02f9f5a933a6e0f883879389c238d3f25b","datavalue":{"value":{"entity-type":"item","numeric-id":6159381,"id":"Q6159381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991a3ca2120cb7ee9cf5151d8105f8f4683b36e3","datavalue":{"value":{"amount":"+0.8343743","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":"Q5428272$715C5DAE-0BAB-4739-971C-DB368694C59C","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":"aa07c2aae236b57e2ef50e4ba24c47ccbf06afa1","datavalue":{"value":{"amount":"+0.8341848","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":"Q5428272$9B10B4D8-BDAB-4364-9403-9B0509ECCCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d619869ad0302d9b9fe0d70f22451dd60a21bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2782486,"id":"Q2782486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c7e7c8f90e0de195ef14cf7acc0868377e8af9","datavalue":{"value":{"amount":"+0.8224299","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":"Q5428272$97B00743-201C-4D74-85D4-11150508DE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9707e33700967679010ac1d47d134b3b741111","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e4e0e197e92aa513be712bdf9409fb11ef9f82","datavalue":{"value":{"amount":"+0.82181454","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":"Q5428272$D0CC7579-1083-4A28-9C48-720F86120475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41219550152043891513cdefaa2f008a9b97f21","datavalue":{"value":{"entity-type":"item","numeric-id":1398472,"id":"Q1398472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df26c8dc88d68715f540f6a83185aaf6fd089d3","datavalue":{"value":{"amount":"+0.82112825","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":"Q5428272$F94F9FE9-40E2-43DA-97A8-5D2C4FD2EF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b49bdbb4f0b194b53a916923e48e4d6c9496ef","datavalue":{"value":{"entity-type":"item","numeric-id":5055862,"id":"Q5055862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6300131e6aea86d2fe57b0eefe95e913f46fd9e","datavalue":{"value":{"amount":"+0.82066745","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":"Q5428272$27038103-D52B-44D5-A56C-E68FAE150EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7ee1640d3de6b71d610b58b631625dc1049572","datavalue":{"value":{"entity-type":"item","numeric-id":4246966,"id":"Q4246966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9abd51cc879e201473ec7978fc85650e9813c8","datavalue":{"value":{"amount":"+0.8172533","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":"Q5428272$F2655134-AF81-4484-A4EA-48C823DDF9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb049dc19118c2e13b11c57ad63c65e40f939e98","datavalue":{"value":{"entity-type":"item","numeric-id":2879270,"id":"Q2879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84490a791d4282316672f3901a29f7a752f2220","datavalue":{"value":{"amount":"+0.81656563","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":"Q5428272$42F83372-3BD1-4D46-BD7E-B57D0603B0F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428272"}}}}}