{"entities":{"Q1878715":{"pageid":1889457,"ns":120,"title":"Item:Q1878715","lastrevid":69065199,"modified":"2026-04-13T04:19:26Z","type":"item","id":"Q1878715","labels":{"en":{"language":"en","value":"Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099289"}},"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":"Q1878715$C8E49488-AD1D-49BA-B717-C1691FCB0013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3b8319751a4991670305b3c5826ceeeb6f8c877","datavalue":{"value":{"text":"Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878715$5145E20E-C790-4BB4-8BFF-A56F4BB95C13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f70f40e2d0998772547c3b382b0c148352809c1e","datavalue":{"value":"1072.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$CF9B93EE-0C26-4E75-B540-F014F4A896E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$E730235B-3338-4389-BFB3-0F5B481F159B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-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":"Q1878715$A930BA16-AF88-429F-B33F-095D974BA2BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$A9768C94-1EBA-4577-8222-EFCC0043FF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$25645E86-606A-430C-AE2C-5EAB01DEE11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$47536C1D-9CBA-4AE6-995C-0652CEF748D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$3E674B69-AAF2-478B-BBE6-5D17E3D937E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$AA3FF039-8DAB-445E-8498-DC32FCCFA833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"771d8ed7b05a169acff30ba259c7c8819c630754","datavalue":{"value":"2099289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$E8F8B125-2A96-4140-A51F-08481C00AEEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$772EF1E2-7E0B-4FE7-ADF2-F9D79A754279","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$FDE8F9C0-4CE6-4152-B3DF-8099AA8E3850","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":"Q1878715$FAA7DA6F-04BD-480B-B773-4ED5C46FFC86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4243f12568ad61c2368e30b8ba640a2c7405d451","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878715$A5AAA2FD-9E84-4ED2-B002-45A530D1D5B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1e629da0cd905682414055cd16b8704c8fca1e3","datavalue":{"value":"W2135333778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$57C9DD04-3241-4B5F-8654-F00E49181B2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$DE9823B2-814E-492A-ACCB-BE6F22B2C08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7d1afa57ee8c8dbc48f47ac1b2806dcd78e44d","datavalue":{"value":{"entity-type":"item","numeric-id":4738309,"id":"Q4738309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$63272307-4CAE-4FA6-A1FB-592B4DEA736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$E7915B16-B2F1-4B46-8D31-E709F0CEC146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7319e933ba15aa6f8a1d39375a8d279be83de2","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$E87E85FD-DC46-437E-A093-8DFE5118D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3cbc199b41a95ddc768d4df5443baaff80552d3","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$856A051D-40BB-4E56-B9E6-29356E0A3E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b659a64d64fcc84f5a1ad960c1f4f10079e5da7","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$69AF8478-A8F6-4C34-A42C-FA11345176C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d552ec3acf806493cbc8188ef33d424d62662","datavalue":{"value":{"entity-type":"item","numeric-id":4542238,"id":"Q4542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$E792359E-8E5B-43F7-8C7B-0B6B1D166F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$A25EC021-B604-429F-9F7C-A5DE93E9E0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c106f7cc54dee822f9d675291a8678b1806d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$D9D97D4A-08BD-41F6-B82D-D6FAE16BFF50","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":"Q1878715$AF79AB36-8622-4E7B-A695-0482793B2248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$ED81339D-04D3-4480-A1B7-6BCADCC6600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$34593C13-9168-4F6F-80CB-B9BF1D5E016D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd21ad2b3de9b7229918c441084c25ebdbf827a","datavalue":{"value":{"entity-type":"item","numeric-id":4738238,"id":"Q4738238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$848D721A-CA7F-4202-A22F-76F2BC33C68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35499366ce64847ee4967aa551258683d6d6eac","datavalue":{"value":{"entity-type":"item","numeric-id":4460690,"id":"Q4460690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$649AAA9F-8987-4751-9CFE-E0241F85280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$2C41EB61-8F3A-4DAD-B1C0-3B5DF2C300E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$59043528-68D6-4788-86D0-5AF51A2AB31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$25CBD453-7AD4-4BAB-9CC4-707E1EC8EB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d01835973aec965ea8d56968b0a8cb597b4f31e","datavalue":{"value":{"entity-type":"item","numeric-id":3776603,"id":"Q3776603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878715$E0F71596-75AA-4EFC-8CF1-408712B294E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bfc792532f2559cce29cf3955ff52599137254d","datavalue":{"value":"10.1016/J.JLAP.2004.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878715$09B8DACC-98C8-4E9F-882B-418EF492C63A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1c67331612213e18a3831eb74165dec21374eb","datavalue":{"value":{"amount":"+0.8738485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$DC06C192-CB3E-4B00-80AA-26D45088E492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2f9f51f7a2ee04f93c5badbd30be59cbac0e17","datavalue":{"value":{"amount":"+0.86772335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$3716F1C9-701F-433F-9718-0E79315219C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f598427d80ad1eb3f871ca5717acee26027b0fc","datavalue":{"value":{"entity-type":"item","numeric-id":4933310,"id":"Q4933310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e83bc9de1c86d837476a9b4442d23038754a541","datavalue":{"value":{"amount":"+0.8657515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$3DE9B6BA-07FA-4FE4-A721-103C97A5DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329ac48b709f66aa4e2a0cfdaaaf3d4cea285dd","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baba49c6b38ecfcb99d1387d49ddf5628fc7af4f","datavalue":{"value":{"amount":"+0.8630409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$07B4E926-F331-4FF7-8E11-08D80351C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6a1c2a751740c88e85fde805ddb9c3de42c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083fd5aa65145232fc7b82310691fc920f72f65d","datavalue":{"value":{"amount":"+0.8590404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$681BDE67-6AC6-4D55-A394-8F6569E2F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e3ac5ca6e1b44fb4371853c64f5542f8dfd0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1285661,"id":"Q1285661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb40f0bde3775f7db3a92c901777e3a295d9a51","datavalue":{"value":{"amount":"+0.8511976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$10C8ADAC-C8A5-438F-A3B2-909FC5B2F3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de3f9e1e2a32a67e04674d210867a974a5a7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":911261,"id":"Q911261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaa7afa647eff25bcf1e992a0bbefa206693d0f","datavalue":{"value":{"amount":"+0.8494186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$36B947C3-3BD8-4375-8926-EB16D1246AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde0100d8e3b7b987983b84d0272df3c8890327c","datavalue":{"value":{"amount":"+0.84915006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$5B573CC4-2E2F-4DAE-8532-44E3376697D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5ab6fce12ac3d4a28e92f06d387b18aea79387","datavalue":{"value":{"entity-type":"item","numeric-id":4312490,"id":"Q4312490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dfd22983d54dbcecf37963ec7bd76d771d2817","datavalue":{"value":{"amount":"+0.84712136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878715$0FCB7D2E-5375-4C43-9A18-86DF38E1A678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculi_for_process_verification:_Hennessy-Milner_logic_for_an_arbitrary_GSOS"}}}}}