{"entities":{"Q6944046":{"pageid":21167862,"ns":120,"title":"Item:Q6944046","lastrevid":75948321,"modified":"2026-04-21T15:53:25Z","type":"item","id":"Q6944046","labels":{"en":{"language":"en","value":"Lifting with simple gadgets and applications to circuit and proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8078943"}},"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":"Q6944046$688BD05B-E8DB-4677-ABA2-70E48C227F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a2e07040a647ff7670a5482ad70adcde20b18e1","datavalue":{"value":{"text":"Lifting with simple gadgets and applications to circuit and proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6944046$7A8F7639-4787-4C96-BE82-D03CEDF9C2EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c520d95a3a8152f981a78f73e8593b51cc29bb8e","datavalue":{"value":"10.1109/FOCS46700.2020.00011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6944046$C8829039-F9E9-4749-8089-FDCD1B11CB76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5302b48d82eac44081d15b48583a3fafba169c6","datavalue":{"value":{"entity-type":"item","numeric-id":1656562,"id":"Q1656562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6944046$24E85D80-F460-4272-AB77-CF01B89D8516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6944046$173667EA-C6A4-4D2F-BAF3-60180107D367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ade4990ab7a79bdd900e48d3fab8c751fcf8949","datavalue":{"value":{"entity-type":"item","numeric-id":989568,"id":"Q989568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6944046$BB1FCBBE-8E3B-458F-AC6A-47C52F0EC2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5f7d69e0c50407a5122b097efba627c1b5dc23d","datavalue":{"value":{"entity-type":"item","numeric-id":389498,"id":"Q389498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6944046$6BB258A8-8BBE-4AEB-AD68-D8BE8726DCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb718e8f00034269eb9e287ba3ffe75c1938949c","datavalue":{"value":{"entity-type":"item","numeric-id":260389,"id":"Q260389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6944046$C212BF1C-CF8A-4CEA-82F8-1C842F129F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7749ea419a7c3b783242f22f32dec4d05237622f","datavalue":{"value":{"entity-type":"item","numeric-id":2040599,"id":"Q2040599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6944046$A8925D56-E410-46AB-BFC6-CD10C8466B13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c757b9b7db25e8670dea572b24907796ea9667b","datavalue":{"value":{"time":"+2025-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6944046$FDAF00CF-BB2E-49A2-AF3D-DCBF1941105C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6944046$2E348EE1-7C66-4398-9BC5-C3FFBEDE19A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aebf7996299f7d8ac7c078ecc525f58ecd600ca","datavalue":{"value":"8078943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6944046$0FCF3EE0-5C71-463E-B9F5-4138FAE395B9","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":"Q6944046$2933A8CE-7A8D-442B-947F-ACDDAE1748DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifting with simple gadgets and applications to circuit and proof complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lifting_with_simple_gadgets_and_applications_to_circuit_and_proof_complexity"}}}}}