{"entities":{"Q1005958":{"pageid":1007806,"ns":120,"title":"Item:Q1005958","lastrevid":66566112,"modified":"2026-04-12T10:59:04Z","type":"item","id":"Q1005958","labels":{"en":{"language":"en","value":"On reduction rules, meaning-as-use, and proof-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529401"}},"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":"Q1005958$20FC688C-733B-4933-A2C9-EC8896D40529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310eb93c7676a919f00bac36728bf3c185cc5794","datavalue":{"value":{"text":"On reduction rules, meaning-as-use, and proof-theoretic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005958$4445CE3D-CAFF-4CB4-BD70-683690D2224E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07337d574739e6f20c047b151b68db206ba7575e","datavalue":{"value":"1162.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$518AF3DD-C3F2-4487-B2F4-853C0EE532D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$F177147F-3DF1-43E1-854B-DAB2DC7D96A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$C5AD3211-15D4-448C-8AFA-237080B3C440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005958$C6818F09-0470-400B-8532-2AB5FB281D0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$72483608-8FDE-4E9E-9E29-730AA3018E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$5911A965-7158-40F7-8B08-9162B05B989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$3BDCB3DF-ABB9-44A4-A309-B4531E5CB262","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3954a7732a858c4ce337323ba6126e291724a970","datavalue":{"value":"5529401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$DAE9F381-1C3C-4D11-99C2-28EC7C093565","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005958$378FD736-6FB2-453F-BF65-72E69F7CC588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa6badd7edb3c0a3f34209a06dc32276b43b6a","datavalue":{"value":"reduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005958$832E3B7A-A93F-425C-965B-FF3F421A6ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ede2393dc7bac8a390ff091bfb1431a12a86e3","datavalue":{"value":"proof-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005958$E6AED152-D664-4A24-851E-C42BF29BEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005958$D58689A3-ADAC-4923-8019-4FE76FC21D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005958$18426931-024C-4ACA-96B8-D5F7B49ABA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaca642b93715f5749f5295dbea6c33c3a34c7b6","datavalue":{"value":"dialogue semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005958$0C526337-AF9D-484A-9ABA-713D8ABB2CA4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a2bf712ef236edd9d75548e3d2ae3a297f5e8496","datavalue":{"value":"Q55890454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$4CAFE320-7138-4603-BC39-D686ECD2D592","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":"Q1005958$EB996693-73B5-412C-AA0F-94DBB17D9D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00e98250f80e9e4670a90f113cdd8df411186a27","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9150-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005958$17A96FFA-6CF5-4954-A137-DD2A186E5C9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec86b803c8d260f0f173d7c362921e7e1a502477","datavalue":{"value":"W1983963449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$3A431702-8967-4881-9D53-76DA0B5CA2D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db46c135b522d2647ebae377eabb84bb4a233694","datavalue":{"value":{"entity-type":"item","numeric-id":4237679,"id":"Q4237679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$8DCB4E26-76AD-474E-BDCF-591FCC8D835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dce3450310059b9470592f2eb0f3333952ce4d5","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$59CEF34D-9DCC-4948-82C3-70C3D4523101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f570a26a86f2bced5d4e19c2deb4dfc07202c43","datavalue":{"value":{"entity-type":"item","numeric-id":3830972,"id":"Q3830972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$DA18CEC9-7CB7-4884-B108-5689AA12B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce601de00ac162ba39b2f700a4afae564efe7cc5","datavalue":{"value":{"entity-type":"item","numeric-id":2765562,"id":"Q2765562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$A42B1866-55E8-44F8-A8C2-701A71545DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0688325caecac1728a5fd90457472b2f4edbb9e","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$5787E9D5-7555-4733-955B-1DB175C9B64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43df6d7abb9f6800f09b23bed9fe6abc2c42768","datavalue":{"value":{"entity-type":"item","numeric-id":5251187,"id":"Q5251187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$85612516-B496-4DB1-A200-83D7BF37B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2d2f1b5596c040bcf344333e9d58f0d9dd8d1f","datavalue":{"value":{"entity-type":"item","numeric-id":4842274,"id":"Q4842274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$B6B34663-12E6-43CD-B01C-5C335D144ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8e99a87ff4d1a69386330e39cba9c4d4342217","datavalue":{"value":{"entity-type":"item","numeric-id":4394918,"id":"Q4394918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$4288CBCD-25BA-477A-BA3E-70034230DF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba2ad790a03b271dd1f6c0e5ecae8389bec3f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4946226,"id":"Q4946226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$C93DD6A5-B334-4945-B5A2-46A61EC97457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a110e1d9f52987e82b463da0fc8533d1f07a5f46","datavalue":{"value":{"entity-type":"item","numeric-id":4032664,"id":"Q4032664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$1680FF16-BF9D-4CEA-9D7F-2A01E2DAC4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$F3D27487-798D-4831-B674-CE440B7B950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbafa006b14468b64b745fc68aa9332b146a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4135463,"id":"Q4135463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$B00CA5C7-8B78-4AB2-BCE7-243BCE3B005A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdcf18f4820dd6b656285dba9d7833b35461d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1153885,"id":"Q1153885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$F0470F69-6E16-49B8-AB1B-F640D4B25B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19650bd44f215470cc074019440edf7b489219ef","datavalue":{"value":{"entity-type":"item","numeric-id":4133922,"id":"Q4133922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$93C86F42-62E6-4ED7-A867-D6C66F76FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184979dd5cfa2e9c637f62c15e28d51b43e4befb","datavalue":{"value":{"entity-type":"item","numeric-id":4247022,"id":"Q4247022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$6CA9B787-94A6-4F5F-B602-06866FBC0150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$D82A1B1B-5D33-4B65-B1F5-F250521A8045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$C2DC2B92-BA78-45D8-AD77-253FE3E5A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$6A14BBE5-8825-4822-A2D3-B2AB086A4CC8","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":"Q1005958$59DD7295-CADD-4F7A-B913-72570A2110B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8522203069c662f42e96bc0d7df3b0c3af526a7a","datavalue":{"value":{"entity-type":"item","numeric-id":5533180,"id":"Q5533180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$A27CE55F-5FEB-4EFF-8E96-BB36CED38170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492a7fa8a91f6eab1424d559791923c9204fc4e5","datavalue":{"value":{"entity-type":"item","numeric-id":5549787,"id":"Q5549787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$8E5F94E2-6A1C-4B87-A227-A82ACD18F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9538968d5d2fc33860e5459a77c6efa68acaef3","datavalue":{"value":{"entity-type":"item","numeric-id":5596202,"id":"Q5596202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$5045F573-7A47-4DC2-AD7D-D845470D18B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad7d6be8d828e741320b3d4554a289565a066f6","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005958$3D9693D2-5171-4946-AC8E-C622033DA030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8588c40f5e5f7420bc686b981fa80744c4dc38ec","datavalue":{"value":"10.1007/S11225-008-9150-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005958$66832833-9980-4543-B138-AFA0FAB20220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898691f136c9af9a1d795abc57f53afd5d5d44de","datavalue":{"value":{"amount":"+0.8765497","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":"Q1005958$48B88C91-0F3A-4281-80A7-4521A167059C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473a344cc4c4c6ad718fc58b4e2c864fabc496a","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cfaa45e12edb273631f2db7bf8d77f26d8a5b1","datavalue":{"value":{"amount":"+0.87257516","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":"Q1005958$321E9213-626B-46C5-9BB8-9D49DCC71E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df4418151c3fe788ba80875dc470f760978d7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1841003,"id":"Q1841003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13bf4263d828464b078659b34edb363f904bb8c7","datavalue":{"value":{"amount":"+0.86791086","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":"Q1005958$6773BC6A-D9AF-4783-B04A-968713F0F4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d62ead2278fd456c668ad1e204aa095ab2121d","datavalue":{"value":{"amount":"+0.86707866","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":"Q1005958$46A6C577-811E-4A0A-A547-C1FB126DFF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22277f784c0eba292bc220900cb6740ab9a3655","datavalue":{"value":{"entity-type":"item","numeric-id":4649731,"id":"Q4649731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b21e175b467de6c4f198627fccffc6b31d54062","datavalue":{"value":{"amount":"+0.86635697","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":"Q1005958$A7B7167D-2E51-47FC-BFF1-19CCAB9F1F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc1c8b6b52c85dd2930b3b068fb2786dd70f16b","datavalue":{"value":{"entity-type":"item","numeric-id":622117,"id":"Q622117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b21e175b467de6c4f198627fccffc6b31d54062","datavalue":{"value":{"amount":"+0.86635697","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":"Q1005958$3644CB76-9DA4-405B-BFBD-EC02F03BBE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7fe2c00331db4fbbde99009df1123eb8da2b46","datavalue":{"value":{"entity-type":"item","numeric-id":5864198,"id":"Q5864198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9b21b9050e1ed5e295e653243f1afe5eda2559","datavalue":{"value":{"amount":"+0.8653462","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":"Q1005958$9AB2CB73-6472-40B6-BF30-059FC1035645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168c73b009a5fc81938a222dfb62f3c5b4cbcf62","datavalue":{"value":{"entity-type":"item","numeric-id":6058203,"id":"Q6058203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada4fb59f01e19453a2fcea18e69bfa59ce5959a","datavalue":{"value":{"amount":"+0.86507785","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":"Q1005958$9E348E2D-DA49-46BA-B56E-E0702D0B6B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792dc24384b23aadd7bba5d6081db99c5aeb2428","datavalue":{"value":{"entity-type":"item","numeric-id":5197384,"id":"Q5197384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6654c8a8a610a147b3be12b4fa16fd3af8238f9","datavalue":{"value":{"amount":"+0.86375445","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":"Q1005958$8C28ADF3-D3F3-4A92-8C56-81277FAB2C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reduction rules, meaning-as-use, and proof-theoretic semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reduction_rules,_meaning-as-use,_and_proof-theoretic_semantics"}}}}}