{"entities":{"Q6490983":{"pageid":14069752,"ns":120,"title":"Item:Q6490983","lastrevid":39785162,"modified":"2024-12-30T18:49:04Z","type":"item","id":"Q6490983","labels":{"en":{"language":"en","value":"Satisfiability of circuits and equations over finite malcev algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7836604"}},"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":"Q6490983$192DB6EF-D960-48EA-9DBE-C0F9C4AEA565","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b9b4a19ae4c8b9876509d61d76c242fff4d4506","datavalue":{"value":{"text":"Satisfiability of circuits and equations over finite malcev algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6490983$B288879D-9388-4A85-89AC-BF304B26C1C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98bb00c015fbd92f550ec7939e69de35a6ed177f","datavalue":{"value":{"entity-type":"item","numeric-id":170377,"id":"Q170377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490983$1F35C449-BD11-49AF-AA57-F55B3C99EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83fda4c9b9c91c5766541439efe255ac450b82eb","datavalue":{"value":{"entity-type":"item","numeric-id":5005116,"id":"Q5005116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490983$ADB88315-C12B-4DD5-B003-0B673495279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09e850f401643dd2307aa6eb5a0d8dcb5cc8696","datavalue":{"value":{"entity-type":"item","numeric-id":292835,"id":"Q292835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490983$D7CF008E-7139-4D91-9D5A-EBB0B09FF557","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"032f9a20c202a9b1863ae3bd37fdc8353d28eb47","datavalue":{"value":{"time":"+2024-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6490983$CD4E3933-39BE-4785-99EA-91803E443967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490983$2822DDF6-8E88-4ED0-BDFF-B75A5A7C3172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffe8ad367753feaa1297327f20164b2ac74f115e","datavalue":{"value":"7836604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490983$0EDED916-7271-4ACE-B711-32533D6C9875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a27f211df803ab13c739570fd1ff444f04345d","datavalue":{"value":"circuit satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490983$6F722230-CE1B-4E40-BE18-C4B8D7B17376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b566895c578ec4f215d1ca30e2c30a1e278dd67c","datavalue":{"value":"solving equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490983$F02710A8-31D7-4B07-B50D-1C4176AD7009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0974d841ba27603503b56afd092463f7ab4b17","datavalue":{"value":"exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490983$B5A50167-0E16-4BBC-A180-13E0A6EB8F59","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":"Q6490983$6A559390-0DC1-46EB-B7DC-53165C94CFD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da86bceaf40b3891d4d732a2f8dc1aa172de3016","datavalue":{"value":"10.4230/LIPICS.STACS.2022.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490983$80E6709A-23C2-4091-90B2-8EC18D6CB1AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6490983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6490983"}}}}}