{"entities":{"Q1607223":{"pageid":1617963,"ns":120,"title":"Item:Q1607223","lastrevid":74304918,"modified":"2026-04-14T19:26:58Z","type":"item","id":"Q1607223","labels":{"en":{"language":"en","value":"Peirce's rule in natural deduction."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774110"}},"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":"Q1607223$DE1083EB-75B6-49C6-A9F5-26711FA149C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f40c45b66fc6b90ff5254c23b3c548cf3d9ef3c","datavalue":{"value":{"text":"Peirce's rule in natural deduction.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607223$37FC271D-4AA2-4BFA-A055-B4306EFECCD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e852a20a1513239571f34ca3bea07d73ae50dc73","datavalue":{"value":"1048.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607223$D906CB01-870F-42B6-ADBC-5CAAFC40ABEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61bcadfc2dff64ae217ee31c0758e91d4f734848","datavalue":{"value":"10.1016/S0304-3975(01)00296-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607223$EB82786D-E06E-49EB-BDD9-88E099820870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731bbd863e426c881575785bf5fab09d2fd3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1005978,"id":"Q1005978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607223$88D01E45-79BE-4D75-B4AB-7D1CE176F071","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":"Q1607223$0764DDFF-75A9-46E2-B5D8-82DD03E73074","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607223$E598CE56-B1D8-4C76-AE21-275A6C7B5784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607223$10E1D25C-CFF6-4C5B-BD7D-175586DD0924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607223$7C9B058F-9A5E-4105-A95D-50C879189F96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"859c25426c98f5abcbe5429fc33c4ca6859dca55","datavalue":{"value":"1774110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607223$99E91C2D-71E6-4556-AAEA-46BAB48DFE9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607223$3A6B7434-9107-48DB-AC3E-CB5C3A83BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607223$EB8EF173-E511-4798-8E71-702C6BA45C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43572a1267187d55ddbf2b5b4c9ed74b4be778f3","datavalue":{"value":"Peirce's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607223$5D3FDB9D-387C-40C6-99DA-F72865636689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e3b75d125d831a9e54d25d52d29eaca36054b0","datavalue":{"value":"weak normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607223$C40C4B5A-3AA2-450C-BCD8-6CCC822FAD23","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":"Q1607223$3C19D164-2199-417D-9F46-F7481F90A81D","rank":"normal"}],"P223":[{"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":"Q1607223$9A287BE9-F3F4-4C03-99CE-76F48B030478","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":"Q1607223$8C55DF5D-0C0B-480F-ACEB-7208D02BA31E","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":"Q1607223$D7542FA5-61E5-42DC-B060-7D369EB71028","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":"Q1607223$356C6BDD-72F0-430A-9911-0FCD95675C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607223$A19ABF9B-79C1-455E-B05A-C8C6E5712852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5bdd6c64f3d11dce0698d773543a060f36e14a","datavalue":{"value":{"entity-type":"item","numeric-id":5170286,"id":"Q5170286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e865f5c8a4626e849ff6ffe0f3c48be01f7f46","datavalue":{"value":{"amount":"+0.8889287114143372","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":"Q1607223$EF6D78F6-E198-45DF-8841-9CD61A8350B8","rank":"normal"},{"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":"aeb829ff633ef04428e7cc99520c2321097d424c","datavalue":{"value":{"amount":"+0.8434765934944153","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":"Q1607223$4A6FEA7C-4C91-4676-9325-39E5EE0B8A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cb7f50ff15314687d4e9e68913f9827f827e","datavalue":{"value":{"entity-type":"item","numeric-id":2482841,"id":"Q2482841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73cf29117c9b550d78bfb06aa0caa0dc495745b4","datavalue":{"value":{"amount":"+0.8209250569343567","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":"Q1607223$A75CD145-1E02-490E-8165-D03BB59111F6","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":"40a3a7e69f0c13a99eeb71e33365339c108575ee","datavalue":{"value":{"amount":"+0.8199628591537476","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":"Q1607223$FF780695-4871-47E9-94D0-EDA64EAAA99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f54d3b35be5c0a79ccb36d4f1679168b753543","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5987c025a1d491dd3b3c3ea48d143aff034c9b3e","datavalue":{"value":{"amount":"+0.8159651756286621","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":"Q1607223$B3B8DF13-E0EA-44CE-8857-CFE58EEAB505","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Peirce's rule in natural deduction.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Peirce%27s_rule_in_natural_deduction."}}}}}