{"entities":{"Q6967312":{"pageid":21306936,"ns":120,"title":"Item:Q6967312","lastrevid":84054362,"modified":"2026-05-08T22:54:40Z","type":"item","id":"Q6967312","labels":{"en":{"language":"en","value":"Modal logics for mobile processes revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056651"}},"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":"Q6967312$07A98214-293B-4342-BBC6-906C34DC8DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942b6d961c040d305f968a21538b8b8e38da9dcc","datavalue":{"value":{"text":"Modal logics for mobile processes revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967312$493BBB3F-85E9-4D4B-94DB-DC30D39A6B99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"230107bbfe6b9583e56bc1dbef5bd88f346b9294","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967312$B54C1BE0-6D94-481C-B3CC-F55A0A41DD62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30f74078e5bac1eded64e92304f02fa82bfb85c6","datavalue":{"value":{"entity-type":"item","numeric-id":5373329,"id":"Q5373329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$D992E5B0-4725-4B0E-8100-DC6E33384A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$A906BCC0-36B6-4460-9F3A-25D4C3E6BAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81242a8eba707b179b483553438b1a78dda87738","datavalue":{"value":{"entity-type":"item","numeric-id":2144185,"id":"Q2144185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$E30F129B-2D34-45C1-BBA8-F78112C0CABB","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":"Q6967312$FDB3B9AB-F2FE-4733-B494-90A8AD011397","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967312$A0EA1D4F-D863-4DCE-941D-D08126F74380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8288eccbf0feecae7f442ca65dd0c1cf44d6494a","datavalue":{"value":"8056651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967312$624689A2-B07F-44F3-85B7-BBA881A6A437","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":"Q6967312$4B74FF40-9FB8-491F-8134-DB027F3D2035","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967312$737D5389-AFE3-4E60-B980-A83C08432CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967312$74E6C863-E766-4753-B907-7F9682EED932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967312$B82B9461-1C3E-4ECC-955C-F5CAF11D7162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967312$704B7712-E76D-4CB0-8A34-AE65901FD040","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":"Q6967312$62D9A918-C96A-458D-BFBF-1A000CF94307","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6cb53d0f68d414b0f9ac6746602d1f729a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$63AF661F-9542-4064-93B2-9CDDE2881A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$79653613-85C8-409D-805F-0381D4D28C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e75c7b02cf45a3853cd69ad4da85872bb7f47c2","datavalue":{"value":{"entity-type":"item","numeric-id":5111619,"id":"Q5111619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$825BB2F8-4F8F-47EF-AC13-E4A4B5235F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f8687a1055c944c15ff129c6227de2f16e034b","datavalue":{"value":{"entity-type":"item","numeric-id":5155663,"id":"Q5155663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$B49C5A8E-196D-4EC8-BA21-B86DDA705F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9eecbd7ccf509cbf0a7718a08bb29e55bf77d1","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$8DCE240E-C754-4109-8914-68624F58C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$B4B2D067-5996-4BDB-9262-BE417304F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f70e7188156d403f522b81c0f9facf21845cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2842609,"id":"Q2842609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$80B01C94-713D-45F1-8B13-F425BA593F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$EBEC54A1-3734-4DD2-80B2-7182321166EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282f9cc7e49bbe23209bfdf62f3a2fd80d53357a","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$CB92BD79-D9A2-486A-89B9-C688A07B2538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26517e98a021e9b36cc4a7f10c7890058cb796d","datavalue":{"value":{"entity-type":"item","numeric-id":5009710,"id":"Q5009710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$D024D541-066A-40FD-8120-CFCE9259A007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3680a609ad1617b27cdc4ee102500a7da1b5d9b8","datavalue":{"value":{"entity-type":"item","numeric-id":5262936,"id":"Q5262936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$A635ADA5-30BA-4670-A25E-824B067D669C","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":"Q6967312$5D291D51-169E-4AFB-9CD1-F266ABA67E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$D78275C3-73AC-468A-90F8-2C43136A7810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$22753EDA-5063-4410-AEAC-BC57DB0F829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$2140D276-A1BF-4DF7-8CFA-5ACED9C5D416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95c4c3bb0fbc3488059f3b7db3f4c74977b704b","datavalue":{"value":{"entity-type":"item","numeric-id":5856409,"id":"Q5856409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$1A13D395-AE62-4FC3-A49A-983795FF1D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$D4739313-DECC-4D1D-8C5F-B0CCFFE8B88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$17A69192-7364-4DC4-A2EE-214129C692FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967312$4F6C4037-58B8-4858-8075-E1351B1B753B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics for mobile processes revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_for_mobile_processes_revisited"}}}}}