{"entities":{"Q3503621":{"pageid":5533525,"ns":120,"title":"Item:Q3503621","lastrevid":48760933,"modified":"2026-01-05T19:32:21Z","type":"item","id":"Q3503621","labels":{"en":{"language":"en","value":"Twelve Problems in Proof Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285288"}},"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":"Q3503621$8A81F6F5-ECFB-4528-B16B-69184E988451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acc96e6ed3e47d059eebc07cc732523972bcb3f1","datavalue":{"value":{"text":"Twelve Problems in Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503621$E8FD3BC5-E6F8-4DEE-B6E9-D99BBECB49CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eae14ddc8f8d16e946c2c3c4359ca682767f3d07","datavalue":{"value":"1142.03369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503621$63B263E1-1E28-42D3-8381-CAF608D25F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e34e93955e047fbdb5b6725533511335e848b0a5","datavalue":{"value":"10.1007/978-3-540-79709-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503621$C5C71BA8-B85C-4123-A3D6-4A734669B11B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503621$3ADA62F0-0B38-4467-9240-E6C970ECFA90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503621$9C092355-3E66-4B72-A004-F291E56FB3BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf52a5dab4cce181d346855b7e145b14f7affd55","datavalue":{"value":{"time":"+2008-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503621$9E653E21-7811-433E-BC26-E6AF5AC8E49E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503621$ACB3DA3E-FE4A-4294-8817-B7FB6046AF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503621$7FDB35C4-0800-40D5-BF94-6B7DEC37AFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be074c985f74ec86cf093e1892356ff370909d53","datavalue":{"value":"5285288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503621$CEF11472-41FE-4AA6-944B-153FF7B87056","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":"Q3503621$229B2916-37F3-4733-8E1C-5466F072B4D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99d900c1507dbbe1e6ff903145e0841552943c35","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79709-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503621$DBCE7705-6366-492F-935B-8393734B97F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6239ca3906174c4ab5f73281d1a730fbebdb2f76","datavalue":{"value":"W1524684967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503621$8131D018-3B0E-4FDE-A247-93B3A4417270","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c331df114db1bd52997c563e99e729b195aa2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4266481,"id":"Q4266481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89a15ff3aab2b3bddbdecf35f875eabfccb3e62","datavalue":{"value":{"amount":"+0.8908544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$A049EB07-C376-4BED-8582-6B71858124EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3618b67b8f5f6621baeee9852e34ce5f333185ce","datavalue":{"value":{"entity-type":"item","numeric-id":4790382,"id":"Q4790382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e32c67ebcb85717e5eaf31864166faf2508d5b","datavalue":{"value":{"amount":"+0.8740555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$6F8362EE-178F-4BD1-9B3F-A210D2B179CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6156b206872310698cc6610c5f895271c79c09da","datavalue":{"value":{"entity-type":"item","numeric-id":2736253,"id":"Q2736253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e86dcd58cd4277ed987444304370a0cfab32ee5","datavalue":{"value":{"amount":"+0.86058474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$666917E6-B888-4138-8F0B-5FB926089B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7ec8541ff042f253da9b520d0cd44dfed3ec5a","datavalue":{"value":{"amount":"+0.85468805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$140E2F3E-D125-4F7D-8FEB-F23F5905ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7ec8541ff042f253da9b520d0cd44dfed3ec5a","datavalue":{"value":{"amount":"+0.85468805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$ACA7D7F7-EA66-4EBB-97F8-8DA8696D710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f7c93d713abbc3351371e7962089974f86353","datavalue":{"value":{"entity-type":"item","numeric-id":4390867,"id":"Q4390867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7ec8541ff042f253da9b520d0cd44dfed3ec5a","datavalue":{"value":{"amount":"+0.85468805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$801B36BB-EB25-4584-8F05-22B256A68027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d1c6c0e4dea015d277942ed357df669c8196d2","datavalue":{"value":{"amount":"+0.85468787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$2B0E9C39-976A-43C9-A990-649A6DC717A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe227919db66e25e02c2c9191bde7e2a1fcb02c","datavalue":{"value":{"entity-type":"item","numeric-id":3192060,"id":"Q3192060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ce8ef32f28f8f3cfe45852d235d295cb92593e","datavalue":{"value":{"amount":"+0.85415107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$64E7316E-6DEF-4B25-9CB5-D7C938901638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3402b0ea3f174d1ceaf065acb668280b7dbb8d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5694881,"id":"Q5694881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a1734d305a54673f6b6d8c09b9664a118c263d","datavalue":{"value":{"amount":"+0.8515293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$16DB6BB8-16A8-45D1-A8C2-AC39063E0E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24bd61806512267ccdbf17961278609211f2dac","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3041a0b6a79084af684f1250ca89bea5e923b7","datavalue":{"value":{"amount":"+0.85152924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503621$16C401CF-8B65-40BE-8331-55724498C15B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503621","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503621"}}}}}