{"entities":{"Q2915891":{"pageid":2926611,"ns":120,"title":"Item:Q2915891","lastrevid":51556742,"modified":"2026-01-18T18:49:08Z","type":"item","id":"Q2915891","labels":{"en":{"language":"en","value":"Small substructures and decidability issues for first-order logic with two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083951"}},"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":"Q2915891$7AE6FC7F-9ADC-42AD-843C-630AC96B92F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db600352d28297915d3b0583df02fd52a601a4e1","datavalue":{"value":{"text":"Small substructures and decidability issues for first-order logic with two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915891$77631ACA-0BAD-43B5-B904-1BEF158A6FD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0ab60ccea8197a359471f1d55606e79875dd8b2","datavalue":{"value":"1284.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$AB7C5DA4-5293-4704-8E0A-5ACDF9EB2122","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$B59FBF86-C688-4BBB-B8D2-5C442F84FDEB","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":"Q2915891$7DC07BA1-5DFA-4C65-BB97-0DEEDBE30D05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915891$ED2E05F6-41E2-4227-B8F8-0060A26E2132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b3c711a03638186d182e6588bd492a3234aea6d","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1344862160","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915891$5E894CFB-E350-48DB-9F08-0AEC03ECCDF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$2D9E79A4-96F2-40F5-AE7D-F06652F4A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$11CEB4B5-43D8-4D3E-9E09-B100AB99F8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$916B9B1A-9888-468B-B0A2-ED9E6ECD7745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d571aecdcd8403123749a8853a6c438a259d62d","datavalue":{"value":"6083951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$0024D881-6F5B-4594-995C-3F4F5D37E623","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce7dae9c90f8c5c235ef22b2351337e5595ea84","datavalue":{"value":"logic with two variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915891$0B00D5A8-9511-4F86-A386-311AE9027AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2923f97a82bec4a606c5b60f694af97b446525b","datavalue":{"value":"small substructure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915891$4E2159E0-C9FC-4D6E-BC93-C0B6EA091781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806015c02cae00780ed54a08092a56d3527a83ad","datavalue":{"value":"finite substructure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915891$FBB7FC4A-EC2E-4F03-A020-03C07C84995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915891$C0C1E5C8-64A5-4AF4-9BA9-48DC743B58AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915891$BB3D2597-55A1-4AC8-86A6-C9B3148BB996","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":"Q2915891$51E95C69-CDCF-444B-9F00-A3941EFCAE2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f6048ddb20f4b978e5c5bcba363a5165cd164e","datavalue":{"value":"W2124322005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$18EC33E1-5D21-4E9B-A5D0-44501BEFDADC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$7C93EA63-07C6-4FC3-B06F-F419BDC6F6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$A71B264F-2CA0-43DE-AC2A-B26E9F37CDEE","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":"Q2915891$DFFD3C9F-81F9-4CE4-81BB-5D1403EE5D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f5b23c56f46ee93875c46e3a97b98197811c91","datavalue":{"value":{"entity-type":"item","numeric-id":4933309,"id":"Q4933309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$735EC301-13D9-4ED3-8F7E-898A9D0B4074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$95A33E1C-E8FE-4B43-BEC1-A8A9E2E81362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$017C4A86-A0F3-478F-80FD-E616DCA124AA","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":"Q2915891$126301AC-1509-445C-B810-C29A6762954B","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":"Q2915891$3948CA15-250E-447E-969C-ED1B654A3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$82180AE9-7A24-4A67-86CB-3FCC3DC5E2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$A34E4E56-46AD-4085-8D9F-5505EB2DC21A","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":"Q2915891$60C04728-729E-46EB-A4BE-E76881BFB9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$32553284-A7ED-4E99-BE2A-12B5A3FDE557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54ac1bd0803b6e4f2a276c862a21b92760aed18","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$831554CB-C2E6-4244-B079-35338BCF0961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$63112A55-6BD3-46A0-B586-3933C466F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$F9BFE12E-EEB9-4D4D-918C-01A7904C8C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856a0dd219c3576d5b46eeb5f1b6d6d07700098a","datavalue":{"value":{"entity-type":"item","numeric-id":3498476,"id":"Q3498476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$42BCBFF5-FFD5-41E9-9744-120BB824E6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a2f7b800efae48f4474af8c37295759cafcc28","datavalue":{"value":{"entity-type":"item","numeric-id":3586109,"id":"Q3586109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$4F5CCEB1-AA56-4D92-8EF8-864C6E7E8C30","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":"Q2915891$0FB92B8C-1006-434D-A34F-D54EE9AA68E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$A19EB5F9-8CC3-4BFD-A00F-E23950419F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00c212ac7c8cd1c77c5d03362102365d083ffee","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$1736C2A9-041E-43AE-A035-3B41E7F035A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"834d7ad1757d40330d6ffc0d85b6a2ceea78949a","datavalue":{"value":"10.2178/JSL/1344862160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915891$AF2DF462-07E3-436F-B537-7F44198C1C62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$D30417A4-1A7B-4B78-8340-6AB9B59B089C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcb52d7a538ab67927b6872521ef612eb17bb0df","datavalue":{"value":"The authors study a partial case of the decidability problem for FO\\(^2\\), the part of the first-order language over a finite relational signature consisting of formulas all of whose variables (not only the free ones) are contained in the two-element set \\(\\{x,y\\}\\). It is a known fact that the satisfiability problem for this language is decidable, and that its set of identically true sentences is decidable.NEWLINENEWLINEThe authors give a characterization of the satisfiability problems for FO\\(^2\\) for classes of structures of the kind \\({\\mathcal {EQ}}[\\tau_0;\\tau_1]\\), where \\(\\tau_0\\) and \\(\\tau_1\\) are disjoint relational signatures and \\(\\tau_1\\) consists of at most three binary symbols; these classes consist of all structures of signatures \\(\\tau_0\\cup\\tau_1\\) in which all the symbols of \\(\\tau_1\\) are interpreted as equivalences. It follows from the obtained results that the study of the case \\(|\\tau_1|\\leqslant 3\\) is enough to have a complete picture about decidability and satisfiability for any finite number of symbols in \\(\\tau_1\\).NEWLINENEWLINELet \\(\\mathcal K\\) be a class of structures. Denote the satisfiability problem for FO\\(^2\\) on \\(\\mathcal K\\) by SAT(FO\\(^2\\),\\,\\({\\mathcal K}\\)) and the finite satisfiability problem for FO\\(^2\\) by FINSAT(FO\\(^2\\),\\,\\({\\mathcal K}\\)). We say that FO\\(^2\\) has a finite (exponential) model property over a class of structures \\(\\mathcal K\\) if every of its satisfiable sentence has a finite model in \\(\\mathcal K\\) (of exponentially bounded cardinaility in the length of this sentence).NEWLINENEWLINEThe main results of the paper are the following.NEWLINENEWLINETheorem.{\\parindent=0.8cm\\begin{itemize}\\item[(i)] FO\\(^2\\) has an exponential model property over \\({\\mathcal {EQ}}[\\tau_0;E]\\). Hence SAT(FO\\(^2\\),\\,\\({\\mathcal {EQ}}[\\tau_0;E]\\)) and FINSAT(FO\\(^2\\),\\,\\({\\mathcal {EQ}}[\\tau_0;E]\\)) are \\textsc{Nexptime}-complete.\\item[(ii)] FO\\(^2\\) does not possess the finite model property over \\({\\mathcal {EQ}}[\\tau_0;E_1,E_2]\\).NEWLINENEWLINE However, SAT(FO\\(^2\\),\\,\\({\\mathcal {EQ}}[\\tau_0;E_1,E_2]\\)) is decidable in 3-\\textsc{Nexptime}. \\item[(iii)] SAT(FO\\(^2\\),\\,\\({\\mathcal {EQ}}[\\tau_0;E_1,E_2,E_3]\\)) and FINSAT(FO\\(^2\\),\\,\\({\\mathcal {EQ}}[\\tau_0;E_1,E_2,E_3]\\)) are undecidable; in fact FO\\(^2\\) over \\({\\mathcal {EQ}}[\\tau_0;E_1,E_2,E_3]\\) forms a conservative reduction class.NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915891$85473DC6-7B13-49F9-83B9-C98BEFB1BA50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915891$CE6D3D61-1579-4B0F-A225-C15CCC09A328","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":"343c3b7da1f2aa621e136b637adc0c91cc615079","datavalue":{"value":{"amount":"+0.8388632535934448","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":"Q2915891$A6DC7381-F022-4259-A42A-60F69C847007","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":"4f1bc2940b076ee01e2b9f0598c38317dbd98648","datavalue":{"value":{"amount":"+0.8160160183906555","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":"Q2915891$7566C1C7-AEFB-4632-BFB9-B5EAA218791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb91c7c455bd925b700a558521cf05483beb60e","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1bc2940b076ee01e2b9f0598c38317dbd98648","datavalue":{"value":{"amount":"+0.8160160183906555","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":"Q2915891$EE9E9881-AE7C-475B-B9EA-1C32DD79FDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc7b13a6a8d064b4ea1edf15b6f5a6a8907067d","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0992e59677cbad69fd350a71f5b3b983223c4bf7","datavalue":{"value":{"amount":"+0.8151919841766357","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":"Q2915891$4E24A45F-62F3-4DF7-BD08-E046FBBC81FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c924c9d303bb811cf6991cfde56c94cb73cd557","datavalue":{"value":{"entity-type":"item","numeric-id":2957894,"id":"Q2957894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71e68ecf2c0470dc05205f1b2f75abddb19958e","datavalue":{"value":{"amount":"+0.815048336982727","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":"Q2915891$86D37948-B522-4591-99ED-2048DDC32FEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915891"}}}}}