{"entities":{"Q2134939":{"pageid":2145682,"ns":120,"title":"Item:Q2134939","lastrevid":82526039,"modified":"2026-05-06T21:06:38Z","type":"item","id":"Q2134939","labels":{"en":{"language":"en","value":"The undecidability of proof search when equality is a logical connective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7517440"}},"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":"Q2134939$10BA0ACA-3CCF-45BD-B7E0-057DAFA3C439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13151086768ef92e6dd9b057de1df7cf82384aa6","datavalue":{"value":{"text":"The undecidability of proof search when equality is a logical connective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2134939$42C89155-33D2-4489-82B5-BD31BE682313","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$94647D28-4A0B-4B10-AD40-873C2FC81D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$6836FF7A-2565-4008-88AA-9984158E11E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b05da66de1584255452f3ef5c73cf21a17f3f357","datavalue":{"value":{"time":"+2022-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2134939$707D88BE-888F-4DE4-B541-2AC59B2C0025","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134939$4B8FBFCE-6BA0-4E69-8EEA-8DB4A86F7F14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fbd4f428bff726d09aa1f7739abfe59b422138f","datavalue":{"value":"7517440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134939$B0601233-4237-4C15-BAC3-EDA3AD656A37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134939$A3C08432-9F82-4594-BD51-11408D1C7161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134939$85A80647-AD4C-4106-9755-3F614B2E3D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134939$85DC1B2F-B06F-4D45-88E3-81A98AE70867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134939$579C1D58-FF36-4CA0-9F6A-9B542487F201","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$72B62281-7AB5-4557-AAC4-DA9084380035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$092AC0D5-753E-45AE-8092-E022FEA4F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$4CB59B60-835A-4A56-A5A8-89194AE5C4C8","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":"Q2134939$9540E9F2-060E-48A4-B4ED-812D63C427EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cd813a882a942ccbba39f5e6ad5241d51f54ae5","datavalue":{"value":"https://doi.org/10.1007/s10472-021-09764-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2134939$B66AAE8C-7926-4A79-84DF-7A544C09E99C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c312b2b168bab79ea6bf35423cb61b53e6eb944","datavalue":{"value":"W3179871171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134939$141E16C3-A434-49F0-BE09-73EDFFAE84F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$0E156CC1-3781-4746-8175-D7ED96DABB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7099d080f4773b398e16a174ba14d42cd55b6","datavalue":{"value":{"entity-type":"item","numeric-id":3773305,"id":"Q3773305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$F38C2B3D-8F18-49E1-AE18-BD631FBC7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b8a8bbc08f166f4f946f3a032d3d7074f3fd6b","datavalue":{"value":{"entity-type":"item","numeric-id":1353977,"id":"Q1353977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$DDE5B04B-A31A-4DD4-95CD-4C015BA8BF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$264C12EC-8AB3-46F3-9B51-5AC4CA99BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$967743E7-4970-4E25-8300-FD3866D98C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$8C9B6404-220F-491C-9995-B598A181B23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$28CE65EC-F299-4E37-A2E6-E73B653F5DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4934323541529a8bf8c7917d3f7d9f1376a46a","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$CA7882AC-BC2F-4DA4-AD92-14ED61C888DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$8FF1B4AC-B1A9-4091-BD93-28D149660874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$228FCB76-599A-400B-A429-48EFC4E012D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd5e33f2af50479bfb0e944c1566e00b4e76f63","datavalue":{"value":{"entity-type":"item","numeric-id":5717055,"id":"Q5717055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$7C13AE93-2203-4EB1-A35A-95126F105944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$097698B9-EC57-4195-A319-54B9C4A4D140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$144A8A39-9FF6-43A5-9373-80CD33A11DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$875132C0-8CF6-4E5D-B1AA-9B939F93F647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$86219A32-F53D-45A9-9AFE-33C0942E8F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$B92EE528-1129-4A25-B4A1-12848DBFD148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$B038560A-5879-47BB-83F5-2CF83995245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d6ea3aa76260140225736dbaba84c0d0810f7","datavalue":{"value":{"entity-type":"item","numeric-id":5267440,"id":"Q5267440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$9556558E-0556-4230-833D-5D1A833511D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae3fd87af1e73c33bfd1bcf8844595430d1e146","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$041322F7-F8BF-44A0-8992-46E893A2055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$B8D10669-C60D-4874-A1BC-E7F0641BB11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf390ad399fc07d0a53a587a3ede7c4d86e3ecf","datavalue":{"value":{"entity-type":"item","numeric-id":1960430,"id":"Q1960430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134939$3F9A7DA5-CA00-4ECA-AFB2-4F1A9F6FBA6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"580702ba78526952b96b660aa92a76dced0fb4c2","datavalue":{"value":"10.1007/S10472-021-09764-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134939$BADDAEB1-71E6-4706-A39B-9097EB9A9410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36922c00bbea12382b340d993614db582456c544","datavalue":{"value":{"entity-type":"item","numeric-id":1272615,"id":"Q1272615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b0ea633d78f5182b1f84632915aca19dfa196e","datavalue":{"value":{"amount":"+0.8964063","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":"Q2134939$27E383CC-671F-4B4B-8C2A-86890A917ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a59ec40c8ef92482d77c211b8284b52f3f1c169","datavalue":{"value":{"entity-type":"item","numeric-id":1810851,"id":"Q1810851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388d333e989cf45b528b2d550589dfbf46887243","datavalue":{"value":{"amount":"+0.8957089","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":"Q2134939$BF6D8270-003A-46A8-A801-1A8CCBD9790B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877c8c80ec8caab0bb97c69985ba7e1e80bbc71d","datavalue":{"value":{"entity-type":"item","numeric-id":4647498,"id":"Q4647498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388d333e989cf45b528b2d550589dfbf46887243","datavalue":{"value":{"amount":"+0.8957089","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":"Q2134939$C65340B0-689D-4DF9-BF70-4AB1B445D6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7a8383d2a68bea8281859b24922936482b9271","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da420856220f7188eb6e5f5a93fa8de5c5a6ded","datavalue":{"value":{"amount":"+0.87112","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":"Q2134939$5C3C1E72-87F5-4389-9523-CEB0A5A2E8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee839756cd0a9fd0a470baeed88526154b1cd70f","datavalue":{"value":{"amount":"+0.8694456","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":"Q2134939$1843D746-E1F3-4FAC-9383-5A1A2C20AF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792336ff1c3b24bda0a585498d74b554cb5ee6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5864202,"id":"Q5864202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d088b22ac4e35839c0170ac173815127fa3ea7e","datavalue":{"value":{"amount":"+0.8676677","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":"Q2134939$5F07EB72-0C89-43A1-BD0D-372D70DB7CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32d6b9d650b40bb4f5a90f869f721fb7569426d","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7db0190f8ba6acaabc5bb77ba233ad6a281489e","datavalue":{"value":{"amount":"+0.8663908","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":"Q2134939$F36F0A1C-14BE-434D-80B1-83DA9A23F5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529f0e58fc23fe8fb5f187ffefdb6f6dd8b70ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2914598,"id":"Q2914598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a51a5caac93fd2e29b5916ca1e51eb1868377f","datavalue":{"value":{"amount":"+0.8656026","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":"Q2134939$222F113A-9DB1-40C6-A384-0B986C32DF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cfda27c4e4d2c5a2e58c1cd4f84f79e2d9eef6","datavalue":{"value":{"entity-type":"item","numeric-id":3813316,"id":"Q3813316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621b366ac57b9547c42bc3215ed42e0b402caef3","datavalue":{"value":{"amount":"+0.864174","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":"Q2134939$A44BCE6E-2E25-408E-AD3A-6A5569D59AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb001512014a8546eb723f44ac77c4be954100a","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefc1aacf5104ffbaf17ef5026e9924cc30733ed","datavalue":{"value":{"amount":"+0.8627807","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":"Q2134939$26266982-C51E-4229-AD72-43EF88218BD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of proof search when equality is a logical connective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_proof_search_when_equality_is_a_logical_connective"}}}}}