{"entities":{"Q3434634":{"pageid":3445337,"ns":120,"title":"Item:Q3434634","lastrevid":50085283,"modified":"2026-01-12T22:05:02Z","type":"item","id":"Q3434634","labels":{"en":{"language":"en","value":"Typed Contracts for Functional Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148622"}},"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":"Q3434634$F5EE9B56-B6CE-4C45-A08E-AC958823FA07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbf0f2732310f96d1df5184dc95ae8e2eb6fa5d6","datavalue":{"value":{"text":"Typed Contracts for Functional Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434634$AD793264-F3F9-4659-BC4D-B4912B32CAC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feae576dd07c4355246d2f05f79ab9f416f195c9","datavalue":{"value":"1185.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434634$6665975A-86A0-410C-8AEA-997B814A25B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d383a2f1ff7978999dc5ccfffb71f709276f3ea9","datavalue":{"value":"10.1007/11737414_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434634$07C7CA25-B1D4-40F5-9121-B5FA3D29840C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7203456c922c316414817a6a8a5b99d0449fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":700973,"id":"Q700973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434634$F2691DCC-FDA8-4CED-9222-517794D83B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c65fa53e00069bb8312ed2c5bca94c65b59413ef","datavalue":{"value":{"entity-type":"item","numeric-id":626938,"id":"Q626938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434634$2A62BCB0-DA9C-45E7-B238-5494562543B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc61ec813008c90ea14b57a4907587e613769328","datavalue":{"value":{"entity-type":"item","numeric-id":923887,"id":"Q923887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434634$353A8E7C-CEC8-4202-B603-49D87F29BA26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434634$F88B2723-6D46-4AA0-8CB7-E1264C8BDF10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434634$441CF54B-2120-4E9F-BE6D-8632ED00B445","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61e9dc78e99a700680fb66a978713f818b012442","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/20795","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434634$00D5756C-E943-48EB-920C-B3F9ABC840FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434634$A2F437E8-130D-4D49-8A5E-05F0A40E7200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af94edbbd47a46912f55b6f0f5d3a5896d952c78","datavalue":{"value":"5148622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434634$C4BA0F90-BAF6-48A7-B57A-C5AFB9897085","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434634$80E6F36A-9AA5-4131-8ABB-B2E9227421B4","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":"Q3434634$D1DD8BBC-94E9-4FEB-9DE4-081AFC851B18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7edbd1a8b91caf7ca9a7dae09d50714241847979","datavalue":{"value":"W2139597778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434634$3B3A8D01-440A-4480-A650-60233BDB7668","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3464c37cc24a9d774d55a70d06287db23e4f6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5168882,"id":"Q5168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5615eb16c47518440ac0aa99fa12b1bb6ac6dd5","datavalue":{"value":{"amount":"+0.811831533908844","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":"Q3434634$EABB849A-E3B5-44DF-B20A-C95B621EBF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f0de54d86a66c80e959019c23e1cfd0e33342b","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da67fad6d07679916fe316a4c14bb5ab1c93f0f","datavalue":{"value":{"amount":"+0.7972611784934998","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":"Q3434634$C534CD96-8565-47AB-A67A-946CB345A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fbeaf5920feb31958054f7fb2f25e801064732","datavalue":{"value":{"entity-type":"item","numeric-id":3000571,"id":"Q3000571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81daba346fd44cf0c98d55dbb92af0c899028544","datavalue":{"value":{"amount":"+0.7483406662940979","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":"Q3434634$0F59C31D-5DB1-4FB1-AAD4-4621957E4D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3507a2854a81a8b9a3a406db118284eb639a7a4","datavalue":{"value":{"entity-type":"item","numeric-id":3434635,"id":"Q3434635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5843c721745f2b540e4477a220cdeca8743683a","datavalue":{"value":{"amount":"+0.7459729313850403","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":"Q3434634$275F82DD-847F-480B-A0EC-734AED4C6BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d771e291c823ffaae5244d0d6153f1527595125","datavalue":{"value":{"entity-type":"item","numeric-id":5178036,"id":"Q5178036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fc0d61108deeeb324327e10f03f5bdf9279408","datavalue":{"value":{"amount":"+0.7432475686073303","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":"Q3434634$1F2BA2E7-2048-47AC-83BC-43E67F3E7D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434634"}}}}}