{"entities":{"Q2878749":{"pageid":2889469,"ns":120,"title":"Item:Q2878749","lastrevid":83971082,"modified":"2026-05-07T15:25:01Z","type":"item","id":"Q2878749","labels":{"en":{"language":"en","value":"A fragment of dependence logic capturing polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340394"}},"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":"Q2878749$1672E77D-8CEF-485C-A013-1D19C91D7A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2c1bb02e14dd14f67bfb6af870e86664cb544e1","datavalue":{"value":"1338.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$8C5A1BB7-B82F-41D1-A8BA-FC4A8776C083","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1baf57b53496ee44df069805c62db7b3fae64dc","datavalue":{"value":"10.2168/LMCS-10(3:3)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$AF0EE246-CA8F-4EBC-B43E-915177F10596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd8d245d358f34b340c085c816bde52f6e291e69","datavalue":{"value":{"entity-type":"item","numeric-id":302213,"id":"Q302213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878749$B6CD7B22-5356-462D-9623-02FC6552A62A","rank":"normal"},{"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":"Q2878749$49180691-CA37-4486-AA39-87305BEFEC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4daf7c6efe756fb1ea9a850655089317a8cb7985","datavalue":{"value":{"entity-type":"item","numeric-id":2203579,"id":"Q2203579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878749$E104B22C-5CD9-4AAF-88F9-E1F11BC823EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878749$45142A70-F68A-4F32-8464-511202C6A949","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878749$83FA68F4-CA9E-4188-9E24-597E031C326B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2878749$8EF313DA-5DCA-4562-9208-C861723B233B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7233cfb3561a73a09b35bc2ab4f46c7dbacb0e75","datavalue":{"value":"https://arxiv.org/abs/1210.3321","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878749$A8BAA035-B7FE-492A-9BF6-A8D31BF1CD95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$5BEB117E-E126-4E40-9116-508A26D4935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$22ABEAEE-C099-4965-A220-D88E22C80C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$1F5AFDD6-CF3B-4E41-9DCE-CAC73A27C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$E97F3084-D931-4D61-B3DD-6A672858AD37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5b870a77436de4c9e7c18a8b789107e854f3dc1","datavalue":{"value":"6340394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878749$9B94F192-5EBC-4EA4-8B04-668478290B61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878749$AAC8BCFD-4025-49C4-8495-2A2C7D7439A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ea0745167a0b43dd8840973b3b24b1cf8ef941","datavalue":{"value":"Horn-formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878749$26480F6E-EDAA-4DF8-BC6A-3A56DBFFD4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878749$66048819-C225-4D46-9CAF-DC02DDFB85BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878749$834B9977-172B-46BF-AD63-0F66D026476D","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":"Q2878749$CA98B37F-EC3B-4F44-90A0-8A89C11CE781","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":"b116f2bdb7884d3f5f14408a641aaa08be639d51","datavalue":{"value":{"amount":"+0.91972125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$CF27CA51-2BCD-4A28-B93F-B12E716FFB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f981eac78dadc80dc50613f85b165ffe539a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5872871,"id":"Q5872871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f0d9b0396cc3e67756cf8c9748aa746db450d9","datavalue":{"value":{"amount":"+0.9107241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$39A3A171-A0FA-4989-8816-BED48BC1D294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba1cca06e7f2d370667891bfbf9fe581b8a8eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5213639,"id":"Q5213639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0a16f4ea30ba4d3bc8d277633d938c71e50d0d","datavalue":{"value":{"amount":"+0.88869566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$50ACAE31-1813-4E87-86E1-703468118814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6efbaa20ae11f25db773ebff76b6a0004afc26","datavalue":{"value":{"entity-type":"item","numeric-id":3509072,"id":"Q3509072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65e0291557dd287a59e85df6dcd4f092ee68c3b","datavalue":{"value":{"amount":"+0.8846601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$84C22800-9FFD-413E-955B-A3C1840A131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c626326ac1db6d92e871a5ee0f4a3993dbb1210","datavalue":{"value":{"entity-type":"item","numeric-id":5394588,"id":"Q5394588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65e0291557dd287a59e85df6dcd4f092ee68c3b","datavalue":{"value":{"amount":"+0.8846601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$5BFB62F7-22DA-4D1F-9611-66597516A8CE","rank":"normal"},{"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":"a6744caa4a59199c61a0ecac98762c141e81c57a","datavalue":{"value":{"amount":"+0.88296294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$7D1EB5A1-032C-4BA5-9713-83DB4CA845BE","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":"a6744caa4a59199c61a0ecac98762c141e81c57a","datavalue":{"value":{"amount":"+0.88296294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$2BBBE02D-3CF4-4EE1-A663-F461E3CCC2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0973cc67e993bc723399032f95e256adebdcfb78","datavalue":{"value":{"entity-type":"item","numeric-id":905999,"id":"Q905999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2df56de47a895e59160d1377c82e530b29e858","datavalue":{"value":{"amount":"+0.8825017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$B0CF9236-73E4-4380-A77A-DED339447810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fa0c1cf7477ddb1a22f5c678a7f9484e7d3cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3647277,"id":"Q3647277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec94919c3ece921bc505585366f3a0188aa7a8dc","datavalue":{"value":{"amount":"+0.87656844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$4818310F-9F0C-40F1-AD8B-BE915B504B05","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":"6d8125b79018884805463e83aa68e3734e7b8ddc","datavalue":{"value":{"amount":"+0.8765238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2878749$4EDFC496-CC07-486D-BFEB-54950CEEA640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa88a2e4a4c3e69c186d25a04f222cb37cbb2b1","datavalue":{"value":{"text":"A fragment of dependence logic capturing polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878749$DA517C7C-9017-4B6E-A1B5-98FDBBCE31A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fragment of dependence logic capturing polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fragment_of_dependence_logic_capturing_polynomial_time"}}}}}