{"entities":{"Q6835800":{"pageid":16833693,"ns":120,"title":"Item:Q6835800","lastrevid":84291911,"modified":"2026-05-14T17:51:10Z","type":"item","id":"Q6835800","labels":{"en":{"language":"en","value":"Subtyping context-free session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8179322"}},"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":"Q6835800$6E4CEB45-ABDD-40F2-8857-FDF2493D49F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf12f2e600e0985b8a4d67e935628127cdcd7f9b","datavalue":{"value":{"text":"Subtyping context-free session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6835800$AF8EAEFB-D54E-466B-9803-7A8C46283171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2924a1b10394aaba1858c0b5de9501861bb7d56","datavalue":{"value":"10.1016/J.TCS.2025.115705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6835800$B146A91B-063C-4E99-ACDA-BCB1838A1127","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fba62a8f5114b35db030b8bb3ce1e04b2f21f236","datavalue":{"value":{"entity-type":"item","numeric-id":6253844,"id":"Q6253844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$8FFA4065-86A2-4DE3-BC44-5FFFBE21EB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$587D34EF-3FF3-424C-99AB-99D0A598977F","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":"Q6835800$A993B2A5-2312-41FA-8DD6-2EB4733ABFE3","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":"Q6835800$1BD3D772-0FE8-44C3-96BF-412F2A2CF9A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3f9a174c1c219db7209d232d691c3c5817ca04","datavalue":{"value":{"time":"+2026-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6835800$10DEB57C-DB23-4566-99AF-7032ACD2189B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6835800$49066FEE-C005-47CB-990B-DEB97C0F0D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4ae60496fd9f7a200caadb0926e788ddce7252b","datavalue":{"value":"8179322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6835800$6287A5E7-82F4-4D0C-8E4C-C73B25A86BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49323b46256876feff1d8d6f2be0b7d51782adf9","datavalue":{"value":"context-free session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6835800$B6A80391-2BA5-4CA5-8264-A51F605F2711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6835800$F1BFA553-DC03-4EB8-A99B-BEB975A30803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51525cdd1e42499d2503a240401823179c27c836","datavalue":{"value":"simulation relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6835800$5ED574F5-EA45-4536-A011-3FAAFC5CF42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0e902750bfc8a8e29613e09fd3f0dba02018e1","datavalue":{"value":"non-regular recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6835800$A204D66D-AF3B-4B03-B057-417451495592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed180ba3487f4f601ea53fcf02e6a658746f414","datavalue":{"value":"simple grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q6835800$3FE48AC5-7826-4705-9B49-C2E5E6EC6616","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":"Q6835800$2E4B6DDD-0EE7-4C70-BB6D-B5EAE2FE4233","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05492eda1be0b6f7ffc44e41d2e6a3aa8eec66c0","datavalue":{"value":{"entity-type":"item","numeric-id":6967338,"id":"Q6967338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$E820B075-C8FA-4785-967B-0C823DB9B6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$4ECB5E6C-1860-434A-95DB-C9D998D498F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$784C0D7A-8C8D-4D89-9780-D287A700DC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$AF7CCDD2-06F6-4A7B-AB17-86CDBFFF14EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$1B996436-93C3-43A5-97D4-56316879C4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32998adf8a72dec4fa53d0a050f21591d857daf1","datavalue":{"value":{"entity-type":"item","numeric-id":3584922,"id":"Q3584922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$0EE76556-E4DF-43CF-BBF4-6BE5BC7E4E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9616cff731650693b4404d9a990bc545b906db0","datavalue":{"value":{"entity-type":"item","numeric-id":5164167,"id":"Q5164167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$1CB8FD27-2BAD-4F70-9364-5F9D570E8083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1072a81b7804156157c99411dfc3ca7d90126","datavalue":{"value":{"entity-type":"item","numeric-id":2105433,"id":"Q2105433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$319209C8-2BEB-46EA-9D18-52979D9DD2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66401b6bb04059b7a9f6fed34d13f34e433f6059","datavalue":{"value":{"entity-type":"item","numeric-id":6499549,"id":"Q6499549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$9ADBD3B9-B846-46A9-8D68-2FAED0C6D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9dbaf262f44a72403465c52ed951396b6ffbb8","datavalue":{"value":{"entity-type":"item","numeric-id":6535246,"id":"Q6535246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$081F2977-3454-4F2C-97C3-31CAD8103B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$D77A08E3-F90B-43AD-98C1-286A77FEC14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$D655477F-894C-48EF-B803-FE7D4CFF8926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$AEA75637-A641-4621-B07D-1D079BE858EF","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":"Q6835800$AFE2736C-F66A-493F-B840-EE1F453F4997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$494D2EC9-1876-41A5-84FA-DB8B812EF4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$A2C60578-8D56-4400-81E4-2A9F1553DDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b40039a6ec43ffe2ea22122c1ca1161e40f380","datavalue":{"value":{"entity-type":"item","numeric-id":2888489,"id":"Q2888489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$A2E053AD-F3D6-4D67-A133-268A7F8378B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$A29358DB-A72E-4D0C-A44B-C4639DA68BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49a3866831aee495aad82ea58299dfc0e75995e","datavalue":{"value":{"entity-type":"item","numeric-id":4270051,"id":"Q4270051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$0B61BD61-AEA9-4109-BF77-867C441FAD87","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":"Q6835800$1D98E068-BE2A-4671-9C75-9355FA8F662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99367c72587370787edd6e6460de5ae5fe9f559","datavalue":{"value":{"entity-type":"item","numeric-id":2233456,"id":"Q2233456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$EB2FFC36-0849-4D1C-A0C8-34E0F2549522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$F61C6587-EAB7-4D5B-BCB8-B94F49D783F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f70f461e5fd550a8cdf56ff8b853a481610607","datavalue":{"value":{"entity-type":"item","numeric-id":5408397,"id":"Q5408397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$0A735B66-B802-4BF2-994B-419E6144C182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c78d6dbda4571a17369b1d7dd4c328ec3072f","datavalue":{"value":{"entity-type":"item","numeric-id":3575268,"id":"Q3575268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$F73D4DA3-8B01-4DE6-B59B-383F20295636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7dbabb98ba8294efece32373f3fc99b5b3aa26","datavalue":{"value":{"entity-type":"item","numeric-id":6166799,"id":"Q6166799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$028328FF-7749-4A02-9519-BE7B3C0B9B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a7e72b95a10f2dc9da6b549a054bde0a8ed786","datavalue":{"value":{"entity-type":"item","numeric-id":5756486,"id":"Q5756486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$BA34C431-AF36-4CB6-8BA3-518D5F66F126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f846ab6e21c0945d1515060e899f12f8e5e07267","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$AF4F75D4-FA41-42FD-A5D8-FC9FDB369193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4679e9d355ce9b79d3048e6fa8de9d2a93c55e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$66508793-2E6C-4A0B-8CF1-0FBD94581D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7936b855b4220cfa21daf320e88f2d4410a7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$124C3B25-903A-4EB2-8A8F-CB218DAC051F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2d1c58d718562367f9d60761a6111e2e729717","datavalue":{"value":{"entity-type":"item","numeric-id":3535678,"id":"Q3535678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$FA25CFF9-E279-4B6B-AF4E-CFD3D7493B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880fae6b4a245a9722e9cde2af4e24ce6f386e60","datavalue":{"value":{"entity-type":"item","numeric-id":5741570,"id":"Q5741570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$C1F1224D-EA3A-4F59-8C9E-F8E46691B083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48ef89bed67b194fa30351f9368554065dda4c9","datavalue":{"value":{"entity-type":"item","numeric-id":5925542,"id":"Q5925542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$CB4DD5BD-60D5-469F-8BF7-C5F51860C0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d7c0b21b38c9a108a26f3cc47de45e394d40f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327493,"id":"Q5327493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$9650052A-C902-49FE-B903-A303AD2CF25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$7BE9D508-9613-4434-BE56-EAA6BF258C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6711abcc32734b5fa9098c7551fe71202907c48","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$B28A7F58-23E8-442C-AFBB-6A81350F7945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6835800$F182E423-A428-4585-B406-535203A2DF89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subtyping context-free session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subtyping_context-free_session_types"}}}}}