{"entities":{"Q2352461":{"pageid":2363204,"ns":120,"title":"Item:Q2352461","lastrevid":74087454,"modified":"2026-04-14T18:19:04Z","type":"item","id":"Q2352461","labels":{"en":{"language":"en","value":"An alternative normalization of the implicative fragment of classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455000"}},"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":"Q2352461$3E1CA347-4CDC-40B4-BB3A-56E5296EE9E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffa0408f6f873f3ef639ff826dfd12b0080343e7","datavalue":{"value":{"text":"An alternative normalization of the implicative fragment of classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352461$3365A55C-2B12-4A3F-89F4-EA7C26B69F4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8567bb410aeae1fba6285d249b9ca2f7ed526df","datavalue":{"value":"1373.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$24C09569-24FB-4691-ACCF-0EEE6CC87BB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73718bee04a6f42a4a277895708f8993ae83bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2046879,"id":"Q2046879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$202FF762-9F1D-471F-BD46-71971884F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$3EADD8C8-397B-46A7-95B4-8C9B98BB9EA0","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":"Q2352461$94600E2E-79CE-45C5-B517-121325206C3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2352461$488D75A0-A40F-4BF4-8B7A-69F94A23FF2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$116A8065-B60F-40C0-AFB4-01DA98F6D793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$1AC5E366-2ABA-451E-AAAF-2FB6E62D91FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$0AC9A748-C808-4355-82F5-A60E7C6D40C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79533b6e13e9634067c687ca0ab6d8738a985848","datavalue":{"value":"6455000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$79D89437-E4A3-4087-B4E9-C3F11BCDC848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7d1ee21866fa47fc6402e852fece446f4544b3","datavalue":{"value":"classical implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352461$EF58B6A5-29EB-4573-831D-0217A4ED1AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352461$16D845DB-59FF-4475-8204-E1AB81A36E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352461$3711EE69-8334-4D69-BE2F-4831F2EE81D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352461$393C4869-DAC6-431C-80C2-E3191A8CADEF","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":"Q2352461$5B63E71F-68CF-4164-9AE2-B07932E4AC02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"125ead11e321234d7f69e1a8b66b14cb855c5881","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9573-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352461$68079E16-87E9-4471-AD28-8BBA69F3B49B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ab7beb717103ccfd098239637bea012b9296ea5","datavalue":{"value":"W2092871146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$98820DCF-E79E-4905-8C04-C2BDEF7BDDF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec708b38cfef1ec8d71b2ffbf33cb19336252858","datavalue":{"value":{"entity-type":"item","numeric-id":3218107,"id":"Q3218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$9EED1D60-28F8-4F2F-ABAB-1F795106CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c3b2a5328c9779129164fc42a36268c5218ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1062053,"id":"Q1062053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$05385485-24E1-45DA-9D21-E95BC93AA2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df354226a9dc2a9cd2e0996061824496976072ba","datavalue":{"value":{"entity-type":"item","numeric-id":1117920,"id":"Q1117920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$50CCD4C5-5528-4FC8-B6F3-E08AEA8BC24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53674086d0b747bcbbd79e06734f8da013fe9ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$52D4F52E-0AE5-4A57-BCD5-5446359C1784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2c9f4c43bb8d6e1c287e3e883ab64c38a78430","datavalue":{"value":{"entity-type":"item","numeric-id":4295220,"id":"Q4295220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$1717CF49-396F-45D9-9927-185980E7A88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9083ed2a5a4100a6263c5105b0b970e65426d846","datavalue":{"value":{"entity-type":"item","numeric-id":1198828,"id":"Q1198828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$70D2893C-CB08-4573-B9E8-AD40EF47DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$FD4164A2-B411-49B5-A0D9-621763778B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d845b0c0b1a80cb1fd918c66630be13704061dc","datavalue":{"value":{"entity-type":"item","numeric-id":2254564,"id":"Q2254564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$2455264A-0089-47FD-B621-F432946A3613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$777F540D-376E-4FEB-AFF0-98C93CB7C232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8baa2f8fd3aa16e61f83255376b39afd5bbb2d","datavalue":{"value":{"entity-type":"item","numeric-id":3914962,"id":"Q3914962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$3C83E6B7-3FA5-4A07-A0AE-C52520E71B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$676141E6-E55D-4E3B-8D0D-4CEBC6FD1153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb1ac68bacb40e69c0c6bba80ea19c5630fa5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5772797,"id":"Q5772797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$EDA4EBC9-E491-4153-A065-870CE023475D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf7ef8adcd3b5737251ac048cd7354745ad2d3f","datavalue":{"value":{"entity-type":"item","numeric-id":4143275,"id":"Q4143275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$37D223DF-EBDA-4D7B-BBC2-A1653AE0D622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$4EA4CF1A-2A8F-449E-A429-2C0C3D1D07CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce8ac980c7cc46b8e87203de4cd8bf41677e945","datavalue":{"value":{"entity-type":"item","numeric-id":5553255,"id":"Q5553255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$5D857FA4-1DA3-4F37-BE98-B3509E380DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7ebc6150a33fced2c281945461b73c4c98aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":5523672,"id":"Q5523672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$26B1E118-B384-4A7D-AC4E-DE1910EA2C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da4f8124df616779c1e5f981f64da6f91a7a74e","datavalue":{"value":{"entity-type":"item","numeric-id":5534906,"id":"Q5534906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$0A6E1376-8DF9-483F-945D-6DB1591463B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$2AAB0692-293B-4CA8-B471-9A39CA4267B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0406ec8b16468c740d7d3a171d4ebae30309a59","datavalue":{"value":{"entity-type":"item","numeric-id":708929,"id":"Q708929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$6569987F-04A4-4BD4-876F-7CBAAA03025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aefbc43c3b19169bcae5bdf1ff2e41b4db35abdd","datavalue":{"value":{"entity-type":"item","numeric-id":3944582,"id":"Q3944582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$D0E68CC3-D6EA-4E3C-9B8B-FCC9169BAC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$6F11F449-07B1-43E7-AE3B-CDE780B25DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf000fbe77aa4735109b86f1522c01e6b9a88772","datavalue":{"value":{"entity-type":"item","numeric-id":1568714,"id":"Q1568714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$1690F1A7-3CF9-4BED-821A-EB6EE9F74DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb3cb718675c3fe3133c1db7ce063709950989","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$F617A4F8-E864-49A5-B192-3D96375F2EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$42A7D9A6-1CBB-4CAF-B4DD-98D9CCC2E928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$9A56B7BD-3C28-4481-96D4-367790342734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b2deb022bff66d798fc31c4ceea93ea53ea604","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$D2684C19-C53A-43CD-8BEB-0C2860B6665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ea676d7dea028bdc934c4cff4737ce3b2e6c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5771193,"id":"Q5771193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352461$8D49CBD0-F922-49BB-9620-55588A09B27D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"005b32067a72b1bd7cc43832730a93baae29ece2","datavalue":{"value":"10.1007/S11225-014-9573-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352461$378F45F4-9EF2-4045-9877-F283E6C9DF51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29354c5a52be0eba507370836c3290b080fcc429","datavalue":{"value":{"entity-type":"item","numeric-id":708929,"id":"Q708929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1f6a388ff8a85855dd80d78b2b683eee7b4cee","datavalue":{"value":{"amount":"+0.8421433568000793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2352461$AD0BE0D9-36C9-4174-BD81-A1783ED6A2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fed6b18240662fc0674cf2c7da78db6aad6bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24be823eae6accd727b6b0ebdbd52eb8fd65e20c","datavalue":{"value":{"amount":"+0.8228116035461426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2352461$96C68AB9-A3E8-464C-A4B8-05E527A6C209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca08ba0a45777beaa9c644294e17e3553b54c98","datavalue":{"value":{"entity-type":"item","numeric-id":2751814,"id":"Q2751814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548b9a935c29774146961337e9666273e0d5da88","datavalue":{"value":{"amount":"+0.8128440380096436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2352461$18C3AF94-430E-4404-84B4-0439C9960738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f1668bf99beafe7d3e8a26a81610d6b2424d27","datavalue":{"value":{"amount":"+0.8033680319786072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2352461$CC34D248-D9A2-48B5-B9F0-3AFD77A88499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8f57e1792e30ea578ef3d5047c80cf7587a026","datavalue":{"value":{"amount":"+0.7984620332717896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2352461$4AEF06DE-7BE1-4873-9308-26122CAEBAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative normalization of the implicative fragment of classical logic","badges":[]}}}}}