{"entities":{"Q7310280":{"pageid":31275376,"ns":120,"title":"Item:Q7310280","lastrevid":105090679,"modified":"2026-09-16T15:18:36Z","type":"item","id":"Q7310280","labels":{"en":{"language":"en","value":"Abstract subtyping for asynchronous multiparty sessions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236344"}},"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":"Q7310280$BCD2DB5F-AD42-439B-8B60-B44BB755A20C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"292bd347744de0c004576a26cd9b494c127a1f48","datavalue":{"value":{"text":"Abstract subtyping for asynchronous multiparty sessions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310280$38E86CEF-6C97-4E50-ACC7-F7E2B4508FAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f915c31a93f019c7da2b6f8171a8bebffc3425b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310280$5EE88F1D-A94F-489B-B5D6-EA6C6BC5A22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d019c580edd8284e877147057b7f840228db605","datavalue":{"value":{"entity-type":"item","numeric-id":517048,"id":"Q517048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$AB231FBF-921B-440A-B19C-52176688926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$C983519D-3580-47EB-8FE3-4D186AB53A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5687835a8d726aa12bb2ac19d8def649fa1eae4c","datavalue":{"value":{"entity-type":"item","numeric-id":347373,"id":"Q347373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$40622550-7F20-4B65-8BD5-761BBFB61CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$F65EEE8B-C25E-451A-A53F-99F6D46B27DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310280$C13FF8C5-91BD-4BE6-A764-66389707FB26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310280$84453846-5E25-47AF-A533-F7F9E091C496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e160686a395d08ecaadfd2efc3537ea067d6a003","datavalue":{"value":"8236344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310280$650081DB-50C9-4AF7-A6CC-E431CA0D71CB","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":"Q7310280$70CB43C1-ABD8-4EE8-884C-44D1E014EB88","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":"Q7310280$1D6D43C4-6843-4A44-A161-1D9744D11050","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf00247deb4ed99928377c84b86fb906a1d8625","datavalue":{"value":{"entity-type":"item","numeric-id":5740659,"id":"Q5740659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$174F270B-4898-4C3C-BED7-790B011E1F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3d3f46df6998b74a90db3f7d4960b38f8ddbd9","datavalue":{"value":{"entity-type":"item","numeric-id":5875400,"id":"Q5875400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$497F2E8C-623D-48F3-9192-39C940C8F154","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":"Q7310280$2151DAFE-224D-4A98-8A36-04EBA0BB19B0","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":"Q7310280$6CAF10D4-7607-4810-B239-ACCBD5B7CE97","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":"Q7310280$0B668E63-91DB-4026-891E-763EF9586D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116c082347f08873340fc5bfac0764a268029a3","datavalue":{"value":{"entity-type":"item","numeric-id":6635515,"id":"Q6635515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$018260D2-3159-4993-B323-66A121B65F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$47CC3372-F629-4EA0-AB57-31611E8196B8","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":"Q7310280$4550F444-562C-4312-AE1F-7C6484863373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdae44b78c55be1287a8406e07ea09db2d2789e7","datavalue":{"value":{"entity-type":"item","numeric-id":5385606,"id":"Q5385606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$4E0318FD-80E4-471F-ADD2-A7EB68657526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079004f6a18ff2c11af3dc5f9ad4c2f160592132","datavalue":{"value":{"entity-type":"item","numeric-id":2055840,"id":"Q2055840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$5B6447D7-5CC4-43DE-93AC-41D83063A16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$3B8FD9C4-51FD-4E2A-9F9B-AD156DC3EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$31FFBEF3-BAD7-4F13-8306-F11FB1DE04B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c3640537c0d79768c380abac5bb75eba7f0284","datavalue":{"value":{"entity-type":"item","numeric-id":5060196,"id":"Q5060196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$50BB25CA-68FF-4AA6-BFA1-205118E4CB1F","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":"Q7310280$C675D962-EAB7-41CC-8C49-3E3EFCA6B6C1","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":"Q7310280$1508E052-E109-4516-A5FA-018F58F64665","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":"Q7310280$BE7D3273-FF98-4E6F-B859-46B22E0D9635","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":"Q7310280$98C2C365-E1E8-48C2-8E84-890457037971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238258544db5feaf21e4b998e045641f19339cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5687909,"id":"Q5687909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$2225D553-691F-4C9F-A266-EB1BD5E5FBEA","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":"Q7310280$D526DD8D-2CD7-4AFD-BF09-8D95C580CC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b1f4539a5a71a3459b2d80fdc47dd9c0d0ea64","datavalue":{"value":{"entity-type":"item","numeric-id":4012708,"id":"Q4012708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$A597F3CF-B898-49C2-A954-548E595B2FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c444dd303be4aa99d182a23f270fb96936e285","datavalue":{"value":{"entity-type":"item","numeric-id":5370909,"id":"Q5370909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$8BFA754D-C8C2-427D-969F-3F6D8B802BCD","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":"Q7310280$0D8BEB3D-74B9-45E5-BFB2-C70B01D9FB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5c509e9f896407a8f270a7bcdc0c64d92c27dd","datavalue":{"value":{"entity-type":"item","numeric-id":3617708,"id":"Q3617708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$46B3034F-FCA5-4A86-8ABD-B973380A7FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60534b13d60ed069f9bb95d8c8a3f895994df3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2035654,"id":"Q2035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$890B66C9-C8BE-481F-971F-5DD80F68EB0F","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":"Q7310280$1C743B2C-C22F-446D-8C64-6383E32CEA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$121694C0-F437-424E-BFBD-2ED4EEBC1462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6648d4f28199265be3ea8533a8f67f88e77f7","datavalue":{"value":{"entity-type":"item","numeric-id":4327427,"id":"Q4327427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310280$9B84904F-520B-4556-B71F-9D0FB2CBD2E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract subtyping for asynchronous multiparty sessions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_subtyping_for_asynchronous_multiparty_sessions"}}}}}