{"entities":{"Q5089225":{"pageid":7118801,"ns":120,"title":"Item:Q5089225","lastrevid":39528239,"modified":"2024-12-30T14:53:10Z","type":"item","id":"Q5089225","labels":{"en":{"language":"en","value":"Even Faster Algorithms for CSAT Over supernilpotent Algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559426"}},"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":"Q5089225$538AEE3D-C3FA-4784-A85C-FF8E683093E4","rank":"normal"}],"P16":[{"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":"Q5089225$82C47967-54B4-4EA2-B6B7-B9C43DA2F3E9","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":"Q5089225$267F3BF1-DF5E-4A27-9492-4961AEF0D0A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089225$827EDBD6-57B0-48A7-B350-356C0AA535BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e44c8d3600c718b5b9e6991c200602fe33ba7e","datavalue":{"value":"https://arxiv.org/abs/2002.08634","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089225$AF4DFD21-1A31-4C21-9B96-83C9167FF89E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089225$695677B0-1174-4507-A1F7-6D91CAD523DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c7f466ed38f6e48f715ba6de4ca3152edd5b1cf","datavalue":{"value":"7559426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089225$A05FCF7E-D26A-44D9-8048-7B562641150E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a27f211df803ab13c739570fd1ff444f04345d","datavalue":{"value":"circuit satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089225$21E4FD9B-D786-4B7B-8280-F53EE1266E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b566895c578ec4f215d1ca30e2c30a1e278dd67c","datavalue":{"value":"solving equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089225$B263693B-A426-4369-A207-A27C43A9D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ba8214779140c5d6a3fa0d5edbae7d62abcc90","datavalue":{"value":"supernilpotent algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089225$4E856EFA-95C2-4223-802C-911903013D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666ab267ca34ece9e30307ed4dd238cb1b8a19ea","datavalue":{"value":"satisfiability in groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089225$EA67E6C4-AA54-4A31-A803-F4111512D3C5","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":"Q5089225$DBD99AA6-C991-4671-99FF-E24B2FBBB473","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a6994d8a00a6681fb73981ba483dfdc776b7a3","datavalue":{"value":{"entity-type":"item","numeric-id":2414530,"id":"Q2414530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$4452D937-573F-4D18-B0F3-6AF886170667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1c58c4928400ccd19068ef50a785f1f0215eb9","datavalue":{"value":{"entity-type":"item","numeric-id":607465,"id":"Q607465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$7E809FB1-C93C-429C-88A0-C9A8CDC4F436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d0815a9f5cf67c2a0957e1f2fb51d2fa6211d0","datavalue":{"value":{"entity-type":"item","numeric-id":2759825,"id":"Q2759825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$7AEC2278-507F-446A-9FEA-07556D5D02B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$D2DD308D-1BE7-48E8-A959-9AAD9CA59BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fc61636dee236e6d6fd52e5291174673bf8319","datavalue":{"value":{"entity-type":"item","numeric-id":1682080,"id":"Q1682080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$222C1D89-E4B3-4DA4-8522-D79AC8953B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072ab5d57a8fad9a91a160a4339bbbf8d6bdcf78","datavalue":{"value":{"entity-type":"item","numeric-id":4960464,"id":"Q4960464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$2526EE52-121B-4476-B021-443889227B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$66E0FDF2-6D0D-43F7-B5E8-AF32F2D64C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95129feb93e690035be7048ddf51a4f5a6e82adb","datavalue":{"value":{"entity-type":"item","numeric-id":1854566,"id":"Q1854566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$A09847ED-E7FE-4DE4-9941-6903DF0A8A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f782269f0f8b46a09681f64cd29970f9d9696745","datavalue":{"value":{"entity-type":"item","numeric-id":3067781,"id":"Q3067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$7282377B-5525-4412-A802-2FEA7366838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781dcda02fe6f46128e7efa43e85431d3ca9038a","datavalue":{"value":{"entity-type":"item","numeric-id":2888155,"id":"Q2888155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$8DDA11DA-5E11-42A0-BFE8-6250B5E3D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e530b1d302350dde02e5978eae2ef077e98dc339","datavalue":{"value":{"entity-type":"item","numeric-id":3191597,"id":"Q3191597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$50D777BC-8404-4924-A9DE-D018E7A88E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a73750d8f43d9587474cd54a0ab45809c28e57f","datavalue":{"value":{"entity-type":"item","numeric-id":652516,"id":"Q652516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$B482F5F1-9CF4-4E06-A781-F069433AFA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d15d6f8472bca9e9c3f836d0853bcaf59e0f15","datavalue":{"value":{"entity-type":"item","numeric-id":2343499,"id":"Q2343499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$00161B60-14C2-4FA0-A1F2-14E23352341B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cc34e2b1a03db880ac158b96f94bc594065d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5414556,"id":"Q5414556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$9AC6AAB6-3965-489D-B179-1B37EDC3E15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6050894f5b25139356708ac3f5ed9b3c73276cf","datavalue":{"value":{"entity-type":"item","numeric-id":3421602,"id":"Q3421602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$815FDCB6-9A72-4074-B513-A3B425A57E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1b019f6ccb08463cf1c4e53e94d27c909e1f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5145664,"id":"Q5145664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$CCA3C341-A971-43C1-A6DA-00DFA948C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b876250a2fe32f8bc438880ee52fff750290bd18","datavalue":{"value":{"entity-type":"item","numeric-id":5145331,"id":"Q5145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$B8C63E3A-33FE-433D-B71A-7197465B6B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19825d323118e46e9551bec5805e1fc011591079","datavalue":{"value":{"entity-type":"item","numeric-id":5950764,"id":"Q5950764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$33257795-052F-4B37-B5B8-4DAAD58EED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d324cf66929a71abd2c1defe0a99fec1a68605","datavalue":{"value":{"entity-type":"item","numeric-id":4687481,"id":"Q4687481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$16587ADC-8061-4B39-B29B-640413F7387B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133e46e3d5b62f2326e3a617ae6e6f2565984725","datavalue":{"value":{"entity-type":"item","numeric-id":5309685,"id":"Q5309685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$D78E7C17-D95C-4F2E-8BD3-FA7B3DCBBCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e34f8b817e0af74a9cb60eb00651d2d11a3f26","datavalue":{"value":{"entity-type":"item","numeric-id":1905977,"id":"Q1905977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089225$B95ECE88-398B-46EE-BE99-9A21F1FDDDF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aa601c6f9f164396c5286c92fc2e94cd7c60880","datavalue":{"value":"W3082636827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089225$ED10CBB5-CE90-49E3-820A-E9A67D990C0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0c2971a357f15474b280556fe39e41d1c92eee7","datavalue":{"value":{"text":"Even Faster Algorithms for CSAT Over supernilpotent Algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089225$D8FCA090-C898-46F4-A4A3-C75BFB84B964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4f7ce9a8af2f2553478e37af5734125e091cbdf","datavalue":{"value":"10.4230/LIPICS.MFCS.2020.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089225$C99F01FE-A85E-4BB8-8ABC-070B7D53B4DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089225"}}}}}