{"entities":{"Q2949191":{"pageid":2959911,"ns":120,"title":"Item:Q2949191","lastrevid":52360265,"modified":"2026-01-22T11:21:07Z","type":"item","id":"Q2949191","labels":{"en":{"language":"en","value":"Contracts for higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6491297"}},"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":"Q2949191$80134356-B02A-4AB2-9482-A247B8143535","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dfa29f795493f40cf24372176fd0e20a65a1128","datavalue":{"value":{"text":"Contracts for higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949191$BFF69499-4E19-4819-9091-BC7BF9D6315F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"397d15c4ee46eecd4534218aa85294b0877d6bc9","datavalue":{"value":"1322.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949191$073B5715-E69F-4980-A275-451461E62A47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e69819d659f0d1411b953b8406ebf752b372c86a","datavalue":{"value":"10.1145/581478.581484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949191$6018FA95-395F-4D06-951B-3A572107509D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc9d3172fe75452b314c51310bbc562cf6b0e7f","datavalue":{"value":{"entity-type":"item","numeric-id":812079,"id":"Q812079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949191$E2F9CC56-3387-4C84-ABF0-CAD81BAA7434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949191$A76C765D-F504-4503-B07F-183053049B6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0ff6c8c606e0505c72a89b79dd6eac67f258031","datavalue":{"value":{"entity-type":"item","numeric-id":2949185,"id":"Q2949185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949191$0243FDEA-58DE-4D6D-AAED-3AC4CB2E7F78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388a42d0e99a3473a403c82b3d4a19525d2c5416","datavalue":{"value":{"time":"+2015-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949191$578A198A-4921-4693-9A12-B76F6AEB9922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949191$AB47589C-D7FD-452E-80A0-F8819B19DC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949191$CCA97572-5C88-4E17-9533-1DED6F06D24B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d87cb611340584c0f6d226258b626c5db3bc39b","datavalue":{"value":"6491297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949191$AD291197-0769-4466-9BAB-9C9092F9D1D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f508c60def27dbe34a17e9a5b53499e38c877776","datavalue":{"value":"behavioral specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949191$7B573D54-E206-40A0-AD72-A879D12835BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949191$5D45C5A4-A26E-4F7C-AC68-831C282FA870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc896052e56d420496bcd412a3e3ef4322f80c","datavalue":{"value":"higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949191$FDABB6EC-75D6-4A6D-96ED-11E005C2A139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e089d28b06d3c6d38a51cd6045767dcb285e40","datavalue":{"value":"predicate typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949191$AA1C2B87-991E-4D3F-8256-41E0A2EC743E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ce8b4a621cc54c8ef478459129c3fa4b19ec91","datavalue":{"value":"solfware reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949191$EA04FCE2-732C-41A5-9C2C-E4867E460336","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfc04cb9d60b5d55b254e88c83f4544e393bedf7","datavalue":{"value":{"entity-type":"item","numeric-id":14005,"id":"Q14005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949191$F98CEBF4-470F-44B4-9594-FD57E67E02F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949191$D41063AA-1748-4F36-8C4E-64A5991D9829","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":"Q2949191$4699A64E-3195-4CDE-AF64-9CF41A71D17E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e0a52ecb202f8e09766d1c084784ff6c89e47cf","datavalue":{"value":"https://doi.org/10.1145/581478.581484","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949191$45E9ED22-2A77-493E-88B4-53D4498509B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"088ff7cb69d5c915b35f0868e940b4e8105d66ac","datavalue":{"value":"W2128303158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949191$B115C8BF-68F4-4CF0-9FBA-2036977466CF","rank":"normal"}],"P1643":[{"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":"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":"Q2949191$FB1217C6-B785-45FD-97C9-7DDF3A1E560D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7a538c47871cfa0fd1f3ef981dcd17c544a18e","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890a8727e427ecd659ce1c3a266ed09dc9085430","datavalue":{"value":{"amount":"+0.7733851075172424","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":"Q2949191$681FD3D0-23A0-431D-B6A1-6B07E6030839","rank":"normal"},{"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":"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":"Q2949191$D450B4BC-1EFD-4126-BF74-D08EF2503DA5","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":"235c869f4af7670943514a92c4b08ece48485198","datavalue":{"value":{"amount":"+0.7709707021713257","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":"Q2949191$88914C98-3374-4673-8C7B-1E833D71C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b006d7c3a325d3d8fbf0c697205f66cd2266aec","datavalue":{"value":{"entity-type":"item","numeric-id":5398336,"id":"Q5398336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1137ab0e02bdfbb255075a58cb3b771f459fbf03","datavalue":{"value":{"amount":"+0.7686914801597595","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":"Q2949191$7BDFC1CE-91F5-4B28-B84A-C236174F6BA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2949191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2949191"}}}}}