{"entities":{"Q2707481":{"pageid":2718220,"ns":120,"title":"Item:Q2707481","lastrevid":47593534,"modified":"2026-01-02T04:16:48Z","type":"item","id":"Q2707481","labels":{"en":{"language":"en","value":"Classical arithmetic is part of intuitionistic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1583832"}},"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":"Q2707481$DC285782-C687-4304-914C-CA81089BFF21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33d0fec4355c1a521aa431c18fe084d5d9e42ab","datavalue":{"value":"0970.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2707481$2B49569D-840A-45C6-AA5C-7B7160B2D02F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d502a35a86a0ffaf54fae6f60c0c5bc37da95a83","datavalue":{"value":{"entity-type":"item","numeric-id":2707480,"id":"Q2707480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2707481$C9527AFC-AAFA-4539-94F1-260EED4F2285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2707481$593AACC7-A6A7-4272-8D08-B3B56A58DA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2707481$14ECD698-C89E-419B-BA03-48572AA20720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2707481$52505293-1AED-49A3-A207-86899E397EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2707481$51A1E323-4838-44C5-BEC6-D86C320FB861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72966d8ff44ca444e7a99f098225a03f5e264780","datavalue":{"value":"1583832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2707481$C232A910-1299-4382-850F-85F22D3F0099","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745fec169852dccc23ff4583447d1e5556dd5648","datavalue":{"value":"classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2707481$3E8C1742-E05D-46B9-8DFC-70AECB152E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2707481$24339295-CE3F-4248-9B79-016F9E169331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2707481$9F3FDE10-2394-46A0-9F43-CB50982FDA41","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":"Q2707481$49EA2DD8-08A9-4872-8EEA-F204CED74DCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98ef5f3d487ea6d3e396ebcd837232cecb018656","datavalue":{"value":{"text":"Classical arithmetic is part of intuitionistic arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2707481$87E4B32F-2B82-41A1-AA53-952D4018BE3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023e81290507cde1d0a1059d58aa028372dd5bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1187232,"id":"Q1187232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3f18a23aeab225c021c9103dd4a8e5edb2d7e5","datavalue":{"value":{"amount":"+0.7753351330757141","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":"Q2707481$A0314BA1-F6A4-4B0E-9029-4D3768D11D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856d2bb1bc7d0257e19fbe04db7359db19792639","datavalue":{"value":{"entity-type":"item","numeric-id":1111535,"id":"Q1111535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c292e8b20e374b06e7bfccba93d8d05f57ddbc","datavalue":{"value":{"amount":"+0.7612671256065369","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":"Q2707481$9A6EA532-1897-42F8-8988-FD4E29B23B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7320cafd84baead2958d483cb935507769cf220","datavalue":{"value":{"entity-type":"item","numeric-id":5741601,"id":"Q5741601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8cf2f330373abd3a72dc5ffb96cdc86a87412c","datavalue":{"value":{"amount":"+0.7534517645835876","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":"Q2707481$703E2E5C-A83A-4D08-BB02-D4377D6E980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4e76dbb3096f1e1bd33489147c0da34a7e6b30","datavalue":{"value":{"entity-type":"item","numeric-id":3616420,"id":"Q3616420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167c246ca52f9ec1bb8c57c9967d72b7e49c89d9","datavalue":{"value":{"amount":"+0.7431936860084534","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":"Q2707481$873F9709-0DBE-4824-90E0-E3FEC0C853A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1817129793c25ae7e11a98056377a32cdb239648","datavalue":{"value":{"entity-type":"item","numeric-id":320173,"id":"Q320173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75357d6fc7551015ba153ca7fa47be546e17bdfb","datavalue":{"value":{"amount":"+0.735342264175415","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":"Q2707481$1A126BEA-6FDF-49F7-B820-09E96C5AC930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2707481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2707481"}}}}}