{"entities":{"Q5168921":{"pageid":7198493,"ns":120,"title":"Item:Q5168921","lastrevid":52044737,"modified":"2026-01-20T20:02:23Z","type":"item","id":"Q5168921","labels":{"en":{"language":"en","value":"Program-ing finger trees in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318889"}},"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":"Q5168921$AD5A0424-BFD9-4DA5-BB54-CE09C0A60289","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b8e8584f4705b33d917890e54bf46ce1c544e68","datavalue":{"value":{"text":"Program-ing finger trees in C             <scp>oq</scp>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168921$E9BBE0BF-65C5-4FCF-9C20-B1146166FD48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc2402713acf809b9046a976e4b03b7b926de604","datavalue":{"value":"1291.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$FD640D32-8BE2-4A39-9280-092F508497DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53b4b6ce71157d72f61545a747faea7237d50b4c","datavalue":{"value":"10.1145/1291151.1291156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$06BA44E2-F7F9-4EE0-AF53-B28739C45194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9414558f268ee594724569b856f23c96f190f01","datavalue":{"value":{"entity-type":"item","numeric-id":1791139,"id":"Q1791139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168921$D685D8C5-AB42-418C-896B-F5BF0184F939","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a97c3b573e5dc33c87a084ea7e842f0d1a64f07","datavalue":{"value":{"entity-type":"item","numeric-id":5168919,"id":"Q5168919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168921$6F81AA03-1481-48DE-A40B-AEB46C964FA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168921$CB347F64-01DB-4B5F-B5DC-B57914EC7C8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$C8AD91DE-B062-4DB9-A0AF-5C498BAF5C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$65483FDB-36C2-45C8-9F46-1ED169C9B223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$AA905565-6C1F-4DA8-8410-2BE3E98AEA7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6738f3810ed664770693900da467b0ee9102ff7","datavalue":{"value":"6318889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$2BEE207C-4F86-4FB4-AC00-A71E788E621B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168921$B1A2B1E7-1DF8-488E-A1BB-0881F644F599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168921$7E5DCF53-692C-4988-952B-985E52C180DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168921$663E7A27-1ACD-409B-AD84-07F521917F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac18b3ca2f8ef97cb7060b7719f4ce0350ad2118","datavalue":{"value":"finger trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168921$118EB4DE-51F0-46F5-A1CE-7690A15A4BD1","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":"Q5168921$9379FAA9-CDF2-4969-88CB-E05EE5EA0F42","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":"Q5168921$38A74A29-4A7A-4BE1-97BB-99CB59C59029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58558674408e9e85db610d8e16cc48cd5568767c","datavalue":{"value":"https://doi.org/10.1145/1291151.1291156","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168921$AB88D009-C498-4485-8AAA-B23723BA020A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d4df1217b0d21680dcd40372e9e4b36f7bc63b8","datavalue":{"value":"W2077213360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168921$52673191-884A-4726-AD0E-493526FBE0C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f16d5a8e6f04b1ee6db6f73081a3a71516478f9","datavalue":{"value":{"entity-type":"item","numeric-id":3377461,"id":"Q3377461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fee6641bf9329f6e29c4ca60611fe610208c9a","datavalue":{"value":{"amount":"+0.8082366585731506","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":"Q5168921$80D8BD26-942F-4F0C-9FBD-F841BA63C0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb66f5ed642237465bd4bd33f771eb4c0c5586c3","datavalue":{"value":{"entity-type":"item","numeric-id":2757083,"id":"Q2757083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bef3ec68d6a1aa3b8135763502a1ba473ce85a9","datavalue":{"value":{"amount":"+0.7240622639656067","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":"Q5168921$D2624710-4DE0-4375-9B1E-DF08D386900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fc5e7043528b48f48513ad3d7973b2a19e7a49","datavalue":{"value":{"entity-type":"item","numeric-id":5056001,"id":"Q5056001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77fe1060adae9383ebd8771091ab4cabd7c4550","datavalue":{"value":{"amount":"+0.7166628837585449","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":"Q5168921$29572AE0-54E7-49B5-A1BA-A10CB0948481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad474bf542af9c01dfa65c603f910307ce18a91","datavalue":{"value":{"entity-type":"item","numeric-id":5308710,"id":"Q5308710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2436fd9b181f15f65aaafdf69ea8ba4e9593850","datavalue":{"value":{"amount":"+0.7071135640144348","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":"Q5168921$FFD3C546-56D9-43E1-93B7-F8D0E48706EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9dad9d97d930ca5b6544bbe523ae8c88a06da6","datavalue":{"value":{"entity-type":"item","numeric-id":5327368,"id":"Q5327368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba64b00bae4d3bece657aa94029e7c04ff67a582","datavalue":{"value":{"amount":"+0.6995004415512085","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":"Q5168921$EA7AE258-26E1-4AF4-B7CB-A4EE3D212AA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168921","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168921"}}}}}