{"entities":{"Q2219074":{"pageid":2229817,"ns":120,"title":"Item:Q2219074","lastrevid":82661081,"modified":"2026-05-06T21:26:30Z","type":"item","id":"Q2219074","labels":{"en":{"language":"en","value":"Deciding quantifier-free definability in finite algebraic structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297790"}},"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":"Q2219074$C7E9A7F2-FAAA-4BF9-AC42-CB8047E8C764","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c4c0902da4f9e708833d9ce358c3cfdb62e6280","datavalue":{"value":{"text":"Deciding quantifier-free definability in finite algebraic structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219074$166755E3-719E-4393-B353-DA63B221DBA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed184a8e7f5c25269166eaa04d13995bde90b45","datavalue":{"value":"1495.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$C7764AA9-F670-4105-B284-44E7DFD0E54C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6ff93e82795d28b404038f7041c12f2aeac5f66","datavalue":{"value":{"entity-type":"item","numeric-id":2219073,"id":"Q2219073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$B52FEE43-BFDD-44F1-9BC8-AAB5762430D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eef73e0fb2bafd02d144bb7218c4cdfd0653891a","datavalue":{"value":{"entity-type":"item","numeric-id":1799272,"id":"Q1799272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$993A0DDC-0EC8-4571-9805-104E883F86F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"843f08a1dffcac75f48a4e8f90ad97dbd6efacb6","datavalue":{"value":{"entity-type":"item","numeric-id":539982,"id":"Q539982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$A875F25A-570E-4ED1-85B4-4D11E5A5A97B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219074$EBA86F8E-DABC-4AD4-B21D-1A811A2FCAE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$1D9A4FF3-B7FB-48FA-BE4A-8A897FDD0A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$B317417F-F870-45D8-A360-3FBEC1EE8EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$940529BF-6E97-4987-9539-9D1F445DCF5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"698d9ffdda3ad25c22540f8fbab63cf7adda400b","datavalue":{"value":"7297790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$010F5DB2-9AFA-477E-AD91-BEF6AF5522A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219074$B97D464A-7517-4974-8100-C6E5624902EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219074$E0683E76-14E9-4F10-9441-51D592542457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219074$DE22693B-946B-4C83-A625-B939C1923A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219074$F7F00C7A-0913-4970-B0E5-992B3C35520C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819305f873e76c90d91a03741ddef3564d02d474","datavalue":{"value":{"entity-type":"item","numeric-id":22143,"id":"Q22143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$DA0AA5D2-5CB2-4F29-9D2F-337802881DAF","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":"Q2219074$783E427A-24FD-4960-A6A3-39314A7E58CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f54e7f876158d74984420b3fd9482c7e22b55a24","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219074$AF44CFD4-20D3-4BB2-B673-80FAF762D6FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"770409797751493ab67b91078b7922e587ef778f","datavalue":{"value":"W3014025283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$6D915EA5-5D9A-4A9B-AEE7-31A348569BCE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"686358d9f99f00ff53564f24b8a9dc459a6aa0d6","datavalue":{"value":"Q113317344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$C4929AB4-51DD-4E7D-85A4-AB09CBDE51AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a09c635a644a436cd10039f8543049d7f8b2919","datavalue":{"value":{"entity-type":"item","numeric-id":1799273,"id":"Q1799273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$E92F100C-C890-488E-AC7F-205308EEFF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c898ef7ecc62eb4d73bc5b3d2d00f5e40159e0de","datavalue":{"value":{"entity-type":"item","numeric-id":3010333,"id":"Q3010333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$98082ED8-49C0-4228-8B70-8A157FE94A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cce1dcdea8e2bde0e6e79ebbc9dbcead92a52e","datavalue":{"value":{"entity-type":"item","numeric-id":5012557,"id":"Q5012557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$C8DFC07B-E7F3-4D7C-9D02-69C42795399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$754A89BD-1C0D-4B8C-822D-E1CB5EE49FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219074$21A83169-6757-4226-9BCE-332E78D7825E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4deabc7320db385d2c7b478a8bb25b3a8e1315fa","datavalue":{"value":"10.1016/J.ENTCS.2020.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219074$4704E0EC-D759-4974-B4CB-DED6E84DB5F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dc1a9366d24bd9b3e227c3169c0074df3c53c6","datavalue":{"value":{"entity-type":"item","numeric-id":1799273,"id":"Q1799273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944257c6d48c219ab8f6f62057af5581f43b9c3d","datavalue":{"value":{"amount":"+0.8069186210632324","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":"Q2219074$A12B3D08-A881-439C-8F82-2B1842E9CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26d5291f8bfab8e9177f6bba1ee24a1e8945e69","datavalue":{"value":{"amount":"+0.7704299092292786","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":"Q2219074$E15FC874-B350-407E-83B6-1353B7521531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d21b2d959d2a6c25feba57b3a53644b3f2c470","datavalue":{"value":{"entity-type":"item","numeric-id":4635936,"id":"Q4635936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279d70aeeaffc186628ba4842521d86451e5f27a","datavalue":{"value":{"amount":"+0.7510693073272705","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":"Q2219074$4282168E-7145-45C2-93C8-8D8BEB2303CD","rank":"normal"},{"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":"f97b3de2c95fec4bf70b269b5b78076718e87c90","datavalue":{"value":{"amount":"+0.7483147978782654","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":"Q2219074$D7567D17-CD0E-4179-8128-7E60F4FF5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3107c659e2820d8c2d42dcb66f475d82d3f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":2830202,"id":"Q2830202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6565dad9f1938ab5cc1ea15765b89b8ba432cd0","datavalue":{"value":{"amount":"+0.7330338954925537","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":"Q2219074$426A4345-73E1-4D3F-9E95-7F764C93ACCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding quantifier-free definability in finite algebraic structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_quantifier-free_definability_in_finite_algebraic_structures"}}}}}