{"entities":{"Q2287907":{"pageid":2298650,"ns":120,"title":"Item:Q2287907","lastrevid":53639780,"modified":"2026-01-25T11:42:59Z","type":"item","id":"Q2287907","labels":{"en":{"language":"en","value":"The Coq library as a theory graph"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154818"}},"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":"Q2287907$54DEE490-DCF6-4D45-9EEA-3D6E9064E707","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1264806a43a419369616bbc6b3ec3d8b7049f330","datavalue":{"value":{"text":"The Coq library as a theory graph","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287907$F399E0E7-55A1-47BD-9BC6-3017C8AC1A33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4fb5104dcb9eb63bc727f0ce4ee2fd6860a85a5","datavalue":{"value":"1428.68344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287907$039126B0-14D5-486D-A1CD-84AAACB1C53F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cc16f6a69377a8aee2271b30f4ea00e4e8dd094","datavalue":{"value":"10.1007/978-3-030-23250-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287907$36296632-C477-47AE-9BF2-A87637738D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e5575c59c5b913e53fb24077251aee51790bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1687750,"id":"Q1687750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$325DC82D-C4E0-4CDE-93FD-4F3C51341F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$8CA54240-71DB-41B8-98A1-446186C4503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$46BC2644-64EB-4B59-9E15-3C3E10DFF0F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287907$E0FC2D32-7A86-41B7-A535-9898362E2810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287907$90BAC77C-4252-4402-8691-304947D38021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287907$F2C50B51-E5C3-4B14-8EEB-8C2E0D9F79E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a03eee9c3368278be06f52e76e9f7a8e9d7cd227","datavalue":{"value":"7154818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287907$8B32B186-0E6A-4F51-B8F5-3972EF9B31F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$9826F37D-8CF2-4E79-848D-3E38F3782645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$CD04ACB5-38D0-4382-B8F1-453A29B7D2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a54eb5f0bc4bb2434371fed2614d3a40ec43e50","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$5AF43D77-48E7-413D-88A6-541873830419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1491f0152fe7d5b562e13071c6601d829d736f7","datavalue":{"value":{"entity-type":"item","numeric-id":43709,"id":"Q43709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$A5EE457C-5FD0-4EAB-8E75-51B1D2EA1D65","rank":"normal"},{"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":"Q2287907$54A34FD2-E7FE-42BC-8C01-9E55AC7F0544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$3C787829-8D82-434F-9076-DA2AC18E8DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$E4D099AA-F455-4B5B-94E0-CEC9801E6EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287907$6F96D296-F447-4009-89CF-F8022A27C945","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":"Q2287907$B37EDCD6-E731-4354-9824-1A0EE4BE31C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6bf47dff2b6abce206d804898f63495f25b84a5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-23250-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287907$E38A2227-F9CE-4F51-B571-73CFC56AC98F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdd6ebdddcbee54e731397d03bc8da90835b3ecc","datavalue":{"value":"W2956143085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287907$CD01C722-D66D-44CB-ADAE-73CADFF14131","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff87ada532d7d024089973bf89d3eb8ff96db12","datavalue":{"value":{"entity-type":"item","numeric-id":2287917,"id":"Q2287917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa40923c15bf54bae798e259e63b0fa562c801b","datavalue":{"value":{"amount":"+0.750330924987793","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":"Q2287907$639866C2-B2C7-4DA7-AC14-0192DD1F1C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8ee7e593b624478045eb8b529702b8b78c430f","datavalue":{"value":{"entity-type":"item","numeric-id":3559761,"id":"Q3559761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc2a8fa66a68e47a926ce6bfd4bbbaefc5ecafa","datavalue":{"value":{"amount":"+0.7425536513328552","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":"Q2287907$57B6D48E-E466-4857-82E6-EC500F95D05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f05aee4b3664e67f1ee18f25367507e60b89a0","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c1713a49a38272e6448ca837a8fefa58fb66de","datavalue":{"value":{"amount":"+0.7272371053695679","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":"Q2287907$29ABEAAB-4A9F-4038-A89C-09BBCB4A8CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095d34edfc3a38f6e6c126cd1389523e3c4a40cf","datavalue":{"value":{"entity-type":"item","numeric-id":2209536,"id":"Q2209536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043dc563f1afe022287ecf79cfb2d12a17752d52","datavalue":{"value":{"amount":"+0.7266749143600464","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":"Q2287907$91B7A844-21EA-4D0C-9023-260FAFAD9DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a760c74583d2c9fd3acc648ecc03c499f5e936ea","datavalue":{"value":{"entity-type":"item","numeric-id":5495937,"id":"Q5495937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5fcc71483b0b8b56b7f50c009d3c7f9451921c","datavalue":{"value":{"amount":"+0.7264127731323242","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":"Q2287907$F8CD9B8C-9937-4CC8-AB62-F2E5FE334516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287907","badges":[]}}}}}