{"entities":{"Q647339":{"pageid":649188,"ns":120,"title":"Item:Q647339","lastrevid":42621850,"modified":"2025-07-04T17:31:32Z","type":"item","id":"Q647339","labels":{"en":{"language":"en","value":"Proof complexity of propositional default logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977561"}},"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":"Q647339$4A03585D-9612-4A9D-AA75-378B0C2F85C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76a8a5b301aa900cba1137ebd75f4d1689843790","datavalue":{"value":{"text":"Proof complexity of propositional default logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647339$90B9E6C1-410B-4493-B235-9814143CDBD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b780f74799466d7d0155cf09dc573236e72df377","datavalue":{"value":"1308.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$0E9F8A76-0D62-4F05-8D38-B60D04DE8B80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$B29C5523-FC46-46DD-B268-DFE99BE2F067","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$CC061C7F-9897-4BD3-8D1B-EAE13920360C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647339$38E2EFE6-F27D-4089-B349-836AFC0AE8D0","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":"Q647339$0EA7B528-2E12-4D7B-B34C-DDC629ADB3A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14d3777e21049ba4f6d05d755c239cd2c6b24490","datavalue":{"value":"The authors investigate the proof complexity of several proof systems for \\textit{R. Reiter}'s propositional default logic [Artif. Intell. 13, 81--132 (1980; Zbl 0435.68069)], which is the most common formalism for nonmonotone reasoning. First, they show that the calculus of \\textit{P. A. Bonatti} and \\textit{N. Olivetti} [ACM Trans. Comput. Log. 3, 226--278 (2002)] for the \\(\\Sigma^p_2\\)-complete \\textit{credulous} default reasoning is essentially equivalent to the classical sequent calculus LK, in that bounds on the minimal length of LK-proofs in terms of the length of the input sequent also apply to the \\(\\mathrm{BO}_{\\mathrm{cred}}\\) calculus up to a polynomial increase, and nonautomatizability results for LK carry over to \\(\\mathrm{BO}_{\\mathrm{cred}}\\). The same also holds for the residual calculus RC embedded in \\(\\mathrm{BO}_{\\mathrm{cred}}\\). Moreover, the authors describe how to extend any given classical propositional proof system \\(P\\) to an equivalent proof system for credulous default reasoning.  Bonatti and Olivetti [loc. cit.] also proposed calculi for the \\(\\Pi^p_2\\)-complete \\textit{skeptical} default reasoning and gave an exponential lower bound on the length of proofs in their basic calculus. This is improved in the reviewed paper to show an exponential lower bound on Bonatti and Olivetti's enhanced skeptical calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647339$AA4065FF-CF99-48C4-BE2F-60AF0E55DA81","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$28E84358-CAC6-4DC2-91E3-5F7F13DA14DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$CC8EB495-3C34-4E36-A5BD-DFAD6CDAA3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$651C6818-F5B1-4732-9AC6-8AF8920834D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b911b1a8144cec5b119ab145eb9d21d62d4932f","datavalue":{"value":"5977561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$5F851EC7-C1F6-4F7A-9E87-9EE58CD2100C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647339$E4E008A0-E1F7-4A7D-891A-1A4D258521C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q647339$9DB47E28-97BB-41A2-83CD-CAFAEAD677E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q647339$95A3D252-6B63-4876-866F-4E483DFAC247","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":"Q647339$E0970D69-7B07-460B-8668-B1E2181C8CC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"684a4bdee4e38885a4543e0e84e308da9a0eb0c5","datavalue":{"value":"W1965803162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$67D2A4B8-8D75-4B74-BEDD-A678F66BB987","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9eb4569ace585ad7464d42d68519055998bb76a","datavalue":{"value":"Q57998311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$D7E8B54A-1C0B-4548-B83C-89EFD225380C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e005c5656dfe8af90187b5c9f152bbd157e30aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$790DA010-8C84-4948-9DA7-8C44C57CB15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e43665b4df5f63496c33b94a9f1cd7e71ef733","datavalue":{"value":{"entity-type":"item","numeric-id":4930577,"id":"Q4930577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$654A7FAF-B819-4B3C-97D8-78F535111B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbf57e9ab3e3de0dc46a6723061a1810d5f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":5392678,"id":"Q5392678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$05E1A99E-9065-4020-B1A9-68A89C272887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cb5c2591c3b4779c32d742e1061633a99acbed","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$BA05F0B6-60CD-49D6-99F4-64192E50D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$C017B3E2-CDEF-4C62-B53C-D78A446DDE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab648e1689febccc7daffba18fb70c2f3e13c50","datavalue":{"value":{"entity-type":"item","numeric-id":4275256,"id":"Q4275256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$B69366F9-4A2C-4AA8-ACC7-2855EA6ECA73","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":"Q647339$0C78DDC6-455E-4C78-BD7D-DD316D4F39E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd930ab1af2762aee3305be68b54dd73d7cb399","datavalue":{"value":{"entity-type":"item","numeric-id":2751371,"id":"Q2751371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$867909CD-8319-4020-927D-BCC7259816A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558a8dd2e71aab5a2cba4195f7760f22b214457e","datavalue":{"value":{"entity-type":"item","numeric-id":3549127,"id":"Q3549127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$07019EAD-A941-451A-BAB2-CCDE964208FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b34ba705e389fe9c4dd2c4054287e15a051942","datavalue":{"value":{"entity-type":"item","numeric-id":3703316,"id":"Q3703316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$196C33B3-D93F-4904-A9E2-97C80DCD66C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$7C4FC97F-EA95-4D77-8659-D0BAB77F212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$87CF1A93-F373-4FCC-AAF5-49B7BB3D38D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea72334575ec9f68c192adc857ab078ff1e97f3","datavalue":{"value":{"entity-type":"item","numeric-id":2503409,"id":"Q2503409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$AA26E47A-7E2E-4C23-8ACF-68D9FAC8CC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9d8bfe8f81eec003462d830bf21e3091d48818","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$12915C22-72B5-47C3-AC48-DB9ED729DC73","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":"Q647339$BE28642D-6659-42E3-A4E1-D144B52BFD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$D41B4A4F-82D8-4F65-B849-59E7AECAC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc4db50260c4eeaef046e54428421e6ee70389c","datavalue":{"value":{"entity-type":"item","numeric-id":3829532,"id":"Q3829532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$442CAB02-BA7B-4A53-881C-C599271AA5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$C0D4651E-8D03-4D28-AA23-7208D68A9AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$36754FD0-FE27-471B-869B-D502172DDA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd0b8489aba57d80e9eb153dfd238f15cfe905","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647339$345991E1-C906-4E78-9D5F-F35F9569E9EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad5ea3c27929e7caf5eca99ef1e94a9f1e2e1a95","datavalue":{"value":"10.1007/S00153-011-0245-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647339$BEFF3879-2ED4-4AD7-82C4-9BF80F0F1D54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58770b831abc2ac95b038ca376cdd6dce9e1543","datavalue":{"value":{"entity-type":"item","numeric-id":4930577,"id":"Q4930577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f58e92ab49687d70acfc665de73aa972d580b9","datavalue":{"value":{"amount":"+0.94296086","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":"Q647339$28C7A12E-F5DC-4C82-9D24-D4BBC2C8084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d0ef2e4ecc8703484d1c5f84564ff588a9eeb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e96282bb394e26eec2148bfca32e6d746521de","datavalue":{"value":{"amount":"+0.84166527","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":"Q647339$BACE4E9C-E526-4085-A026-4B1D9084306A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbc866c35342d1718fc4b24cf4992a337dad3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5193024,"id":"Q5193024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516f7a776bc8ac9ab82647ccd9ad7571bac0d263","datavalue":{"value":{"amount":"+0.82050186","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":"Q647339$592510D9-EF08-475D-A5EA-D5B91F52677B","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":"1cb7d04885eb2d769786080d4fc8c88912e2f3a8","datavalue":{"value":{"amount":"+0.8039851","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":"Q647339$8BF4F3F8-9320-4F58-B263-CA52D43045A8","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":"955e3251e7d8e03c83c4fa32c6c73a90f16a0e61","datavalue":{"value":{"amount":"+0.8029053","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":"Q647339$B92CCFB9-8C9C-4927-B780-8104EF1DF627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a13128daf98dca103dcb1e2b9a1811750cf66c2","datavalue":{"value":{"entity-type":"item","numeric-id":1852857,"id":"Q1852857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4f75834f34cc072baf33d72c10a166e705ce87","datavalue":{"value":{"amount":"+0.7984345","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":"Q647339$D95C3A3D-57E0-45D9-BD8D-2D5325E66444","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":"b97e248bba05d300d7ed18cc204d3b7395e1205c","datavalue":{"value":{"amount":"+0.7978883","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":"Q647339$58C6E94A-0FF2-49BF-ADFA-03E8266CF835","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":"87c8a88b3579293d0095bbbceb533de078e9113a","datavalue":{"value":{"amount":"+0.79220545","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":"Q647339$E217B8CB-3BDE-41D9-8AD5-24683C478A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161f43ccdac475f3d72a4c9ee65736acd40732c2","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f5e957683729e2fee3f9bba08c275a87bd031f","datavalue":{"value":{"amount":"+0.790245","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":"Q647339$1C3EDEBD-328A-4DB4-99C6-4F127A5DED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6326f0de5c45cb0662ad22f87f6e1295099e48c9","datavalue":{"value":{"entity-type":"item","numeric-id":3493327,"id":"Q3493327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f5e957683729e2fee3f9bba08c275a87bd031f","datavalue":{"value":{"amount":"+0.790245","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":"Q647339$3E42DBB0-53EE-48B5-91C5-2FB46CEFDCFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647339"}}}}}