{"entities":{"Q2985795":{"pageid":2996520,"ns":120,"title":"Item:Q2985795","lastrevid":52799459,"modified":"2026-01-23T13:01:43Z","type":"item","id":"Q2985795","labels":{"en":{"language":"en","value":"Context-free session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713924"}},"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":"Q2985795$DFB68472-2A90-42FF-80EC-7E5F99EF054A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a93d45a10162ced8bc72978dc6c23bfb0989a56","datavalue":{"value":{"text":"Context-free session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985795$13917C64-2E94-4F1D-B7FC-3A2D9802F3F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de5b81fe5066d4746e32d0122faf900a6a76a136","datavalue":{"value":"1361.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$692CECC7-6C61-43A8-A2EE-7564479A7BA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8f4cb302ef703b3fd203515f12d7d86bff8c481","datavalue":{"value":"10.1145/2951913.2951926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$17CD97EB-A834-4917-B42A-25E32F8C8FB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985795$FB976356-3B48-4A50-81A3-BBD1A9CD3A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985795$C49A040A-3C8F-4AA8-8E51-60EE9472760B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985795$3DC8A2B0-3A6D-4AEC-B4C9-CC7ADDA35C98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985795$577D80CB-6B41-4FA8-8705-A4961238A312","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$3138F1E4-C042-4EBB-A0A3-56908DF6AB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$6955329E-E44F-4E8A-A976-C611248F8189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$C0E2D61F-BD5C-4982-9EE5-EA436BDD5AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61b914fcb2f54e389636951754ee8e5e9e1ff41e","datavalue":{"value":"6713924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$40F82F42-3974-4C25-BC76-6778FA0F6654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985795$85EB94E6-93FB-4D61-8017-1BEE0746035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985795$52CA4088-007F-44E8-A519-AFB82A49966F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985795$388D3091-622A-4BE2-B9D2-940A7DEB567E","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":"Q2985795$0A01457B-BE4B-4282-A290-94EAA6791AE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faa47329c675493d53f549ce7e21e015c75ea7cd","datavalue":{"value":"https://doi.org/10.1145/2951913.2951926","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985795$C05347F5-A7D0-4BC2-BFA5-36BC68EFDAB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f8aaed3a77c4c017f32b647ff14163fe6465e7","datavalue":{"value":"W2508649175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985795$E0539B68-06C3-475A-BEF6-CE7FB2F027B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e280fdbcafa933b0c97aa592c708d4f34186e05d","datavalue":{"value":{"entity-type":"item","numeric-id":2988669,"id":"Q2988669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9ffbd931b006b8ea98359663e6104a404659d0","datavalue":{"value":{"amount":"+0.858600914478302","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":"Q2985795$1E509784-8D46-428F-99E8-A7970C0A764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a190a8209172e1d999e08798878332850f203362","datavalue":{"value":{"entity-type":"item","numeric-id":2233456,"id":"Q2233456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fcf075ecb2b3255917d7dc0bc46236062d1644","datavalue":{"value":{"amount":"+0.8158448338508606","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":"Q2985795$85C3485B-ABE0-4A78-A236-2C1ABB03C077","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":"5b5db7904cb6e169594a820c212d6e3ad46641e1","datavalue":{"value":{"amount":"+0.7949709296226501","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":"Q2985795$F5B220D7-B412-429E-B111-DB7B54416447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34581ea5b6c98ee4d0ccb4d733a35aa66e6f938c","datavalue":{"value":{"amount":"+0.7793248295783997","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":"Q2985795$8E881EAA-6AA0-4D14-A43D-2782C5771F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e6071b7f449d44aa84cd791d897030582f80ba","datavalue":{"value":{"entity-type":"item","numeric-id":5150075,"id":"Q5150075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27808034d4823d2930f1990492c332fd65c39aff","datavalue":{"value":{"amount":"+0.7763342261314392","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":"Q2985795$66B7CA2E-4911-43E6-94DC-FC3EF02D9678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985795"}}}}}