{"entities":{"Q2818032":{"pageid":2828770,"ns":120,"title":"Item:Q2818032","lastrevid":79746536,"modified":"2026-05-06T14:37:11Z","type":"item","id":"Q2818032","labels":{"en":{"language":"en","value":"Q-resolution with generalized axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623527"}},"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":"Q2818032$902034CC-5AEA-474F-A2E3-1C29B7D0C811","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89a6684c3c4f01909d0ac182708c650540baf0c","datavalue":{"value":{"text":"Q-Resolution with Generalized Axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818032$50634E7E-4B16-45D7-875F-3A68ACAB9763","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01066417868e3b0c23c4b1962cd186cb509fa39e","datavalue":{"value":"1475.68442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$7456F3B8-A225-4153-9827-B201A976E9DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e0874426c8e44fc18bf4c33d695c807e9d7123e","datavalue":{"value":"10.1007/978-3-319-40970-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$20E8D090-CF0A-4D03-A530-A59F74E1216A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B1AE4FF9-B677-482E-838C-5CBC3776C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$75F67199-3DB3-4079-934F-94BF54542DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$332BEDBE-3EA8-4228-8CD2-595DDF796518","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$2E9693B8-EE8E-47F6-AB87-04E7C7ACFB3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818032$D5AF7645-A00C-4714-A1B7-954F7D859452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9946206096839f9f055c621f71360e9950255c63","datavalue":{"value":"https://arxiv.org/abs/1604.05994","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818032$AAB3E77B-8782-4725-9502-2AC5FFC51B6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$07883AD4-31AB-41D3-832C-9585C1C52D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$634ED55F-6843-4805-8820-9E54C91AF1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$45E1C38C-C206-4554-BBC7-57A06B7C513F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dbbec5201fad14146a61dbf39f615eb730c657a","datavalue":{"value":"6623527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$24ADE600-E077-424F-954A-C3C2D327ACDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eabe837cdf5ac407f1205ea3065718ba4df6111d","datavalue":{"value":{"entity-type":"item","numeric-id":40095,"id":"Q40095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$437CC16C-B785-419A-A8AB-06FB29AE0484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62d5577a6426dd4bc6f53a7537d5e52c18adb6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5974402,"id":"Q5974402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$96FC86D4-A7DC-4601-BE0B-68C79F73CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$30C0C2CE-B9DC-4108-ADC5-B37C32BEBF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$5DC2FE61-5ACE-4D49-A971-750ECB1DE9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$BCA4F16C-508C-4FE5-9451-7521354FB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$3634D439-4E12-4AF6-B623-C66E30767A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$3E582ED1-49BC-41E8-95FF-2831994B883B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b80a8312448a75ce18cad949570147edd296704e","datavalue":{"value":{"entity-type":"item","numeric-id":40097,"id":"Q40097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$2FD1E2A3-B364-43B0-B519-82DA3515FD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$F84B331B-935A-4A59-A692-4DBB32522E79","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":"Q2818032$C4CB358A-E770-4AF5-882A-E27D7FB70A8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ced119e1ce764ab352c2cd8aab5ea832696cb7f1","datavalue":{"value":"W3102833318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818032$177B31E6-5FCA-4B67-9607-3085B9187366","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77025c29d5290494072647e90cfd5b7ac95c54f8","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$2453BA13-71E9-4730-A51E-0BD4752F1C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$889F9EE7-EC5E-48C3-8502-803BC900FC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd47a55b9c2aed7b10858aad59c96098e81642","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$D11FD885-AE38-48A4-A6A6-5D5FA70A1BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$04DCB724-A3CB-4F2B-AEBD-D01712CF267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$6FF7BC36-A3AC-4279-BA10-D9689788C5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$70B59938-DAB1-40D9-84F4-B52BE52B5274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$886FAFE2-C1EF-467C-955D-496DAE117100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B5C8A5E0-A603-4600-86CA-6018820637B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51283f1777725f2aa3a5276be84e22e26033567","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$DDDF4E13-7AD3-4F1D-BC22-105E00DDBA7C","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":"Q2818032$1BDAF487-7168-40F0-A159-1382E6765AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$2AB5B9B8-C8E8-456C-80C3-BCE83029DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89527defb7821d91c51c15ad00dbe2e1b3d605","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$BA30B12A-9FFD-4127-A01F-577ECD22D773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B06EA80B-6839-4167-AB23-C28C9D71C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$2644F243-D69E-4194-A8A1-DBAEE78A8B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$50489F87-DC54-45A8-A227-B4B7E609C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$C99BA2EC-78BD-4CB8-BC77-4A5B90BEAE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$232DC1B7-CA6D-44CB-8C8E-3013B5CF4730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6b8ac53c9c616c3aedcca87f608c4737d5fa97","datavalue":{"value":{"entity-type":"item","numeric-id":4412858,"id":"Q4412858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$3EB9ED39-F39A-40D7-9133-FC9640750181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a68cc60804613a7acb4af9a6e5a107724c588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3460072,"id":"Q3460072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$8BFDB01D-6851-4CC4-B3D3-42B0B86A39BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f74ab2dd5044d6998656533da5ea01adebaf165","datavalue":{"value":{"entity-type":"item","numeric-id":3007688,"id":"Q3007688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$81CCA5BE-4D35-4BA2-B8EB-66BC8BD45F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777869f77ea42374cb6bd56298ec9252c09c58d6","datavalue":{"value":{"entity-type":"item","numeric-id":2818032,"id":"Q2818032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B3663CCE-E51B-406C-9A6C-4469B0A82DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b1c8183df1009d3675586de65e7dfd8c2c37ca","datavalue":{"value":{"entity-type":"item","numeric-id":286397,"id":"Q286397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B042DB6D-715F-452E-8782-9250BBDD8E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B4DB61A0-0C6A-4A75-90A0-6D6CE777BA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c0f6e16691d3be7f09aeb1f46536b8cc5b9c84","datavalue":{"value":{"entity-type":"item","numeric-id":3524206,"id":"Q3524206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$205105EA-9FDD-4204-91BA-297E9ADB95E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4629c081970510c149c2cd537ca1f4bf05682828","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$4E245F19-0861-43BE-92F5-D55D7F75CFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818032$B9FECEAE-314A-4FD2-B14A-1FA249E3FEDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bdd479d71d2b8e30d5b19fa6bda2c8d2c693b3","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d345959b36c82e6fc3ca1ca87b49dac5725b45f5","datavalue":{"value":{"amount":"+0.8574275374412537","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":"Q2818032$6B6CADA0-4C50-4F44-BAEF-EE5F31BBF1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b2af068f7eec6e63ec2ba3f511392a617e2796","datavalue":{"value":{"entity-type":"item","numeric-id":2818030,"id":"Q2818030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d6b089db8230df78f281d108bbd6fe7eea4d0f","datavalue":{"value":{"amount":"+0.8163443803787231","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":"Q2818032$25E0BB45-A860-41AA-83EB-0C87AE8B1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487fdb88b4b8dfa48031ce258c66063ac968c424","datavalue":{"value":{"entity-type":"item","numeric-id":2818036,"id":"Q2818036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23001b6e07bd730fac0ec348a683affb47a02f9b","datavalue":{"value":{"amount":"+0.8074560165405273","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":"Q2818032$DB906DA4-4083-45C0-9993-C8B9BD9C8500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ecc6b6949aea32936b478ec194782c98455988","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace9de1e044ba72c141207b36445c73c51b8aa1c","datavalue":{"value":{"amount":"+0.8055458068847656","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":"Q2818032$230DEF7A-7A11-49B9-B92B-FB522C90C1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28a41e7a5c8b96e9dfbc4ae4825e2366258d57d","datavalue":{"value":{"amount":"+0.8046744465827942","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":"Q2818032$38CE4DAD-7520-43BC-9307-D518984BD3EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Q-resolution with generalized axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Q-resolution_with_generalized_axioms"}}}}}