{"entities":{"Q6168323":{"pageid":13303208,"ns":120,"title":"Item:Q6168323","lastrevid":39739562,"modified":"2024-12-30T18:04:35Z","type":"item","id":"Q6168323","labels":{"en":{"language":"en","value":"Space characterizations of complexity measures and size-space trade-offs in propositional proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7709773"}},"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":"Q6168323$B37CBEE7-6C95-4E1C-BC84-E0288E8706A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5437ff5649a63dbf2697e176fd342837e501d8b3","datavalue":{"value":{"text":"Space characterizations of complexity measures and size-space trade-offs in propositional proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168323$B9067248-571C-4B78-806D-C48BA0975A7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38d8a2fa1234dd5dbc88e23cd6730f5bfc4ec54c","datavalue":{"value":{"entity-type":"item","numeric-id":6168322,"id":"Q6168322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$0A9DC7BA-4270-40C1-A4BB-03D7B215F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$53C550F7-0EF6-45B5-BDF7-5F81948AB4B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$FB7FF1B3-5F85-4C46-954A-A8FD942A9773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"575ce402c792e7e8014b521617b17c813cbe1428","datavalue":{"value":{"time":"+2023-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168323$D642CEF3-C1E4-4B28-9BE7-8C7052A9367C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168323$C665F3B0-6758-4964-B685-D438B2E9A8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68f65b5dbbf45fc65086ec04fbed9677086a3f56","datavalue":{"value":"7709773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168323$768D6F6C-66A8-4DB2-BA1E-35820D64F548","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168323$1468DDE0-07E1-46A8-B047-3BD8452ED9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168323$E3507634-0089-479B-8AFB-C767DD9BD531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184549fba51ad87148b4352e5fbc245d48ad5011","datavalue":{"value":"size-space trade-offs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168323$880319BC-169D-4860-A37C-76C85075F8AB","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":"Q6168323$3B66498A-E4F7-415F-A9BB-4E246FDE6CB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$A38196DD-7B8D-4506-845D-F5B909085E00","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":"Q6168323$2CDC256B-4146-4EEB-8824-2BD64D2830DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$4B1F3AED-E084-4EAD-924B-F06CF773AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$E21224B3-3165-4094-A114-F2366364346F","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":"Q6168323$FFE36179-0C2C-4A71-92BE-819E73A837EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$4965756E-FD07-45A1-832F-CC2BC4CA6073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$8D6FFEFD-27C8-430F-A099-484D2CD42162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e110175d52f4bc0a920c1f898088b5e0661913d9","datavalue":{"value":{"entity-type":"item","numeric-id":5277893,"id":"Q5277893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$EC2ED691-6FAC-44AB-9CD4-3D977BCB9BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$4FAFF278-E97C-4B7A-AC47-6D803650212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5678987ec8897453a8cae14973a4d161fdc0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4598195,"id":"Q4598195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$BF4EC2C4-78B1-4225-8B0B-B7B98AF14951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb0eb99934ac1a5d4ef8a059685c9d74374276","datavalue":{"value":{"entity-type":"item","numeric-id":1616620,"id":"Q1616620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$B3B68082-DF06-4FFE-B31F-B9A65DD7F62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4543d8f2ef36738c645393aea2d2e60cd486df7c","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$F5A4810D-EA84-4E67-A94A-385439BA7BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abf8772e67aebfe123b04780ad19bd9805cad99","datavalue":{"value":{"entity-type":"item","numeric-id":1885907,"id":"Q1885907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$463F4DC1-3ABD-4328-9A5D-B4DF2BEABED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e215b697f5de642e2cf303b388a6ea8d14941b","datavalue":{"value":{"entity-type":"item","numeric-id":1641156,"id":"Q1641156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$5A32169B-1DF0-412F-A72C-34A0E8EFB2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$AE0A14D0-61C2-41B2-87D7-3D1D27CE1FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5c317afaae64e3131bbecfcc0867e95b3a3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5495852,"id":"Q5495852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$DC853884-7D9C-4F99-A238-F3B592AB56A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d185feafbe17c7f4015ee208c31bd202651a36","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$5E123273-264C-4034-AAB0-38B9B290F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb54321e21d9218519a6e43c2917ccec65444a4","datavalue":{"value":{"entity-type":"item","numeric-id":4554052,"id":"Q4554052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$01AB605D-B9C4-41A7-89B3-BC16CF1D8EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34354019cc1f4775fba2a3965f1a17955115f4bf","datavalue":{"value":{"entity-type":"item","numeric-id":1405735,"id":"Q1405735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$32895B91-C074-4FB1-B176-CAB30C464216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec3a74f1d95da129c73ba2cdfdfded47d8aecfb","datavalue":{"value":{"entity-type":"item","numeric-id":647405,"id":"Q647405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$2F9C038B-C24F-4C38-B360-C9F0A4A24D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f749f84f14f77788b59f73419ae17a5eaa595a","datavalue":{"value":{"entity-type":"item","numeric-id":3191584,"id":"Q3191584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$2E095F86-FE7C-41C9-9D8C-D246B5988531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082052bfcd50de0370f2110e512d62294b8f652d","datavalue":{"value":{"entity-type":"item","numeric-id":5713749,"id":"Q5713749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$8718C06B-92CD-44E5-AE83-A671A3876C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef315ab5ad899918c3679cb795f946fa31b7854","datavalue":{"value":{"entity-type":"item","numeric-id":685363,"id":"Q685363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$A509E224-ED9D-414F-B304-83E1006A9846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f02144b860d73e00cf89611c8cec3ca5fa5cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":3192062,"id":"Q3192062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$CE55B31E-5170-4097-86B3-C319492193E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$132FB9DB-4210-4336-BFE6-930DAC3A0BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134e740d2f93ffe16c38e583df0a2463a87f02f3","datavalue":{"value":{"entity-type":"item","numeric-id":5090501,"id":"Q5090501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$B599EA95-ACA5-491D-8E2C-026A21003A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cd1afd6809f2236d203cad789f950bef0e99a8","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$0D90F263-C753-43BB-89D9-5D8EC003B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cfcfedcbe685dbdbae84b62b1205ddec05c5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3177773,"id":"Q3177773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$6E72A23A-170E-4171-9640-C48F122FBFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98aa1fc85848ea40f29cbff62e92500fc34f29b4","datavalue":{"value":{"entity-type":"item","numeric-id":1014444,"id":"Q1014444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$77BBF6B1-0BEB-4DDE-A66A-2582EA447ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$05C21FDA-469F-4B8C-AD57-8BB441AF7453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a7e4418ac17f21ed0f4437cc57844c7dfca4e","datavalue":{"value":{"entity-type":"item","numeric-id":1230508,"id":"Q1230508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$9DAD3B37-F9E3-4A4F-BBD3-0F319DF23971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f99fc0604c1edf1b44f83c3b9538e477322458c","datavalue":{"value":{"entity-type":"item","numeric-id":4143082,"id":"Q4143082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$BD452BE0-8E31-4CC4-8D57-270C8850A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3868dbf56bd7e8d60550e371f494d2e9172a76b","datavalue":{"value":{"entity-type":"item","numeric-id":3959426,"id":"Q3959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$8C659CD0-B80D-4EB4-97DE-A1C56C2C2D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfb0bb13bf9cb7dad5ee87b5fa6028eb7e40b4b","datavalue":{"value":{"entity-type":"item","numeric-id":2848360,"id":"Q2848360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$88BD6B0B-E749-4EFC-B35C-BC2E8CAF7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ce3bb068b8dec1e4471ae9b2353f69bfe6b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2817796,"id":"Q2817796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168323$F3872B4B-64FA-4B3E-808A-189DFD95EEB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8f81add03b75df20a6a1b547517d71f59b17c5b","datavalue":{"value":"10.1016/J.JCSS.2023.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168323$A98C6C8E-536F-47C9-B90E-0D8C29923608","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168323"}}}}}