{"entities":{"Q1024114":{"pageid":1025962,"ns":120,"title":"Item:Q1024114","lastrevid":69631989,"modified":"2026-04-13T08:20:14Z","type":"item","id":"Q1024114","labels":{"en":{"language":"en","value":"Elimination problems in logic: a brief history"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565215"}},"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":"Q1024114$36C7C391-9AE1-40F8-BDAB-0EE36042F99A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82fe8af6dd49a5802394ec4d32b3892ec2bb785f","datavalue":{"value":{"text":"Elimination problems in logic: a brief history","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024114$5FC0C5F7-8469-4FAF-BF50-B9ED62AE3487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5a45472894c75cfdf5ae4a20c7ae288da82b7bb","datavalue":{"value":"1169.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$D860CC83-222D-487F-8EAD-75A4CCEF4208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6e1be8090e1bf9e3724ced36f209cc459d004c","datavalue":{"value":{"entity-type":"item","numeric-id":976760,"id":"Q976760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$D97991EE-834B-418C-A9BD-D1766A603C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$78590D65-3D19-4D5D-92C1-6625812859AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8df8d61f5f88fa082eccb52e10b8436e8a182238","datavalue":{"value":{"time":"+2009-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024114$414AA51D-3F68-4B82-AE36-E5C1E01912FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7095cedb25896f679da3f01cb0c3216e29c36660","datavalue":{"value":"The kind of elimination problem the author refers to in this paper is of the following type: If \\(R\\) and \\(S\\) are disjoint sets of predicate letters and \\(A(R,S)\\) is a sentence (or a conjunction of sentences) such that every predicate symbol that occurs in \\(A(R,S)\\) belongs to \\(R\\cup S\\), find a sentence (or a conjunction of sentences) \\(A^{\\bigtriangledown}(S)\\) that axiomatizes the set of \\(S\\)-logical consequences of \\(A(R,S)\\).  Interest in elimination may be seen to go back to Aristotle's syllogistic, later to be emphasized by G. Boole (whose line of thought has long been considered deficient, until S. Burris (2001) managed to clarify it) and E. Schr\u00f6der, who turned it into an algebra problem to be solved inside Boolean algebras.   The author presents in detail Schr\u00f6der's solution to the elimination problem, followed by an outline of Skolem's proof of what the author considers to be ``the most important elimination result in logic'': Given any formula \\(A\\) in the language of monadic second-order logic, one can find a formula \\(A'\\) in monadic first-order logic with equality, such that \\(A\\) and \\(A'\\) are logically equivalent.  The paper ends with questions regarding quantifier elimination and some problems raised by the author's paper [J. Symb. Log. 25, 97--142 (1960; Zbl 0108.00304)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$2B90FDBC-06F9-4B13-9C2E-1F39D98372DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$24B11F06-A968-464C-A53B-A15234D0DE39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$D794C1CD-FB65-4685-9458-B47724707B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$D76943B1-D520-42E4-BB06-DC22D022700E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$09530E5D-1070-4B3F-AE59-3BB42AAF4264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$DFFA7A30-818A-493A-8D56-1B0C4CC6AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$C2DDEDE5-3CAA-4F17-9FFD-1988A50ADCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$0D3AA485-ED33-4478-9588-8B21607F37EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$B6F02CF2-2CEC-49D8-B4EF-18A439337C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$0060A211-2182-487A-80AE-6F9EA02151B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f20434aa56ac80cad9e54c253acf81cf4071f2db","datavalue":{"value":"5565215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$073D4BE7-881A-4726-8D34-1440DCDE8909","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a405708c8df59b0f7d34a3b3c79b24c77ce468c","datavalue":{"value":"elimination of variables and quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$435CD5E8-306A-4F42-9136-AAD2B407A6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb267c32aa43fc9243154769f70c4c21e0f3b821","datavalue":{"value":"Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$5CF91525-AD34-4F88-8625-57AD7E985DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$3B9164B8-9D86-4B50-A651-D8D951A45D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81162f3964946fcf6756840c19437d01fd53405d","datavalue":{"value":"atomless and atomic Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$D30637D1-88AB-44BA-A2E9-D3520EF94CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b859b7710f4daf6bafddb6a08e97fcaddce754c8","datavalue":{"value":"Boole","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$A826FD3B-0E54-4DF0-92D3-31D3D08ECAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e156bb100126548bb0d68d061b9a2607d4d68011","datavalue":{"value":"Schr\u00f6der","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$404E5469-3D03-420E-86A3-3D542F128C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3fa795441cc5f9cd46dce7d5f483555e28d64a9","datavalue":{"value":"Skolem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024114$152A2A58-78F1-4566-84D3-80C47C51C8AE","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":"Q1024114$DC4BD332-D6F2-40D9-994F-940A02F22630","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f67a58b26f2905da9394a6dee3b1df4c816e8f35","datavalue":{"value":"https://doi.org/10.1007/s11229-008-9352-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024114$F847B9D1-35C3-456D-8691-EA4C84B3C6E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2a67486d3abfc0350c7e5c1bbc5a629b51b3632","datavalue":{"value":"W2061497937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$2B4E2EC1-E5E4-470C-ABC6-4AEE77F37B1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7923db27a69df68433e19bcb135bba72260e5","datavalue":{"value":{"entity-type":"item","numeric-id":1840069,"id":"Q1840069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$7E3E319B-A747-477B-BB59-99722758BC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$AE9EBB0F-49E7-4FEA-A28C-463FFD1A026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$748A809A-8686-42BB-9822-F3840EB57AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da81df398f051e6b7f35c37440de17b7e44edc09","datavalue":{"value":{"entity-type":"item","numeric-id":3843604,"id":"Q3843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$F7BEEC2F-80C9-4B0F-A7A9-BA2668AF377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$A5F993A5-79B2-4B95-AB9C-BA9D9B3487C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb8cca8c75cf027dbdcd4ce3d55db4b7cc03846","datavalue":{"value":{"entity-type":"item","numeric-id":5585366,"id":"Q5585366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024114$BBE51267-DC16-43B5-B56C-1E92BC19DF5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f872ad9666ddaea184df6934ff74fc07de03948","datavalue":{"value":"10.1007/S11229-008-9352-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024114$1F128B45-8E3E-4F1C-B326-2D0DD94007D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33a91a09c0a0d58513f8f382b4ade0d4c1c1c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4946227,"id":"Q4946227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930a695157dfc86091bc2e59d36d22745cc4b45b","datavalue":{"value":{"amount":"+0.8078711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$317F5087-286A-43B0-82EE-BBC0264F1483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3965356b6fe0c2ec5519ba755040cd528bd9bb3","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84aeeb824187136020c26a773a279a43f995cd0","datavalue":{"value":{"amount":"+0.80467653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$72DC3BE7-2FE5-4269-87DA-64A3B9C2CD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f534039a509046f80dc64553ee35d9c662daa574","datavalue":{"value":{"entity-type":"item","numeric-id":3455775,"id":"Q3455775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c6b4cd0999f8541180a592ff7436a57ca85116","datavalue":{"value":{"amount":"+0.7915881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$B837BD37-F1BB-4A2F-AC01-F9A7A7AEA326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3876b8bff642136a97d96fe541aca6d18baa27a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765578,"id":"Q2765578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773bf52c089d938c3cf69ddc3d9709094e4cc4b1","datavalue":{"value":{"amount":"+0.7864894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$CB6E1DAE-9937-45E3-8DC4-B8FC225F3AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da6d4c7d7073a9e7a8e121df85560d4c74115a9","datavalue":{"value":{"entity-type":"item","numeric-id":3693512,"id":"Q3693512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cda9c1188b0a71a231a3e36d18f8f156cb2879","datavalue":{"value":{"amount":"+0.7790537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$36861532-0EAD-458E-A070-95D82255FDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f89d5e5197ff49e1c9859d79d9e6570cadb6b4e1","datavalue":{"value":{"entity-type":"item","numeric-id":843613,"id":"Q843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a350136907eeff4497d86a531b71611bd68266","datavalue":{"value":{"amount":"+0.77891266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$7A2F9B94-BB0A-4929-956F-B265BD197C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72da3ac7de07c973b6ce822eac8ee5bd6fd603d9","datavalue":{"value":{"entity-type":"item","numeric-id":4915146,"id":"Q4915146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e4ed0b269eb7ec50713d1415be231423679356","datavalue":{"value":{"amount":"+0.7692031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$B516A87D-9D31-435A-903C-754AEAEDD70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31640c0708f96e8bce20d9fd0bf3e8339cb8d52","datavalue":{"value":{"entity-type":"item","numeric-id":3643319,"id":"Q3643319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69449c9503c1f9d9abfd838b67c403536aef0553","datavalue":{"value":{"amount":"+0.7691209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$C8065D37-0283-4B24-B4A0-08ECCAC7FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97f708c4b8c4326839d8241c45d7e4cd20ae49d","datavalue":{"value":{"entity-type":"item","numeric-id":5899321,"id":"Q5899321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db99edb1799f8e4c06ed52ae640c9abff9631c16","datavalue":{"value":{"amount":"+0.7634132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$54BB4D1F-32CE-4F57-B005-10221E6CA13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e15dd422b4066bc6fe07d73b57cc5fa46096bd0","datavalue":{"value":{"entity-type":"item","numeric-id":487231,"id":"Q487231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb3a4e546e15e9573705e0d62418b5db4551843","datavalue":{"value":{"amount":"+0.75967216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1024114$CD57763A-38F0-40D8-BC67-9EA4174EA00D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination problems in logic: a brief history","badges":[]}}}}}