{"entities":{"Q5111196":{"pageid":7140770,"ns":120,"title":"Item:Q5111196","lastrevid":94289765,"modified":"2026-06-05T06:26:10Z","type":"item","id":"Q5111196","labels":{"en":{"language":"en","value":"Validity and entailment in modal and propositional dependence logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204320"}},"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":"Q5111196$D7FF6D63-76FB-4450-8412-35D6B6E2FBC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8c9bee29123d05fead8b0573bd00a30056f8186","datavalue":{"value":"1434.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$860A921E-5B30-411E-B5B2-CE0DC876E2E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111196$C08E2BB6-FD52-4B26-A3F3-1F9CC66DDE26","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":"Q5111196$B12C8419-006D-46F4-B535-472D139C04E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$6C736860-407D-47CA-AD23-7584698862DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$CD1EFCEE-15A8-4BED-A8EB-15580132CA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$C430F771-482D-41D6-ADA1-E4E0973C6C25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0f41dd8b03ea00500215c2e930959330885c429","datavalue":{"value":"7204320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$A4098E19-4762-42C7-A73E-002B5E2442B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111196$1B6F8BA7-F13A-4F79-90CD-BAF9CA53F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111196$62F1B00B-24CE-470F-B44D-AF52267150CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111196$D8BFEAC4-4EF9-46E1-BBC2-EF08149EED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111196$A3EFB845-194C-4ABD-9CD3-936A7E19EFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111196$127A45A0-27BD-42F0-B7C0-55E542EDEAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111196$9E32EC13-6066-46C9-9BE3-8E25EBE2983D","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":"Q5111196$245B2E44-AA2C-45DE-B485-5081D008CDE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29149a5b36bd75970ac6dcdf221700f325c954e3","datavalue":{"value":"https://doi.org/10.23638/LMCS-15(2:4)2019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111196$DFD5BC7A-28EC-4CB9-B2EB-F68B9EAE0F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e22ddc1b9b1f013e87e2b08b79fc98f65d11cfab","datavalue":{"value":"W2964173375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$4F112339-4D47-4BB2-ADD8-E329C4C27A0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0244fa34fca807834f3e8c87508be22c96cd2d6","datavalue":{"value":{"text":"Validity and entailment in modal and propositional dependence logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111196$EB6B03E7-1415-4BF6-B63A-A38F6AC6EBAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89f3b3eca459eb811bf3f958288f2448567b8a5","datavalue":{"value":"10.4230/LIPICS.CSL.2017.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111196$5F39BB53-B26C-4259-8EEE-003B253A8886","rank":"normal"}],"P1643":[{"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":"2f250e449aae913a86a56b384db8b558c8762aa0","datavalue":{"value":{"amount":"+0.9631906747817992","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":"Q5111196$2DAE0D28-C775-4D66-8F58-3BAFF7F884F6","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":"0f4d5dc0a139d6efc9f5f95d4abadfa881898677","datavalue":{"value":{"amount":"+0.9220404028892516","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":"Q5111196$3757EB42-5FBB-4739-BF36-45A2449918A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db7689c3bd9891d91113deb08b8945230e025b2","datavalue":{"value":{"entity-type":"item","numeric-id":515658,"id":"Q515658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a53418e929bbc51d108aef45887615f39a25fb0","datavalue":{"value":{"amount":"+0.9212035536766052","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":"Q5111196$32412385-D030-48A2-B52E-A6237F30A65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025ca63bba1c9f34330497241aa424dcb045b23b","datavalue":{"value":{"entity-type":"item","numeric-id":3586056,"id":"Q3586056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bf60211c13ffcd16c69f51476fd584236385a4","datavalue":{"value":{"amount":"+0.8662229180335999","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":"Q5111196$38BF6E00-3D89-44D8-BE4A-70914496E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a649bc554f2fe5c82abcdcd51c1d59c0c16855a3","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8542450d605531762fcf0c74e99b8944ea6c6ad6","datavalue":{"value":{"amount":"+0.858568549156189","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":"Q5111196$D9CBE342-0927-4A20-8431-BFC33BFA8432","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validity and entailment in modal and propositional dependence logics","badges":[]}}}}}