{"entities":{"Q6063345":{"pageid":13197501,"ns":120,"title":"Item:Q6063345","lastrevid":102316826,"modified":"2026-06-06T04:10:13Z","type":"item","id":"Q6063345","labels":{"en":{"language":"en","value":"The impact of heterogeneity and geometry on the proof complexity of random satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7762021"}},"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":"Q6063345$5A928EB6-6717-4275-B945-D36E7773A71E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa4b5f0135aed5c10f623ef8e16e8b56f81d79ea","datavalue":{"value":{"text":"The impact of heterogeneity and geometry on the proof complexity of random satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6063345$53335E10-ED61-4725-A956-3AA6F4F40A35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f2b9521209d28107f8b226b5b1287911a6230a","datavalue":{"value":{"entity-type":"item","numeric-id":476440,"id":"Q476440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$0C4476CA-C89E-4DDD-8801-3CA12ED7E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1869aa27e1830b624b1855a9b5e8c40621403f63","datavalue":{"value":{"entity-type":"item","numeric-id":319122,"id":"Q319122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$3FECB46D-F77F-4816-8FB3-853FCC0C04CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ae5aa6659665411bb228bdbf0502956ccfe92fd","datavalue":{"value":{"entity-type":"item","numeric-id":2110376,"id":"Q2110376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$70843669-57A6-4719-B612-CFA8540C525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$913596BB-CB19-45E1-85BE-B846A1F25C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"906a686c7f3bc16507fa49e3152ecf110f09924a","datavalue":{"value":{"entity-type":"item","numeric-id":1656584,"id":"Q1656584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$2FBBE43C-61D7-4B26-BF5A-A3C7EDB2D0E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2a81bd8cc4ef47cc47d927a10dfc00de4f430c","datavalue":{"value":{"time":"+2023-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6063345$FE1CDA8B-1CD1-4096-9F39-115D2128D554","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c9bf0cd219c81658a6f143e0d7f8c7e5ef2c9f4","datavalue":{"value":"https://arxiv.org/abs/2004.07319","type":"string"},"datatype":"url"},"type":"statement","id":"Q6063345$3C93384E-075C-407F-B98E-5E780EA4BE54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063345$1912C04F-5778-4F11-92C2-9AD2BA341BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dc47a80375051b61326aef30653f59f9c0922b4","datavalue":{"value":"90-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063345$6687FE28-6C61-4FB0-AC8A-1DFD664D3D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d74c96413c662ea23b63734dcb43aa4fa58967fe","datavalue":{"value":"7762021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063345$B2BEC684-2819-40A6-9617-9A89D26CB444","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29e5343453c420843795c4b99f515bdfe83c9b1","datavalue":{"value":"geometry/locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063345$1D010D27-3B37-42C4-9BBC-C49B5F14A082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715fe318c99227dccc8d26bf88e22776b68c9f87","datavalue":{"value":"heterogeneity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063345$6B85174B-2D74-4A1B-85E4-99ABA0D45727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063345$0169D228-722A-43D7-97E6-2C459AD8E26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319d0f9f06dd9ec464939cdfc670308cc43654db","datavalue":{"value":"random satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063345$4683D146-FC5E-4556-BCA6-1BBDD9EAD25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a942004e7c3ebf174ed889f18fd8e1f8b9b24b","datavalue":{"value":"Voronoi diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063345$CF224710-BB81-481D-83FE-76AB5D6B578E","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":"Q6063345$8FFB3142-F211-4DB9-B4D3-6BDD166C6BB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0203cacd3e1feabcb39c75181c146dcab2a32b3c","datavalue":{"value":"W3117273226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063345$66D7C2F4-D930-477D-ADB6-BF4AA123CFB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4967f109372099be77d5d3444f35cb57a000bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$3CFF2522-C1B2-45C0-980F-AF0011009E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a25a12f37c3deaa3b693b3039e8ee635595916","datavalue":{"value":{"entity-type":"item","numeric-id":793982,"id":"Q793982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$B16BEE5A-47D9-434A-8697-32F882F5B857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845eaabfed9368451854349c91bbdb46d85b1f07","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$9737C694-8E43-41C2-9419-BAFEA84E637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$D35D283A-FBA4-4888-BB79-65FC1DC294BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cbc30b4d038b0f1675fe5e347ca703939d10e5","datavalue":{"value":{"entity-type":"item","numeric-id":6058245,"id":"Q6058245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$9016B1C4-60C1-4A53-96A7-95F826EE70F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e52aeb17a6fd927e4e648fd9b15dc059d98f99c","datavalue":{"value":{"entity-type":"item","numeric-id":2701066,"id":"Q2701066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$DA95EE26-5C23-4556-8294-F96B69BAACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89ed79bf0e33f9a93cfd63e7f44c155a48605d7","datavalue":{"value":{"entity-type":"item","numeric-id":5420001,"id":"Q5420001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$CA64A372-8AC3-46F9-BF88-5365999711CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6948c87e374d06bddd3b71880b773b397592572d","datavalue":{"value":{"entity-type":"item","numeric-id":2354919,"id":"Q2354919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$6465280A-D6A0-4BAE-8D6A-90F2DB201BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757cc23b8607de11ea741de86109730478f0af0a","datavalue":{"value":{"entity-type":"item","numeric-id":1389168,"id":"Q1389168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$EBB28799-1871-49D5-A2C5-8056400E79FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be6853c98d27949efff540e8c22446565e74f44","datavalue":{"value":{"entity-type":"item","numeric-id":1713405,"id":"Q1713405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$FF4979C0-92FC-4DF5-ADE3-FDF1D8C6CB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237c1771c64ec7ecb03edb4d4ca06e0d37362206","datavalue":{"value":{"entity-type":"item","numeric-id":5460742,"id":"Q5460742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$F39E6A6E-9EF0-48CB-94C2-413214D80FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f2106ccfbd102353282ded06637809666ce198","datavalue":{"value":{"entity-type":"item","numeric-id":1865669,"id":"Q1865669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$F4DEA03A-6F67-4628-B906-B06FDF3D6681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$AF4C4F0A-21D1-4A91-BD15-A49CE7C5AE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a636ac2095ac4c899e506b6adf7e39ac4e07d75","datavalue":{"value":{"entity-type":"item","numeric-id":2642316,"id":"Q2642316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$CD7D1055-5C9F-459C-8FE0-CDD806F7EFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$7DC05F56-E901-4070-A024-8A709B573AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd764a3adc46bdfc624f273823c0b0ae92856b3","datavalue":{"value":{"entity-type":"item","numeric-id":4962614,"id":"Q4962614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$0D0F4B06-9944-42ED-9CD6-ADD1B82B4C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24e99967231b7887d553cb203215fdd968379b","datavalue":{"value":{"entity-type":"item","numeric-id":5891622,"id":"Q5891622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$48D1696E-CE97-4D45-B9E9-3FBBCC0FAD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2ed785cf9f035af3bd9974d791d6ac730cbd01","datavalue":{"value":{"entity-type":"item","numeric-id":804320,"id":"Q804320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$102FC74F-0236-4743-897D-36E77078D237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74102fccceeb9d0d1155a1293c28b4936c220881","datavalue":{"value":{"entity-type":"item","numeric-id":5361564,"id":"Q5361564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$FC070AF9-0AF2-4D96-B2D6-01345D1C6941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d0366cd0b0419f6ee6da615fa36c085e7c0718","datavalue":{"value":{"entity-type":"item","numeric-id":1764170,"id":"Q1764170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$9F85A9EF-D247-4CC7-94E7-31A7C77E5AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55ef7e4f75a570fef930a1f823c7040905ef92","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$057F559D-53B0-4DCF-8362-FBB66D25AE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f173d455c7d77d172615f3e801a770e65d401e51","datavalue":{"value":{"entity-type":"item","numeric-id":5874515,"id":"Q5874515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$834676FA-9BFA-4822-B5CE-A8F8891B0C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9701d31c083e971023762b4e086b4598ea45af","datavalue":{"value":{"entity-type":"item","numeric-id":5091218,"id":"Q5091218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$1D5EE3C4-36FB-46B1-AF8E-2DFA9E5B56A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb556769f4adfa0acf3277eb361673aa2f58867","datavalue":{"value":{"entity-type":"item","numeric-id":5111724,"id":"Q5111724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$1C1B8A94-6212-4909-BF52-CE03854DC428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd769f291fb14170eb6dbfac5bad962b799bd64","datavalue":{"value":{"entity-type":"item","numeric-id":2565772,"id":"Q2565772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$850BDE02-B9B2-44A9-B403-74B7CB658C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbca7c2aaf0d934c419946d96488343dfc646b4b","datavalue":{"value":{"entity-type":"item","numeric-id":2904543,"id":"Q2904543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$74A5CC1D-B804-4D5D-9F3B-8D886719D201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83b5bb66dfe841f2f60b74a7726feaa84c50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1873689,"id":"Q1873689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$754591B9-C626-4303-A9B5-B74F8C319778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9782405af19914db35a3298692fd165500f3d732","datavalue":{"value":{"entity-type":"item","numeric-id":2349856,"id":"Q2349856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$3B8BF114-A9AC-420C-931E-ABA0EFE2D0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb4d0f2eee296dbf78b040ae31cd0103c760528","datavalue":{"value":{"entity-type":"item","numeric-id":599355,"id":"Q599355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$FF1BBE69-3595-41DE-9063-390A59600A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da036f7a7f9669f70b12354a097326c0dc1308da","datavalue":{"value":{"entity-type":"item","numeric-id":1923773,"id":"Q1923773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$0E4DBFAE-6FCE-46D5-A865-EA51A87C9428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bd27ab57f23d3defbb32a5ccb58822295dd2e8","datavalue":{"value":{"entity-type":"item","numeric-id":3953183,"id":"Q3953183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$E9A6E8E1-5FC2-4750-855E-9608D8B39DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396a48bd951ebb85ac135583b7926f5d2c067e05","datavalue":{"value":{"entity-type":"item","numeric-id":3092218,"id":"Q3092218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$2E4F5AB0-4572-43A0-A5AA-ABF28003FE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37b9cc5b91f2a9fd073866161bb2d9d9a6c739f","datavalue":{"value":{"entity-type":"item","numeric-id":2818008,"id":"Q2818008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$25A22B23-AF08-4267-9B8A-3F8A845BD2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff54e11e383504600ca0552acb0bf2855803b76","datavalue":{"value":{"entity-type":"item","numeric-id":804321,"id":"Q804321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$F48BDE51-9122-4186-8488-89922DBE8F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1accccced219392f5de260d2ae1ba26436adc636","datavalue":{"value":{"entity-type":"item","numeric-id":5203939,"id":"Q5203939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$3786F070-8B26-4852-8AC0-CEFC46546EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cd2b9d3b5bbd3273c11ee0a55188ac24de6e58","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$77E33468-CFCC-4301-AC02-0F5C5FA764D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9ca9cc5217421bb3e843a3d21c158e988f4277","datavalue":{"value":{"entity-type":"item","numeric-id":5896832,"id":"Q5896832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$6203E509-0A88-4319-A04F-CB8B0ACE88ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$755189CA-FEB8-4A74-AB99-850B40D5DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7395e44ff6a9d29b51ec6f8a1450a0db2911906","datavalue":{"value":{"entity-type":"item","numeric-id":4247202,"id":"Q4247202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$01E32AB9-68C1-494F-91B8-C76389CE23DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$9A21E468-55B9-4288-8A7C-FE0DC8DFEAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf601bf6500a07507d166b188fcdaa69dc51f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5366890,"id":"Q5366890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$92A42C51-27CB-423C-AA93-530FCBAE3601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60ce810af43843aef431c6655eb2591bb7ef993a","datavalue":{"value":"10.1002/RSA.21168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063345$58AA5B04-22E8-48CC-ABF0-5F6B278F9082","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$99E27924-F186-40E9-B97E-49935FAE5C4A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063345$88D32B19-CA74-4EFC-BC14-9E06A93C8420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The impact of heterogeneity and geometry on the proof complexity of random satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_impact_of_heterogeneity_and_geometry_on_the_proof_complexity_of_random_satisfiability"}}}}}