{"entities":{"Q5927981":{"pageid":8104783,"ns":120,"title":"Item:Q5927981","lastrevid":41580563,"modified":"2025-05-06T01:43:56Z","type":"item","id":"Q5927981","labels":{"en":{"language":"en","value":"Cut-elimination and redundancy-elimination by resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1579153"}},"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":"Q5927981$AA5B030B-21B2-4116-870F-1CB8C0F1BBE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b88b1f918852c33b55a14b873ff5c41da34e03d0","datavalue":{"value":{"text":"Cut-elimination and redundancy-elimination by resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5927981$5DACCBA5-0039-4B64-ACC0-B1F53DCB3896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8e1a1630fd2971e0d6bcb13be55678a535a12eb","datavalue":{"value":"0976.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$D8A6F1D6-13FD-4CEF-9BF2-EFF272721DD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$68C22C7A-08DA-49E9-9FA8-FB50E5F69B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$C7CFCAF2-908E-42B8-AF7C-4D4BF5D15B35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$05144CA3-3F72-4FB9-8477-9FD4EB819ADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5927981$3CC9A22C-8581-4243-B3CF-896E771D2C24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08d684085a268e7ade42ffb4ae8904afbef80615","datavalue":{"value":"https://semanticscholar.org/paper/8cd7908da4d0670f34baa3a47e18a9d91c475240","type":"string"},"datatype":"url"},"type":"statement","id":"Q5927981$B9998889-55D4-490F-83B4-9856266F560A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$A06621C6-04BD-4D0C-8559-5D01F564F631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$FC1AC4F5-943F-4065-B3A9-17D7CEE3D9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$F33001EF-FBD5-4279-8AB9-82995D7BE16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$7FD986CA-CF46-4BAA-909B-865925F86841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$3EC17B53-1126-48E8-9E9E-B8FF21281E49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9079028c6bcfe4fe29e31b2f1f5746982913e6c","datavalue":{"value":"1579153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$A738F157-E288-411B-B03B-3E2F2EA111C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72be1ac0421d79d7c1a11b8fb76ed13bffcf5a65","datavalue":{"value":"hyperexponential speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927981$BA854166-060E-4EBB-A2DC-3BD97797D1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd42f7f352ada0249ce811cfec347dc1282297b8","datavalue":{"value":"cut-elimination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927981$891D03AB-077A-409A-8E97-FE5C57CDB017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcbb235967311ef7e8743333c10dae391e652c5","datavalue":{"value":"classical predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927981$68185F48-20B4-41A6-9A95-67D14046966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6ffb1c353cab625622161ce27f82723a019913","datavalue":{"value":"resolution refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927981$143145F8-3AA1-4824-8CFE-83654C6F7E2E","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":"Q5927981$24D95E13-66BA-4093-9207-CE72CDAAA188","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0c82637907fa374b5bd9814594da60f825ab994","datavalue":{"value":"W2077585224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$9E8D11DA-C6F4-4828-B373-C1D26060AE45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8867b88cb95824b879b533cfc6616cd2dbf57ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1194246,"id":"Q1194246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$004D2E01-6310-4564-BDD3-AA903B9CD5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$205D049E-FEB2-4642-A0F8-E762C97FBD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0508654f8dbc2c54065d5adc87d2e81f95024db","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$F3ADDA6C-B35E-490A-A64C-30ACD885D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$54FF8B90-443F-4DC5-8C00-95F4AD1097A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$E690147C-F577-49B7-B121-02D8BFA2A449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$42F62771-F55F-495A-A099-9C24FFA05943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$880DD3A0-C370-46B0-AD88-7B0002F2154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6fdab001158b58f1a0d83d9f5ca22421027aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4003913,"id":"Q4003913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$44DFCD1A-C00A-4D37-8F74-4A37B1283D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$148C84C4-65EC-4A68-8106-379375E5670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$D2E6AEC5-DD85-4858-A9C0-5E3C76D72B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$9EA546DB-55F0-44E5-A365-B840CC8AEDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$C584E4CA-8C4D-4376-98C6-7D985FBE9EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927981$7362BA1F-2A99-4190-81C4-DE5A6B558B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd93e8cbdd5548f939ead5b467982fa5befdd833","datavalue":{"value":"10.1006/JSCO.1999.0359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927981$0E986AC2-F15D-4617-A366-9C4A4961C689","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"926cfa6f146b8018f4b4d2d0f9b1df78872b0f00","datavalue":{"value":"The authors propose a new cut-elimination procedure for classical predicate calculus LK. The basic formulation treats a particular case: NEWLINE\\[NEWLINE\\text{if }A,\\Gamma\\vdash\\Delta\\text{ is derivable and }A\\text{ is valid, then }\\Gamma\\vdash\\Delta\\text{ is derivable}.\\tag{\\(*\\)}NEWLINE\\]NEWLINE In general a cut like \\(\\Gamma\\vdash B\\); \\(B,\\Gamma\\vdash\\Delta/\\Gamma \\vdash\\Delta\\) is replaced by \\(\\rightarrow\\)-antecedent, introducing a (valid) formula \\(B\\to B\\), into \\(B\\to B\\), \\(\\Gamma\\vdash \\Delta\\). A simple induction on a derivation \\(\\psi: A,\\Gamma\\vdash \\Delta\\) produces a set of clauses (disjunctions of literals) \\(\\text{Cl}(\\psi,A)\\) that can ``replace'' \\(A\\) in \\(\\psi\\). First, there is a cut-free derivation of the sequent \\(A\\vdash\\) from the universal closure \\(\\forall\\text{Cl}(\\psi,A)\\), hence \\(\\forall\\text{Cl}(\\psi, A)\\vdash\\neg A\\) is derivable and \\(\\forall\\text{Cl}(\\psi, A)\\) is inconsistent. Second, for every clause \\(C\\in \\text{Cl}(\\psi,A)\\), written as an implication \\(\\overline P\\vdash\\overline Q\\) of finite sets of atoms, there is a derivation of \\(\\overline P,\\Gamma\\vdash \\Delta\\), \\(\\overline Q\\) (called projection \\(\\psi[C]\\)). This and the following statements are proved only for skolemized sequents \\(\\Gamma\\vdash \\Delta\\). Since \\(\\forall\\text{Cl}(\\psi, A)\\) is inconsistent, there exists a resolution refutation \\(R\\) of it. Treating the resolution rule as a cut on an atomic formula and replacing each initial clause \\(C\\in \\text{Cl}(\\psi,A)\\) by the projection \\(\\psi[C]\\). The authors obtain a cut-free proof of \\(\\Gamma\\vdash\\Delta\\) from \\(\\psi\\) and \\(R\\). They investigate in detail dependence of this cut-free proof from parameters of \\(\\psi\\). Since nothing except validity of \\(A\\) is assumed, there is no control over the complexity of \\(R\\). The authors hope that finding \\(R\\) may be feasible in some interesting cases. This is supported by an example of a sequence of proofs where the speed-up is hyperexponential.NEWLINENEWLINENEWLINEIt would be interesting to investigate the relation of the proposed approach to the connection method, to P. Novikov's proof of Herbrand's theorem [\\textit{P. Novikov}, Elements of mathematical logic, Oliver \\& Boyd, Edinburgh (1964; Zbl 0113.00301)], Kreisel's notion of disjunctive interpretation [\\textit{G. Kreisel}, ``Mathematical logic'', Lect. Modern Math. 3, 95-195 (1965; Zbl 0147.24703)], Statman-Orevkov's cut-elimination (providing bounds depending only on the size of the origial proof, not the cut-rank) and to the reviewer's proofs of strengthening of \\((*)\\) providing normalization for arithmetic [\\textit{G. Mints}, ``A normal form theorem for logical derivations implying one for arithmetical derivations'', Ann. Pure Appl. Logic 62, 65-79 (1993; Zbl 0786.03040)].NEWLINENEWLINENEWLINEIt is natural to expect easy extensions to non-classical systems having equivalent resolution formulations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927981$84256460-4D7A-496A-A75C-10A96CB45067","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36dab317dc6184607b28b60227d46e835ea9eef","datavalue":{"value":{"entity-type":"item","numeric-id":2987066,"id":"Q2987066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851827d8bcfaa95275704f7a9463b9976aef912f","datavalue":{"value":{"amount":"+0.956967","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":"Q5927981$613ADB60-094E-4D8A-B31C-CD09B1D53ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1447727762a2f5bad690440907323f3798fe5a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0e73ac0522476eee4578520cdeb8064939c13f","datavalue":{"value":{"amount":"+0.88243306","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":"Q5927981$3E9D59D6-1E2D-4F2E-902A-029B0E11F862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e888159dc2f0ecd6c6ff1a3def540dd1f45e423a","datavalue":{"value":{"amount":"+0.8726543","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":"Q5927981$D6559CF1-94B1-4E7C-B60A-3A3B4D2E8CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a6a70c77b8169058caeb3717ebae1de1719d2","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1552bf0197fb2d4b9e47571e4c73a59641ca1930","datavalue":{"value":{"amount":"+0.86702603","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":"Q5927981$30418542-146A-4648-9D3A-D1081B6806E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9584f1ec64749e9f2a9214f5a86f967961523480","datavalue":{"value":{"entity-type":"item","numeric-id":4436026,"id":"Q4436026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96705edf908d00b59df32d07b352dd830e9d060","datavalue":{"value":{"amount":"+0.86630857","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":"Q5927981$234273AC-494F-48BF-98A0-707BFA023987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52e1167840b090646dd1cce92861988315971bd","datavalue":{"value":{"entity-type":"item","numeric-id":2757851,"id":"Q2757851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044a3167929074a5c9f2a963bd7b944ba96e3ca4","datavalue":{"value":{"amount":"+0.8646815","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":"Q5927981$6EE1A311-7F06-40F8-B8EA-356318E89327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29622c55b93fe10fb4d372f64466d373bdf29550","datavalue":{"value":{"amount":"+0.8544715","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":"Q5927981$BA00F443-73C6-4738-BAEB-10127C7D207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fefb7a0abc9ba03ebd37eead713911d62362abd","datavalue":{"value":{"amount":"+0.852668","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":"Q5927981$BACE6873-49BF-4E64-8745-7BCF7D55DFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5918473e6984cd41d9dac108a33dd5b556855f96","datavalue":{"value":{"entity-type":"item","numeric-id":636310,"id":"Q636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa6fa4e404008c04063e622c8f914afd67cfb70","datavalue":{"value":{"amount":"+0.85073066","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":"Q5927981$96740A05-E7A6-48B4-833B-189CB00A4331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c21d6573d57d9dc2ddcc2d583fe032033e268e7","datavalue":{"value":{"entity-type":"item","numeric-id":2817924,"id":"Q2817924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f248ac6752ee87591f2d9dfbacff4ebf21432d8","datavalue":{"value":{"amount":"+0.8477511","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":"Q5927981$FF21B335-4804-4501-829C-789E5641566C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5927981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5927981"}}}}}