{"entities":{"Q5396222":{"pageid":7425796,"ns":120,"title":"Item:Q5396222","lastrevid":92300558,"modified":"2026-06-05T01:22:42Z","type":"item","id":"Q5396222","labels":{"en":{"language":"en","value":"Inconsistency lemmas in algebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255546"}},"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":"Q5396222$4A3D8B18-CB1D-4304-9F34-AB5BAD22BE4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132918a3cda61f3745e2c1558241ae6ef8a4febf","datavalue":{"value":{"text":"Inconsistency lemmas in algebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5396222$CB1BE504-9FDC-44EB-ABE9-CA6E7C3A5529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db353f985b409e73b6d42994e0713b0a5be011ab","datavalue":{"value":"1350.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$7230DB54-33D6-431F-B90C-B5FFB01042CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$FD53D57A-C969-46FB-B035-1DE6E7B2CA02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c688c9f10ab01f1386680504446d9993ed4e640c","datavalue":{"value":{"time":"+2014-02-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":"Q5396222$BC0B171C-C7FA-4726-802F-6519CB4C652C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ad776be6837737d9881c94a3ad772a14adfc200","datavalue":{"value":"http://hdl.handle.net/2263/43110","type":"string"},"datatype":"url"},"type":"statement","id":"Q5396222$3A1553EA-BA88-4B14-8F91-44DC5009DFA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$A5F4D132-9EC8-4670-832A-64A963981475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$967C8244-E6E8-4635-89A8-C172E5F55896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$89229F61-112B-425B-97F2-607797AD8FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$AC43D189-4E04-4226-95CC-1EFCAF48971B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d0ecd9d3097f81877c11c5db851210587dd0276","datavalue":{"value":"6255546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$03502DC3-872D-4500-BCCA-EF5A76DEF124","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$55ADF4C4-6434-4851-B57F-117EFBBA175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7beb136e8bf97dac3fb965d22c968077882443","datavalue":{"value":"inconsistency lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$7F3DCE41-88A0-4312-9AD6-802BBE6604E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad4efed7bd7fcc03254ec6f5c376ca702be7652","datavalue":{"value":"protoalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$EC022BF4-C4A4-445F-B723-3780B6AA29BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc61c6e701dc51e134979b840468102bcac64e1","datavalue":{"value":"deduction-detachment theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$98B12522-1217-4CAB-8083-BEF7B254740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$7BD3ACC2-5933-419D-8E66-B621E7DB9955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"510dc056afa06e1744e5a18700bcd06a46394162","datavalue":{"value":"pseudo-complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$F85B23C8-0AE4-4E7F-958C-3B6E45BB6353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d895fc45161c5227f04ca1ca123ac23010f6bdf","datavalue":{"value":"filtral variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5396222$C453BD4F-F2E6-4539-BD37-7A24DF2866EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$620AB38F-ED9A-412D-B768-A935154DA88B","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":"Q5396222$15F44864-4C6E-4757-A852-E6DECDD59144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a9391122e84ce9e4f95af81cebf88bcbc38eccf","datavalue":{"value":"W1884090924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$B06666B8-A261-4C16-A0B2-865D56C8AA0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e461221dde3eec6dbd54405811c6c4c99382533b","datavalue":{"value":"Q124849890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$34BB0F6A-70FA-4AD2-90D4-F51D74159060","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22008dafc3fa688b784da91d8757a5aad8390bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3126403,"id":"Q3126403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$2319C74B-87C0-45B0-8EF0-5FA92AAE831C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$5FABB2E5-98CB-4C4E-A277-9B7B0110DBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$2E9FD15D-ABA0-49D0-AB3C-1E2903047E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3881e56621445d38a1c0d984207a73ba542d879f","datavalue":{"value":{"entity-type":"item","numeric-id":1061158,"id":"Q1061158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$31FCC996-F2B3-4225-9C0F-914F072626A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$795A1917-2C8D-4BB5-B38F-94E7D9325705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$5B79D8EE-A1F7-4AE2-863C-329C2EC5678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c645beb3272487658a6618eb4dd46a34c2f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$0F88ED8B-68F0-442D-BAF0-F935764A780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e3215bf5f17600b182cbed4afe73756b755ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3201124,"id":"Q3201124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$E941D09F-DDF4-4C5C-9C01-61CE61F6E6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ab98e3d59d7b6ec5eceb4efdff1c76e8fb0d26","datavalue":{"value":{"entity-type":"item","numeric-id":909692,"id":"Q909692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$1F62C59A-48F8-427B-954B-D902796411EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d61265e59eaf23a0dc70fbfa4e426889960350c","datavalue":{"value":{"entity-type":"item","numeric-id":3313919,"id":"Q3313919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$3CE90ABB-97C4-43A8-88A5-563AF0B3DD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c125e660cf19175363ce3ad29dfe54e518817aa","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$AEDB25B5-0262-4243-BCE4-D6E566B3FFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$0E85D2D5-787C-4399-82CA-9824A0716896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$98F8DD6D-E2FC-4412-9A34-2275E03F4F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711d2e197b211054c7eac68fab92b8a924fd8038","datavalue":{"value":{"entity-type":"item","numeric-id":1005985,"id":"Q1005985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$CAF694A4-7B8E-4D49-AEC7-563D402DF521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c95744e81c73e09ae6132a47c75b6851952cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4156826,"id":"Q4156826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$49766A73-8535-424B-BB91-4A2D10DAFCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$EC0A9206-307C-49A9-B3C1-B7F9209EF5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262b9dfa91a30a6817318129c46296a317d3b16d","datavalue":{"value":{"entity-type":"item","numeric-id":790138,"id":"Q790138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$C43C172D-F6F9-4445-8523-3E16E200D113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376c491b13c870df4eadc47f950602f4bdcef9e4","datavalue":{"value":{"entity-type":"item","numeric-id":1934971,"id":"Q1934971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$D14D1BA5-446B-40AA-B240-7067D416449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5f547e25bbd6617cd6e6e5c8f252930d28338","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$CDD358A6-A219-4D4B-B8D1-F23CEB5C1B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$7D4DFE14-907E-4556-BD70-EDD3930CD54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16232fe94f4b2ebcd1e6030fe23a940e26b298d","datavalue":{"value":{"entity-type":"item","numeric-id":2533189,"id":"Q2533189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$3F2FBAF7-2A01-4288-8375-C8DB603461E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087714ca80c56c02e7d026d3d2cb35260a5ab56d","datavalue":{"value":{"entity-type":"item","numeric-id":1770976,"id":"Q1770976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$BF1D5A61-BE4A-40D8-8485-AC7C257496FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d291318179a52c070956fdcf8d17a13f05e6e9","datavalue":{"value":{"entity-type":"item","numeric-id":2264694,"id":"Q2264694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$0368970A-1C26-4FD7-ADE3-A07EE76E7B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$35DD681F-0942-45D7-8F6A-E7A016A08EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26df3270fe5bfe21fe16846d37bdd8243f9df59f","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$C94AD35A-CD51-45CD-AEAC-AD228B478AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5006e0902f20ecb04726fee86f8ade9f0f7a78ef","datavalue":{"value":{"entity-type":"item","numeric-id":992009,"id":"Q992009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5396222$3B46F2D0-66CB-4842-B18C-E2CAA5D11787","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a51a210d44c47a8060fbd1c2f719f774f9e6f3","datavalue":{"value":"10.1002/MALQ.201200020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5396222$474CDA8E-0AF3-4AC0-B962-D51A9906D055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf27804f4f8b51bfe21a904acb7bbf8d2961cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f750829eecd48135305bbe60cf39df70fcdbed9","datavalue":{"value":{"amount":"+0.88804597","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":"Q5396222$F60804A8-A8BD-4A62-AC71-6786E8A0CD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad97afeda4c92b01d48be380dabd7cdc66180e50","datavalue":{"value":{"entity-type":"item","numeric-id":1180697,"id":"Q1180697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6835114a69842f5e5d1d5dc18ecdb976d13a5a67","datavalue":{"value":{"amount":"+0.8832489","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":"Q5396222$6B242E80-AEA1-4A55-B623-AB3CB9A1158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f0c7dcf50adddf8a51a4fbee810b15edaa4a34","datavalue":{"value":{"entity-type":"item","numeric-id":3386912,"id":"Q3386912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c8125ebd8eb1e8f1be29a359b9c3d72c0fe6ac","datavalue":{"value":{"amount":"+0.87336385","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":"Q5396222$96AB7B5B-DB4D-4853-B205-C4350F61E64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93742fa8a8739005d8917c3f599b3627dddc07f3","datavalue":{"value":{"entity-type":"item","numeric-id":5226735,"id":"Q5226735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025f0b1f055f32d14108ab2f2eaea3d9ac5900aa","datavalue":{"value":{"amount":"+0.8732594","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":"Q5396222$4FFA97A2-9560-4BF9-B6BE-81D7C184B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e9b976ad76c95c6cae98d630eded77593dfb3e","datavalue":{"value":{"entity-type":"item","numeric-id":6166129,"id":"Q6166129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6fefc7e777abf94df469b36f8394e082cd3858","datavalue":{"value":{"amount":"+0.87281555","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":"Q5396222$04D30135-6C05-455D-832F-6FAE6723795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ec7cb0e91689479d83d8d123864acb7c35c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5411402,"id":"Q5411402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1db90beb877b859ed8ba47d21b8c0fe9e514a42","datavalue":{"value":{"amount":"+0.87174064","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":"Q5396222$44D08C8B-1CF3-4108-9A45-3202FA82E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff5bac3b8ed0cac6e15518a7252cc03a84eb56f","datavalue":{"value":{"entity-type":"item","numeric-id":688558,"id":"Q688558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c28e4f810e22112db5e66bd0980d5eac5267ff8","datavalue":{"value":{"amount":"+0.86911535","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":"Q5396222$EB5D6899-CF88-484A-B5DB-F3D544609124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f7991ed3bc4de9741db596d9dbad8440a019c2","datavalue":{"value":{"entity-type":"item","numeric-id":3149166,"id":"Q3149166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd13cd0281a7ef47ddb44428a252238e90de688","datavalue":{"value":{"amount":"+0.8684241","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":"Q5396222$73EF0125-30E4-431C-9744-1483128A21F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365c4dab1cf85d978236168a5157440a8779603b","datavalue":{"value":{"amount":"+0.86520547","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":"Q5396222$70E3E58E-3BD9-402B-B45F-E6A6D1353E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7644ea4b246f8744b68495a759ee3ffead119405","datavalue":{"value":{"entity-type":"item","numeric-id":5241518,"id":"Q5241518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3705aa623490368ae1cfcb3b2b95a23ee56a4a00","datavalue":{"value":{"amount":"+0.86508596","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":"Q5396222$8078108E-6D33-45A4-ADB4-23D1102775FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inconsistency lemmas in algebraic logic","badges":[]}}}}}