{"entities":{"Q6431344":{"pageid":13564362,"ns":120,"title":"Item:Q6431344","lastrevid":56091663,"modified":"2026-03-12T15:38:07Z","type":"item","id":"Q6431344","labels":{"en":{"language":"en","value":"Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6431344$2C6B4810-FDEB-4BBC-96FA-B9E4D2B0EE36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6431344$099C4EEF-24F7-4447-BDA9-C9C467D259C5","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"9329e9279bbcfabc42243ce247166f2844528277","datavalue":{"value":"2303.17017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6431344$89416E89-9B83-49B7-984B-DCBC34D735F5","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6431344$E6B1C258-E052-4705-BB28-0E29B9FD0304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6431344$43422AD9-B260-4145-8B7D-4B4BECD2F5B6","rank":"normal"}],"P16":[{"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":"Q6431344$3EC87EF1-5DFB-41F6-A4B1-AA8B220B9F0B","rank":"normal"},{"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":"Q6431344$B4B0FD6C-228C-485B-B7B1-026B0F3827F5","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":"Q6431344$0A3DEFCE-8620-4E23-AE28-1907A30330FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6431344$E725269D-116A-4CC8-B0CF-6129D362623F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6431344$1B35448C-B4F4-4BB3-9B9A-31F117429C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6431344$AEF3870B-71F7-4243-92AD-A9C6E1D7D368","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":"Q6431344$455BA7C8-7F3F-4B1A-86BD-32A5043B0BD9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"686358d9f99f00ff53564f24b8a9dc459a6aa0d6","datavalue":{"value":"Q113317344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6431344$1021C0B6-7F2D-4355-AC21-67E3510A33FA","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":"Q6431344$624225DC-AA04-4EFB-8F45-E59FC9C3BC66","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"e22d340700ed7845d478a9b582aa12d98bc72f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2219074,"id":"Q2219074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6431344$5133426B-29D3-4794-9599-AAB92854DFB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6431344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6431344"}}}}}