{"entities":{"Q898771":{"pageid":900619,"ns":120,"title":"Item:Q898771","lastrevid":65228520,"modified":"2026-04-12T01:10:22Z","type":"item","id":"Q898771","labels":{"en":{"language":"en","value":"Reflecting rules: a note on generalizing the deduction theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6522452"}},"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":"Q898771$86F0B9E4-68C4-4BC2-ACAA-F3FAACCB6AAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1a9e12e606122c336e7a6a63aed0f185b0d7194","datavalue":{"value":{"text":"Reflecting rules: a note on generalizing the deduction theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q898771$2364BD5D-3791-425D-AA34-403782D6D8F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e628c9a0e914681510f857c5b12ce3dbe4b91ac8","datavalue":{"value":"1378.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$6D19B9F1-B657-4CCE-87D6-F2C9D11DEB81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad391507cad8bf8dd5f959362d3ce04e2448897","datavalue":{"value":{"entity-type":"item","numeric-id":253132,"id":"Q253132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$E448A276-FC7F-41F9-AEFE-1F82803B5A9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$310D6599-0104-45A3-9F81-62CB0C915EE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0b0bf87fb6106f38722f33b49fa61bb09ad1b48","datavalue":{"value":{"time":"+2015-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q898771$284F9230-B39C-4A3F-ACAB-D43D6FAC0ED3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$2AD816C6-5A4E-4709-A603-D9585653382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$FDE37A68-3B23-4C2E-B241-0BF76C85B8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$0AF2CF9B-D390-4184-8330-5EF64ED1F601","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c762a976cf9b46b8e2418ca7c835bc9ed1f01b4","datavalue":{"value":"6522452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$D3DF4736-1449-4F31-82E3-C45E1599C30D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13e2a3e7fdc57e39d6966bc2de4797dadd8ad4a","datavalue":{"value":"abstract consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$58ABEF88-E4FB-4FEE-99FA-F996F8270267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$B62CB162-F59A-48AE-909E-6901961A7E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$3B10DC4A-264E-4322-B61D-F83F38201E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$5D88DC2E-CD5D-4F17-BC78-37D9DAB24C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8aac97481b2fd76e010c37bfa023b957d1b69f","datavalue":{"value":"uniform substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$49FD3E41-4793-4FCE-9DB5-D219DC78B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$CD3A991A-37AC-45E8-B1AB-E60E320300EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3bb7437e5e4833f648cbf2fcaadb569db5815a","datavalue":{"value":"universal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$E8C08C0F-75E4-40CF-9A9E-3595FFB72FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q898771$52E3883C-42C4-4EFA-96BA-0ABDB95EB9DE","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":"Q898771$7163AEDA-9943-4480-8EB1-B92AFE52677D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bc69e8b513ef5845b3b4125405b0573a97cccab","datavalue":{"value":"https://doi.org/10.1016/j.jal.2015.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q898771$C51B69C3-08BA-450E-8331-2821424774FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f8bc8fcf483050672aabf23247691f2c40a3f4a","datavalue":{"value":"W1991850485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$116861A1-CB0D-4BA5-9810-F7A9F7FCE0DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afb61c580aaaf9dc94610f33124332948513e8","datavalue":{"value":{"entity-type":"item","numeric-id":5841793,"id":"Q5841793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$F3D8779F-E83E-4035-8B58-8715BE84123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4cebfed9f7e0c2c2ecf3d585818325efec3cb5","datavalue":{"value":{"entity-type":"item","numeric-id":1316410,"id":"Q1316410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$41DE4A31-221F-4711-AAE5-92781DB42F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1f9f8921b3649b10fb13e40ea38574e19ba3f","datavalue":{"value":{"entity-type":"item","numeric-id":4032879,"id":"Q4032879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$C7FFD41F-CDBC-41A2-A461-786C0F4A00F5","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":"Q898771$E05B1951-C87D-4F4C-A46B-7D2344710985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$51E311F6-B458-46D3-8966-2A17F1D144B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$7A5046A1-6F9D-4758-BD07-8B12CE8EC41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$48DCA37B-BCF1-4C44-8CEA-52E8F193BE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$A7FF4C85-7280-4740-B624-26707BFCA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa50d0f77af91c645e95a9371b5bb6a1956803b8","datavalue":{"value":{"entity-type":"item","numeric-id":4529489,"id":"Q4529489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$625B7BC1-589E-4C9F-8A17-F6C0C89D1D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$053F547B-B044-489C-B752-A90B3D33E8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$071BB58E-F675-4632-9B15-562DBB776012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cb78207a445605aa958bd119917a2ff0d2dfca","datavalue":{"value":{"entity-type":"item","numeric-id":2534143,"id":"Q2534143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$9E3C61C2-896A-4F7A-934D-2030C805C1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a8279d3e7df64c26781d444c4bce904ef4b89b","datavalue":{"value":{"entity-type":"item","numeric-id":456970,"id":"Q456970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$E42EEBB4-5ADF-498A-B4C3-CBA137A1B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$6C06FF41-E5C1-4A4D-96B7-94C860F25317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b350a678a50a52bf732fd7e9002ae33d3f14e","datavalue":{"value":{"entity-type":"item","numeric-id":4049046,"id":"Q4049046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$5EE7768D-9326-4E4D-82AF-2920BDE1AE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898771$208FC877-36C7-4748-BA53-2C1D58624979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc2bcf9c86f4643b1bcca32399aa7dd9ee446344","datavalue":{"value":"10.1016/J.JAL.2015.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898771$D3DB993E-9E05-48B3-803D-915EF4D6D1CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c29a87d9da191a39c1a3f5c51a14773237df23e","datavalue":{"value":{"entity-type":"item","numeric-id":1262861,"id":"Q1262861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35192bb34d6075eb8ee4b5c9b091a64c6798ee1e","datavalue":{"value":{"amount":"+0.87918484","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":"Q898771$0218F5ED-7345-40DF-A714-8C5EFDBF4B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b575b5b6e96b843e9be8bd9fab7f260eda85bda","datavalue":{"value":{"entity-type":"item","numeric-id":4223000,"id":"Q4223000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdb5dbdfa6bed234453874f079af2c5a85c364b","datavalue":{"value":{"amount":"+0.87873507","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":"Q898771$D3925837-45BC-4BDD-8217-F24B1A1F876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042587c6fec10116cea3805097d7c0144d349eac","datavalue":{"value":{"entity-type":"item","numeric-id":4268410,"id":"Q4268410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfdaa0b0865bdf8c6d7d888124ac233823c6401","datavalue":{"value":{"amount":"+0.869203","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":"Q898771$40E3BE56-31B0-4294-BF12-FBF3A335A355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c5cc73a69f525cf2ebc68b8cf5e328113b36bd","datavalue":{"value":{"entity-type":"item","numeric-id":5354805,"id":"Q5354805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70659254389489296fad2961055be27042fcf7dc","datavalue":{"value":{"amount":"+0.86658907","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":"Q898771$94E974AD-9A53-4EE2-8E26-E333AFD03331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc08b94def33e48b19f72a436763284695b44e","datavalue":{"value":{"entity-type":"item","numeric-id":3133173,"id":"Q3133173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e24da7e19cd595fad9e8718780aa4589f8713a","datavalue":{"value":{"amount":"+0.86446184","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":"Q898771$0C470EC9-9F2A-4AF5-A142-3DDC896F8359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd86e561154e5b3badc8d67702d5feb8ef2f227","datavalue":{"value":{"entity-type":"item","numeric-id":3309802,"id":"Q3309802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef7bf4c8aeddad95092df043d2f875e3182d2d0","datavalue":{"value":{"amount":"+0.8640367","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":"Q898771$E48F53C3-212C-4FC9-B3A3-30DDC74A356B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3baccfc2dfc8e13cba7b006ef3be6827e6c6e698","datavalue":{"value":{"entity-type":"item","numeric-id":4851412,"id":"Q4851412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7321315f5f1273ddcf236896cc296fd7b1fd21d8","datavalue":{"value":{"amount":"+0.8617898","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":"Q898771$7090765C-BE1A-4271-B619-4346E08278C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab269febdbb37c6072f54223618f18c17161ecef","datavalue":{"value":{"entity-type":"item","numeric-id":4254635,"id":"Q4254635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd52376a330b08dad26e4232e96271c77cc0278","datavalue":{"value":{"amount":"+0.8592016","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":"Q898771$3C725A20-83D7-4FF3-982E-22064107340B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b827fd0b5f7e6be2368d95de48e41b7a93cee70c","datavalue":{"value":{"entity-type":"item","numeric-id":4809073,"id":"Q4809073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2185937ed1e337db298e28ca94c0dd678b14c75a","datavalue":{"value":{"amount":"+0.8571014","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":"Q898771$6418FD16-3B33-40E5-8E53-411FD4799A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab4b94db813a3222a34c92fb864a9f0ffa6a237","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4ebb8092022895654d1b64d32a310a303e0f59","datavalue":{"value":{"amount":"+0.85694844","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":"Q898771$FE62BBCF-C3B7-4A14-BE45-D2CBB53B64B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflecting rules: a note on generalizing the deduction theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflecting_rules:_a_note_on_generalizing_the_deduction_theorem"}}}}}