{"entities":{"Q5168882":{"pageid":7198454,"ns":120,"title":"Item:Q5168882","lastrevid":94378199,"modified":"2026-06-05T06:39:26Z","type":"item","id":"Q5168882","labels":{"en":{"language":"en","value":"Practical typed lazy contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318860"}},"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":"Q5168882$636225FB-7019-4AC3-898E-F30A468179F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b70879d0c831952343bd58aadc590c8ac29c10fd","datavalue":{"value":{"text":"Practical typed lazy contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168882$F1A7C9F1-8EBE-454F-9954-995AD788A5A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4841280ab187f61a5785ddf3325c7c39725965de","datavalue":{"value":"1291.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168882$97417E2E-9B5F-451B-AF01-8140B1A1271C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6d17259b38b98afd01fc3d4185b8a642a5d521c","datavalue":{"value":"10.1145/2364527.2364539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168882$69A2B7BF-498A-42C8-BF9C-A01FCDFADB70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af702cde1c42a932846a4c22579ba0dd7dbf057","datavalue":{"value":{"entity-type":"item","numeric-id":1648890,"id":"Q1648890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168882$A252E27B-33F5-48D6-8BAF-AE1AC3CEE64A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168882$DEC07BE2-3591-4553-9C10-2A5A3BBBA899","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":"Q5168882$5F3AA809-512D-4594-94A8-1396FA7DE976","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1efb82cd3c43d1f7666994f72a73ce7146b57fd","datavalue":{"value":"https://kar.kent.ac.uk/30790/1/contacts.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168882$2C330C57-82AB-4046-A1B9-81B1D5D618E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168882$086A55C3-4BF6-4AF3-9DCA-604E597C01A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1bb00cbbf08bd8ebdd365766ce63df43d961873","datavalue":{"value":"6318860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168882$E55DC2DA-060F-46E6-8F05-6DA98A2E6C03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168882$D9007A76-EB95-4668-9871-AB4676C05E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7bb7fb6a81153263c535c6388eb6460b71e5fad","datavalue":{"value":"lazy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168882$9097D923-73C0-4838-876F-7205DE1DB048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6016ad883850e2e6c70a8f9f9a8770e19db6b9f","datavalue":{"value":"library","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168882$3E4F5B07-CABD-4552-8CDF-BEC240E4C8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69586e4daf65bd56924f0e11761e447cab6a8eb9","datavalue":{"value":"purely functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168882$D0B0A80D-D233-4D34-A6E3-9775BFE244B9","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":"Q5168882$074622F0-0347-43DD-A006-6AF823914F3B","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":"Q5168882$AB74831A-4A35-433D-8FD9-79C9713D95A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fba72e0b101f61c1b07c08f8313492ace019a21a","datavalue":{"value":"W2116323891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168882$2D555A1F-5E48-4FAE-9CB5-090078190DD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6418a4a79e82835cf876d40bde74d3c5ae6b973","datavalue":{"value":{"entity-type":"item","numeric-id":526445,"id":"Q526445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171cbfe1ee6fa74a9ebbaf51fc37105c2ffacc6d","datavalue":{"value":{"amount":"+0.8197808861732483","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":"Q5168882$B9C6662B-F287-49F2-96E2-5D90A7E5F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdd9f3c241661991308e0072d727f5302cc45f2","datavalue":{"value":{"entity-type":"item","numeric-id":3434634,"id":"Q3434634"},"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":"Q5168882$03C130F1-25E4-4B0F-B3A8-95DBCF5071FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6982427bbea304dc218ad3b70c8796dbd703f10f","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197ca51a77ee2cf00e33e0c8c89f907251960f8f","datavalue":{"value":{"amount":"+0.8005244135856628","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":"Q5168882$D153DFF0-D5EC-435E-BC95-9DE193B606BF","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":"64ef0fa5cb11825fff82c3466804139c8c74d92d","datavalue":{"value":{"amount":"+0.7717230916023254","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":"Q5168882$A9331189-0041-4B35-B687-44CFE651CC8F","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":"97dd88feb71ffcba9309bb1adf4e6953c1c29428","datavalue":{"value":{"amount":"+0.761310875415802","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":"Q5168882$AB00B5FE-6642-4FC0-BAD1-EF1008117615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical typed lazy contracts","badges":[]}}}}}