{"entities":{"Q2946653":{"pageid":2957373,"ns":120,"title":"Item:Q2946653","lastrevid":58062798,"modified":"2026-04-03T16:02:54Z","type":"item","id":"Q2946653","labels":{"en":{"language":"en","value":"The complexity of positive first-order logic without equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483159"}},"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":"Q2946653$A7CA994E-9B71-4756-A982-FB04641BA016","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98bb345e3cc5c6879e84f9890957860700697833","datavalue":{"value":{"text":"The Complexity of Positive First-Order Logic without Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946653$D2C709A2-016F-4955-9AEF-00ED2614C8F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29132fdaaa880e274d4bc5ccee7907c86c2eee0a","datavalue":{"value":"1351.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$96A4F155-4815-4413-A663-9EEC55F368D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68ee398f92040f2e6b2a7a62d67ee6224d35cda4","datavalue":{"value":"10.1145/2071368.2071373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$0BA11B9A-83C6-451B-A6DA-067D97B543FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"936738da928e42c440c1e88a7b16b3be7dab064a","datavalue":{"value":{"entity-type":"item","numeric-id":941342,"id":"Q941342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946653$9F1E0209-A315-487B-B531-47A48D98C41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946653$BA6EEB60-9794-4A91-8D2B-2421C51F6242","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946653$3335C0F7-C6CF-44B2-89CE-26A8DC63B450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946653$BFBC0079-D032-4250-A538-3CF4D555C043","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4c8651e3659340afb24a2599e24e2b18cc6c326","datavalue":{"value":"https://arxiv.org/abs/1003.0802","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946653$FF66FF94-B915-4B1E-8FEA-77C08A3A08A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$5496CFAC-CF1F-4AA2-B154-AF4A9C032AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$25295FD0-6F59-498F-9391-42AD111C4E0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb501caf36651964dba27046463518eda2bedfdc","datavalue":{"value":"6483159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$4D1867A5-BA48-4339-93A0-02632CAB7C12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946653$50DECB28-F066-4162-98FA-652DD8F73989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2358c6f306b2f0764b1088130dd2f7274cf9476","datavalue":{"value":"quantified constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946653$FCEC260D-05F4-4330-BE19-F63E4A375FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d3718959623fca7483e0ae3e20ed0912fa44b2","datavalue":{"value":"equality-free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946653$C7C86BE7-9578-4729-886D-A38F7A0E0FE6","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":"Q2946653$4C9E276E-559C-47B2-A752-A28415F5BD5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6af2bf52d5efbef95da7fc71a9ea8d3e86b5a19","datavalue":{"value":"W2113995039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$E709877E-E8C9-49F7-A5F1-037B8074AA0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1429af4034298e1bc596ffd49f585ea42d69d04","datavalue":{"value":"Q130866202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946653$24C57082-085A-4943-9620-A0490021A9E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcf96301a9036db3389d7b2570476c15b284fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3586057,"id":"Q3586057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfb6cb9d5da1558b58bffd7ee69d4668e5391f8","datavalue":{"value":{"amount":"+0.9022571444511414","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":"Q2946653$1D16CD55-C836-4568-8E4A-45E3822C213D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad6c3f11628493164c3cbded25bb426e591bc42","datavalue":{"value":{"entity-type":"item","numeric-id":473196,"id":"Q473196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f9fac1c4979dd733b661295224922ecb6c300","datavalue":{"value":{"amount":"+0.7840765714645386","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":"Q2946653$C5F2426E-7050-4869-885B-4DFB5DBCD38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa5edb3d30c68f5d83239e8836b47ddd02e5fc2","datavalue":{"value":{"amount":"+0.7795659303665161","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":"Q2946653$483308FF-A67E-48AA-98E1-E2DA8A0FB30F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946653"}}}}}