{"entities":{"Q7325539":{"pageid":31366429,"ns":120,"title":"Item:Q7325539","lastrevid":105125602,"modified":"2026-09-17T14:25:57Z","type":"item","id":"Q7325539","labels":{"en":{"language":"en","value":"Formalising asynchronous session subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8251821"}},"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":"Q7325539$8126D388-BB34-44FD-B798-3F5C444C1D31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df8d602bdc6e4efe52e6156e99c8a953c36849a2","datavalue":{"value":{"text":"Formalising asynchronous session subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7325539$ACA00D46-C0AD-478D-8F00-59CD0DCA8E76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae46fc29b80964fe297fb937c5d103698fd6233e","datavalue":{"value":"10.1145/3815176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325539$1D89553B-2729-4D61-A441-29D885B623F0","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":"Q7325539$97BA1EB7-E68E-43DC-9750-B0E45F0E0305","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":"Q7325539$85CED084-2836-4940-8B1A-0B58093E437F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325539$2B76F997-731F-441B-BF2C-E607D15FFF36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872c14032389646afc449a111a40c6a7cea5e0bd","datavalue":{"value":{"time":"+2026-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7325539$A504A5BA-79FD-4D01-B9F3-6D51FD682EA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325539$1F226DEF-A7C7-4C42-8DCB-E4EFC5020479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325539$FDB828CC-49B0-4490-9654-B96B6F4F6ED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aa7601c4188a1efcf6feea6f5ce8b14e9b276df","datavalue":{"value":"8251821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325539$15FB1857-7B08-4B10-9614-6E043E9E5379","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":"Q7325539$EB6553A1-E5F1-46CD-8AD5-086715FA499A","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":"Q7325539$F81AC56F-D718-4776-8B1E-6A7F95003A75","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":"Q7325539$27A55850-B498-46D3-A355-E480074DD4CA","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":"Q7325539$F4A3C2B6-FD5C-49A3-96D3-B6973D29722E","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":"Q7325539$4128A0D3-8BA3-4653-B0D9-7523DEF5FF3D","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":"Q7325539$44030DCC-D601-41E4-8BB9-E2458585BB46","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":"Q7325539$DB1FBC03-3E70-47D2-B656-6DDC47704BE4","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":"Q7325539$B802B920-0C75-49D1-B33E-7FAD62137878","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":"Q7325539$24FA214B-3E07-4D8F-9E05-4356FA90E208","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":"Q7325539$37800810-45BC-4AC8-B159-81E173332067","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":"Q7325539$5BCF1177-4BB0-4E78-A63B-404094BB8670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0a0f48c391476711d5a32d28d35923473e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":6860020,"id":"Q6860020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325539$9BBE212E-327F-4117-8C69-781027ECB446","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":"Q7325539$B1F99EE7-EFF8-463C-AE25-CBFEAF88A461","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":"Q7325539$931CAEA7-08AE-4C5C-9C81-732FD5BE545F","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":"Q7325539$D5525E83-F93D-4B2B-9026-0BE781018F4F","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":"Q7325539$152BD615-FE30-41D5-B348-947A2E0236F9","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":"Q7325539$E31F41F8-431B-4982-87C8-82B58CE7399D","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":"Q7325539$10462506-19E9-4733-A008-2ED8F88080EA","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":"Q7325539$7AD6AF1C-16E2-40A2-AFAC-34D31D524CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4d418853bd2f740df9013cb7e6d403808721","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325539$79CA364D-3054-487A-A19F-AD05ACF83839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325539$7632BD09-1C57-49A7-B9C7-94B626D69ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325539$5EFA48BF-1050-48C2-8FA5-808B36BC8246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61338c8ff56191aea0588b04cb2088071ef44d","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325539$6F70C766-7152-49F0-A91C-5305CD18B105","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":"Q7325539$5043E086-E9AE-4FB3-A588-C7FEA38D4DFC","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":"Q7325539$2FBA1663-5D0C-4270-A655-7BED01B6B1F3","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":"Q7325539$73BDB66D-8B27-4D06-AE08-A740BFE614D1","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":"Q7325539$081C00FA-39D4-4381-9EC5-2DA6890E410E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising asynchronous session subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_asynchronous_session_subtyping"}}}}}