{"entities":{"Q2351412":{"pageid":2362155,"ns":120,"title":"Item:Q2351412","lastrevid":72576663,"modified":"2026-04-14T05:51:50Z","type":"item","id":"Q2351412","labels":{"en":{"language":"en","value":"Theorem of three circles in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449245"}},"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":"Q2351412$1059D6DF-FF52-431D-BD5D-786B2E1AF7E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69ac3d25d1837f5f7b45116bb11056b4ba0eac35","datavalue":{"value":{"text":"Theorem of three circles in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351412$1AC94D9D-F921-4910-9124-E64C1DFCFE3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6df797f2b859a0398893190f9d626a435b048980","datavalue":{"value":"1314.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$9F8CC2FB-95B9-4E1F-BC9D-4ED22EDFE147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6faa750d85f41278391aef371fc808fde8cdd05","datavalue":{"value":{"entity-type":"item","numeric-id":2351411,"id":"Q2351411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$200D214E-A4D0-4C29-8199-4374C7E66E5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$CF8D1506-8E0E-4CB2-A401-2892CC346967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351412$E0ED2B7D-C208-4096-9C68-5EABE0A404DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5ed25e39b4d08b962b8ec722592a829c6572006","datavalue":{"value":"https://arxiv.org/abs/1306.0783","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351412$8456723E-C39B-4570-9ABF-2C258B54E2A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$4FB3BCF5-C9B6-4336-A82D-0FA4EECA9627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$F931FB5D-24D4-4D4B-8250-2C6608676437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$D2AB5007-17D1-4C97-9C1D-307B23F58AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$4540AD5E-5C47-4028-95F7-9E20C8AAFE10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83505095898ac1ca9eaf5240942f49a01ebaa23d","datavalue":{"value":"6449245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$B5E20230-4FB8-43ED-B700-1124EC673608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351412$D8B0D9BE-2816-4D6A-9F0E-6BA4FA4001E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351412$94BE3C7D-48E3-4224-9773-95176C4B87C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5f122b14e4187892733a00e485480e4a631b7f","datavalue":{"value":"three circles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351412$69C201A0-13F6-4AEC-9844-4FB38FBAA635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534fbde63585d7898daa214c3deae15ace645125","datavalue":{"value":"Bernstein coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351412$37685925-863E-4118-8E0E-8BA8A54EE0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c42599dad959409f326b672b1637f632aa8faebc","datavalue":{"value":"normal polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351412$8CBE8567-B614-44C3-B521-FD0A8B2480B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cb3726664e1579de6de5700f6b073bc17893a2","datavalue":{"value":"real root isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351412$3312C8CF-691B-4F20-9548-11F8CA859511","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$8CB7D4BC-E7AC-4714-8E27-DA23E1DA49CC","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":"Q2351412$A23D6273-EDC1-4C0E-AE6E-5D2B0540228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$4D51519B-88E2-47F9-B787-7293BCD76A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$1D4C1EBB-5143-48CA-A373-B95B87AFC276","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":"Q2351412$EED6EC6B-8636-4298-B07F-76B350DA382C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24635d3fa8289953345f3d9bcff4ac138cd74b1c","datavalue":{"value":"W3102933860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$511364D8-5B83-4C08-8D4E-938C4CAB548A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$763E43DC-D55A-4D31-805E-3729BA9A3FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$74CE3B5E-7543-4983-9CAE-C682DC9273E4","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":"Q2351412$B112F0C6-D1E7-40B6-A5EF-F7AF88E9A3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$B07494D0-E4B8-4A97-B84D-58ABCD6B559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$937A732B-69E4-4AA1-98C1-7EC68C90DA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$02C366C9-C647-482D-BC0F-1497E12C7BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63983f76bcac6e0c986bd71036b36fda64f6bd04","datavalue":{"value":{"entity-type":"item","numeric-id":977177,"id":"Q977177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$54D27BF5-7DD6-4B31-B059-EB1ABDBFDE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7586bef8dc69d0851fb7541483182b87d493d8","datavalue":{"value":{"entity-type":"item","numeric-id":5254174,"id":"Q5254174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$44F0440F-428B-427F-9BC2-249D36838D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$CC340390-C7EB-4712-A29E-1FD62B2D7CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b10d09dd23fb942e06cd9d7c7cebe54e5f98c29","datavalue":{"value":{"entity-type":"item","numeric-id":3431546,"id":"Q3431546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$E8FEDE74-7CB8-4ECD-94DB-B1A2F5715C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfbfcd096c8878b524084f2f869aef5d981d603","datavalue":{"value":{"entity-type":"item","numeric-id":2883823,"id":"Q2883823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$CBE8CC60-5DAB-4F2E-AAB1-CB21EEA2732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$0C46B5D5-D18E-4628-BC39-FB7D8BE1CBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39ea48575184a3edb4c748078cb2eacb63490b5","datavalue":{"value":{"entity-type":"item","numeric-id":5244548,"id":"Q5244548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351412$00B56675-46B8-4ED6-A38D-F12F46DA1D4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7bb00bbfccddb3e6c4b220fc3086807a9015b28","datavalue":{"value":"10.1007/S10817-013-9299-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351412$12E586A9-6FE5-4096-84C7-486B383278D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68a0472bdf9bc878bc7b6fee516b4da0a874e70","datavalue":{"value":{"amount":"+0.738054633140564","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":"Q2351412$FC7821EF-228E-4CA6-B28C-E7BA22D86DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f73fc475003364b03130266e7a5fdfc711a79b","datavalue":{"value":{"entity-type":"item","numeric-id":4923948,"id":"Q4923948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c1d156167e2ac9c4f23c82c44b01acc7bb8fb3","datavalue":{"value":{"amount":"+0.7125543355941772","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":"Q2351412$9BEF8FAB-E4D8-4F03-B5B4-4184D0BE682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d058c194163f72ccb038d2e587173b46ba0f7a6b","datavalue":{"value":{"entity-type":"item","numeric-id":3100204,"id":"Q3100204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b9fd7135b3a61c37c521247dcb2b3a8986e39d","datavalue":{"value":{"amount":"+0.7020341157913208","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":"Q2351412$61C2EC3E-9C28-4297-A2BF-46B2EFEF5B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7ee3b7d6d18ddf40be1d05d447cb6374f78511","datavalue":{"value":{"entity-type":"item","numeric-id":3003228,"id":"Q3003228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0faa1f92614c92403ef1acb59071bda15308e536","datavalue":{"value":{"amount":"+0.6999936699867249","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":"Q2351412$B6871392-531E-4509-BE33-9EAF1AAD8745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0aacafaac6ce7cb6e72e360519212bcce484cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4234276,"id":"Q4234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e0dc69dc91b02b8af53c604d0195948343ec6e","datavalue":{"value":{"amount":"+0.6972880959510803","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":"Q2351412$E99E46DF-5BA7-4843-951A-BF6CF9506A96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem of three circles in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_of_three_circles_in_Coq"}}}}}