{"entities":{"Q4649532":{"pageid":6679113,"ns":120,"title":"Item:Q4649532","lastrevid":40785690,"modified":"2025-04-04T16:41:30Z","type":"item","id":"Q4649532","labels":{"en":{"language":"en","value":"Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109819"}},"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":"Q4649532$9169AE3A-B320-4E3F-B5D2-2A702D482239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4207c334ce883bc716c039ec3baf51719812dd2f","datavalue":{"value":"1252.03131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649532$931B02F8-F514-4CDE-B610-3620B3395C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649532$AF3DCBB7-FBAC-4FFC-8E3C-4464BDF88A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649532$D7DA6BAF-D25F-44DA-9212-1DA90260454F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649532$845C633B-E06C-4814-BEF0-838C6E1FE67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"584dfc4eb293bfaa80c4a00f2aaf6fc39affeb62","datavalue":{"value":"6109819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649532$C9B2793B-2F8D-4873-A1C0-1F5F63423180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649532$F8217432-0AB5-4598-9221-E5F2DCCF0283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ec32384e2e168de962fc12d47cc7b60ef7a70c","datavalue":{"value":"weak formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649532$B7102888-83CD-49F4-929E-D959310D5EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649532$B5CBBAFB-0FFE-4B87-AE30-A0491D23FA7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649532$9A6039B7-D102-486F-8187-E6D50C3B3C55","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":"Q4649532$EFC83318-56B3-4BF3-8CD7-4741426991AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5520e57df46a0d682b1a13facda70f394daba669","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CSL.2012.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649532$8BFC1AD9-5979-420B-BA13-82B349DF4A96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d754e00cde357d68452828f080dfdd4c9f1905c","datavalue":{"value":"W2244997347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649532$C161A201-AB22-4C10-9292-E2BC056F718F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90efbefc54c4636afef759a1daf0d4446eac7cce","datavalue":{"value":{"text":"Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649532$1AB2F664-269E-4C4F-826F-E76AB6774B1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eac88a04771683559e2e5cc89271c227de9ceb2","datavalue":{"value":"10.4230/LIPICS.CSL.2012.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649532$A456515A-9323-43A0-8AB5-A243D700B6FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6644c89e365e503e202a0eb12c3f2936cc4b499","datavalue":{"value":{"entity-type":"item","numeric-id":3569758,"id":"Q3569758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3343ecc4824e4e68541f2cb64554fd1a01bcb7fd","datavalue":{"value":{"amount":"+0.91618824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$103D3697-3AD6-488F-B54C-4AC3CBCE2CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4d584f07a9419d9e4518134850f58c8aec158e","datavalue":{"value":{"entity-type":"item","numeric-id":5874190,"id":"Q5874190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6e00f4098e10aeebe71e73ffa39dfbf7a36bec","datavalue":{"value":{"amount":"+0.88945866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$59B82186-D335-4EAF-8A54-06C90F41AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cdb0a1d2433993c5a3966532e6a955e980de22","datavalue":{"value":{"entity-type":"item","numeric-id":3676130,"id":"Q3676130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f018e822653d6a3b6eb6229b74590fff0ce9cfe","datavalue":{"value":{"amount":"+0.88516414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$D10E21DE-9A54-4B36-A317-014D66DD62EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d835e69c406583637d25fd197db97d8da93d77","datavalue":{"value":{"entity-type":"item","numeric-id":5465359,"id":"Q5465359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904948cff6fca31c47c947f22bdd65621d9c8a3b","datavalue":{"value":{"amount":"+0.8751864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$3775095A-9A71-415B-A746-C3270B281B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b646e151fac68c84c08c73fa0431856521a625","datavalue":{"value":{"amount":"+0.86640376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$F310FAD5-3E15-44E5-B8EA-515F28D0451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c3814e9b17beced7df0893ebd8abe9058e12b3","datavalue":{"value":{"entity-type":"item","numeric-id":4635844,"id":"Q4635844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3c7dd1ada9a92f516f5fee2e8d09e63bc93b56","datavalue":{"value":{"amount":"+0.86539364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$3DC5719E-1CA5-4185-9145-A09683ED2F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b417248f164d120103a0cb16f0137e6e5af00970","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eb83928db6b4a08dd32fb82d9d4cfcb7cad426","datavalue":{"value":{"amount":"+0.86213934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$5354F78D-42F5-4D24-8FF6-6D649B1ACCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ba1c674b8c2ae1df7fd3017f835f546ef95963","datavalue":{"value":{"entity-type":"item","numeric-id":4625692,"id":"Q4625692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b7dc9c4d9c7556abc3ff32f2b639e6a4fecf79","datavalue":{"value":{"amount":"+0.8615562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$466A36C3-435F-401E-9099-C50759E95258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9a8a3e2cecd29e76b4c4371f608f43c5571209","datavalue":{"value":{"entity-type":"item","numeric-id":3586004,"id":"Q3586004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a189fdde0eee9975bada7cc34771d0ca6cf627b","datavalue":{"value":{"amount":"+0.85947704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$425BB3F3-BF56-4368-974A-132391ADC42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086ffb3d2640758b4b703ca13c05170e4c1123c9","datavalue":{"value":{"entity-type":"item","numeric-id":5111868,"id":"Q5111868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ecaa552e913f4c5409a009ad8446bbd9d8d973","datavalue":{"value":{"amount":"+0.85945463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649532$ED07473F-C5F9-444B-8A0C-968E90EA2B9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649532"}}}}}