{"entities":{"Q6967338":{"pageid":21307092,"ns":120,"title":"Item:Q6967338","lastrevid":84054293,"modified":"2026-05-08T22:52:45Z","type":"item","id":"Q6967338","labels":{"en":{"language":"en","value":"Subtyping context-free session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056628"}},"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":"Q6967338$5107E937-4515-44D4-8AC5-3FEF35C149E9","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":"Q6967338$CBCFDBD7-C69C-4316-9BAE-D208A7DAF088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7dce5d46c4874c831e927beb147eb7fbdec3d72","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967338$5325AB69-C9B0-43FA-A0DF-0AEDE36B8EDA","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":"Q6967338$2C8D0543-1E86-42D1-8E97-20E2C827F1F9","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":"Q6967338$2FA648CB-F96D-462C-8563-08323EA23B73","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":"Q6967338$F06CE15D-2C5F-4A12-9117-AEF8E92451E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967338$4438B4D1-DA11-45D9-A1B5-C3A7D4E97DCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967338$61CA0F61-453B-4A0C-93DD-A864AC306D9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba2fc638381ee0db2e53a4379ee407c1568d104","datavalue":{"value":"8056628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967338$4E1160F6-AE28-4B67-9C7B-E7E6480FCAAE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967338$48E72407-93A9-45A2-976D-178E402AF184","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967338$E129485E-6BBF-4B6F-81A6-D48C62B1376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967338$80D674AD-191E-4657-ADCB-FDBB930A14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967338$15905F86-A41F-42D1-9AD2-FFDE53393235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed180ba3487f4f601ea53fcf02e6a658746f414","datavalue":{"value":"simple grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967338$AFC58D27-F415-4D13-8C83-241D6A89DBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0e902750bfc8a8e29613e09fd3f0dba02018e1","datavalue":{"value":"non-regular recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967338$EAE0D24A-27BD-4615-95E6-24FCE673459E","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":"Q6967338$20A6E6B4-5161-4126-8346-644A4505ADB6","rank":"normal"}],"P223":[{"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":"Q6967338$0B812581-3786-4B81-BA18-45E527C0043A","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":"Q6967338$4B509523-D20E-46BC-AB1A-F4EF25CD762C","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":"Q6967338$3CB3B65D-2052-4FA9-BB35-FD34ACC4644A","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":"Q6967338$6AA50D19-4776-4389-AA49-C62A22B85B2E","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":"Q6967338$1B5B7C95-6A4A-4060-8494-476B3B7679E2","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":"Q6967338$39B08325-207D-4777-B7B9-89E7F98EEB9A","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":"Q6967338$9CDDBB5F-F0F0-4FE1-91DF-A8C816F8D6BD","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":"Q6967338$598E531D-C731-48E3-80DD-CDF7DC9BAD13","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":"Q6967338$F167B35C-6B15-42B4-9248-3867D37D0C07","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":"Q6967338$2A61AE2E-BDB3-49C8-AA54-68041117726F","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":"Q6967338$9239B5C4-A9FF-485A-9727-85CBD15A73DB","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":"Q6967338$AD6ED535-62DF-4915-874D-7DC9C4C47B2F","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":"Q6967338$0CFA2132-E3CC-48B6-BFE8-9FE498DC6737","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":"Q6967338$8571F66A-7A31-4C07-B933-D544B37A94F5","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":"Q6967338$09C9E4C0-006A-4002-A198-3A508A125A38","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":"Q6967338$45059C13-3E2D-4FDF-925D-25B0664B4AF0","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":"Q6967338$CDB44329-F6B6-40AD-9845-13C4B482A94C","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":"Q6967338$F120C991-E37B-43DE-BB32-2F41343B7A82","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":"Q6967338$B6C587F3-6664-4546-B987-969B39C60B36","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":"Q6967338$EA1A2977-D001-4190-B9C2-E1F176D8D8D4","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":"Q6967338$41394959-7C3D-4064-AAE6-1228283AFE04","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":"Q6967338$D48DD4F6-0C35-4A9C-BF55-4EC72DA240C2","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":"Q6967338$1039F4B9-5460-4C82-BD49-824F5D15E57C","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":"Q6967338$F107A723-0B9B-48F8-BF4E-2E3C0004E538","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":"Q6967338$F9E6E8C2-96AD-43E9-943B-3219FD3B6917","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":"Q6967338$E398A3EA-2AFF-43EC-9581-AA612E81B693","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":"Q6967338$80275351-28B4-4830-B8C9-E5E65F874928","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":"Q6967338$DA6156F2-D8EC-4DAF-AC1F-7D04D12489D8","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":"Q6967338$6C8C1345-1EB8-453C-9608-7DFD98CDAF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967338$03823EBF-A82D-4638-AAFE-1A2DF63A29B9","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":"Q6967338$FF3A0FDE-5C32-44CD-86D4-ECDB0CDA4337","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subtyping context-free session types (scientific article; zbMATH DE number 8056628)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subtyping_context-free_session_types_(scientific_article;_zbMATH_DE_number_8056628)"}}}}}