{"entities":{"Q6083694":{"pageid":13218001,"ns":120,"title":"Item:Q6083694","lastrevid":102556865,"modified":"2026-06-06T04:45:40Z","type":"item","id":"Q6083694","labels":{"en":{"language":"en","value":"Programming with streams in Coq a case study: The Sieve of Eratosthenes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774595"}},"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":"Q6083694$6968D197-9924-4D69-A02D-F30BD5DCE8AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b4eed4ed6295c4b3bf5ff2d85db293b0caed9c5","datavalue":{"value":{"text":"Programming with streams in Coq a case study: The Sieve of Eratosthenes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083694$22948537-D04B-45A4-847C-45C63762A2D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98d046f1c36769390157a2e28d7ff56c9f0eea0d","datavalue":{"value":"1527.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$6A391C4E-E633-43D2-9353-1E6F7BD91C1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d0487d775ee242fb79da160e59ea6d55b14fb33","datavalue":{"value":"10.1007/3-540-58085-9_77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$1AE536DE-6493-4E28-AE35-2F5980F23D09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc78a2b7b699d6c692b193d5384c3a9c03a3a78","datavalue":{"value":{"entity-type":"item","numeric-id":3024844,"id":"Q3024844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$767F49A0-C33A-4946-88F4-D39FBFD27F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bba7ec8861a8ed927cac8194bcfd558f8fc7d3b","datavalue":{"value":{"entity-type":"item","numeric-id":923885,"id":"Q923885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$18C26072-47FA-4C63-A6D1-BEBEC7597D2E","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":"Q6083694$8A56F6B5-49A2-492D-8B0E-69D43538F7B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083694$F47A5483-6639-488D-BFA8-271C40CCF196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$0FDE2FE2-9E73-45EB-B33E-0CBE6FD1A6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$68CC33BD-C418-4855-B13B-155D4C06EF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$4353877C-96F6-4C49-9B8F-ABBDF67501F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$395B845C-C1D3-41B8-BCF6-33C77FD69145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$08899DD8-40BD-4C8E-A760-45F12C56DA50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3986162b26404939b4c9ffe5b61f12c084770a3c","datavalue":{"value":"7774595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$32136502-3C03-4AB1-9603-E46813C6BFD5","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":"Q6083694$7328BC03-DC24-452B-9DC8-0C8438594D3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13674c792ccb7443b158cfc117fba5b7f8e79dd0","datavalue":{"value":"https://doi.org/10.1007/3-540-58085-9_77","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083694$36569F69-5E9B-421A-8F35-0503CD2A9AAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c731e367a879e77590a88cdb01ac52329e39b738","datavalue":{"value":"W1566855903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083694$813D4ABC-3DB7-448E-87F6-BD047DFED6E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$BAFC153F-203A-4D65-B5C8-E460ADAEDC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$B8ABAD32-993A-4637-A04E-BF22B831B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18044500555f583101bcf815d77bb59430227473","datavalue":{"value":{"entity-type":"item","numeric-id":3030827,"id":"Q3030827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$B6D4867C-6BA9-484B-8A5C-466741C1F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7544da91423b08c51d47a6b3c4b66e9cba2f7f73","datavalue":{"value":{"entity-type":"item","numeric-id":909439,"id":"Q909439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$1652C0E6-5D8C-4D58-9CDC-C445CEA68BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$A4161371-1566-4BC4-85F1-90695D5F328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037d5806b09108babd9428eaa68852f36d6795de","datavalue":{"value":{"entity-type":"item","numeric-id":5096245,"id":"Q5096245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$FD057B3E-D400-44A1-BE3A-FE52B976577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$B914E806-2161-4F5E-A623-3156DBBC32C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$D638551B-04F8-4374-A29C-1C83BF733E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$17F869AF-A813-47F1-B1DA-AEA8C9AD2057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481f5099a98f54fe4780c855a7f8b1692d0b248c","datavalue":{"value":{"entity-type":"item","numeric-id":5096255,"id":"Q5096255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083694$BDE21066-1ECF-451E-946D-877DF949BF62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ca1b98e86e190addb37c8befb4422fabe7e375","datavalue":{"value":{"entity-type":"item","numeric-id":5704032,"id":"Q5704032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bd94873c4ca721296c4bb1b1cdd1288bf1c1ff","datavalue":{"value":{"amount":"+0.8254852294921875","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":"Q6083694$1F867DC7-2E20-4B3C-9126-A8CA63BCB45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a755e8e13600ecbb1c45890fd328a1def4c92c5","datavalue":{"value":{"entity-type":"item","numeric-id":3400638,"id":"Q3400638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2bfff46d22adfb73e3b1ee9b91ec6b005db000","datavalue":{"value":{"amount":"+0.7507273554801941","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":"Q6083694$040DE350-F739-47E7-998B-A2B73A046364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a24c6318879f479aa915b3881e10ee1da5afc9","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52529d1375159bd418ccf81917afcc4225f9d754","datavalue":{"value":{"amount":"+0.7317683696746826","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":"Q6083694$930CB1F0-24F0-4DA4-A7E3-299716FFA558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a65a2edbac75522cd672c017d25a42a361e69e","datavalue":{"value":{"entity-type":"item","numeric-id":3745246,"id":"Q3745246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3449951f889ea140eaff915276056f9bcc3a866f","datavalue":{"value":{"amount":"+0.7235710620880127","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":"Q6083694$0F7A2F7A-CE7B-4539-93F0-8E73420CEEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e7db92e00c2ffd882f004ff809335316a563a1","datavalue":{"value":{"entity-type":"item","numeric-id":3729993,"id":"Q3729993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fa4f258854e9e73c82f37f64ac1872502bb37e","datavalue":{"value":{"amount":"+0.7171695232391357","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":"Q6083694$F00CD17C-9DF7-42D2-9C88-DB189A03589E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming with streams in Coq a case study: The Sieve of Eratosthenes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_with_streams_in_Coq_a_case_study:_The_Sieve_of_Eratosthenes"}}}}}