{"entities":{"Q972424":{"pageid":974272,"ns":120,"title":"Item:Q972424","lastrevid":50992121,"modified":"2026-01-16T03:01:37Z","type":"item","id":"Q972424","labels":{"en":{"language":"en","value":"Resolution is cut-free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5711939"}},"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":"Q972424$9079C1AB-A585-4793-AAB1-D3A302D48EE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"159c79f74b3e250cdb48cf401104f6c3423ca0d0","datavalue":{"value":{"text":"Resolution is cut-free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q972424$996E6EA7-97B9-47E4-8121-8ABE99FD940E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ec88ec481cb613cc4adddd8acc9f9ef9c943e13","datavalue":{"value":"1197.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972424$1FE85CA9-3B35-46EE-B916-CEBD2E4B544D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$96DC78D7-B0F3-4ECC-A58F-C9B5AAE029C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$CDCB18E6-D0FC-4B0D-A5AA-14B09481911C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q972424$1DD1303E-DDFE-4B99-A395-7B2C5C1F1097","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fea2856a91bd9ba866684ebe036caad58f1db8ef","datavalue":{"value":"The paper proves through syntactic translation that the extension of the resolution proof system to deduction modulo is equivalent to the cut-free fragment of the sequent calculus modulo. The resolution method in deduction modulo, called ENAR, is proved to be sound with respect to the cut-free fragment of sequent calculus. However, in order to prove completeness of ENAR with respect to the original sequent calculus, extra assumptions are needed.  Due to the expressiveness of deduction modulo, the results obtained in this paper can be applied to higher-order resolution, Peano arithmetic and Zermelo set theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$0D719EC7-88DA-4D14-B88C-A6F52D34ABCD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f47d936c4ff4164197e28a1ea38124145d11538c","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$037C46B6-E761-4415-BA7E-4DB80D5E50B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972424$12B8EC03-B6B5-45C5-9C3B-8302663D783B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bb50088ffe8224dc6c8b54aceb65b570224b7f8","datavalue":{"value":"5711939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972424$38D20B6B-E8AA-428D-8677-F1B0EBD9E726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddb6b92164e4b150c7315e5feb6d9606fe9ce06","datavalue":{"value":"classical sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$5872E9DA-A6F3-418B-8997-06474F3D6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28046153e6a63b99702aeb062d78e5f8cea664f9","datavalue":{"value":"cut-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$9FCBCF30-A689-4640-9C0A-45BA4256498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$936282E6-453D-4E71-A6C8-8F93A81FCA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$CC355A0A-1E0B-4722-8E08-7197D3859FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9680a36279b42b755fc51be76e5dde68c87dcff6","datavalue":{"value":"ENAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$F6C4E80E-5F34-4BEF-8251-2AEB06FC7965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$FF2C78FB-AED1-4180-8754-0976FAC3DAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$55F26660-BFA8-4489-A931-E5DD815151FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$027EE1CB-1FE5-4E63-9213-72D28D131F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bab440f7b1656cf5dc653601aa351bc8632711","datavalue":{"value":"Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q972424$ED409C66-6FD1-4415-B271-AC7535DBFACC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$3FEC8DF8-9227-4A73-8D39-1CBFC3263C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$72D20F85-81FA-44A4-8703-1F46BC14F644","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":"Q972424$7A6625F2-72C4-4FBC-9A49-960B8A4A07CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97fe8eed741f99aff6ec043c66530923da6d38c9","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9153-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q972424$F4014B89-5652-4C05-90C8-92569328FBB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"992d19cfe9f5bd6f889ba76649e5bf082dcf8d32","datavalue":{"value":"W2096711734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972424$09A5AD1C-F4B6-4731-BDB6-E8800B4BF733","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$E7C00A24-AAF1-4718-91D8-DE90CD72AF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$CD318495-18F2-4183-BC38-E91F37779DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4370175d8030918ba7fe1c9ab8112224b76824d","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$91222FD6-1B03-40A6-8D78-22D7C3EAD93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40395782237962d4bfc89b6ee5dee760563cda9f","datavalue":{"value":{"entity-type":"item","numeric-id":5387891,"id":"Q5387891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$94545E73-3DAD-4925-B55B-BBF3FBF065A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3257fc26065fc6b21abb1f854dbeabc439d655f7","datavalue":{"value":{"entity-type":"item","numeric-id":3612434,"id":"Q3612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$CD9BBBE0-00CD-4480-B4E7-B65517E5FA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04241e6abbd6b9087920007cbbfe1a6a1f11e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$8288D720-153B-4E32-AF6F-DB2E75ECB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ccfb4f4da9ccf917a1c648bdfcfe1da8abbe2","datavalue":{"value":{"entity-type":"item","numeric-id":5307079,"id":"Q5307079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$4A9849A7-5204-433D-9500-8DF99694D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a571653cb6ab1fa29a33b3cbc9d3383816e568e","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$8A7218A0-EF3B-4AC6-9CB4-4281A583AD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$2F120144-5344-49A4-A473-1F0D35302363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ef7fe275e1013dfbbe27b73bc3de1034cddb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4474846,"id":"Q4474846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$9FA0D404-DA99-469C-9519-B151A311EFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c990f7473437368929348051961f829bb40c","datavalue":{"value":{"entity-type":"item","numeric-id":2751355,"id":"Q2751355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$B8ABA061-F41D-4989-A02C-ADD898C9E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$A21A7C6E-4F3F-4421-ABC4-5760FDC4427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$A56436C6-C41C-4A6D-8B40-BFF33CB8D214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$DE74C6F0-3F26-4169-877C-3E10EED59548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$58AA608B-FA48-4EE2-ADBD-6136ABCD9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$A9BA393D-5352-45C8-8137-FEEAD40D5267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$E327DC7C-BC54-4595-9FD3-20B470617FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$56A36C1B-BDEB-4772-854C-0BAA22096637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$36900C13-4047-43B9-9749-DEA5EA3B0821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b45cb94e678af0af29ccde58f37d92739bef609","datavalue":{"value":{"entity-type":"item","numeric-id":766669,"id":"Q766669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$56F0B7F1-474A-440D-9292-7C6BE80AF7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e96724ecdaf3b10ad794bdc9c339c51e07df37","datavalue":{"value":{"entity-type":"item","numeric-id":5579476,"id":"Q5579476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$83E4E864-A4EA-46C5-8FC6-4E1083F9038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$53378AFB-8329-492B-9629-75C0EF46B96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$20292B52-B306-4FE4-9A7B-6EAF202DC48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$5C1F21E2-1DD6-472B-840A-D63225943AEB","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":"Q972424$5D9589D1-450C-4B16-8DB1-1EFFDEF3A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$07C48DBC-7A72-4ADC-B0D1-6A9BD6FA4689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$1E07F691-319D-4686-A8B1-796018BF854F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$DEE2B31B-1DDC-442E-BE2A-B928083CDF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce65e744852a8304177cb1e448d04a739b85b8c9","datavalue":{"value":{"entity-type":"item","numeric-id":4539606,"id":"Q4539606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$E989A2A0-915B-44D3-8E17-D9AE07F4AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$1A568CAE-0C82-4BAC-9D0F-E8639E048852","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":"Q972424$30ECD7D2-2D86-4A2B-BF64-6676CFF2A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f098296defd7d87a2d0ef069f4dda2f2e52c03","datavalue":{"value":{"entity-type":"item","numeric-id":4364504,"id":"Q4364504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$F69F1388-B1B1-4DAD-9CB0-1B8C69B57126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972424$EAD52A3B-1BF2-4A9E-BB11-2E338165E252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abea63e21bfb6ca8b09002adc6853259013c244f","datavalue":{"value":"10.1007/S10817-009-9153-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972424$AFEB9E3A-E3F2-4E4F-A15E-ECCD0723C750","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1183b14d7be0bd1b42348a1182a9fe4857a8a84f","datavalue":{"value":{"amount":"+0.8065469861030579","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":"Q972424$2B4FFABA-FEC6-43F5-86D1-BC9F6577F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65104a23e438c7085a33cfca9771736740b05553","datavalue":{"value":{"entity-type":"item","numeric-id":744331,"id":"Q744331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294c10e099f51c05f57ddcb4be4ceefced777a8f","datavalue":{"value":{"amount":"+0.8034000396728516","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":"Q972424$EB7CCEF9-5539-49C2-99ED-174D5BD1ED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feb62bb3a69859753f55154a03f7ec76704cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2743adc978ad0809922e14741034018fe4fc104d","datavalue":{"value":{"amount":"+0.7914502024650574","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":"Q972424$4679BFBD-7440-4A9D-92F7-003E85ECDA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3987f987c61a53d441911f6d6995e2961a38dc4a","datavalue":{"value":{"entity-type":"item","numeric-id":2253866,"id":"Q2253866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c682258f38bbdb5eb01462192586d31c118c76b","datavalue":{"value":{"amount":"+0.7766770720481873","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":"Q972424$47C3F7E8-A408-4413-81D5-831EF03F98AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40de74ec2fd1ab65ec01cde782008815f20c8093","datavalue":{"value":{"entity-type":"item","numeric-id":5170812,"id":"Q5170812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4406432438da4d2a2ad0250229d6485afa56343","datavalue":{"value":{"amount":"+0.7763380408287048","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":"Q972424$F8F3CE3D-A33A-4230-A133-FEDC183CBE57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:972424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:972424"}}}}}