{"entities":{"Q5756561":{"pageid":7786112,"ns":120,"title":"Item:Q5756561","lastrevid":50157689,"modified":"2026-01-13T07:24:40Z","type":"item","id":"Q5756561","labels":{"en":{"language":"en","value":"Dependency Quantified Horn Formulas: Models and Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187218"}},"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":"Q5756561$C51AF96E-2A18-481A-B193-77913F15A196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a52fa9b089666cc984c79f98666cf22589a6208","datavalue":{"value":{"text":"Dependency Quantified Horn Formulas: Models and Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756561$92FFFCB0-BDF9-42F9-98DF-D45B5582B2CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc76c1f770cd4fb17098f693e103adbaf1472cba","datavalue":{"value":"1187.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$EEBE6DF4-E3E2-44F4-98FC-24512A84CAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31af348c4f3106034bf0e9cd1be504d1e7bc13da","datavalue":{"value":"10.1007/11814948_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$B728D6D4-6400-48FA-9287-CC848DE4771D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756561$CECD8454-F58E-4531-A787-ACC74BF0797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480d1f14486f5f2b4e32e9c563a24baae88b3634","datavalue":{"value":{"entity-type":"item","numeric-id":944708,"id":"Q944708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756561$D45EDD95-7C77-4208-B706-580450B0F105","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756561$62CBDE83-B4B1-439B-91B2-17ABFC144A0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-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":"Q5756561$C61E7D3E-167E-4620-8D22-CA3EC2A71073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$FE90F206-0F8C-415E-994E-D84E29FA2B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$9866DD93-51F6-456A-AC5F-9C8B5A97D048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$262BFFFF-C995-4604-B8DB-DD72CB49C17A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef4c2fc7c7e2856461296f46d61b97eeb91a9059","datavalue":{"value":"5187218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$9A18629E-4D1B-456D-AAB8-0A7A22F4F01F","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":"Q5756561$DD97A7CB-90FC-47AA-ACB6-262DBF3179D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd4ee1848e1737bdb554f300257b28d267ab5b95","datavalue":{"value":"https://doi.org/10.1007/11814948_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756561$F992A928-B9B1-48AE-B546-2C2D92778859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b47d5f6ebd74bd0518547c6bce7b2e34dc7f4df1","datavalue":{"value":"W1575955626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756561$83AA8A9E-056C-4BBE-B984-8613EA606239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85cbf5e401ad788525e5879290f5cb6b9890d3b","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdab7ec263f950497c68546348f8275b8335152","datavalue":{"value":{"amount":"+0.8419942855834961","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":"Q5756561$DED943E4-60A3-4414-88DA-78761CD49269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f002a6636018b0319d1ceede94e8f0110e1e151","datavalue":{"value":{"entity-type":"item","numeric-id":4930579,"id":"Q4930579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d0f3453f3d0b079e59b1a940065f5db9f89c2f","datavalue":{"value":{"amount":"+0.8283337354660034","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":"Q5756561$679163EE-2F07-458D-A706-18976D49D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b48ed177789756d6086d8bec72fa577b58d46b","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a569f9f8436e68362a9c0a532d29bc3c4f1ba39","datavalue":{"value":{"amount":"+0.818773090839386","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":"Q5756561$4859749D-A877-4E29-B44B-73FD00DD2B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5e70aa5b401bbb89354d3efef93f834cda1666","datavalue":{"value":{"entity-type":"item","numeric-id":2843328,"id":"Q2843328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49abb2745b7914bbd7c443b9b3e6dff89be81154","datavalue":{"value":{"amount":"+0.8097352981567383","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":"Q5756561$8CC959D3-9A0A-496E-A315-DDAE0D6F9880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6faf0a10ebac71dec9e2a37741b5ded2bec96e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2435315,"id":"Q2435315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43e0702ba8348f4dfdd75f106a54ca9fef29f2e","datavalue":{"value":{"amount":"+0.8096623420715332","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":"Q5756561$12C7019F-2FEA-4AA4-912C-4D78B95A24C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756561"}}}}}