{"entities":{"Q5739895":{"pageid":7769447,"ns":120,"title":"Item:Q5739895","lastrevid":92863031,"modified":"2026-06-05T02:56:58Z","type":"item","id":"Q5739895","labels":{"en":{"language":"en","value":"Using higher-order contracts to model session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601113"}},"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":"Q5739895$A3B1395F-D817-4711-A0F9-0850F8D7E0DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd08341bad6e523c69370d084b4536508d29e8ae","datavalue":{"value":{"text":"Using higher-order contracts to model session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739895$6B1BAD43-7438-4C2E-AB80-2CBD93A3B34B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7aabf94d2cfa871839b1af7c889585cd4b92b0d","datavalue":{"value":"1448.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739895$08A8D2E8-4BFD-4032-B6D3-8999BEF46263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9b79b9d884ced3310aa67c6dd55c096c3caf303","datavalue":{"value":"10.2168/LMCS-12(2:10)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739895$DFDF95DA-5552-4A1E-9EF6-5E3B7575CE26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ddb2241af3bd147970304cb853664d231b614ee","datavalue":{"value":{"entity-type":"item","numeric-id":2811924,"id":"Q2811924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739895$54C22BF2-FBF8-47C0-A45D-C446941DB5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739895$584CEBBC-A1DB-4CCB-B4B0-3E305545AA8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739895$B8D34A86-94AA-411D-99CC-DA0B1BDB22D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa0c76dadf16d518dc4d05a67d37c73c921d6123","datavalue":{"value":{"time":"+2016-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739895$D34D1B75-BCF9-456A-B0E3-24743F5295AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36cb63760847acc52582e43af771d7a579964341","datavalue":{"value":"https://arxiv.org/abs/1310.6176","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739895$1D579646-146A-47AF-882E-BD66E860F134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739895$1EE3638D-0297-403C-95BD-EE5C0A0279E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49c243785f1acf2b74fc793ead2c92b50427d7e","datavalue":{"value":"6601113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739895$392A493D-11BB-4976-BA94-305150E01791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229e6345d07584ad17f69046cd103e2c91cc6513","datavalue":{"value":"recursive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739895$2F2FB0C1-66AF-4928-B140-AB42A8CEB366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2cf67dc938d36c0e4b342cb3dbeca813ee838d","datavalue":{"value":"higher-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739895$5C4881A1-0847-4A9E-AABE-350ABC259AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739895$3996B7D2-B1CA-4E80-94AD-5A9D49BE8EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ddb4b9bc14755897d2244f6efb968afbc74b17","datavalue":{"value":"contract compliance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739895$C988A14F-D55B-47F6-BEFB-5B207DC2936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963896a1c7cb4e97b4fcbcdb47a1eb86700a4f70","datavalue":{"value":"testing preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739895$C9D6A9ED-18CE-4100-98ED-D33249B7E097","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":"Q5739895$A0395087-FC38-4A57-9ADA-A875C4D42C39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff6f182b41db1991903221203321a23e1e0c71b2","datavalue":{"value":"W1673934254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739895$84D188C4-20DE-4F24-B0CA-4C8AEC7C9768","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66693f7bdf52e00b6c3ccc3627e5460e72ed66a","datavalue":{"value":{"entity-type":"item","numeric-id":3190131,"id":"Q3190131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a924ef20544995a092d5e01e34ebea4eee195153","datavalue":{"value":{"amount":"+0.9875376224517822","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":"Q5739895$BC755C53-6B5C-4D0A-8371-0E81A5CE2988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b3479e072250d6482e36a6e7286b1594dc2a46","datavalue":{"value":{"entity-type":"item","numeric-id":5741570,"id":"Q5741570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4d413510d16ea95d8f61b20b4075805048fddb","datavalue":{"value":{"amount":"+0.820695698261261","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":"Q5739895$12A49C46-79EC-45C2-ABBD-14A6B11A883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6183ec1f01edef83993b3e61bcf3da57982e7839","datavalue":{"value":{"entity-type":"item","numeric-id":3612640,"id":"Q3612640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6dfe830abaf6772d276e503f7cb766bc1907e1","datavalue":{"value":{"amount":"+0.7523531317710876","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":"Q5739895$06374A0B-DDEC-4D2D-B911-61D366674EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2b88e82afd0b624e82a10537f58babffb6c0ed","datavalue":{"value":{"amount":"+0.7373712658882141","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":"Q5739895$913DF57B-FAAC-4127-BF08-8ECE8A9A8441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964869948e3f6f83d358318a41287851d30dcfad","datavalue":{"value":{"entity-type":"item","numeric-id":2802492,"id":"Q2802492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5424549b21e518a0880d2adfdebb037b1f253574","datavalue":{"value":{"amount":"+0.7263697385787964","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":"Q5739895$8A6D0B8F-C004-4091-B4E1-EE30BB90E54F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using higher-order contracts to model session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_higher-order_contracts_to_model_session_types"}}}}}