{"entities":{"Q3576201":{"pageid":5606105,"ns":120,"title":"Item:Q3576201","lastrevid":51048218,"modified":"2026-01-16T09:31:27Z","type":"item","id":"Q3576201","labels":{"en":{"language":"en","value":"The Peirce translation and the double negation shift"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762742"}},"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":"Q3576201$9504DB59-52EC-4795-A67E-897559011F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e0b694dc92c1ddd1648650d17f6e9451d0447b5","datavalue":{"value":{"text":"The Peirce Translation and the Double Negation Shift","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3576201$32435E68-F945-4FEF-900C-6CB07CD82EFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c631823cfd8b48d09c2468e0bf6c2d4ab6a31ad","datavalue":{"value":"1251.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$60C0E165-F74A-4275-AFCA-2EEBA86D33FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcf3870d1397593050dffd2a2c9cfd5d1de8c0d7","datavalue":{"value":"10.1007/978-3-642-13962-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$DF1551D2-D8EF-43D8-A234-FAA17C1BB0F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576201$53AA5C07-9B2F-4AF2-9BE4-2497D166054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576201$2C24A065-A3FC-48D1-BCEC-F83E328FD140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73c6c5c7d6112d0ad7835b4a6f6df249f30bf447","datavalue":{"value":{"entity-type":"item","numeric-id":3576184,"id":"Q3576184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576201$0E0F2A57-FCDD-4A01-96EA-BEC43CFAD6CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6d4a7a569b2832eaba9736541bc42cdbce7b4c","datavalue":{"value":{"time":"+2010-07-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":"Q3576201$9B8B5BA1-B04F-4105-A12B-2A530B3D8506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$35C5F7AD-3421-45E3-A282-6B2FEF741DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$9300B600-E112-4E5A-B48A-A5E6D69E53C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$8407592B-B01E-4C26-9852-D3FF92B672EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee9c034ad5ea5185e6a284e8007785a835972df5","datavalue":{"value":"5762742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$72CC8892-F16C-4DEF-B5EF-2E875D1FCE04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7331feef51f3c076fa12088fad6aa1615da1ee","datavalue":{"value":"selection functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$3A0E047E-C24A-45D5-8133-3FC97B6480DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc9bf9e7d17f75e11107278d316859af44ba9f7","datavalue":{"value":"computational extraction of witnesses from proofs in classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$583EBF4A-5CAC-4AD2-BB2C-B9D1E458FE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$3EF5A4C4-4594-4229-B0B3-7383BB216904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a2bc90057fc05a30fcc2d00be9f98d15b0f0df","datavalue":{"value":"Peirce translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$388BC894-8ADC-4EDC-AB05-914E1B42D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6802f30b300b2f4ac153e1d9a2190106ea19da","datavalue":{"value":"double-negation shift","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$171FBD2E-0404-49B9-A165-E62C6A708523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$204831F0-FA17-41FE-98C2-951164CC4AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b554279a6b3d2763e31e966664501fdd51a92def","datavalue":{"value":"dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$ED07250C-0E99-4F87-BDB6-992FC7B787A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7a16970906ea298ae5fc08e919cf7a255a92aa","datavalue":{"value":"negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$4DA2DF8B-19EC-4410-AADB-ED80E9F1C38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$C8DE77EE-E8EB-48EA-B2FC-4B81039FE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576201$008C9BD0-5D9E-4663-AAEA-E0BDB0B82CDB","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":"Q3576201$66206972-BCAF-4B78-BBC6-E073FA9AEFD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"404cf769ee0bbbedf910a6145bf38588c6a2126b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13962-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576201$93D83031-422E-43D6-AB43-A755B1F139F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bbfc3c24d74d6d4fc4d13f86698ba47bb09ee7c","datavalue":{"value":"W1517302412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576201$B01104A2-093E-4613-9520-EF4E537C0F3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36dd6105d18b1393602c9566d1662b4f57bfdcdc","datavalue":{"value":{"entity-type":"item","numeric-id":408162,"id":"Q408162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc28989e703140bb00c54aaf33ddd25a04f87b78","datavalue":{"value":{"amount":"+0.9441692233085632","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":"Q3576201$82B4117F-978B-4828-BA54-A467486B99F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d5cd98e0a10d85bbe4e6263f5862cd277cf22c","datavalue":{"value":{"entity-type":"item","numeric-id":4981448,"id":"Q4981448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18bad70992573032f1b57afa63aaddf41884576","datavalue":{"value":{"amount":"+0.7620689868927002","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":"Q3576201$02FC3987-AFEF-4201-8E1F-BFA1F6EF2896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14338fac203005828e9642d20df6d731dbb3b644","datavalue":{"value":{"entity-type":"item","numeric-id":3024822,"id":"Q3024822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d655424edef9bf0e833ad6957a7cf3a1315670","datavalue":{"value":{"amount":"+0.7536813616752625","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":"Q3576201$87D9A137-F903-4098-99F7-8ACBFE6B309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4e9f165d8e7081b314ba650364565840fb38f7","datavalue":{"value":{"entity-type":"item","numeric-id":2876077,"id":"Q2876077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17855941aa30b5c0b0b00f753461dd5239de99c","datavalue":{"value":{"amount":"+0.7506313920021057","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":"Q3576201$61B5A8CB-EC6D-4B7F-B183-894CCE7F0510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb95628db13f02a90651a60b3218f6d8b15ffc51","datavalue":{"value":{"entity-type":"item","numeric-id":5458438,"id":"Q5458438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d0b87e7b38baf3f2fa46ab39cda81b6d8ad485","datavalue":{"value":{"amount":"+0.7480968236923218","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":"Q3576201$6F9CDAFC-1E88-4965-86B0-8C59CB6C941F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576201"}}}}}