{"entities":{"Q5200109":{"pageid":7229680,"ns":120,"title":"Item:Q5200109","lastrevid":94428509,"modified":"2026-06-05T06:47:27Z","type":"item","id":"Q5200109","labels":{"en":{"language":"en","value":"View of computer algebra data from Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934440"}},"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":"Q5200109$6B3AFC48-A989-4F65-831E-346E3707C703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"136603ef477f55c215c49e6ba0ed41ab3e879a38","datavalue":{"value":{"text":"View of Computer Algebra Data from Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200109$D37CB1F4-99D2-4093-9CB1-8893E112A56F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a50b6a101fa69b4530206af01c0ed63498553a88","datavalue":{"value":"1335.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200109$6B7AD182-CBF0-479F-93EC-966F92D59511","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1dc434273e71522194e61eebc0be631ad081cc8","datavalue":{"value":"10.1007/978-3-642-22673-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200109$F008E61F-9C0C-448E-9320-E6C6FB8E5F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72768fdfe79592f5d8fd814ae684417832427132","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$A6573CF3-29C2-47A2-9C79-BDC23089CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cbac55be82937a15d652749df0565c9a1e9e98a","datavalue":{"value":{"entity-type":"item","numeric-id":307917,"id":"Q307917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$C92D5936-B0CA-4990-803C-FBBDBC5BF7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee7c9e549eb375d8beb5b0c69125fcbea39cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":78871,"id":"Q78871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$F509EE23-BC56-44C5-B33E-515B621084DF","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":"Q5200109$2C5AC17B-24B2-4A29-AF64-711EDE15720A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200109$58B2CF81-F824-4D16-8CF3-794D2C3FD5DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200109$53202535-2B8C-4E52-B057-29BE59A5EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200109$0A56AEBE-18BD-4AB4-BA31-DD63D0EC967A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a16c540cab1e974dbab9b36c17b11f059de73d9","datavalue":{"value":"5934440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200109$0BF5A6A7-A359-4FB8-8EE9-E20B52522B76","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":"Q5200109$F1DFBB6B-A3CC-4491-8715-193399C5475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e42c6d0c0109773038bf525655eed0048a727a35","datavalue":{"value":{"entity-type":"item","numeric-id":18758,"id":"Q18758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$6F1CC50A-32A2-45AA-8A08-92FEA6B58700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$9EB4783C-529F-44C1-B0CD-0592017B9225","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":"Q5200109$52F97BE6-1996-45DD-8936-59B88D9F68A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a83b98c35f721af3bc3cc529b24f4251350ce67","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22673-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200109$82359069-89E9-46DC-869F-BB36286D7709","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7dd02e1c3146dd8ffa6a6adc065d4877b1ba946","datavalue":{"value":"W96426063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200109$B79CC17F-CF77-414E-9AFB-0DF63C8D21DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a774592121362aea0b18362b2a1fe30f87c72aa","datavalue":{"value":{"entity-type":"item","numeric-id":1810904,"id":"Q1810904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$08C0F6E4-1C9D-49CC-8B9E-142BA656E2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f295e2c5ff59a23cb492c910698f33848e3888fb","datavalue":{"value":{"entity-type":"item","numeric-id":5191090,"id":"Q5191090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$C9B6D5C1-7D45-417D-8890-C0336C37C061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a691e3b8b5782f69fc22f43937116297cb0e548b","datavalue":{"value":{"entity-type":"item","numeric-id":3094174,"id":"Q3094174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$31AAFC08-2CCE-4AA5-ABF1-758B1A15C9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358cbdebda00c19b48eb42e41a36d2b5eb6b9ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4499160,"id":"Q4499160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$BEB108F1-3D5A-4A64-800E-5F349F7B8F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401d6be2a0f0a66e3f55f0ff888de9e6df67c37","datavalue":{"value":{"entity-type":"item","numeric-id":4232470,"id":"Q4232470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$4272A29D-138F-4989-A105-5F93F52D7739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34be9bd75c3fc6badb4363125877a82b6fcc956","datavalue":{"value":{"entity-type":"item","numeric-id":2767915,"id":"Q2767915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$1B53F23C-DE44-42BD-9D7A-35DA87E0EAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e0a790005a7ed051827056b5f9e3d8c552d3a3","datavalue":{"value":{"entity-type":"item","numeric-id":597112,"id":"Q597112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$2189517C-2115-4D4E-84BA-235FF848AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44031d255c2a0d14d098428569adb4eeee68730","datavalue":{"value":{"entity-type":"item","numeric-id":2852041,"id":"Q2852041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$1F364A80-1008-4A34-AB39-AF97B559E913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e48f169a1cffd00fb66547b6ab42188ae84b6ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5505509,"id":"Q5505509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$9F487D68-6E1C-48AC-9D14-9C27BD0F1C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$1FB533E4-E79C-435C-814F-8E61DE4E5381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d176dd65e06df17f21869be36295ca82573b6ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3434628,"id":"Q3434628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$4DEA37EE-AF5C-429B-B207-902DCE3AB14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea0422163d937abeec87d8e38a8fa13c353ea26","datavalue":{"value":{"entity-type":"item","numeric-id":3637305,"id":"Q3637305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$C03A91D8-4C11-4B75-8BD6-6CF92CB73F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bac2a1c3bf09f6471a60799fa53f4bbb721a1","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$849134D5-8DD7-4DB7-A68C-D22B3562AB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dc8bdb524d031aab1f0b8cd4e363dd4eb3393b","datavalue":{"value":{"entity-type":"item","numeric-id":5170233,"id":"Q5170233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$502D8A17-8E86-4E76-B783-8E34BAB67705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4617338cf3c9cd68bc421b5d6e121e8ce664c25","datavalue":{"value":{"entity-type":"item","numeric-id":5898510,"id":"Q5898510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200109$5FB6EF23-7DCA-4124-A191-9A756262CC2D","rank":"normal"}],"P1643":[{"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":"bfcfa7cfbf8927c684b87e6bf972b5149eb242d5","datavalue":{"value":{"amount":"+0.7477685213088989","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":"Q5200109$E2A23F38-48E2-4B83-858C-14E07209CB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668685f5bd6c1d5e6837f0e3e7c1d163d49b3e90","datavalue":{"value":{"entity-type":"item","numeric-id":5170233,"id":"Q5170233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d77eee8739c4453b0a2dee088628cbbebdf137","datavalue":{"value":{"amount":"+0.7260231375694275","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":"Q5200109$E8404C1D-2928-459C-A501-2E1A4D164BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d6ed80ac6f0b48ef638c4c563b12afa12c6ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1895394,"id":"Q1895394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd35d3d0183209a76e5e40d6e55dc1dd2cf9c8d","datavalue":{"value":{"amount":"+0.7183257341384888","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":"Q5200109$1DC25391-D5B7-4B84-BEAC-B8797BB38C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0042015b41786e044dd99deff20f6e3f5bf51d99","datavalue":{"value":{"entity-type":"item","numeric-id":4265397,"id":"Q4265397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3cd5e200e7ba2b6fdfc3912baf79151e1b09d5","datavalue":{"value":{"amount":"+0.7010536789894104","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":"Q5200109$20AFC572-E6B9-4D6E-8884-1D2D0DDCFAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9027858f2e6643afb9632f54884638f714f5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":5505509,"id":"Q5505509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44b63572ef05a8c37a316a83146826f888966ae","datavalue":{"value":{"amount":"+0.6986525058746338","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":"Q5200109$92F0AD27-B6C7-4A48-ACD2-E0FCB000132F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"View of computer algebra data from Coq","badges":[]}}}}}