{"entities":{"Q650922":{"pageid":652771,"ns":120,"title":"Item:Q650922","lastrevid":63320235,"modified":"2026-04-11T12:04:51Z","type":"item","id":"Q650922","labels":{"en":{"language":"en","value":"On the elimination of quantifier-free cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5987007"}},"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":"Q650922$008C4A92-DFF4-4B9A-BCB8-50AD8DF5F3EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2e688bfc20aba70c07b2a71526822a455bf89b","datavalue":{"value":{"text":"On the elimination of quantifier-free cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650922$9DB96045-CDA6-46C0-85FA-FB8C32649D4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e28d9be1ab764a1e546114b410d849a4cff08588","datavalue":{"value":"1241.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$FCFF7238-BDAB-416B-9D83-6AF4AA66B25B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$66D4E1E6-2DDC-4593-AFB1-C3200D7E7D2B","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":"Q650922$04FE470F-4FD4-404F-B9AA-71F7FD7BD5BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e38c6f1e03c0365fe5e243370e140f97607764e2","datavalue":{"value":{"time":"+2011-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650922$A73AE70E-DB31-4799-8572-554AEC0FB61E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$11F6B355-172D-4105-8994-AB9F44F89A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$4F49F41F-A674-4D33-9D79-E016B060214E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da2f12a2e2688810747f46290c669e42fea953f","datavalue":{"value":"5987007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$3BF6CC60-816C-4D77-8F7A-610377E34596","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q650922$F9648004-4EB1-4EDC-A122-1A9055514B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q650922$CB9C52EC-2527-40D1-9BFE-3AD254DC7DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q650922$063B5D2F-ABAD-4FD8-8DBB-C2CF8661ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q650922$FBA10A9B-14BA-41FE-8F85-4CC2B4B8E0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18890b17c6f88230e3a523c942dd33c7a5fe7587","datavalue":{"value":"quantifier-free cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q650922$029F01DA-8C7E-497D-9C9B-73D6BFCB4AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde573c8ecd15c95a01c1ac4faefff78fcd992f2","datavalue":{"value":"exponential upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q650922$80A06EEC-6164-4A66-92B2-51325D22B61C","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":"Q650922$11C929A7-6C84-4321-8585-0B596F3DFA6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c3f8a7176cbd39e7dccfa7efe3ee7de9751a232","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.08.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q650922$2CA5940D-E74D-4F1A-83BF-844E8F2F259E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"990949f37a493fe4a45ede9fa9a726596f3f952b","datavalue":{"value":"W2053289767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$6359C200-DA4F-4AEB-8A97-1642C187B4FD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9c68a0b01c92b4588a23975d187aabfc0b2f5731","datavalue":{"value":"Q40389168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$89AA1C4A-D99B-4286-BA05-E710D3D23BC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$9A8E4626-5F11-44C1-8791-9AB273C2C0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$7BA27B8E-1FEE-44F8-BA0B-43B35C112405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$FA80BCA4-EDFE-4485-83A5-8E1A20251181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$9AC67020-A564-43E2-B622-6B0F9ADBD82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f094dce430ae0e7ee30af87c2ef9bb77758df377","datavalue":{"value":{"entity-type":"item","numeric-id":2565988,"id":"Q2565988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$76C7D7D9-A0E3-44B3-8C88-977C8D175B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa08a5adf53700113499e1b71945ae8b6f49ff8c","datavalue":{"value":{"entity-type":"item","numeric-id":1023053,"id":"Q1023053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$3D5118A7-41DA-4C03-BFF2-89C8D337A670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$8F82DAFB-657D-4CB6-B183-205C27FF3DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$4F2E5798-6770-4278-835D-213B9E4A6B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$C6C0B4F5-BF22-432D-9A0B-516EA21D04B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$784CC965-6E79-4A02-A169-921D141FD2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46faa8f9dd9d2db15375b6f86cd9184a54fb226e","datavalue":{"value":{"entity-type":"item","numeric-id":5505525,"id":"Q5505525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$F1A0ACBD-C974-44CB-B51E-F916D688CC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb3df9e8e46d76dc29fd9db68a4ffa6e8e6037b","datavalue":{"value":{"entity-type":"item","numeric-id":2987066,"id":"Q2987066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$E9D05762-A9F6-4BEC-8061-7C209DA95110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8246186317a12728382bda44d4fa806440e38","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$BCBB888A-1D1F-473F-841C-C2A5E80C264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d00aab1326d4e92125bfdd3af6e80e218d54c4","datavalue":{"value":{"entity-type":"item","numeric-id":1329747,"id":"Q1329747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$88564D9D-0D8C-4988-9209-27004956432C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9592d28fcfd9af524f4b5c9851b94599f08edc71","datavalue":{"value":"journals/tcs/Weller11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$30B1F223-FB1D-4799-82F9-F755917A2EEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2928f5a18ca15fa0729766a8adf38c4cb4f14355","datavalue":{"value":"10.1016/J.TCS.2011.08.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650922$4C120218-88DE-404C-B4F3-83C4AB4C4648","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6189752373f6f04ba56290b36cf42d222aba51","datavalue":{"value":{"entity-type":"item","numeric-id":2565988,"id":"Q2565988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33b16b819e40ba66d9dc35a961df022a94ec5e1","datavalue":{"value":{"amount":"+0.9037338","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":"Q650922$9A5DB529-CBC6-490F-8DB0-89C892B807A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c3aa81ef9189d7054425f95ac32998b0ba8a38","datavalue":{"value":{"amount":"+0.90167093","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":"Q650922$6C0AF709-E3EA-4301-BA69-B2057F6D199B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3704ac87df8579c24d402191b9c3e1d11ef90fdd","datavalue":{"value":{"amount":"+0.8997511","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":"Q650922$110F0344-21D5-4881-B85B-B8DB752FA472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899df3a2adb4d1a8c0705ab6c1898223112d1891","datavalue":{"value":{"amount":"+0.8989313","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":"Q650922$1687B1B4-BDE8-41CF-B252-E611D0B06221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899df3a2adb4d1a8c0705ab6c1898223112d1891","datavalue":{"value":{"amount":"+0.8989313","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":"Q650922$95394F15-C21C-490A-AA35-F10203CD8DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5179163c08a214e80029dc628819449a2b1261","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a925c9f3b763d55e0093dc4a2ab747bb675cb705","datavalue":{"value":{"amount":"+0.8938439","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":"Q650922$6B68BBED-FB3E-44CE-A26A-EABAF33FE79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5566ad50983c466a6699fe807728e4295455c0","datavalue":{"value":{"entity-type":"item","numeric-id":4729758,"id":"Q4729758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eadefc843341b9e03962c9fab2c3d10b0d5a14d","datavalue":{"value":{"amount":"+0.8925068","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":"Q650922$69B85328-E7E7-485E-A94E-3477B8957607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f092c5cf8b2992c92e07938ede5e1958883f9ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5351952,"id":"Q5351952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6477539a8d294c454851a51e0fc85fefaffa7257","datavalue":{"value":{"amount":"+0.8924983","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":"Q650922$EE87875D-7C8C-4E78-A731-6FA650CC9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6cf6af850e67f4b49e0e7f0da1ecf74ecc9d4f","datavalue":{"value":{"amount":"+0.88736135","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":"Q650922$FDFF76A0-4AF1-4CEE-BC46-F4CADADBB470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38584f2f52deae4b10fef8e1098215a781019da9","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab9210aea4f87f9c62f4fef054a1076aad48331","datavalue":{"value":{"amount":"+0.88613933","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":"Q650922$77CD1EED-1014-422D-A725-3E6481B32C71","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650922$18C5DE1C-C72C-4C26-B504-01D38EE8DE62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the elimination of quantifier-free cuts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_elimination_of_quantifier-free_cuts"}}}}}