{"entities":{"Q5111246":{"pageid":7140820,"ns":120,"title":"Item:Q5111246","lastrevid":58423071,"modified":"2026-04-05T03:59:49Z","type":"item","id":"Q5111246","labels":{"en":{"language":"en","value":"Model checking and validity in propositional and modal inclusion logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204366"}},"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":"Q5111246$C24A7F99-B05D-4886-89C5-0FC7B17610C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c877b2462808803135a16f6ef84b22530db73e2","datavalue":{"value":"1441.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$A6A8A3E8-80A0-431A-819D-98BB77FE012E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$A70311F8-6F53-42F4-984E-4263A73181B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$8EDF8451-45E9-426E-8BF2-2315872BBB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$793C5878-426B-4268-9779-BEF07673DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$C987210E-C6AC-4BA2-B571-BEE41CAEAC86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-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":"Q5111246$BECB8241-D3E0-4205-ADF3-309BFDA3B307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9315428b3e1f1a43b7cfd5f9772d8ae04b6e7e8c","datavalue":{"value":"https://arxiv.org/abs/1609.06951","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111246$A503B157-6D6E-4CD7-9DD9-D42A46A67635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$731E1E06-3E08-4897-A37E-949A214185A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$8AB79C03-9E22-4D08-A560-A78CDA91D7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$BD3FA264-3403-4953-AE17-5726FA89E48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$E3D01158-8E44-46EF-952C-E488FA54A265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f780c2a08d96803a61a37813327e0ad3cabc15c8","datavalue":{"value":"7204366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$E2588E77-9170-42F9-8E6C-C5CEDD8154CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b2e6eef46e23cdc3e1cb697fb31e73de17dc87","datavalue":{"value":"inclusion logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111246$6AFF3DE9-FA33-41C9-934B-B7C3B7B9E54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111246$7116B4F7-95CE-4828-B9D0-150418F21324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111246$574CC28E-FF46-4245-82C6-B6935E0CC5D7","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":"Q5111246$31990F77-1FEE-422F-B257-489AF96C8862","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$B85C2779-0D1A-4F0E-926C-36C40847C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$63F41AF7-AF85-4C59-AF72-82667525054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb44c9769b8dbb49ccc1d2e2dd64bf21f542066","datavalue":{"value":{"entity-type":"item","numeric-id":5213639,"id":"Q5213639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$A8124D2D-FEB0-4212-A2DB-4D4244DFB654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$BE013186-DE2D-4A36-9E08-2FED6756D3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2b310bfe3331f719609c786fd6aba8488c72c","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$494B3AAC-7A3E-4564-8901-D67253D46BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$38A1F3D9-B01E-4FA8-BDA9-37CF88750C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$2C6FF93A-8E19-4D25-957F-A4FF29F7F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd898582b3042cd9f98f55a99a55f26af0712fb","datavalue":{"value":{"entity-type":"item","numeric-id":4128417,"id":"Q4128417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$B3A68300-E4B5-45F0-97F9-7589D3AC4719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$C3CC11DE-BA27-4E6F-946F-948312507634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fe5c18943269f4e58edfe53cdc5f40c4e433f7","datavalue":{"value":{"entity-type":"item","numeric-id":5262488,"id":"Q5262488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$6D3756ED-DD46-44B7-A7DD-E52C715941EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf1c8f85fefa1d3f015352d22b30069da4bdc9c","datavalue":{"value":{"entity-type":"item","numeric-id":2946342,"id":"Q2946342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$3E2C342F-3F9B-4803-AF06-59AD1178E128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5fc26794bf1e4cd27075287a57428875e447d","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$469C1B9A-72BE-4B18-9ACF-75225AB42148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82a0f43afa64c64b83b3ac6b48ee805d1c90508","datavalue":{"value":{"entity-type":"item","numeric-id":5111246,"id":"Q5111246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$D309C67C-0F98-43C4-8C87-D415FD365ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334b7748e2655c961553d8c4b942a86f1d37c57b","datavalue":{"value":{"entity-type":"item","numeric-id":2946343,"id":"Q2946343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$D98184CB-30D4-4989-A5A6-A88E9B17B013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c689d7128cfae66c6cb0cbb79842aa55010c9d42","datavalue":{"value":{"entity-type":"item","numeric-id":5013883,"id":"Q5013883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$EECFC14C-28D9-4993-84BE-8DD0DCFE02F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$E876528C-5AD3-4865-98AD-612DF7A18BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$5CF04ED3-2BB8-4475-9EE5-04A1E1CD3CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$4E66295A-320D-476E-92AB-892BCA5016B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d0b48244c8f0350ce8af4fadf9d1c3ec734347","datavalue":{"value":{"entity-type":"item","numeric-id":2820709,"id":"Q2820709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$6B531C84-42CA-45BD-9BBA-1A1866C2BF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$D93AF90E-1DE8-45AD-9EFA-398BA895D0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111246$49535A0F-47AE-475E-9444-CA2BE3DFA518","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad75b58140f6f98cb81aab86b7205a40794e4b7b","datavalue":{"value":"W3093094759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$B4F9D1EF-4F61-4F41-AB4D-FB3CA82EC52D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18c707e11ea1293489c0203de89415cbc45f726a","datavalue":{"value":{"text":"Model Checking and Validity in Propositional and Modal Inclusion Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111246$EDA66C79-AEAE-4FA7-A287-D3260C3BD6D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cfc603db22de90800d26feea2468a69f5aeac58","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111246$135F0154-7B18-4B28-B8A6-8AAABCBE835B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8f36f55061414329634d4dfddd71f6cf3925b4","datavalue":{"value":{"entity-type":"item","numeric-id":5213388,"id":"Q5213388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e324d61c2632aa41156e02020bdb0e4efcda9ec","datavalue":{"value":{"amount":"+0.9996715784072876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111246$5C62DDAB-3BD4-4565-98D6-2BB2CB60D51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a44f7ea97849f4d6bafc4181a4d03b03ec9555","datavalue":{"value":{"entity-type":"item","numeric-id":4995356,"id":"Q4995356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577e7b189aafe2fd15ed09db45877fb2f22570f7","datavalue":{"value":{"amount":"+0.9013988375663756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111246$357DBC5C-537F-41FE-89B4-BAAE243CF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b09ad217975e6fae7c4b32a9da0a701ee1c08f2","datavalue":{"value":{"entity-type":"item","numeric-id":5376655,"id":"Q5376655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a20b7a926cfc308338fd4a2892868b079acc22c","datavalue":{"value":{"amount":"+0.8380760550498962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111246$9948E0A6-6973-4309-B494-27CEF7BD8A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a612c6a41b4706cd5146f8a536361c78df3cc85c","datavalue":{"value":{"amount":"+0.8123244047164917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111246$5A9F29AF-8455-463D-A8C8-55F909DB5D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388a42dc6c4bfb96fc3233dc8c145a09e000308f","datavalue":{"value":{"entity-type":"item","numeric-id":5925562,"id":"Q5925562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5f462ec4565412a6e76f282bf18bd2c298a0aa","datavalue":{"value":{"amount":"+0.8021953105926514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111246$DF768F57-4D42-448F-A0BF-4DBA50A7F2DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111246"}}}}}