{"entities":{"Q6943069":{"pageid":21162021,"ns":120,"title":"Item:Q6943069","lastrevid":75939492,"modified":"2026-04-21T15:00:43Z","type":"item","id":"Q6943069","labels":{"en":{"language":"en","value":"Simple hard instances for low-depth algebraic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079914"}},"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":"Q6943069$8C7A443A-315F-4968-B5BE-86791AF2D83E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5e70cfa935f68395e7242849d21cbf429736889","datavalue":{"value":{"text":"Simple hard instances for low-depth algebraic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943069$378D957A-646E-485C-A86E-87D8EA43FA2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1c896c81b072046ffee2708052c56946de04837","datavalue":{"value":"10.1109/FOCS54457.2022.00025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943069$3CA4CF1A-E1CF-402A-B50D-04C8B8682856","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee80e2be4707bb66d29477b50d94f6dabbb7ee8d","datavalue":{"value":{"entity-type":"item","numeric-id":5091775,"id":"Q5091775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943069$E2585C82-E5C8-4509-A067-EFBEE70CCF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943069$2313D2E7-611F-4A1C-928A-1F92BE397626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"346448c8b34d16b4c31c36350ed3658dadb9d9cd","datavalue":{"value":{"entity-type":"item","numeric-id":6943068,"id":"Q6943068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943069$40707B35-D8A4-4E73-A8C4-579C721395BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c353c511b4dc13ecee102b336a2664d881fe8b6f","datavalue":{"value":{"time":"+2025-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6943069$3B20C8A9-21D5-4CE0-9EA4-3573B0482D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943069$9CF6CF8E-5C9A-4304-B294-B1EF37CA54C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dd81f36e2b60fd0eae7a9e08543e225eb9b4b35","datavalue":{"value":"8079914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943069$6365EFA2-9DCE-4880-81BA-3091182617F1","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":"Q6943069$6295C22F-5731-4705-AB49-2702478FBEA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple hard instances for low-depth algebraic proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_hard_instances_for_low-depth_algebraic_proofs"}}}}}