{"entities":{"Q2849508":{"pageid":2860228,"ns":120,"title":"Item:Q2849508","lastrevid":55977379,"modified":"2026-02-21T16:59:40Z","type":"item","id":"Q2849508","labels":{"en":{"language":"en","value":"Formal proof in Coq and derivation of an imperative program to compute convex hulls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210161"}},"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":"Q2849508$B5D8FBAD-CB33-4B5B-B0D4-D98CB40A2053","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"636b317ac2164b355cc0b1db90460be9394b2faf","datavalue":{"value":{"text":"Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849508$76F9E805-158A-444A-BDAC-C74BE2B4C91D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7db231b6996bdf1111ffa73781219a02418f72ee","datavalue":{"value":"1396.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$E105CCC2-594C-46C6-847C-59DA6EFCB4DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b6625290dad144ad1e25e0b1bc700636f1495fb","datavalue":{"value":"10.1007/978-3-642-40672-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$395D097E-E064-4C40-B85B-5BCF7D1FBBEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b355a9128566668fe86b87b08ecc54a6751f15c","datavalue":{"value":{"entity-type":"item","numeric-id":448979,"id":"Q448979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849508$14829154-8CC6-4CCB-A6EF-5DE0E57C3E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9642534f304d9a98032df7352635c1aa31c0f2","datavalue":{"value":{"entity-type":"item","numeric-id":396465,"id":"Q396465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849508$8C419EDE-9F8A-4A18-A17A-194FB0C2552D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d146ed87b25a3f218b4b3975707f6be569c62c","datavalue":{"value":{"entity-type":"item","numeric-id":448974,"id":"Q448974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849508$ACEC0049-D020-4627-96E4-FC3639B02C4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849508$D5CE7790-44B4-402E-BF30-A3C597DE1BE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849508$CB24CD6F-D924-4A2F-BBE3-93F1BDCA9CC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97dd1e73166346c757d9de026d05009def140d1f","datavalue":{"value":"https://hal.inria.fr/hal-00916880/file/CH-submitted2011.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849508$1AABC716-8106-46AA-A0F7-EE3AFC4D835D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$A24D8B40-1039-4883-BCDB-D2C28D42BF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$3F07474A-F0A3-4579-8B9B-F06FA26C14FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$4EACE19E-3CFB-442E-B1F5-F7FCA1FF1831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a72cd57acd6b71ffe1ab6fd09da055c55ead09","datavalue":{"value":"6210161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$AE0D1E4D-478F-445E-8F00-64D5B832A77E","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":"Q2849508$3A24C4DD-E0D6-47AD-8B6A-87725C67740F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849508$A425FCC3-A544-451E-BC52-76139CA233B1","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":"Q2849508$DD7FAB31-7F00-47EA-B288-2F91F2D6B1AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"012a8ec368b23b6eeabf86f888ba34e9dda24e16","datavalue":{"value":"W1468516137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849508$65B59F6B-B0DB-41AF-BCAC-5B423EF7FC9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d10c2b6834a1fbd5eaf18fc34e466ca8a665ea","datavalue":{"value":{"entity-type":"item","numeric-id":448980,"id":"Q448980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f609175950a5ec6f1b1bf97ca1b03e9ffb37da81","datavalue":{"value":{"amount":"+0.8874422907829285","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":"Q2849508$BC661D9D-D29C-450A-AC93-B787690DB6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b784c61d389e3095e4916001fa44acb7c8e1993","datavalue":{"value":{"entity-type":"item","numeric-id":4790670,"id":"Q4790670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dda7ba1570e3c067c079ab7b62e542e3daefaf4","datavalue":{"value":{"amount":"+0.8105772733688354","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":"Q2849508$A2B822A4-76DC-481A-8505-F830F246AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f512197b95143663c2f45f4ffce183f207be8af","datavalue":{"value":{"entity-type":"item","numeric-id":5493316,"id":"Q5493316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853bb22caa15c62ca70ceba2467e14b2d9218415","datavalue":{"value":{"amount":"+0.7224632501602173","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":"Q2849508$7F6B0393-5130-4CC1-9782-FD5E8AFB5108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849508"}}}}}