{"entities":{"Q3190131":{"pageid":3200839,"ns":120,"title":"Item:Q3190131","lastrevid":52090010,"modified":"2026-01-20T22:17:33Z","type":"item","id":"Q3190131","labels":{"en":{"language":"en","value":"Using higher-order contracts to model session types (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344636"}},"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":"Q3190131$16331786-8692-4010-BFCD-B513FE31F4A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7489a3dd3870b4f15e07192c4ce602b76bb9b96","datavalue":{"value":{"text":"Using Higher-Order Contracts to Model Session Types (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190131$4097CEC3-AEB0-4B69-9BB6-C6A45F2FD492","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc53125785edcd1324133df2d7b537bf7d2aaca7","datavalue":{"value":"1417.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190131$0FF5E73E-BB76-4C0E-9C4A-644388C13AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad78bcf89b51c267391aaeb92ca87f6b49d6b5d4","datavalue":{"value":"10.1007/978-3-662-44584-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190131$6E218BFC-F06B-4B3B-A5F5-B26A69DA4A05","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":"Q3190131$4E84C5C3-D3B2-4FC0-9F20-53F55C1C1AF3","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":"Q3190131$65F7DF66-476B-4241-B52C-A2CC31F6458D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86291768d824471544e7172134ed7e1910c45b89","datavalue":{"value":{"entity-type":"item","numeric-id":3190104,"id":"Q3190104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190131$93E80270-5784-4E32-8C46-844433743162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190131$C64E97A3-A60E-4C6C-9C4A-7AF385268ABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80d516091db599e9a927a255e84e3dc310ca1ae3","datavalue":{"value":"http://hdl.handle.net/10344/5419","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190131$ABE5D840-FD16-4599-9E69-1E21F0FCB40B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190131$08B78A75-BBA4-4380-9FC8-77FC07BD0D7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6f9102ddedba72f91dc514daf617d931ef1e4a9","datavalue":{"value":"6344636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190131$DB276491-6F3A-4C1B-A9F2-8D797A8ADFA5","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":"Q3190131$4484A85D-8794-4FDC-ACC7-77359C0F8C7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a0223d856d5e27065e0ce0dd936c88793aad34c","datavalue":{"value":"W241121309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190131$ECD962D5-F2BF-4518-A13D-474BA10328AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e07559882e66e902282caf5cfd790ca8f51282a","datavalue":{"value":{"entity-type":"item","numeric-id":5739895,"id":"Q5739895"},"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":"Q3190131$91BFC716-D851-47AA-92A7-8F5A56753836","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":"499ff93238d53de6232293fa57c3ad4dc31c3e2e","datavalue":{"value":{"amount":"+0.8198106288909912","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":"Q3190131$3E0FFF60-1250-4C62-A470-C4BBA105AB4C","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":"749066eacad0fb0495b008dbb8f095624cfb8bcf","datavalue":{"value":{"amount":"+0.7733062505722046","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":"Q3190131$C3213E13-2CC1-4EDC-831A-1E3D11E29B4F","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":"f68063c20b2daf2c426edb85b29e0156bdb94f93","datavalue":{"value":{"amount":"+0.7574493288993835","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":"Q3190131$E3BCB904-CD75-4827-84ED-6B6AABCBA3E4","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":"ec2cbeada1762b2a12e39cb5486e9aff413582a3","datavalue":{"value":{"amount":"+0.7446887493133545","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":"Q3190131$CA8CCF79-4D40-4772-8B4A-42EC97D3D8A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3190131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3190131"}}}}}