{"entities":{"Q6860020":{"pageid":20656753,"ns":120,"title":"Item:Q6860020","lastrevid":84252203,"modified":"2026-05-14T05:36:16Z","type":"item","id":"Q6860020","labels":{"en":{"language":"en","value":"Completeness of asynchronous session tree subtyping in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158254"}},"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":"Q6860020$D1CFBED7-77F9-4A0D-9388-B5E3E1D77110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"134d72a94a502463fc2575024d8890a23e2efdaf","datavalue":{"value":{"text":"Completeness of asynchronous session tree subtyping in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860020$E44AFA83-62D7-410F-A494-C226DA5CE5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80152223a898f191646e178e04bd862db5b6cf88","datavalue":{"value":"10.4230/LIPICS.ITP.2024.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860020$699BD50B-2516-42C8-B43B-15E2D716FA73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23de4e42d26c5ff113394f059a29a12c73855bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1798945,"id":"Q1798945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$3AD8AA42-B3C0-4B96-8AAA-4794B1487E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$2F870EEB-03AC-450B-9415-146EF10A497B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-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":"Q6860020$1B4C0199-FA43-4183-9EB3-BD22BC6ED7A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860020$BE0F9782-81FD-42C2-88A6-841545B7A2F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57dae1c62a2e659241226127d3e6a9478b79cc9","datavalue":{"value":"8158254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860020$88B847D6-458B-41C5-93CC-968AF98C7954","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":"Q6860020$E665266A-0F8C-47DF-A495-B655C61B60E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56d0d8763f7f19d41bfa64af7b9254fa88c411f","datavalue":{"value":"asynchronous multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860020$C231867E-1FC0-48AF-AFA5-32B84E44ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5d15217b29643ea3c6164538ad0c6a27bb8d3d","datavalue":{"value":"session trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860020$767BC140-FDE9-49B1-89C9-AC3CD4AF077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860020$7B6CC197-19E1-4877-953B-59838F285E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860020$52E8BD03-FC6D-40F2-8A3C-765E4AEB0C4F","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":"Q6860020$E8972194-973B-4B1C-BA1C-A1BEF7890A32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$D0C2A963-CA31-4832-9324-9EB2DA2C628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67149e502fc774c44269780e7fa6172dd6ee2c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5856424,"id":"Q5856424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$D8DF5AF7-0251-4895-AD5C-D34A60E06FD2","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":"Q6860020$1121CB25-FBC0-4D71-89B2-225BD1ACE5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b666f80cd69278d3fb19208e2673192a6a3c25c","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$46017B1E-79BB-4683-89E1-7164A2258DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e00d2b5bfb0e7da19e17a791b6cb7116dc297d6","datavalue":{"value":{"entity-type":"item","numeric-id":2233400,"id":"Q2233400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$AB0E4AA6-C815-41B0-BB57-7421CE5F07FF","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":"Q6860020$7B720AF3-71C0-427A-B520-854BAD52EC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928c10ab08a8d701c95cabe4d02225fa64b9a266","datavalue":{"value":{"entity-type":"item","numeric-id":6161233,"id":"Q6161233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$F5923726-2EBE-4D2D-9F1F-4977AE350710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21970f441b7ab6aedb2c9a1e0ac57a9521b843e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090836,"id":"Q3090836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$4A4399D5-20B3-4055-B1E1-B41EC2B34EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b788c691120b21bc6d328923e94baea026961a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914375,"id":"Q2914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$5F091B06-90DA-497E-BF18-085E6810DB37","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":"Q6860020$0FB65C40-77D3-444C-A051-8013E65E8412","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":"Q6860020$8CD083F0-68C8-4BD7-BF9C-5A2695A05758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3e677fad5a87b25d17e11c0cfbf0fa32f7fcaa","datavalue":{"value":{"entity-type":"item","numeric-id":2423747,"id":"Q2423747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$9ACB51B4-77D9-4863-B2F3-57ACEB4C1727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed7d2103c4ae521dfe5bd3838e282a6f0864b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5886521,"id":"Q5886521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$B2997378-5A35-492C-87F9-DED178C1E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b2492f1bb225c4bc01b2370103eb655c19b3e","datavalue":{"value":{"entity-type":"item","numeric-id":5094146,"id":"Q5094146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$449F1398-0661-4F39-9EA6-7389FC2A2D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$8AF315C6-6932-4893-9740-6C8B710883DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a4096ddaed12bd51e78a0b2eda53e3b646500","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$8580FE86-4F90-4BD6-A5FE-67A6D2400ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7fd1a8df7c91a47f70584117b1c8650243d489","datavalue":{"value":{"entity-type":"item","numeric-id":6572567,"id":"Q6572567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$101C5715-390B-4DFF-92A2-320ED380A0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2fc056175fb700aab013dfe495e26d2fc50887","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$E56B97B1-42B6-4210-A390-741B2344EC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59868743e6f830782dcd414974ce103a67cda264","datavalue":{"value":{"entity-type":"item","numeric-id":6643013,"id":"Q6643013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860020$2994D18D-8828-4584-B154-2E7A91851FD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of asynchronous session tree subtyping in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_asynchronous_session_tree_subtyping_in_Coq"}}}}}