{"entities":{"Q5872871":{"pageid":7902422,"ns":120,"title":"Item:Q5872871","lastrevid":55429264,"modified":"2026-02-17T16:11:53Z","type":"item","id":"Q5872871","labels":{"en":{"language":"en","value":"A parameterized view on the complexity of dependence and independence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638204"}},"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":"Q5872871$2A24A4D8-DCB1-40A1-9095-0BF99FDB98F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d8b5fdf0f4f6100253056c19e73990e0b6b68c","datavalue":{"value":{"text":"A parameterized view on the complexity of dependence and independence logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5872871$B9FD450B-2BB9-4FFA-A855-E9D783BF6051","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":"Q5872871$A38E941B-0AE0-4D7C-87CF-716ADD9A61B4","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":"Q5872871$4DA68360-5B3F-4F5D-802C-99F36FD64177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88b2d11306f46958b417115759f770635a649dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2075380,"id":"Q2075380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872871$990C27B7-077A-4887-8438-F0F3368001CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5872871$9E6CCD1F-9963-40A5-A850-C99BBBC50D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872871$65D48966-4873-46A6-9670-EA77956B6EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872871$2BE35C66-80C8-4FEC-A9C9-CC79AFE81504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bd9aea28841d3566f633670ad3c094aef9b3994","datavalue":{"value":"7638204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872871$4DF0C247-BD27-45B4-9A33-41C36E83C9A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872871$7F1EDA21-486B-4589-9B4D-4AC0D27B080C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872871$EC6A5ED2-2970-4E5B-BA71-DF1C1C87ACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8445b6daabb2325b71f3697d57e2322429652d87","datavalue":{"value":"independence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872871$C7D57801-5199-4577-8084-99DB76406BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872871$0A98CA7E-429D-47ED-8B02-16576A50D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872871$5EDB9E84-4376-487D-8EAE-86778746D8A3","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":"Q5872871$2904DF98-F638-460D-8E05-43FDE38A2DA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44592a328c935d7a9b8253e18a6b5ada615c62f4","datavalue":{"value":"https://doi.org/10.1093/logcom/exac070","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872871$4711680B-444D-484E-B1E9-DF1949A82A5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69683b812c1cb7122a50611742ffbac3c2a30a73","datavalue":{"value":"W4309229081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872871$6BCE5630-E22A-4262-8358-0B1831657C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"091ddc491ea82eeccfec95f2f67ee18dc9028a38","datavalue":{"value":"10.1093/LOGCOM/EXAC070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872871$6A187867-583E-42FF-960E-2FDF1D45B619","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872871$88906B45-3FB7-4F60-AF1B-E31C45D3BECD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccfac4c8f27ab5db0b848d0b8882e3fd9ec1174","datavalue":{"value":{"entity-type":"item","numeric-id":2151403,"id":"Q2151403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def14e54bd38fe27382759bc898485739deff19b","datavalue":{"value":{"amount":"+0.9764664769172668","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":"Q5872871$69B2F9D9-9453-41FF-872F-874A53777205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05bfd28f252717616b0f3973cf694b5e9895ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5918987,"id":"Q5918987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6129e9e76ec73cce0bee72b2d603f26a21bca6","datavalue":{"value":{"amount":"+0.8758050799369812","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":"Q5872871$BE13247D-84CD-422E-9FF7-6584E32CADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7b451b65bf6d9607e5eca0ae12f654ec704504","datavalue":{"value":{"entity-type":"item","numeric-id":5918486,"id":"Q5918486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef92faf76340654d38a3208d35ca672024fe250","datavalue":{"value":{"amount":"+0.855863630771637","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":"Q5872871$9FA3E77F-D2D6-40EB-8DC2-BCCA0AADC779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e062f942d7b09c91123ceefed72964eaf676c267","datavalue":{"value":{"entity-type":"item","numeric-id":5013879,"id":"Q5013879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44af7750fad2bcbc1bceccea30d9a18f78c63d0","datavalue":{"value":{"amount":"+0.8103902339935303","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":"Q5872871$DC9D16D7-583E-4513-B2F4-33E06D4B5209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1c58b1387626aed17a6df70aca14154fa792d4","datavalue":{"value":{"entity-type":"item","numeric-id":5056358,"id":"Q5056358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11b657e1b48c3c6d0651db3ffa20f50b2b78dcd","datavalue":{"value":{"amount":"+0.8017111420631409","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":"Q5872871$6115FE25-4AFD-4962-A1B5-1AD5BC8C69AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5872871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5872871"}}}}}