{"entities":{"Q3728881":{"pageid":5758787,"ns":120,"title":"Item:Q3728881","lastrevid":81013607,"modified":"2026-05-06T17:31:07Z","type":"item","id":"Q3728881","labels":{"en":{"language":"en","value":"Epistemic arithmetic is a conservative extension of intuitionistic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961580"}},"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":"Q3728881$353B4132-E39F-4D9E-94A6-DA7751C2C8AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b0954b6f0f813194f280cd03ea2f312980d87db","datavalue":{"value":{"text":"Epistemic arithmetic is a conservative extension of intuitionistic arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3728881$A2B73980-E393-4D7B-8A76-B0645C0EA747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c35d2e41e82c4d32d134dfbda5f89cb8235ee820","datavalue":{"value":"0597.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728881$349991C6-DB29-4627-BBB8-1C3ECC67B72D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1b0f7ea9ac404478e8b0c4767bcdc14e23d1527","datavalue":{"value":"10.2307/2274102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728881$A240B1A6-4818-4B5B-927E-5ECBDCB1970A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f5a694693fd714c68670980cbac395b2de1c958","datavalue":{"value":{"entity-type":"item","numeric-id":788708,"id":"Q788708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3728881$79234454-CAD4-4141-B8BF-1D0370BF2FB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3728881$A0088BB4-2FA8-4E57-B48C-F30FB83D8201","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":"Q3728881$87FDB725-49CF-45A6-B354-95FD687384E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728881$A5275424-59E0-4EEC-A86C-6B68D86BB0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728881$D0F4A960-7355-4C1B-A987-1BD44F4F2DC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b591db99f5cc507aae46632cb10e7659e24052c1","datavalue":{"value":"3961580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728881$86A410F3-AB51-4061-9082-B85B669B4343","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23080e34fb77d4d57744223c77c720168b92447","datavalue":{"value":"Epistemic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728881$2F189335-E657-4F24-BAE4-8F5CD919F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71225e71f986d3a97175cbb307f83a71cdeaebe","datavalue":{"value":"Heyting's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728881$C345A1A5-D68E-4BB8-84BC-512A356889DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728881$FF04643D-5300-4AAF-8317-3E6BC36E913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee3809d1218387f10fb4abfb47cb858a3ba70d8a","datavalue":{"value":"Lewis's S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3728881$76F9B440-FA49-4E22-932C-B7805FF5F319","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":"Q3728881$FBE3161D-923E-4A8B-8548-EF62E9150BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d76f8b846d2d0c500e19165787619752f9a2ca06","datavalue":{"value":"https://doi.org/10.2307/2274102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3728881$4E44854F-5B96-4D03-9F58-E9A6B8E47B69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d0a707f90fa43de5cfd5485ac6971322fccbe80","datavalue":{"value":"W1970869125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3728881$E467B680-F856-420B-A659-0D5345EA297F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3728881$66C970BD-9892-4C7C-B209-912779ACE4A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd08d4fadc95dad610bba5c99b5339f832348b2","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e220afb46a0aec2e977fbb1e27063dde80c67027","datavalue":{"value":{"amount":"+0.92864656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$6481CBDB-8DBB-4A63-A3E6-511F231B515F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c7f2caf0321dc66392f74995ba8469b62b464b","datavalue":{"value":{"entity-type":"item","numeric-id":3758827,"id":"Q3758827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f086e3b5507d819e454423cc2251541b423669dd","datavalue":{"value":{"amount":"+0.8922631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$10643D37-D989-44FD-9B8D-9B36DD852AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcfec8de2fa262ee798ecec38af2d311d55fd99","datavalue":{"value":{"entity-type":"item","numeric-id":1299766,"id":"Q1299766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93d33509f1f55aa53a24934c8e3f1ef57014e49","datavalue":{"value":{"amount":"+0.8871663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$66DA5838-A89C-49C1-8D07-717E2B733E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef607e867fc18d7cf9059f95d8c2be4b9645b695","datavalue":{"value":{"entity-type":"item","numeric-id":2263060,"id":"Q2263060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6476a10b600739916d2cf9fd422f3c11121ed678","datavalue":{"value":{"amount":"+0.8794719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$5B0D98C4-C316-4E50-A916-8A05D531FF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34acc0465129c6e1f2d6db7c9e2fec7547ee7dd7","datavalue":{"value":{"entity-type":"item","numeric-id":5283437,"id":"Q5283437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12671c5baf3b593a2c24cc822104a0bc3750f277","datavalue":{"value":{"amount":"+0.87853074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$BF675411-04AC-479F-80DC-A51D2126C975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083b835370b3970b9dd14f1d47833113ac90b525","datavalue":{"value":{"entity-type":"item","numeric-id":5140332,"id":"Q5140332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574d86ad1cf1997884901cce133a36ee46338740","datavalue":{"value":{"amount":"+0.87553155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$C4901520-1E0E-440C-8756-FF42C1B588FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09988a222abae9cdc9b6d23223877f09c66dc240","datavalue":{"value":{"entity-type":"item","numeric-id":4001984,"id":"Q4001984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ca7a70d53b730dd00dcb82f4241db1c9eaff91","datavalue":{"value":{"amount":"+0.8687673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$F33E7D01-71C2-480C-8002-1E9A9DD11C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16de5ad6f330466e14152b64b2571db417c19005","datavalue":{"value":{"entity-type":"item","numeric-id":5946349,"id":"Q5946349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6fe90d49a2bc7ce5fe02a00ad2ec03a1c4fe27","datavalue":{"value":{"amount":"+0.8659463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$CE5BC555-2336-45E4-9A3D-DE984577A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fad505674d204a25e10d4984699a1282160f761","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf965d12d768dd69821e0484fa426676f6617ad","datavalue":{"value":{"amount":"+0.8594327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$90D7CBDC-BF78-4234-8325-23DAE6AF8628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5348fd3a938d5230839eb117c44ee2d9567e74e9","datavalue":{"value":{"entity-type":"item","numeric-id":3478407,"id":"Q3478407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c483ee025022ea23f96e15b52431603721f1c31","datavalue":{"value":{"amount":"+0.85904956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3728881$8474638C-E77A-4426-AE12-6F24FE29AB0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Epistemic arithmetic is a conservative extension of intuitionistic arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Epistemic_arithmetic_is_a_conservative_extension_of_intuitionistic_arithmetic"}}}}}