{"entities":{"Q2239389":{"pageid":2250132,"ns":120,"title":"Item:Q2239389","lastrevid":73612371,"modified":"2026-04-14T16:39:16Z","type":"item","id":"Q2239389","labels":{"en":{"language":"en","value":"Unification in pretabular extensions of S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7419651"}},"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":"Q2239389$73BDB84B-7E83-4397-A40D-F5D1B92C2ABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a51c15df9b9c60db64d5ab9249e3c247d8bf5218","datavalue":{"value":{"text":"Unification in pretabular extensions of S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2239389$EEBACD23-2C1F-42FD-A601-A16531AAD7ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd07117c078862bf192a42e42cb0390e7122a1d6","datavalue":{"value":"1491.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$8DDD8694-27E5-48DE-8640-F7DF6A954430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e74046ef75a739bade5c685f052605b54b71efd","datavalue":{"value":{"entity-type":"item","numeric-id":2239388,"id":"Q2239388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$C8118469-772B-4E34-836F-E05962683E7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$AC6CAEEA-5777-4E99-B3C0-7DDD419AC488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9646bb8b94af16daee7eb7191395758c93317c4","datavalue":{"value":{"time":"+2021-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2239389$BBDDED62-9A5B-4283-A74E-B59EA11F8DAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ea778c68c841bb73840a9cf20b39dc536ef3554","datavalue":{"value":"https://arxiv.org/abs/2005.08506","type":"string"},"datatype":"url"},"type":"statement","id":"Q2239389$8537E042-85D2-435E-A612-FAF2FD55D533","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1dbb2d39ca353fff51da5d962976bfef1ddaee9a","datavalue":{"value":"The paper is dedicated to the study of pretabular extensions of modal logic \\(\\mathrm{S4}\\) described in [\\textit{L. L. Maksimova}, Algebra Logic 14, 16--33 (1976; Zbl 0319.02019); translation from Algebra Logika 14, 28--55 (1975)]: \\[ \\begin{array}{l} \\mathrm{PM1 := S}4.3 + \\mathcal{G}rz,\\\\ \\mathrm{PM2} := \\mathcal{G}rz + \\sigma_2,\\\\ \\mathrm{PM3} := \\mathcal{G}rz + [\\Box r \\lor \\Box(\\Box r \\to \\sigma_2)] + (\\Box\\Diamond p \\Leftrightarrow \\Diamond\\Box p),\\\\ \\mathrm{PM4 := S}4 +[\\Box p \\lor \\Box (\\Box p \\to \\Box q \\lor \\Box \\Diamond \\neg q)] + (\\Box \\Diamond p \\leftrightarrow \\Diamond\\Box p),\\\\ \\mathrm{PM5 := S}5, \\end{array} \\] where \\(\\mathcal{G}rz := [\\Box(\\Box(p \\to \\Box p) \\to p) \\to p]\\)\\\\ and \\(\\sigma_2 := [\\Box p \\lor \\Box (\\Box p \\to \\Box q \\lor \\Box \\Diamond \\neg q)]\\).  It is proven that the logics \\(\\mathrm{PM2}\\) and \\(\\mathrm{PM3}\\) have a finitary unification type, while the logics \\(\\mathrm{PM1, PM4}\\) and \\(\\mathrm{PM5}\\) have a unitary unification type, and any unifiable in \\(\\mathrm{PM1, PM4}\\) or \\(\\mathrm{PM5}\\) formula is projective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$9500C3D3-67CC-4DA2-86AD-92527ED2C4AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$7C706FDF-2578-4810-9ACD-41753B1EE24A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$764F9C0F-1D53-4304-B3D4-A4A6BD29EA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$EB57D7D6-1D61-46F5-9C94-EC5D19ED01CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$116E92FE-82BC-4BB1-A72E-269B77311E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$1609E4A7-1696-4C2B-92D1-7FC8148649C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e1c3b18d6fdb54d7c28a658e82152cfa95097a7","datavalue":{"value":"7419651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$0C257E40-80D4-4298-800C-04F6BCC87B9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e0afc88ace0dcbc90322552e5b4fcb3965b6729","datavalue":{"value":"pretabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$966A40D9-8DC1-48DE-8DD5-1667F4078815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$5CC20CE1-152D-4205-8BAE-2C546FD61180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$C316C432-0111-422E-A83E-D72B2EA7D888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c0cf0845bcce1331d6c397cd711aa5ac3127204","datavalue":{"value":"ground unifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$18E09224-3603-419A-B7EC-542DB62530B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5a0bb6e4eedbad9c2b95cc2ae12a569ef91f4d","datavalue":{"value":"projective formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$7E9E560F-6BD5-4BCC-B1DB-415E7A11B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa72ef0b4b6f5b7824b86d8a92894fa90a2fa64","datavalue":{"value":"unitary","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$BBFA74FC-74A5-45D8-8929-C15AAEC02B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9f91011a5506f2c9a4e10db1255916b4f00d34","datavalue":{"value":"finitary","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239389$9C36EAF1-8281-4787-AFD3-4DEE715F1137","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":"Q2239389$F7F4A527-A6AC-4284-9529-30A313CD97C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d424d2e540fa721f48088a285d6f4a1b71336164","datavalue":{"value":"W3191856054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$2D03FEB1-8C8D-4295-9ACF-482EBBC9126C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"504179d3369bad63812171f461960968b16504e1","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$CAEE1B4C-17B9-4DA0-9578-5E4FD024BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$AA71ADE7-1C97-4EFD-8A96-D055ABFD4965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d43b8cb33b6d77b79ddc2c2dfb9c9fa9075516","datavalue":{"value":{"entity-type":"item","numeric-id":5853178,"id":"Q5853178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$31FEFB9C-B12A-4775-86AE-BDDF8B63DB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ccc3051a26aa1d08baa99e068f33f589bd4f52","datavalue":{"value":{"entity-type":"item","numeric-id":2402145,"id":"Q2402145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$8685C674-5763-40D2-BE19-F12584070B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610e52faf72b688c3bd84b1dd432e513e77092bc","datavalue":{"value":{"entity-type":"item","numeric-id":1190748,"id":"Q1190748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$14A9CB1C-A518-4A25-B020-56319E4E7C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7080d41e0343460208f03ef46ef008f1d118c992","datavalue":{"value":{"entity-type":"item","numeric-id":4438092,"id":"Q4438092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$0EEAFEFE-F4AE-4004-A60E-8988C49C19A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c2bac9757b4f41b5c59fdaf34669811a419ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5411485,"id":"Q5411485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$6B14571E-4AC5-46A4-9AA3-A1C1EAFB3E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea235c296ca99950ffed6eddae22dd0800e3617","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$8E0D15CF-1A13-424C-90FB-CFC7029F1724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c5bd77658599c5554a8e7dcdd076e9aac3d86a","datavalue":{"value":{"entity-type":"item","numeric-id":4149742,"id":"Q4149742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$99232F20-7C1B-4FAB-97A1-3BC69C672AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$F24FBA9C-935A-40B8-B9EE-F8E97EAFF7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$58075D79-CD66-44EB-A212-7FB4ADBF2DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$B32078EA-2CDA-4670-BF53-1D3B22D7412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1664c00b8f8830cf0920f671fb021bf7c7fafc","datavalue":{"value":{"entity-type":"item","numeric-id":286704,"id":"Q286704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$B71587FF-C838-4F37-816C-046246490D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835839abec3b89ea646849f876230851342c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3450207,"id":"Q3450207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$1917243B-104E-4508-B7CB-4D193C4D3392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad606f5b66ad05b4a0525f5a938aae1134f6937","datavalue":{"value":{"entity-type":"item","numeric-id":1222645,"id":"Q1222645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$282F6643-4A66-46EB-9FD7-F3869C6BC44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf490388982bfac3f4f1794d615c967b0dfebf55","datavalue":{"value":{"entity-type":"item","numeric-id":3305421,"id":"Q3305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$12BAD3C5-0DA1-4CF1-9CF3-D24D3B1DFD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a31f88544f0c8be8e3a7be3fe49cfd03468d1d1a","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$23856674-5B94-4E22-9A40-B2E78ECC5603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335e81d28f33bd9edecdb7dbc39fa0d0a99b14fb","datavalue":{"value":{"entity-type":"item","numeric-id":2709317,"id":"Q2709317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$1E419ED0-E7EE-447A-8601-5BA746E177B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c19b4ff099f9d09133ae256fc2655f882fe9f62","datavalue":{"value":{"entity-type":"item","numeric-id":890977,"id":"Q890977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$F78912CD-596C-47A2-8CEE-EF1B272307F5","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":"Q2239389$4EADAAD1-D981-4924-BD29-10154C0CC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$9C83B109-FEA5-4B8D-8696-4979024B57D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b11bde3a81bed263542b7bc4096eb95242c70c","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$2E08594B-06BA-4F78-A771-A5A8C672EEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$DFEA767C-BE89-4CAC-A197-BF72F80CA55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b56b7f64839e743c8da023430a7b69aa800e08","datavalue":{"value":{"entity-type":"item","numeric-id":647403,"id":"Q647403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$2B4F6682-0C42-4879-914A-01DFD35BC991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239389$3A31872B-1701-4B58-9410-72D0236F01D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0bb8019225a9127a39c21686f8d4a9a227498fc","datavalue":{"value":"10.1007/S11787-021-00287-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239389$98AD7102-4650-4AAF-BC87-28C9ECD07649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c2710e89db94ff58672382e370bab5915ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4438092,"id":"Q4438092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b041bf912f5587780d734e4f831760e5ce6b49f9","datavalue":{"value":{"amount":"+0.8030633926391602","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":"Q2239389$FED381B6-C7BB-44A4-AF75-937A098468DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4efbad0f808f8bc90ed676d6348d922d47a740be","datavalue":{"value":{"entity-type":"item","numeric-id":5877709,"id":"Q5877709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb722ada007be2a14627718295ea44631c174b3","datavalue":{"value":{"amount":"+0.7859988808631897","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":"Q2239389$B0410301-81BD-409E-B76F-1C88BA181F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1162c0814a5ca6a63bcda9a442e00d3fdcfbc7","datavalue":{"value":{"entity-type":"item","numeric-id":6111080,"id":"Q6111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7b3541a7b7616fdcf7eaa91e2e806e9a29c5d3","datavalue":{"value":{"amount":"+0.7771127223968506","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":"Q2239389$04D30374-C36F-44A6-AF63-B28C2458012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be162b42bc2f4bd2645b63bb4c2c946a8abcb57d","datavalue":{"value":{"entity-type":"item","numeric-id":5932613,"id":"Q5932613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945e9f8761cb167d6f4e21f40fcc5d06f018f8ee","datavalue":{"value":{"amount":"+0.7754589915275574","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":"Q2239389$4CA4B3D4-4A46-4BFE-A2A6-E2451566CC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebc1df198455286188eb79b25e882adc3909f69","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945e9f8761cb167d6f4e21f40fcc5d06f018f8ee","datavalue":{"value":{"amount":"+0.7754589915275574","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":"Q2239389$1DA6A834-94F7-410B-A2FD-7B0F9C4AFFED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in pretabular extensions of S4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_pretabular_extensions_of_S4"}}}}}