{"entities":{"Q5351964":{"pageid":7381538,"ns":120,"title":"Item:Q5351964","lastrevid":58538373,"modified":"2026-04-05T16:02:46Z","type":"item","id":"Q5351964","labels":{"en":{"language":"en","value":"Axiomatizing propositional dependence logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767602"}},"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":"Q5351964$AD2EF79A-7606-4F97-970B-A8EA00E157E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f46cfc81bfd43c60d44e17e987f4c6259bdb8d7","datavalue":{"value":"1434.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351964$6465C83E-D72D-4036-80CE-7A11B3EE597A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351964$9C0E7A11-3080-4488-8BE5-E9FA447FE523","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":"Q5351964$4D75CE5D-348D-4930-A707-04AAA1306C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351964$A79EB53F-FA13-4615-B891-2881DC814536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a85329bab1a97ee11d96c2a0e31610eb433ffd62","datavalue":{"value":"https://arxiv.org/abs/1410.5038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351964$FA7602FC-BF7C-4D64-9279-EEB29A50E026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351964$91CD9FC0-EBC0-43C0-8853-1F7B52A3B03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351964$4621C19E-4E2E-4F32-B767-D3C190602A18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"960a05bafa4a5d29ae5266a815ef93e2c7a9450d","datavalue":{"value":"6767602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351964$D560015A-4F6B-4C19-8BF8-DFB2F93F2830","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b877a9f0ae4341bb32173331b9cb1a817a08fe","datavalue":{"value":"propositional dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351964$F7085185-774A-48A6-9E06-6A143C685349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d16cf777689b9e827e5c317fe31da56c610224","datavalue":{"value":"modal dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351964$B8021275-7D07-4397-93FB-1BF473200577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351964$35BEE0DD-D540-4CA8-ADB1-4CB1F24CBA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351964$09A103AD-8EC3-4DBF-8693-28AEF5788150","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":"Q5351964$A52D9EB9-E9F7-4B06-8C39-2E748457DA82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"954edd8257c18e51123e1b586290db325337e5e1","datavalue":{"value":"W2963562820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351964$FCD4BE02-7729-4782-AC44-753A0B278EE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a9545430888544697b840ee76d6123ba9f24ba1","datavalue":{"value":{"text":"Axiomatizing Propositional Dependence Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351964$72227A35-1AA4-4630-992B-D9F07A4B8BE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa7a651da1f40de3bffc5bfa478dc99efdc59a92","datavalue":{"value":"10.4230/LIPICS.CSL.2015.292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351964$D834929E-5887-429B-8FB2-614D9A4957B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbc2c517f77e093efabc7bad6001143efba081","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03187e002c24397ea8cadc2e5c04b59640763aa6","datavalue":{"value":{"amount":"+0.837541401386261","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":"Q5351964$8033C201-F8FF-4F31-8241-BA87463CF634","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":"75bd9442a2b285e5fcc8badcccba2d1e4b3c661e","datavalue":{"value":{"amount":"+0.8169160485267639","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":"Q5351964$A433DBEB-8D77-40FE-8D73-8F8273EB25A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84c352610cde6c0c03b118b6fe19fa461dc178","datavalue":{"value":{"entity-type":"item","numeric-id":5095630,"id":"Q5095630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b14d5c6749cefa181f32bb28fed4c5c993b006c","datavalue":{"value":{"amount":"+0.8058720827102661","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":"Q5351964$6641A2EA-69D4-4C1C-8491-D9D6CC79C583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1499451bc74b0157b5cefb8e9e1a9981bcb3340d","datavalue":{"value":{"entity-type":"item","numeric-id":3656769,"id":"Q3656769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b44fe9b00d87e39522162ecf533db036072476","datavalue":{"value":{"amount":"+0.7920515537261963","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":"Q5351964$5B76B8F2-705C-4371-AA67-0FB00E604568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351964"}}}}}