{"entities":{"Q3569758":{"pageid":5599662,"ns":120,"title":"Item:Q3569758","lastrevid":51018140,"modified":"2026-01-16T05:50:17Z","type":"item","id":"Q3569758","labels":{"en":{"language":"en","value":"Complexity of propositional proofs (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5724135"}},"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":"Q3569758$0B8279D0-FE9E-453C-8E23-71625FBC1C73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68529580979a274b3156a06dd40f760ec699b84a","datavalue":{"value":{"text":"Complexity of Propositional Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569758$DD81F08F-524D-41B8-B337-D64BEF96DFFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27518992be14783239f489cf1b29c9370bd8d7b1","datavalue":{"value":"1284.03261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569758$40EF1C36-626E-4ED7-95F5-F0AF1D848182","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"924ca719496b9b12aa63e629690b0cf241337a1e","datavalue":{"value":"10.1007/978-3-642-13182-0_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569758$E107D128-F831-481E-BFCE-41720686ABAC","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":"Q3569758$3271852F-820D-4C14-BCBB-E8F20A1A7FD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac94dd57b5c65400291c38d5f09a7ad8c1a5f3db","datavalue":{"value":{"time":"+2010-06-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":"Q3569758$F349E735-1A75-4509-8D94-5476A66D4E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569758$2A08105A-5C91-41C3-9CE2-C2DF4F125604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dc3872679a04d12bdffa6682a4ea72501e5b57f","datavalue":{"value":"5724135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569758$3ACAE04D-715A-4354-9B62-C8B56714E289","rank":"normal"}],"P16":[{"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":"Q3569758$41BF3C69-BBE9-488C-8598-BC8EA99D0994","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":"Q3569758$7F927793-931E-4F9E-A31C-3CA3B3CB7C8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d79134c7677dd15cd0a2bbc56ef356165cef02d6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13182-0_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569758$D78FF311-832C-4C97-9139-AEA8FB0A7F39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19335058e35c27ab71fd6cf3876156a9d5e4ea07","datavalue":{"value":"W1676672341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569758$7C592254-CF9C-41D5-BDDB-3E38593FAD5A","rank":"normal"}],"P1643":[{"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":"e173b182adea5316b46ec30792b53fa0fdd13ab1","datavalue":{"value":{"amount":"+0.8664499521255493","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":"Q3569758$6CBF3F9E-CA0F-41A1-B70E-6C2CBE2F154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f59ff66235ef6cf321b2131e6ff3d768162a56","datavalue":{"value":{"amount":"+0.860518217086792","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":"Q3569758$9B1C1396-B054-4786-AAF9-69486880402D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f59ff66235ef6cf321b2131e6ff3d768162a56","datavalue":{"value":{"amount":"+0.860518217086792","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":"Q3569758$035B27D7-109E-435F-82DE-358AD5BDA11D","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":"17ea1c18a853b7e962b2a16d4464370f1ad52194","datavalue":{"value":{"amount":"+0.8482935428619385","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":"Q3569758$FB0927E4-19B3-4E3C-9899-2B4EA8CE72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e7f0ad797cd6e1343cb88e23bf4234230c9254","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd78849db64e479944983d7c7a732c66643274e","datavalue":{"value":{"amount":"+0.8357441425323486","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":"Q3569758$DBAB2260-D704-40DA-8A7C-06F75B79DD26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569758"}}}}}