{"entities":{"Q7323667":{"pageid":31355200,"ns":120,"title":"Item:Q7323667","lastrevid":105121915,"modified":"2026-09-17T13:18:11Z","type":"item","id":"Q7323667","labels":{"en":{"language":"en","value":"Formalising subject reduction and progress for multiparty session processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249896"}},"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":"Q7323667$12C6483C-1046-4208-9DE7-2B4B45B250F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c87030d5a76f02c58e4687cd785cd1559c5e4e5","datavalue":{"value":{"text":"Formalising subject reduction and progress for multiparty session processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323667$78BFC09D-A4F6-448E-9086-D59CDE7BC75D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b5e09bb039c098eb883513ecd4d9931fa0b3bea","datavalue":{"value":"10.4230/LIPICS.ITP.2025.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323667$FA94F37F-BABE-41DA-BFD2-9C578C5D63E5","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":"Q7323667$B22CC3C0-F2C6-4B86-9B4A-E8C52600AF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"767279a31a3d4b439080a6b1ca766aa6e7c4cf70","datavalue":{"value":{"entity-type":"item","numeric-id":7323666,"id":"Q7323666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$166E2F32-37BE-46F3-8BF3-12272B97A771","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":"Q7323667$1E6844D1-8730-4056-8221-DAF560D4FC19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7323667$195C7BCE-44E0-453C-B631-938D2D492C60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323667$09F6307F-ADC2-4D51-908B-9760AEB77744","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18501ee3ded22ca7b3cf2483308cea3131d4cf78","datavalue":{"value":"8249896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323667$211BD976-FE0D-4798-8AA5-47A2476A4CD1","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":"Q7323667$A44BA4E0-0021-4FD5-918D-83D361F860D7","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":"Q7323667$A624B064-17BD-4B0F-83A3-6A47B7476E14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e087b56ed67ae149c91adf3f185d5a9c119913","datavalue":{"value":{"entity-type":"item","numeric-id":6987762,"id":"Q6987762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$3B0A3D04-AEF9-49D9-AE06-8E9323E0F3DC","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":"Q7323667$56C8A46C-8BE8-4835-AD51-76B66395EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e3033269642a933c8c4f3dd42ebc18b5de0dac","datavalue":{"value":{"entity-type":"item","numeric-id":888409,"id":"Q888409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$2126CF22-96CD-4545-AFD3-0FC2EA0C1B1C","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":"Q7323667$523F9519-F6D2-429C-8134-A653219A602C","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":"Q7323667$DB751043-3A25-4541-AAF1-8DA21F12C30A","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":"Q7323667$12F39B03-7D07-470A-BC30-F56070AFE05F","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":"Q7323667$05F5749D-FC86-49FA-B49F-C5D0948F2379","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":"Q7323667$06DA87D3-FE0D-4D83-97D7-A6D49BB76CEA","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":"Q7323667$72F0D89A-DFC4-4D25-BAA2-C2B07798B2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d2cc24e7b6ea3955689fa55f3e21f3634cf25b","datavalue":{"value":{"entity-type":"item","numeric-id":261156,"id":"Q261156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$516F55E1-2A62-4419-8932-B708CA503DCC","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":"Q7323667$6096A8F7-D4AA-4CE2-A37C-C3581ED1FC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$CC8D7C93-0512-4EC7-B9B3-41CE48A25E4A","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":"Q7323667$B5918F23-703F-41DE-8E3D-143E219EFC27","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":"Q7323667$018955D6-E2BB-4D4E-995A-41EC83487397","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":"Q7323667$AAE26320-7E3A-489F-8A01-E4824F8749DE","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":"Q7323667$0EAD0B9E-42A0-40EF-8C18-91D2A1BF8419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924760c6634e53108a80fa906411343c80d6c354","datavalue":{"value":{"entity-type":"item","numeric-id":1682289,"id":"Q1682289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$BEAB8C00-131B-4425-AD6C-1F1FE4EEEC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204036118ead3c48d57db3365aaa953204adb0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2980982,"id":"Q2980982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$CB6235FB-C027-41C1-BAB8-7C60DBEB38C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbcef7126e124454331ff5fc983830d3dae5b68","datavalue":{"value":{"entity-type":"item","numeric-id":6970210,"id":"Q6970210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323667$5534E390-4AC6-43B9-87CB-8630E7D29360","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":"Q7323667$4B6CD365-0632-4C98-AB47-2B7AB3063FB7","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":"Q7323667$D1176BC7-7B33-43F3-BB57-83C5023607AE","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":"Q7323667$D0699B0D-EA5A-4832-B0D4-40BA5256B9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising subject reduction and progress for multiparty session processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_subject_reduction_and_progress_for_multiparty_session_processes"}}}}}