{"entities":{"Q5012557":{"pageid":7042134,"ns":120,"title":"Item:Q5012557","lastrevid":55931635,"modified":"2026-02-21T06:38:03Z","type":"item","id":"Q5012557","labels":{"en":{"language":"en","value":"The Exact Complexity of the First-Order Logic Definability Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7433190"}},"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":"Q5012557$E51DB3AB-26EF-42AA-92D4-5463C52211DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701bc72d4a87c687c49d1496cc81c9f00b4b5254","datavalue":{"value":{"text":"The Exact Complexity of the First-Order Logic Definability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5012557$0A882B4D-C88C-49A9-A1B4-F1198CED3855","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bacf6f1efeb392952f2773af76fd66bfd5967909","datavalue":{"value":"1474.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$EFF0689C-4437-4950-9C88-71FC4BC18379","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac3de62d4d61dc3e3bec4ceced54525c603d194c","datavalue":{"value":"10.1145/2886095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$67BFEF56-A122-4B3A-A713-4BF237C23527","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b19127915fe313f3fb2782293499f36084f2ce89","datavalue":{"value":{"entity-type":"item","numeric-id":309907,"id":"Q309907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012557$6C0B7FD8-34C0-43FD-A8AE-72C736EAE45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"589946f14732699f4565ddb94bb2ab788775f636","datavalue":{"value":{"entity-type":"item","numeric-id":333495,"id":"Q333495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012557$55CEF6CF-0E2B-40FF-BD3E-DBA3333883AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3691136478f306e2c70355b5c59c9d0698f3a2b4","datavalue":{"value":{"entity-type":"item","numeric-id":2790121,"id":"Q2790121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5012557$B30D1675-8275-4606-8553-C0749F0333D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6871f7c40db32fd48137a4cc4b7dc04229ff05","datavalue":{"value":{"time":"+2021-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5012557$499A868F-BCE2-46A4-A61C-C2405A7F05BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$89287BF8-E085-4629-95CE-DDE0F3B50AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$69C1A4DE-B887-402A-976C-82CC26B458C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$23152907-F1C7-476F-917D-E3BC7EB46A41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cda35152b06dc45bb228b3ac0ce409ef4bca598b","datavalue":{"value":"7433190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$32C74A94-9DD9-4E9A-BD9E-5D122A67332A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5361ead42b6bc0a4b555fbd07b0fbbf5868208fb","datavalue":{"value":"definability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012557$DF859B02-195A-45B6-96FD-F0A7E1DA4170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012557$278A7FFB-7376-4E46-8D0B-BCC6E9DAE3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012557$C658FCA5-82E6-455D-BE27-D9E9CAC7FE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5012557$D7E1C7FA-97AD-45E7-8B6A-CFAF85BE886A","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":"Q5012557$956C0903-649F-494F-8BBB-30F1E017688C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6b565cd99dce5d25e3a0f47cd923df3a106b2cc","datavalue":{"value":"https://doi.org/10.1145/2886095","type":"string"},"datatype":"url"},"type":"statement","id":"Q5012557$FD05E1F0-8E51-4209-92DA-F4ED6F998784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5519d73031cb669c13683eb5e5796f995530a03e","datavalue":{"value":"W2347545322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$3860A158-C508-488B-B427-A4C93EEA9889","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bf27493f2cfab7fc81808950837d521a95b703db","datavalue":{"value":"Q130863241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5012557$89A3AD3F-391C-4CBE-8A4A-6EE759A72C7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802587f4bf24cd0d245c84815ced8c3af6985be","datavalue":{"value":{"entity-type":"item","numeric-id":3386916,"id":"Q3386916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb83500e76fab88fd0d2c539212a75f60e63b478","datavalue":{"value":{"amount":"+0.92387086","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":"Q5012557$E12EC2F6-B9A8-452A-951A-5FBFF59E8C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c957fa3564ee1d7c9c3b5a3037bb7d47068e34","datavalue":{"value":{"entity-type":"item","numeric-id":3329449,"id":"Q3329449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddccbf459ecc20e5e6bb907c596517793b37b94","datavalue":{"value":{"amount":"+0.9182403","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":"Q5012557$E1909C21-C2F1-4566-8329-D11ABF6C3172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbcfd199f89f163857ff23df2d8427f2b089dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4942635,"id":"Q4942635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fd9cec8f0b85e34c9c499968a8a8e831399b5f","datavalue":{"value":{"amount":"+0.91605484","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":"Q5012557$2CE235EA-C465-406C-9EC5-634DC04E3127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c9d532a78e12ac8859a04013deff4858a4010","datavalue":{"value":{"entity-type":"item","numeric-id":4467744,"id":"Q4467744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83317dc8480f312bee7c49e16a01559e0ba18fb1","datavalue":{"value":{"amount":"+0.9083121","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":"Q5012557$D844141F-3952-444B-86F2-03A666D2F2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2e963ab3d7dab7b8eca99e668a2d8a8d13e253","datavalue":{"value":{"entity-type":"item","numeric-id":3066290,"id":"Q3066290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c581c5b6fcb7ab2698878abda4b9271e797cac1c","datavalue":{"value":{"amount":"+0.9066263","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":"Q5012557$7FED228D-CAC9-49B2-A627-11BC7B0FB5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d10f11fe749798e65bb57b8c876ab0e11257a8","datavalue":{"value":{"entity-type":"item","numeric-id":5717025,"id":"Q5717025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2de607db72361792da99d29203c148f60c74605","datavalue":{"value":{"amount":"+0.8997153","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":"Q5012557$8DD18643-A309-4188-80BA-C6BF1A03D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82146d19cf00914cf680dc7535deb2fc91961d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2c0fe8a6948c87cbcc0dc3be4d31fe1dcbc254","datavalue":{"value":{"amount":"+0.8969472","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":"Q5012557$C087A8D6-F1D0-4649-97A2-92BA0DCE70C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2d5fcef518e84b8735d449f5bde4dd7de5df8a","datavalue":{"value":{"entity-type":"item","numeric-id":890867,"id":"Q890867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdf18896adb686e73d5e4653a718b1026191bec","datavalue":{"value":{"amount":"+0.89655006","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":"Q5012557$6997E2AD-4A85-4FCE-ABC0-36D430202FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5012557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5012557"}}}}}