{"entities":{"Q2914375":{"pageid":2925095,"ns":120,"title":"Item:Q2914375","lastrevid":51561404,"modified":"2026-01-18T19:12:54Z","type":"item","id":"Q2914375","labels":{"en":{"language":"en","value":"Nested protocols in session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086183"}},"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":"Q2914375$631CAAA3-4D41-437C-84D9-0BFEB76BB82F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59fc0fe4da028f95ad5691356b5b90bbeed09a24","datavalue":{"value":{"text":"Nested Protocols in Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914375$548788CF-DA98-48AC-A063-E1459F96FA22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f57b09dfb97b18dfca0f37885bcf6b4a4e3ea37","datavalue":{"value":"1364.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914375$4C193DEF-58BA-4DAE-BACD-E1B3B48B41B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc8a3377c0611759e8b616d70fad3730b55ab49","datavalue":{"value":"10.1007/978-3-642-32940-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914375$84DBF280-FCEB-48B4-85EE-B387A8773550","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af5627cefef78d9602d64742a4b36ba411183c3","datavalue":{"value":{"entity-type":"item","numeric-id":517049,"id":"Q517049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914375$CF5EBB01-5034-41D7-B12A-8C9E3885AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914375$52A75B0D-DF26-494E-B15A-593052C53B45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914375$1FEFF603-A928-4010-B8AB-ADF2D052089A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914375$04696AF2-8726-4802-BACF-C435064C4340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914375$A9384A02-D476-457E-9848-210956C38F43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e01f9ab6efb99311d0656d7e9c338bb6553c9488","datavalue":{"value":"6086183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914375$108BA22A-B880-4D3F-80D4-7C7B2B8BB31D","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":"Q2914375$AAAD43C7-4935-4C5D-9BEF-C8256F181D51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c0a15f36ef72828eb999922a3515846f68a3caf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914375$E42AC962-C1F6-47DC-A01B-45131DE0A1C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bb3cb162b7dd5c99bff546607368d16f3c05a20","datavalue":{"value":"W84711077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914375$43A314EB-A7CE-4095-822F-AD6BAD659A7E","rank":"normal"}],"P1643":[{"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":"600bd3ac82cec6aa503505834f8a6f25fb3efbf0","datavalue":{"value":{"amount":"+0.8072518110275269","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":"Q2914375$3DF653DD-9D77-4CA5-A3D5-74D6AC5D89FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467a5523b8321e17345ca0e7e8ae986354707a4f","datavalue":{"value":{"amount":"+0.7554665207862854","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":"Q2914375$2205AD4F-0DFC-4F6B-9AEF-54607B4926CE","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":"0c81f641d758b8a9fc0c6c22d36353f51fe13fcd","datavalue":{"value":{"amount":"+0.742842435836792","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":"Q2914375$05E2F053-6ACF-4DA7-B265-969CF2E75453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b34e99fb2e0db6f581650fbef00ee626ac5e84e","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b596cbd7a5a793b2398fe7fc8422fa68e70ec881","datavalue":{"value":{"amount":"+0.7403912544250488","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":"Q2914375$271280AE-9218-43A7-B70E-8E9E2ABD1249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be17c0d8427be59d8099008b58675dacc5f8a562","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eccf0f4b0b8d54563ae02b9c1dc922cda8a3edf","datavalue":{"value":{"amount":"+0.7362380027770996","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":"Q2914375$5FCA9954-2644-47B0-9B62-24BF0879ED22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914375"}}}}}