{"entities":{"Q2827445":{"pageid":2838183,"ns":120,"title":"Item:Q2827445","lastrevid":52652060,"modified":"2026-01-23T04:53:18Z","type":"item","id":"Q2827445","labels":{"en":{"language":"en","value":"Types for deadlock-free higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641147"}},"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":"Q2827445$05CC9D1F-E556-4DE8-94DF-841930ED7D95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28aba8575b05aba3fdf46fca9c0b9053b4a5d3b4","datavalue":{"value":{"text":"Types for Deadlock-Free Higher-Order Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827445$7993E981-11C9-4FD1-975D-D47ED81C7E6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ea4c10c02474431e6c008b5a82c639dcf21f0ea","datavalue":{"value":"1347.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$ACD859D7-13F7-428F-9E51-0915EAA6F75A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70f898ac1619373892a591de8cef0812bbe2590e","datavalue":{"value":"10.1007/978-3-319-19195-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$E2511E0E-D53F-4797-9E52-5E1F050278F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827445$30C724F9-270A-4274-95B1-39E647F87FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3a983ba909fde7d57a945476fa1f9eb7a2a3d9","datavalue":{"value":{"entity-type":"item","numeric-id":2827443,"id":"Q2827443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827445$351D2667-369F-4699-BAF7-25AC4126C5F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827445$E5B1FDB3-03C6-4403-A550-D0483BB6F518","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827445$DCCCAB63-99CA-4430-B3DF-4B92F40275C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f30eb8016061e0b7d5b6ab42f47fce6234dd46c","datavalue":{"value":"https://hal.inria.fr/hal-01767327/file/978-3-319-19195-9_1_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827445$67A6A6B7-D3D7-460F-8C9D-CF3A467779EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$5DDABCE3-3429-4657-955A-7A4FE332D051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$0E985864-C0F1-4C3A-B77F-C10725835BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$014AB0C4-2FC9-479A-804C-3865532B7595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0afd94247258932351d8022527961fa8328697d","datavalue":{"value":"6641147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$648EB3DC-709D-48F7-98EA-EC0AC3F869CE","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":"Q2827445$3EE61E0E-39BD-4DAE-BFEB-EB8167D5D936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aa1c1a926e4ed39b22eb32a89e3eca45ebf4575","datavalue":{"value":"W991226753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827445$87E2EC2F-827A-460A-AE11-6BF03D251167","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705471f05b92b57333ebb90cf2ff7005aaa9956d","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4374b47343f1f4ce387ac7f79b5dc8ef994887cc","datavalue":{"value":{"amount":"+0.8638811111450195","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":"Q2827445$2FC0B9B7-2AC1-4B5F-B6EB-C8BEFA59235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1e1241fdb9b4eed8c3adace471561e0f761f88","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f395e4efa37bdb245bf293389df784ff9c5d0f1","datavalue":{"value":{"amount":"+0.8416134119033813","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":"Q2827445$F1FBFBF3-28F8-448B-B5C0-F4FF9A562B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d65460650fda6442071e21e391346bcd1f1bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7b0929116ed176559e37afbbf103d260aa7d10","datavalue":{"value":{"amount":"+0.8267348408699036","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":"Q2827445$42AD97AB-01D4-446E-BDC2-E63A47041076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3d755f3cd3b9e410d5d8b0ffb34cd0ab722f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4223021,"id":"Q4223021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2152bfea6c0ca2e4afd646f4810515f8861a37","datavalue":{"value":{"amount":"+0.8263120651245117","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":"Q2827445$22D8CC3A-496E-429E-A38E-000A2FC7504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919916be698e5415322842abdb85f08b395d020","datavalue":{"value":{"entity-type":"item","numeric-id":2667185,"id":"Q2667185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c56e6820387e87f723d521ead6e354e5fc1d009","datavalue":{"value":{"amount":"+0.8202433586120605","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":"Q2827445$69A87C0E-6B1C-4D63-B5EC-D77744D967CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827445"}}}}}