{"entities":{"Q2106875":{"pageid":2117618,"ns":120,"title":"Item:Q2106875","lastrevid":78274724,"modified":"2026-05-06T11:12:24Z","type":"item","id":"Q2106875","labels":{"en":{"language":"en","value":"Natural deduction systems for intuitionistic logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7625359"}},"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":"Q2106875$1FF9A0B4-AE2A-4E1B-8FD7-FEE0B702553F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7b41f25f535e55b47a736cbfbf4a26c88a26bd","datavalue":{"value":{"text":"Natural deduction systems for intuitionistic logic with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106875$23C1349E-51DA-47EA-B26E-1A560D4C6C97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4561f669a27ef701c4931d6fded130dcc28c39f9","datavalue":{"value":{"entity-type":"item","numeric-id":897481,"id":"Q897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$28619A43-ED2A-4C78-BDAA-6CC0850A0683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9da9e90f8331f4182607853a0189b069c9625d7","datavalue":{"value":{"entity-type":"item","numeric-id":2106874,"id":"Q2106874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$1B9E4517-4AC8-471D-90D0-16835659881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c994f4e4dbb1bef7f767e263ebee96ab6ff44260","datavalue":{"value":{"entity-type":"item","numeric-id":2104531,"id":"Q2104531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$5DFF30C6-548C-4EF7-B9C9-880C1D061635","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":"Q2106875$D4E72BBD-7DB2-440B-9D39-52A8169862C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff554c38a929f96d81bcf5843c23acf6139d71e1","datavalue":{"value":{"time":"+2022-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2106875$1A234A86-BC58-4CA1-B6A8-FF3A642AEFE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106875$A5F09A86-A40E-42DE-9EDB-FF457B311EC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502990f600c69df4f3cb6df7fd67dc8a7758a7e4","datavalue":{"value":"7625359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106875$DC86D432-BA8F-46F3-BF4F-0F98ED14F00A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106875$B409DE21-7D85-4A8C-9563-B9BB6681B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc17046dc8967e4a084085abb9fe26b140861281","datavalue":{"value":"non-Fregean logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106875$CECEA306-BC5A-4E65-A2F7-19ED0C26195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff04c7d6d5d15c4422d20de7a09bb280bc1ff9f7","datavalue":{"value":"propositional identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106875$8FFBF65E-7C20-4DC2-82E0-6901B85188B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106875$6E26C023-48AE-424C-BE77-9B581A46591B","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":"Q2106875$E756D343-F4EF-45F8-8000-EC2CA1BF3E69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60a54a4a59335aa102b7aa00de94722b87ec2a9e","datavalue":{"value":"https://doi.org/10.1007/s11225-022-09995-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106875$6AC17107-30A7-48B5-BF8E-2ECD7A47029E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15992bbef712f357f009595b02ea059c91bbcf33","datavalue":{"value":"W4293084456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106875$AD779BF8-46EE-42B6-BAC4-54257FABCE01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e68de368fb8d286319cbe25289d5f0386dbda2","datavalue":{"value":{"entity-type":"item","numeric-id":2537104,"id":"Q2537104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$61B3D764-3C1D-4B46-A97A-E22C3D3CD3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630f64f96b41890d0243f36f4782f7d4c9de4944","datavalue":{"value":{"entity-type":"item","numeric-id":1653652,"id":"Q1653652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$B3678941-AE7A-4D1C-B5D6-276182284673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41344387ea29b25783820ebdb28a3918185fd2","datavalue":{"value":{"entity-type":"item","numeric-id":5126198,"id":"Q5126198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$383296C6-5FD8-4A6D-A13A-161FC5F2E647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$10123A1E-F39F-40DA-BAF6-D577976D6ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e328584338e141d5e01fa3734ed8c5a8640eed0","datavalue":{"value":{"entity-type":"item","numeric-id":3647282,"id":"Q3647282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$78C043C8-18E1-4150-BCCB-83FF0558F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$7900B1E9-8019-47DB-B8EC-B37E8B3900B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a0af6d41c6187bbec9d6b1ba57b927ad71ba15","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$D6F01EF0-8F56-4013-885F-A4B7059E959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c0ed8aad586b712cab7c1c683b4fee3fab10f8","datavalue":{"value":{"entity-type":"item","numeric-id":1236430,"id":"Q1236430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$765D4FEB-2D51-4657-BCE8-680EB85AEC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$602ED6F4-8AB5-43CB-8C3A-8B7A60F38EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$4AFF9CD5-39DD-45CB-8665-E349A69A23B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$CABB98B0-9574-4695-9CE0-F77E76916057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2cf2232431dd2332d0af4aff7d8db0a748e19b","datavalue":{"value":{"entity-type":"item","numeric-id":2106875,"id":"Q2106875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$469A9B0B-4404-444A-8D04-7B89569C6743","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":"Q2106875$D3E87A66-2D6B-46A5-A472-047F5BCF9872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb98a98584fad26680b80d377e740ad3430b36a","datavalue":{"value":{"entity-type":"item","numeric-id":5727646,"id":"Q5727646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106875$4AE7C4C1-C335-48B5-A76D-7C6BFDE1BC81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4964ac5526effd6d89b74baed6d8c06129cc2f","datavalue":{"value":"10.1007/S11225-022-09995-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106875$24C11533-17E1-4C35-8FE1-5F3EA2DD0207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0f6acab23a0ef1c9df2510844c3229f06b6e54","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328d0195207a2e6ff9fd8a1c9427578ee0197bad","datavalue":{"value":{"amount":"+0.8124107122421265","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":"Q2106875$6D20300A-FBB4-421A-9F87-A734BFE2A82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f267a9aa1aeded743a0122ecfe624fea812bb51","datavalue":{"value":{"amount":"+0.8016796112060547","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":"Q2106875$82206D5B-8E04-440D-B882-EBA8461A83AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c13c942a5683a6c00644f8178d70e8321e482a","datavalue":{"value":{"entity-type":"item","numeric-id":5126198,"id":"Q5126198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a45be8fe75497eb66f5cd0089bfb03e925102d","datavalue":{"value":{"amount":"+0.8011036515235901","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":"Q2106875$9BCB2C36-7E74-4770-BCCE-A4EE9326A2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0b0ee5debbdfe72f1845498b816820c3d98177","datavalue":{"value":{"entity-type":"item","numeric-id":6159928,"id":"Q6159928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be694cc16ec120e4cc2c9cfd13e0335d30b3c45c","datavalue":{"value":{"amount":"+0.7749986052513123","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":"Q2106875$7117BED8-6D39-4745-A8FD-F63E251FD4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c376014966473c09e6bf1b29762371e91e7c62e","datavalue":{"value":{"amount":"+0.757958710193634","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":"Q2106875$BCD5A091-7BAD-47EB-87A0-6D9F400B3C4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction systems for intuitionistic logic with identity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_systems_for_intuitionistic_logic_with_identity"}}}}}