{"entities":{"Q388209":{"pageid":389976,"ns":120,"title":"Item:Q388209","lastrevid":61466082,"modified":"2026-04-10T23:33:13Z","type":"item","id":"Q388209","labels":{"en":{"language":"en","value":"Axiomatizing first-order consequences in dependence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239425"}},"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":"Q388209$847B807B-F196-4341-B508-7EEF51F3A23D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d61575bf934bd6d4be487e932a25792054ca0dd0","datavalue":{"value":{"text":"Axiomatizing first-order consequences in dependence logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q388209$B98BBEBC-029D-4E1D-8DA6-4091961D71FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c10ccd272d7849517c9eb7daf2d21190a65fb7b1","datavalue":{"value":"1315.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$A6165EAF-FEED-44EF-BC35-D32716BC8E7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$B6EEE9B2-B6C4-40B5-8BEB-BFBCB16C6335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$1F374AA9-4FA1-469A-9E88-92C8AB27F3BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$CF4774AD-F82C-4DD1-874B-38AB05A55349","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q388209$A1752549-4903-4B0D-9976-9E001BAC6AFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ded89e83b51dde727b4c86d015c6bc262b8ba01","datavalue":{"value":"https://arxiv.org/abs/1208.0176","type":"string"},"datatype":"url"},"type":"statement","id":"Q388209$64581FEC-B73C-4D3C-862B-2E80B690EDF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$4FC84272-9A8E-482C-916A-90A956C3519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$FC53294B-8AEE-40EE-A606-B6369E398021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$2C748CEF-1CAC-4757-84A5-3F105D5A7447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$3CACDF9B-484F-40B6-A757-5B889A100BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$C5A59F4E-FEF7-4889-B182-214893562B9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f90ab39dda77caf3b21b244c1b5ad514f1df0407","datavalue":{"value":"6239425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$08B4D37A-5EFA-4287-A673-2D1D8FAE0818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q388209$2DD8D730-A5E8-46D3-9FEF-72831CB25BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47cac054525dcd6002d016c7e3337fb7c7f6bf4","datavalue":{"value":"game logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q388209$669C401D-B9E0-47F6-A8D6-A089BEDB8537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8445b6daabb2325b71f3697d57e2322429652d87","datavalue":{"value":"independence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q388209$6FCA3239-C104-4D72-8EE4-A6E25FEAEFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q388209$C4FC125C-B7BC-4763-A75F-D1EA275AB21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q388209$AD7057C5-1DF7-4024-8BAB-177CE3F5A3B6","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":"Q388209$D76C5241-400C-4991-BC36-2E28C286A3C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58ac5f8c75f3fd0d8f0f4d244b3387a5cf435cba","datavalue":{"value":"W2963371301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$3791EF56-EBCC-4B02-AF5A-3A9EF9A0EE94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$BAAF970C-1406-44B2-8E6B-5E87B6CA17C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092be92e7b599902deb7b1af066f9095dbab8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1233865,"id":"Q1233865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$48760AA1-984C-43A9-BE97-4F2B31DE468A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$B036A9FC-C94C-427F-A71F-A82FA5E43D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab30f9bc614ee918d05474c1366ad788139f5cb7","datavalue":{"value":{"entity-type":"item","numeric-id":2946680,"id":"Q2946680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$90C342F5-7591-42AD-ADA7-7E41E7F43061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296e8337b52a14508ae0833d771c4b3d1dda2b6","datavalue":{"value":{"entity-type":"item","numeric-id":1949170,"id":"Q1949170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$850D7603-67EB-47C4-A91F-C9DD08E9EEA6","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":"Q388209$A74043B0-213A-4CCA-B0D0-8C471AB3093C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$8C6BAB1B-BDDA-4906-90BC-5B8D7C18B656","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":"Q388209$D40BD78B-3E8B-4E97-AA4E-6D7013085C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629a9cfc29759a58cc620095ca39298f5554851e","datavalue":{"value":{"entity-type":"item","numeric-id":4362727,"id":"Q4362727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$B9A6F4A9-1835-46AB-8934-9F39D841E697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90973b0d2409877b32dc78b0066ccb8e257da60a","datavalue":{"value":{"entity-type":"item","numeric-id":5537410,"id":"Q5537410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$3649050F-592D-457B-9AA9-6B359C41A8C0","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":"Q388209$AFDDD091-D8B3-43C8-8A1B-415E27AE2441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4e005a92fce1984a6e6d87f7357d3d3c7b46e","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$6CF18DE0-1D3F-44A9-A8C0-6D9F87D490A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40babbdb9370ac6b71821d359774d3591754a516","datavalue":{"value":{"entity-type":"item","numeric-id":4065541,"id":"Q4065541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388209$AB9EBE6D-5B27-40CA-96CC-FB7D2B097AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1b1cfc2306ec14363fbb32e3827bd8bce90114b","datavalue":{"value":"10.1016/J.APAL.2013.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388209$751E4B8A-3DE6-4119-B8B9-B00D1625EE11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1a7f2b23be0a8b123d0182c4c04d96926f9ed9","datavalue":{"value":{"entity-type":"item","numeric-id":466449,"id":"Q466449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5b5e8a2157d3701d57682baa93209cec0e2382","datavalue":{"value":{"amount":"+0.97491854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$70B9506D-4306-4F4C-9557-B9BEF82A4FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8741f1eedf1429d58569941304a94a53af60d09","datavalue":{"value":{"entity-type":"item","numeric-id":5119909,"id":"Q5119909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ea9f6d7722cda24a46c9a533f011147414aed8","datavalue":{"value":{"amount":"+0.939918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$899EE1D4-08D9-4F67-9136-239FBF56E8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfacf55bf405cf9bbe49926f41b86a19fbd125a","datavalue":{"value":{"entity-type":"item","numeric-id":5351964,"id":"Q5351964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05fd3cb871862267cec76c934389f61d71741acb","datavalue":{"value":{"amount":"+0.9168093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$12C81B84-834C-49BB-B008-FB5DEC09235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0627097df0ca47882092160708131eced676b83","datavalue":{"value":{"entity-type":"item","numeric-id":628805,"id":"Q628805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e486bbe0b3fd31ec9daff404cf1f4c88de630f","datavalue":{"value":{"amount":"+0.9007059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$369EE3A0-0944-4ACC-B1D2-9BE3C60C66DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8b6f255d1ab01e2f9e28663084515b679d3167","datavalue":{"value":{"entity-type":"item","numeric-id":4659577,"id":"Q4659577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377323ce70451ed0c2665564df82fa52b711ed38","datavalue":{"value":{"amount":"+0.8991637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$5EC04903-F0C6-4892-94C6-16F27C36E625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f7bdfb9155a9ba484d95069d24e5b5a0089cee","datavalue":{"value":{"entity-type":"item","numeric-id":1073012,"id":"Q1073012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d240cde9042417abedc49684624f08cf577af10","datavalue":{"value":{"amount":"+0.89431286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$CB1FBF4C-DBF1-4F6E-BEFA-37C81A3B49CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3147f6e6d51cced904ef8c5a4542352fd0e2e","datavalue":{"value":{"entity-type":"item","numeric-id":2361348,"id":"Q2361348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9accef6753fae137d6283261dfc12424f9f21d6b","datavalue":{"value":{"amount":"+0.89407015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$DDFFC94E-8073-4FD8-AFD0-BD45EE224FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0257bd6a55b3dd670a5fed1d0945dc503a1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2849428,"id":"Q2849428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9accef6753fae137d6283261dfc12424f9f21d6b","datavalue":{"value":{"amount":"+0.89407015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$CFCBFB3F-081E-4C84-9482-51B2B5307B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8660990294c93e0ec23c979c613470e2a6f111","datavalue":{"value":{"entity-type":"item","numeric-id":1274556,"id":"Q1274556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f28d6653dab12bac899dbd80c5676ea3c340d2f","datavalue":{"value":{"amount":"+0.8910739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$85463C30-B1A1-4E14-850F-7CE13155A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db54f221b789235bf363fb9d56b65c264c3c258","datavalue":{"value":{"entity-type":"item","numeric-id":4295874,"id":"Q4295874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa18a7194ec73627f7517b50fa9aa35d52fccbd","datavalue":{"value":{"amount":"+0.88792074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388209$E54B3CB4-A43F-469B-8469-F684D107BFDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing first-order consequences in dependence logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_first-order_consequences_in_dependence_logic"}}}}}