{"entities":{"Q1064322":{"pageid":1075074,"ns":120,"title":"Item:Q1064322","lastrevid":66663681,"modified":"2026-04-12T11:39:00Z","type":"item","id":"Q1064322","labels":{"en":{"language":"en","value":"A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3920466"}},"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":"Q1064322$57626F07-FDBB-4E9D-AC4E-3B33B19B5344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfd676d3059ee3cbdf89927264e98808552f410f","datavalue":{"value":{"text":"A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064322$0C2A6EFA-1823-458A-BCC6-18B6760445AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e90ff014d475838950d1d95df87357146f6c45ec","datavalue":{"value":"0576.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064322$0B3E0049-71D3-4C9F-9952-5CB86A40DB5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a98ed06055d4e58723a703ebac5e50caa0e2c79","datavalue":{"value":"10.1007/BF01156470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064322$DBF8149D-5BE3-4EBB-AAF4-D8C8F4A998E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064322$75FF6CAE-50D3-47CD-9B16-E8A0995213F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1064322$3DEC54A3-249E-4E0C-AC94-357221202940","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d82164f9d08805b6a76e90eef978a4e2192b699","datavalue":{"value":"A system of natural deduction for a negationless arithmetic is presented. A deduction in \\(HA^ N\\) is defined as a pair of deductions \\(<\\Sigma_ 1,\\Sigma_ 2>\\), where \\(\\Sigma_ 1\\) is a proof of nonemptiness of the conjunction of all open hypotheses of \\(\\Sigma_ 2\\) and \\(\\Sigma_ 2\\) is a deduction in a classical sense. Natural interpretations of HA in \\(HA^ N\\) and \\(HA^ N\\) in HA are introduced. Appropriate interpretation results are proven showing in particular that HA is a conservative extension of \\(HA^ N\\) with respect to the interpretation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064322$FDEC2917-19AA-4FAB-8AB8-027B9B26EA1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064322$1487F3CB-9BAE-49A8-9350-9D6859652DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064322$69A7002D-03EF-4F90-BF95-C51B70C1F78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064322$51438319-100D-4D6F-9F14-4A2A2A7E1397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21c5cf7c7c5882730bb081eb631f2ccd4c320afd","datavalue":{"value":"3920466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064322$A41477B7-29B5-4B17-8FD6-05856992D69A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064322$0B1D29F9-3FAE-47E6-A8E1-38E2DD16FAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064322$17BC3FA2-ADE0-4784-B562-3DD9F3641751","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab8df4cb13a509b9920268449820b6d1c56d9fb","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064322$8994E135-EB42-4B83-A52B-2C17F529D3D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064322$E990DA6E-038B-4991-80DF-6D8044ADC0AA","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":"Q1064322$63CE0397-0F0A-43FE-9C58-BBAB6951B9BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"915e0053bd453fe55614285248cc714c3d3631eb","datavalue":{"value":{"entity-type":"item","numeric-id":5798786,"id":"Q5798786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064322$86D1F105-4839-4045-9B4B-D229B9405E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f5405364736d00a1e8f9055c86f8c6381b83f1","datavalue":{"value":{"entity-type":"item","numeric-id":5839919,"id":"Q5839919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064322$27CAA2FE-7592-4B75-A5F8-5BA76B4558F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6448c5f6b8d915e5ed791ed06a290981fae1630","datavalue":{"value":{"entity-type":"item","numeric-id":5526958,"id":"Q5526958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064322$2D0AD3AF-4A8C-490B-8F15-88AA0EECF7F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c247c13eae3b9344335959c417ccf31ad3d030","datavalue":{"value":{"entity-type":"item","numeric-id":1820157,"id":"Q1820157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbcfa2efd9802c77437f33a3d0c4c292d3c8bde","datavalue":{"value":{"amount":"+0.8692122101783752","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":"Q1064322$077AE9A3-DDCD-4F32-9A1C-04B3E7AA409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78d250f210d712df110178ea581fe6231fd5f37","datavalue":{"value":{"entity-type":"item","numeric-id":1841006,"id":"Q1841006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b54c30ba2f30ccc87c8994bed631eff2ac1197","datavalue":{"value":{"amount":"+0.8345365524291992","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":"Q1064322$EBAED2F6-72CA-4253-8C9E-CD89BE31CD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945ff30d1bfaf814e2be4227312eea6ee3a8471d","datavalue":{"value":{"entity-type":"item","numeric-id":3066292,"id":"Q3066292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b54c30ba2f30ccc87c8994bed631eff2ac1197","datavalue":{"value":{"amount":"+0.8345365524291992","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":"Q1064322$62792EEC-3592-449A-923F-E82C2AA9EDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f416b3b6d24e182d9b7abbd32e5c153e24efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1577359,"id":"Q1577359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74bfe39580425ef6f976e74709e2b1dd36898ae","datavalue":{"value":{"amount":"+0.8271127343177795","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":"Q1064322$E08C3E4A-0096-4835-AD51-0D6B33CC75C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a22f3bde1a8584cbc458cd622fc3e0d3890c28","datavalue":{"value":{"entity-type":"item","numeric-id":4250050,"id":"Q4250050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74bfe39580425ef6f976e74709e2b1dd36898ae","datavalue":{"value":{"amount":"+0.8271127343177795","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":"Q1064322$43C1E749-3ABA-4298-B9AA-FA7B07ED24DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_system_of_negationless_arithmetic_that_is_conservative_with_respect_to_Heyting_arithmetic"}}}}}