{"entities":{"Q451111":{"pageid":452878,"ns":120,"title":"Item:Q451111","lastrevid":61931427,"modified":"2026-04-11T02:38:33Z","type":"item","id":"Q451111","labels":{"en":{"language":"en","value":"Parameterized proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085140"}},"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":"Q451111$C9FBC4A8-D5E4-4A55-B505-98615F1C8518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a47a3b30cfa420fb83abd59230c3f0882ad42838","datavalue":{"value":{"text":"Parameterized proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q451111$D06F9608-68FB-49B7-8333-4CDE14B47512","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2d6119cf01888baac29dc5ca3f82866497fc979","datavalue":{"value":"1252.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451111$C85FB9B0-C0D8-4FAD-8610-0B7A099FB915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$A13D3FD5-F7D3-44CA-B991-445FFACE224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$59F27FD7-D688-4EA9-A361-45F49ED21DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb09d87b39fd189b9631d1d1dd35ec7a70bf362f","datavalue":{"value":{"entity-type":"item","numeric-id":1300668,"id":"Q1300668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$8CE7E65A-AB96-4B3B-B16F-D509DB0A5E3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$8F4E808E-D57A-420E-BDA4-C1E0DD24B1AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q451111$660177E5-6AF5-4D8E-9C88-945002D0350C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eb4df858518f155434e5e614b204a282e633639","datavalue":{"value":"http://dro.dur.ac.uk/4961/1/4961.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q451111$3230C1A1-298A-481C-AD16-ECDD6D15BBD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451111$8D2E5430-3AA4-4243-8E90-4DCA0160C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451111$D76A84B7-F650-420F-9B82-AC37B73C8B2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa002b5e93d147f4c50b0b668f09a0cb0c2b41d7","datavalue":{"value":"6085140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451111$8FE97438-D521-4925-8696-7AC79FF685F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q451111$BF143B09-926C-4BCA-B6AD-2F3227D0E5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q451111$3AE02378-9890-4A3D-955C-306C8048BA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76f990d592d31ed6e68e647556e67888e2efbc94","datavalue":{"value":"complexity gap theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q451111$D7185700-754C-46B6-BFE9-93681E48B5A2","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":"Q451111$62F3CE22-F5C2-4250-8B80-D969466DDBCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b37842b9cd7146ce58e7cbae35176063ff47ea29","datavalue":{"value":"W2112145019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451111$EE8BAB78-8687-47B0-87B8-88D624255843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19bada21e08e27b656eb12e6e9fa9312ff6eaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$50D8B799-0E09-43BC-949B-82A3C72C7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee438a6db16bafb866169add129c7ea936f09b2","datavalue":{"value":{"entity-type":"item","numeric-id":1877697,"id":"Q1877697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$98A2156C-537A-4A67-9AC7-C817DBBA0272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7c6a3d15214a0315545a5229b3f196f2e12e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5756684,"id":"Q5756684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$9B481917-F37C-4306-BAC1-C6F50BC5D71D","rank":"normal"},{"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":"Q451111$6816DF2E-14B1-4DC6-ADF1-5BC5F1A2240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$32CB7A69-6CC9-43CB-B4DB-A39583A6B8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$7A8D569B-F1E4-4255-A932-4A921FE25487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$B47B9B9D-01EC-4816-8AB7-CC0464D1BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$436BCD17-8E18-4692-86CB-78273A41094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$CCFFEEB7-5B00-402C-B2D2-424E530698D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a6af974a4419b7b3acbd103c48728b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451111$D1547551-EEE4-4829-9E3B-5E77B7264F56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bd3d6ed8ce31fc425a1c515a18a36dc5e884043","datavalue":{"value":"10.1007/S00037-010-0001-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451111$EA7EAA92-E2B0-43C5-BB72-CFC81CB256E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b40118e8dd8f1de4a9281b291c59cd388043e8","datavalue":{"value":{"entity-type":"item","numeric-id":3012838,"id":"Q3012838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a337e232e9e5c7404cd9898e923270447dc97ff5","datavalue":{"value":{"amount":"+0.8831309080123901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q451111$2A9321D5-8E0C-4058-B684-1C8A43542C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a39d2c2d49db04b7ccef8cb071787dc54a48af4","datavalue":{"value":{"entity-type":"item","numeric-id":2947567,"id":"Q2947567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbeef3c9898b295e7937765a08a92c47e7f4996","datavalue":{"value":{"amount":"+0.8733134269714355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q451111$45F093F3-A682-4841-8C2B-4A474DF2DB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46261b0b6fef3d6a615e57e72104c0a989c8a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4899242,"id":"Q4899242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4892d17ee408829641587c3752108505c203aae7","datavalue":{"value":{"amount":"+0.8286678194999695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q451111$B01AF29F-55FC-4C81-AA26-2938E7A96294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0711f02118def7b81f9cc7fca898d5cafe36caa5","datavalue":{"value":{"entity-type":"item","numeric-id":814421,"id":"Q814421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0e8ae439da109706b8221c82c83af4b86f93ff","datavalue":{"value":{"amount":"+0.7954992055892944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q451111$99707862-4411-48F6-84FD-D500700E5B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca41ae030821ab671f7a23d248198671e5582a2b","datavalue":{"value":{"entity-type":"item","numeric-id":820148,"id":"Q820148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f7c6228dfa7deefb37ff066a979d6d5ad8cc44","datavalue":{"value":{"amount":"+0.7805588841438293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q451111$F0DFC357-B008-460B-B19D-9EF0150B19D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized proof complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_proof_complexity"}}}}}