{"entities":{"Q4930577":{"pageid":6960159,"ns":120,"title":"Item:Q4930577","lastrevid":51093245,"modified":"2026-01-16T15:31:16Z","type":"item","id":"Q4930577","labels":{"en":{"language":"en","value":"Proof complexity of propositional default logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793444"}},"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":"Q4930577$F32A9874-44A0-4DAC-AD2E-0A8CF89D3065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3111c8871f1c771e72b600ac02a00cadc153b8e","datavalue":{"value":{"text":"Proof Complexity of Propositional Default Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930577$8C2FFD7E-5397-4441-936F-C5C29481ECAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c418b6f59f7833f785e207d943107411852415a2","datavalue":{"value":"1306.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$8987F6A0-6D74-41F6-B4FB-96D154C0C69D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3348781c702a6bb3875ebb1fb47339a67e5a8fb","datavalue":{"value":"10.1007/978-3-642-14186-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$666CECB3-7CA4-40CC-8BD3-C2AAD2B2506A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930577$7B659288-102F-4717-93A9-FEA1E9575C04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930577$3D02FB64-4CE4-4112-8BEF-84445B7B503B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b66d04b2e61a2a0b156b24850d20ef59d80ce354","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2010/2526/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930577$91813AA5-0113-4C6D-B8DE-B1A1A2E74945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$19FD08F3-634B-45D0-A94C-BF767D7A638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$C609D3CB-7F9F-4508-B210-5238D3952C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$1F383CFB-EAB3-4DCE-AFB4-21147C731837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f5b146b0f53ef569036c4a71b3ce23e15b14a2","datavalue":{"value":"5793444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$4C754A93-3713-4F80-8128-6AF9B74FEA43","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":"Q4930577$F32057B7-6DF3-4533-B5D7-76E43B5780B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f19683c2214c41223ad7a1d8e183d85225c485e","datavalue":{"value":"W1551766831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$D0138831-A400-45CF-B369-FE592C0A25F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"efae635f20fe657b1795cf69864ed6112c11d4ce","datavalue":{"value":"Q57998320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$E17F4A76-6A0A-4097-8BB2-3DE253E3BCDF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"837695d6b5207f6e289e8c46f6be17668d20fd6c","datavalue":{"value":"conf/sat/BeyersdorffMMTV10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930577$7710B1EB-5333-4138-9457-FE4F07FB97CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a7bf0d0f25486e2b487ca15bccabd9d7423916","datavalue":{"value":{"entity-type":"item","numeric-id":647339,"id":"Q647339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc8f7f773dcd5f5d28a18167402117500c3c22f","datavalue":{"value":{"amount":"+0.9957295060157776","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":"Q4930577$6C25D772-FBCC-420C-9DDA-3FD0C76A6B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddafb0b8921f701d2d1d7794b11cce76a0d169f","datavalue":{"value":{"entity-type":"item","numeric-id":5900658,"id":"Q5900658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a94afa02c38d5d7b563820fff32c9f0de23c32","datavalue":{"value":{"amount":"+0.9555849432945251","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":"Q4930577$819F6546-0AB0-49F0-9F82-9A783E9106E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a2bc18a62b13e7a03628ba54285cfc645feed7","datavalue":{"value":{"entity-type":"item","numeric-id":5326476,"id":"Q5326476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5556048b2ceb5bdf6f6cb005eaf236dd0b68adc2","datavalue":{"value":{"amount":"+0.8406046032905579","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":"Q4930577$DE9CB95B-79B9-46D5-8304-D47714B7B749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fed5f973324a7796ab5672ce47630263820969","datavalue":{"value":{"entity-type":"item","numeric-id":4610318,"id":"Q4610318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762e266e2a63fb85c4cdebb18d3cb3e3ceffb1e9","datavalue":{"value":{"amount":"+0.8260732293128967","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":"Q4930577$6954D97D-DFC3-42F4-9883-487E358EC336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac110c0e50382251469e3d37bbf2fe302dc335e","datavalue":{"value":{"entity-type":"item","numeric-id":4645232,"id":"Q4645232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e671f05a6c8c17cc7c57286b42af45f41c6277","datavalue":{"value":{"amount":"+0.8251650333404541","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":"Q4930577$D1B7FD20-1A8D-4B69-A2FF-F3D6B4AEF37F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930577"}}}}}