{"entities":{"Q1960419":{"pageid":1971161,"ns":120,"title":"Item:Q1960419","lastrevid":72034251,"modified":"2026-04-14T02:13:28Z","type":"item","id":"Q1960419","labels":{"en":{"language":"en","value":"On logics with two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387346"}},"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":"Q1960419$58F47352-D06E-41FE-8819-50A9430584E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ffb798d223b299aa167a71ab1131bc2ed8440aa","datavalue":{"value":{"text":"On logics with two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960419$E9EEEEA7-88A9-4315-BC88-8E6F05DD4128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df5e0ec939ec585701d2225539cfc391cd80a2f","datavalue":{"value":"0948.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$3D5CB690-FC49-442D-92C9-5748ABEBDB2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d4745d97bfa353744b3e0a267c2e6eb6cc513b5","datavalue":{"value":"10.1016/S0304-3975(98)00308-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$6A5BF5A4-5E26-477F-88BE-8B168ACE8ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$86290102-1CC0-4538-9FD2-C0D9AAEFCB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$25506B43-4E85-4194-ACD0-6BE9AA65CE15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$E6CB7E47-AE42-462F-BBB0-6CA24EC04EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960419$3BB82839-E814-49EA-B13D-6FDE8CE2FADE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0b0c4db64cd870fbc517226daa8acbcde658f79","datavalue":{"value":"This paper is a survey and systematic presentation of decidability and complexity issues for modal and non-modal two-variable logics. A classical result due to Mortimer says that the two-variable fragment of first-order logic, denoted \\(\\text{FO}^{2}\\), has the finite model property and is therefore decidable for satisfiability. One of the reasons for the significance of this result is that many propositional modal logics can be embedded into \\(\\text{FO}^{2}\\). Logics that are of interest for knowledge representation, for the specification and verification of concurrent systems and for other areas of computer science are often defined (or can be viewed) as extensions of modal logics by features like counting constructs, path quantifiers, transitive closure operators, least and greatest fixed points, etc. Examples of such logics are computation tree logic CTL, the modal \\(\\mu\\)-calculus \\(L_{\\mu}\\), or popular description logics used in artificial intelligence. Although the additional features are usually not first-order constructs, the resulting logics can still be seen as two-variable logics that are embedded in suitable extensions of \\(\\text{FO}^{2}\\). Typically, the applications call for an analysis of the satisfiability and model checking problems of the logics employed. The decidability and complexity issues for modal and non-modal two-variables logics have been studied quite intensively in the last years. It has turned out that the satisfiability problems for two-variable logics with full first-order quantification are usually much harder (and indeed highly undecidable in many cases) than the satisfiability problems for corresponding modal logics. On the other hand, the situation is different for model checking problems. The model checking problem of a modal logic has essentially the same complexity as the model checking problem of the corresponding two-variable logic with full quantification.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$D6A1D409-8C81-4DEC-86B0-6A65B38E943F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$DA427C33-FF0C-40BE-86BD-261C62DFAF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$E402FDDA-0777-46A2-8954-11D91F892B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$3FF4505E-962B-4291-8347-E71B5F610690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$1D3C9F36-2657-4489-8D32-AFA8B94A52FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07d4f82df7a661e68ccfd555e84a108434a00d80","datavalue":{"value":"1387346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960419$B0AB0966-36E1-47F7-8AC6-3BCA39964DF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de893a7a4cf413d92140d9904881e29402e11c2e","datavalue":{"value":"two-variable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$9C787557-1649-4F06-B0BB-AEA8D1EAE690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$8AC95219-F113-431B-B431-644284EE5AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$D0193122-2F52-44D8-90B1-A00FFA89B77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$E803A8DC-9DB7-425E-9E7E-CF09D090BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$B79C40D3-426D-47F9-8CC9-9A00F9AFBC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$142D55AD-18FE-426C-9FA1-4B7472A2DC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960419$62406F05-C906-48A4-B554-34E40947254E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$F96BF301-9877-4AAF-B426-3DDE7667BBAF","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":"Q1960419$39A80F59-287F-443D-9635-936876742F92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfc53db72d247da5f30e677d4e958d296619aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3996675,"id":"Q3996675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$DEC278E3-5FA5-4412-9043-F6C2F7318B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$F1077618-93F2-42EA-8818-08BBA3C8A538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$118DE3BF-8359-4C79-9D03-CBDBC9139729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$3145887A-5108-47E3-8A1D-04E5D60A3AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$13CC1A74-5510-4129-AD87-BF0938434DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55aaa1ba430e0715fb5d37d386ff1f5da803d1f","datavalue":{"value":{"entity-type":"item","numeric-id":4362912,"id":"Q4362912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$53EF847B-8B20-4A74-80B4-153AECAC0699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$9AF2AED4-0A2C-49E9-B9B7-3205FC0DF2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f137bccee4ed258be74af189e17ff1000128d7","datavalue":{"value":{"entity-type":"item","numeric-id":3341896,"id":"Q3341896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$BB048840-CA87-4DD2-BEE4-4AC6BE857080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$A82BE72F-EB50-4A7F-A9EC-FEBDBE5F83D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$93521A5A-4A8F-4AA0-AE34-4866D2868EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535dc5607b9a5698832e0f28acbbb8d60feb7628","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$FCE78BFB-AF9F-4599-8097-B84B20C0178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0755527dc26ccf06e69cd62ec76a91e4b8d0335c","datavalue":{"value":{"entity-type":"item","numeric-id":3903002,"id":"Q3903002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$D292DCC2-788E-4D91-9B86-4B7F7BD37200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad9f193d7f99d60421d2d4b0e291b7be2d43c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2556400,"id":"Q2556400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$E45964D5-DBA3-4A38-89E2-DFBBF9460B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f81056418aff0fcb50f5e8337504682c5329a8","datavalue":{"value":{"entity-type":"item","numeric-id":3995676,"id":"Q3995676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$3F6ECAC0-E134-48D2-9354-832E15DA5F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$1378280B-11AF-4D0C-943A-7A7ADDD245B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170a44f7e4aefa99f9fc5d711f8f80c0ca24325a","datavalue":{"value":{"entity-type":"item","numeric-id":4936118,"id":"Q4936118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$4E50C0B2-A88B-4CD8-BA47-136FA48D5FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$38668B3E-0038-432C-87DE-DAE724B8D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$DC169585-2B32-4677-9DAD-7FDB8855146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$96D252DA-6073-409F-8D2E-D0D584E552A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$A1E24C7A-9858-4624-B4D3-300592F3E82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7548e5113654c72bc739c3fa57f3a844cf95f6f7","datavalue":{"value":{"entity-type":"item","numeric-id":4376070,"id":"Q4376070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$DB3D1026-BBDD-4D65-932B-789A18C1E155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea37ba65614326d3188ca816b99f878a41861800","datavalue":{"value":{"entity-type":"item","numeric-id":1306792,"id":"Q1306792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$AE7DC11D-97C6-46DB-9711-9657F7568DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$1B8E5A86-1209-486B-B1C3-BADE7D94CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$F4BB526A-1F5F-4FDA-B869-3589B3FB5068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960419$15442262-B785-4329-9909-EDFF9CCC2E2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198c1575789ce3e9caf21797b7f4da518f4f493c","datavalue":{"value":{"amount":"+0.8708167672157288","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":"Q1960419$C905490D-EED8-45A6-BE9F-819A2EE53A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36710d3800ebad5721e0327d7ef51429ed5e8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01be44d3df8d6ee942281075e3b324c3a093483","datavalue":{"value":{"amount":"+0.8502823114395142","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":"Q1960419$7342080C-A9A8-4996-8D7C-4ED5BB874B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a420b015a9b90a59647de21a3bf90c25f2e45d","datavalue":{"value":{"amount":"+0.835990846157074","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":"Q1960419$88C2C31D-CC21-492C-B06C-596EF0155623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61108cbfb662f1fbbf6036e3a71348bf35f83c22","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a420b015a9b90a59647de21a3bf90c25f2e45d","datavalue":{"value":{"amount":"+0.835990846157074","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":"Q1960419$1DF2A8FC-FDBA-41CA-96B8-3E887ACCE95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789533f0d21b6baa5a5f1a3b29c676f9bb3be91f","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc45d84a64508f91ed1da10c2dbaebe7ba8e5ab","datavalue":{"value":{"amount":"+0.8323057889938354","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":"Q1960419$F6572CB1-75D2-4B54-A564-9BDE7E9C637F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On logics with two variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_logics_with_two_variables"}}}}}