{"entities":{"Q515658":{"pageid":517425,"ns":120,"title":"Item:Q515658","lastrevid":55911874,"modified":"2026-02-21T02:10:56Z","type":"item","id":"Q515658","labels":{"en":{"language":"en","value":"Complexity of validity for propositional dependence logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695640"}},"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":"Q515658$38F7F305-68F9-4A80-967C-5ABAC82319FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75ab636f2914804879396dacfd4c1364ed9aa036","datavalue":{"value":{"text":"Complexity of validity for propositional dependence logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515658$627E4DDC-31DE-4FF4-ACE0-3413E5CA6C6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fea07394689ef30a82857618f1bf36ce1e52838","datavalue":{"value":"1362.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$0D57BED2-54B8-4733-B9DB-C053A4373115","rank":"normal"}],"P16":[{"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":"Q515658$61D407DC-75A7-43F5-895A-73B5BE0330CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$2DA0FDF6-200C-4035-953D-38D15BA2C509","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515658$B88A6303-EAC2-4C7B-B62E-79CDC1D94E5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$7CFC522F-D178-4ACC-A505-E91DE5E8DACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$BECF1A7E-680D-49E1-A7F3-DAA3DAD7CABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$D22E6E0B-44A9-4C2E-8144-6B02BA380F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$558B6D95-6844-4882-A7A9-FCAADF0F358E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a61dfa76d42ad820d4d07112a701789bd6c39c4f","datavalue":{"value":"6695640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$823374CE-DDE0-4D62-AE5A-B38B58AA457D","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":"Q515658$2363AD1C-13E6-40F6-AE5E-328FED6C03F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"068b38dac9c608518a526642e3dd64137bc0cf28","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.07.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q515658$4D25C143-DD2E-4A16-8B84-E438BC3C0F51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b78ad84ec40a2b778f445f626a2359299ed0e339","datavalue":{"value":"W2963866037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$17C92213-14D5-484F-A37E-1146D692DD94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$9DCCE93E-5610-4426-971C-8D68EF4BE546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6e769fdec93991af3fb85e66c8e3e9bbd98bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$9A1C0158-6D9F-4E2E-A1ED-939C8B9FA166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b1889073b69b0c4ae2ff2f42f4dc8a5b90b51a","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$8A5F13AB-418C-4812-8710-D9F68AB8F91F","rank":"normal"},{"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":"Q515658$234DBA71-DCFF-4C64-B6E5-DCB7F303F746","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":"Q515658$4AC21B0F-7649-4452-BAA3-2739E36EC1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdc05b51f7124c5d8d4c2e7d6f5d4f7bc128690","datavalue":{"value":{"entity-type":"item","numeric-id":2849427,"id":"Q2849427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$AF1335FE-3599-4283-B52A-7E42BB6EE512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ec7dc4566a1ce41bb90a9583007555aa63e279","datavalue":{"value":{"entity-type":"item","numeric-id":2891371,"id":"Q2891371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$85B4295D-C242-44A3-8A2A-085DFAA2DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e36262d784e28be368c9f14b8596f9fa3e76f9","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$7DAB375A-1516-4480-A61B-28743C12A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$2DFB88FA-6DA7-4BD2-8E15-8DECB0054520","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":"Q515658$891628A5-D031-4E2F-84B3-E766FDFB20C3","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":"Q515658$ADFEA305-59CB-48D6-9802-88747587F5CA","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":"Q515658$2FFB9D10-95CE-4C23-B99B-C71AB116AB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2623b82d4c6da7f628ccb6a5de4f8cffb037681e","datavalue":{"value":{"entity-type":"item","numeric-id":4636299,"id":"Q4636299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$0C93C997-0EA1-4521-BCDF-1352CB516E9C","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":"Q515658$7BF6CEBC-395B-424F-AE7B-A950CCA8A8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879efb533ed70f582ac7cf1000835d97340012ac","datavalue":{"value":{"entity-type":"item","numeric-id":3133166,"id":"Q3133166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$81F2679C-FADC-4BB8-9837-BF6D4DB0E5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e85208dbde3f2c01f07b8f1278c6bf0445dc823","datavalue":{"value":{"entity-type":"item","numeric-id":5351963,"id":"Q5351963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$E066EBCD-67C3-460C-9BDA-38E1113CA4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305a47587dca032c000354982616ac90bd83c6a","datavalue":{"value":{"entity-type":"item","numeric-id":628802,"id":"Q628802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$8C76D1FA-4172-40F6-B2B6-3294FB164F81","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":"Q515658$D52E25F8-B76F-4F92-85F4-7E488DEBFDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b543949e040b1ba85c4514447c6a6f669919b0","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$0C9844F6-CB2D-4E12-9CCA-AA83226BAEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7485b048fe65f73fca6106c0faba443a8eb8d1f5","datavalue":{"value":{"entity-type":"item","numeric-id":2849435,"id":"Q2849435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$DBF3E3AA-A1A7-4A95-97CC-DB13BCAF1C49","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":"Q515658$4FCD58F2-A447-4A6F-9F8C-8A1B7A13F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f21cfd80121419a71fc71c5f6a8481873755f5","datavalue":{"value":{"entity-type":"item","numeric-id":3656769,"id":"Q3656769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$73771FAC-1BEF-4706-BE01-B6DC426E787B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$1D8B1D74-1D7D-468A-BBBA-FC094C5C3721","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":"Q515658$4A0A8507-756C-4472-AE9B-3917A7CB50CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aace11b77f2c23842b0942a0444357275c1b2a06","datavalue":{"value":{"entity-type":"item","numeric-id":4599513,"id":"Q4599513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$F34509D6-3295-4339-AFE3-6B061EC77E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e291a0b57fd68f5f413b7d1977f19e442da5bd9","datavalue":{"value":{"entity-type":"item","numeric-id":515658,"id":"Q515658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515658$3A0E18D3-82B6-4414-88A4-12EEAF8578BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa804400365df3acbed0a9ad49042515b9266322","datavalue":{"value":"10.1016/J.IC.2016.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515658$9377A3CF-B62E-41C8-8ECC-48223EA9E88E","rank":"normal"}],"P1643":[{"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":"b63635930a40ea3cc2fab500c9617e7ce0c090b3","datavalue":{"value":{"amount":"+0.9936465620994568","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":"Q515658$EF5BEA59-CAFC-4FF2-B66F-80D35F75B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed31d57ce85783a4759244f6f6d013bbf8933cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5111196,"id":"Q5111196"},"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":"Q515658$975BD311-CD6F-4C62-9518-65B1744D38F1","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":"7f2995d68b73f51420bc88d522e20d292c936d86","datavalue":{"value":{"amount":"+0.8832338452339172","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":"Q515658$DE6E4F9F-6CFC-4082-BFF0-3C9B443FA093","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":"f0f6d9944c115c52f9203c30b22b423b97b2e9ae","datavalue":{"value":{"amount":"+0.8577542304992676","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":"Q515658$3A303A11-74F3-4C53-BCE9-6BC961B03DDE","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":"068a9b047af8b945c2536b8833598cf75b55769e","datavalue":{"value":{"amount":"+0.8528016209602356","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":"Q515658$35524C12-3C66-4DA6-A4F3-26F3413E97DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:515658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:515658"}}}}}