{"entities":{"Q2286741":{"pageid":2297484,"ns":120,"title":"Item:Q2286741","lastrevid":53641163,"modified":"2026-01-25T11:49:39Z","type":"item","id":"Q2286741","labels":{"en":{"language":"en","value":"Global types with internal delegation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7155400"}},"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":"Q2286741$623AEC0D-8ED5-4269-B733-B87985FC5363","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3b4bcaf214e835fcd1ed1da60c5b2101f08fd3e","datavalue":{"value":{"text":"Global types with internal delegation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2286741$DEA44C2B-880A-409E-BCAC-77ED241158C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f28a79bc034df25962d708137a9bcf0cb56a80ca","datavalue":{"value":"1436.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286741$42216AE1-7211-452F-8DE3-2AFDC9DDA2C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$2ECE4163-06CE-4E1D-9A1E-65C339528C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$27CDB72B-E035-49AB-8B6C-227A846A5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4eaa863d309e75bef02a122fe31ed8bba1d86cb","datavalue":{"value":{"entity-type":"item","numeric-id":739625,"id":"Q739625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$4B35C2B0-BAE8-419E-999A-8ECA8290379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$7F50A661-BD57-490C-9709-755B91F3787B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$EF613D33-593B-415D-B623-C5E704A7E3FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2286741$C908FD93-DDBD-40A7-B43B-ECA7EE4775C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2043a135be6288d21a91c775522737d1ecbadce","datavalue":{"value":"https://hal.inria.fr/hal-02419937/file/cdgh19.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2286741$374423FD-C073-48D5-B72A-EF016A341683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286741$ECC950A5-68C4-4039-838B-20CCEEF166FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"221a94c91a0791cef4b3491cf5cbb712c8ccf334","datavalue":{"value":"7155400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286741$DDF8750A-86F5-49C1-B41A-D000D63F4D48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbff50a377a8b88d6aebb20b4c8ff5b3e00ebef7","datavalue":{"value":"communication-centric systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286741$37BD9EEC-22C6-4FCF-9195-8B0F12BA5888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286741$BEF2E03A-62E9-450D-829C-B467E6F3BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286741$8D16CDF5-063E-4D4F-AB0E-23FC33BD02BF","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":"Q2286741$B32E74DB-6106-4062-B39E-423B224269AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b204da80f11555b2aa879bcea030ea0d66fb2487","datavalue":{"value":"W2977241542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286741$1EA65173-CE47-49B7-8D1B-2ABC5B2FA616","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2a23aa56b118b2f5d676ad1ae37c62de8f59a","datavalue":{"value":{"entity-type":"item","numeric-id":1330456,"id":"Q1330456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$781EAF32-6E2A-407C-847F-D7630A29338D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$47C9A602-EF8A-495B-A494-DF2E2BD10B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5034bf56614ac59a4574108650124d1b58cb7536","datavalue":{"value":{"entity-type":"item","numeric-id":462485,"id":"Q462485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$66DB8929-86E7-4BDE-AFC5-88FEEEAD32CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bceaa3d9e9fea4f08d6857992bc67aa117a44e","datavalue":{"value":{"entity-type":"item","numeric-id":4963910,"id":"Q4963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$FBB06621-D2F3-407D-8F7B-A35B833E691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf3e30e31f599e1f4f084511504817c437a2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$5D1C96CF-ED93-4CF3-8B71-3FB5F3416E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01bc710bd596d67daa1725e96d0e7fb8babd71","datavalue":{"value":{"entity-type":"item","numeric-id":2329306,"id":"Q2329306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$0934F1F9-B14E-42C3-90C8-9E85C827E79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae72ca3eb9836c81238e2dc57e2e0c6f01268dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5741563,"id":"Q5741563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$3F1D0E21-464E-4571-B948-00C7E0B4ED13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4213f53b0edb422e581994cdaa42fdb48ddf9f","datavalue":{"value":{"entity-type":"item","numeric-id":5408562,"id":"Q5408562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$D7412633-0A3B-43DA-A7BD-BD0C27840191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$8C3E1FDF-EAD8-4D6B-8E39-A93265D6E00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1676ea40b686135e06aed5ceb44a39822dfccb04","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$EB8C064B-ED8E-448E-8513-106F2A0D73CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e18d1ff9e4f878683676cc1b8d2c70670171782","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$89F75F0B-3DD2-43AD-A06D-C63232CB967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c3d1dc465addf5e461e37a453df1cc20b5f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3003511,"id":"Q3003511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$446B096F-DC91-458E-AF07-2E3D086ACCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf53d6cb8483c53167a6b224459ec2cd8dfc718","datavalue":{"value":{"entity-type":"item","numeric-id":3449628,"id":"Q3449628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$F1125EF0-E0CC-4767-B159-A602F4916DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689a359b14c7eaf1819996ce0a39be45acac584d","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$94B9CF1B-79E8-402A-AF93-32985CA3B05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$8F3A5515-C857-4765-B671-393B676884A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$D349659A-F868-4ED7-8C77-B84EA06ED5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790778054f0b8617f9a706a7beba5447691c83fc","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$88A2638C-99E2-400D-918F-335E6887CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$A35CD1E2-8E1B-4C27-9895-DA7665BAB1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed979430371862e5f53ebd0e96b9fcfc6b9c286f","datavalue":{"value":{"entity-type":"item","numeric-id":2914373,"id":"Q2914373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$BDF44EBD-72F6-4AD8-95AE-EF2DDDA49E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21e3f32e86bf776a63848f800f3dd1623a66b92","datavalue":{"value":{"entity-type":"item","numeric-id":2007727,"id":"Q2007727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$05789C6F-1C13-407D-BFA0-4F1DAF1E70EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5c509e9f896407a8f270a7bcdc0c64d92c27dd","datavalue":{"value":{"entity-type":"item","numeric-id":3617708,"id":"Q3617708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$B855FB0F-F1C1-49A4-B13E-756ACF14391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"874eb7802af95294d76f04359baf3b4fb6d2af0d","datavalue":{"value":{"entity-type":"item","numeric-id":4964693,"id":"Q4964693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$1E1E5DFA-7BBC-4FF4-9480-5D02AC400622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e545f1adb45625b2fad19601bcc83d390e150b5","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$9EB43249-8BE9-48C1-B51F-601F1BD02E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$26B7D9C3-3190-404B-B556-0666D550EFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7638b7236748caacc41db44f0eb3ce2577fd99","datavalue":{"value":{"entity-type":"item","numeric-id":492908,"id":"Q492908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286741$3CAF66C7-F3D7-4F99-9105-46AC06A6AE0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c72735c72e6a7ab886b017e772eab836af3f4fe","datavalue":{"value":"10.1016/J.TCS.2019.09.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286741$9B3C9A0D-6C6D-4B24-AC30-6AEBFF62B1CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b36158091da80bce71e7218fcd6609f454f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1996856,"id":"Q1996856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8645be73b80605933882ee6772011efb9e20241c","datavalue":{"value":{"amount":"+0.7690461277961731","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":"Q2286741$04960A2C-6501-46D0-B1B3-C41E2F75CAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c68d2e2d315a56611b710c291728724e08dd0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5741563,"id":"Q5741563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16209d7fd44d2c63a4f972b33da66a6a73e13c5","datavalue":{"value":{"amount":"+0.7645056247711182","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":"Q2286741$7E212224-3719-437A-997F-BD1CB677501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16f989c6857758aa81a306c1ea6f15cd94bf270","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed21f05c62c24b8f991f42f8dbbffe60aaff7c83","datavalue":{"value":{"amount":"+0.7611907720565796","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":"Q2286741$0DA23CC9-E7AD-4FFE-A1BD-E2B59AEB81E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a5f53a312d924cfab2d7e7459bcf053549e12a","datavalue":{"value":{"entity-type":"item","numeric-id":3584933,"id":"Q3584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef3306e9599cbfcefa32eca1bbc6ed1624e805a","datavalue":{"value":{"amount":"+0.7370455265045166","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":"Q2286741$67A766B2-418C-4F6F-809B-B7FD8F12B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21e1a433dbb86e7b544447de487e89886acdc9f","datavalue":{"value":{"amount":"+0.7323773503303528","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":"Q2286741$27241D78-4560-42B6-89B1-E4392BB2B299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2286741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2286741"}}}}}