{"entities":{"Q4458699":{"pageid":6488298,"ns":120,"title":"Item:Q4458699","lastrevid":41175853,"modified":"2025-04-18T17:26:59Z","type":"item","id":"Q4458699","labels":{"en":{"language":"en","value":"A generalization of a conservativity theorem for classical versus intuitionistic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056966"}},"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":"Q4458699$41273242-898E-4679-B073-D6280BEAF4BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cbc7dfe22fe484a7cb41cdb9ad151276891e6c0","datavalue":{"value":{"text":"A generalization of a conservativity theorem for classical versus intuitionistic arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4458699$FA4E5181-B180-4129-92D0-758825E8E070","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c226be8a4b2be7cca08f7661b614bef8908a3b3a","datavalue":{"value":"1036.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4458699$165DFD53-7229-4B6E-8B2C-F0886761500C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4458699$8BE25FF8-857E-459D-AC24-3294CE67C704","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4458699$A8ECC0F3-83FD-47D0-8431-725DBC51F5D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4458699$687ED5C1-DCE0-40F0-9695-5DA7DCF29720","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4458699$A53C8C3E-8FC6-42EE-8493-F7ED1D1B2A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4458699$1FF35F29-B4CC-4BF9-A506-3B7072768124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee2a825ce19e46cd40666c1e72232f2b41b69eeb","datavalue":{"value":"2056966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4458699$F1EF71EE-8E3B-41A5-BF6A-0EA0F9ECEB78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c1496da697c58aa33ef18a1a2115025a5f6ab4","datavalue":{"value":"Intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4458699$466626BC-CB2F-4214-92E9-02C7CAC27D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4458699$9D170B16-6567-458A-9BD2-2CEB1BF9917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1422e1d98d6e0561f5b3ad3c060de831c07a99","datavalue":{"value":"Friedman's A-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4458699$72721BD1-C0D6-447C-B0A9-3E3A477A8F2D","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":"Q4458699$C1935698-D8A2-42BF-944D-E5806FC5EAC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9dbfad882621b21c20572c04b15cb7888f940e8","datavalue":{"value":"https://doi.org/10.1002/malq.200310074","type":"string"},"datatype":"url"},"type":"statement","id":"Q4458699$27898D05-1DE0-4633-A95E-0FDFDEEEF712","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f2e49b4e8c2cca0d51c12440035352d0f59a09","datavalue":{"value":"W1965749885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4458699$25F48F6F-91C7-4233-A4D6-E62302CBD1C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97bc4705c268d69379e1a524c3422bb8bc6941f7","datavalue":{"value":"10.1002/MALQ.200310074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4458699$3BE7E521-FBE3-4DF0-BB36-A88EF9AB6E8D","rank":"normal"}],"P1643":[{"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":"9d06322dfcb8be79a6b416558af609526ce472d5","datavalue":{"value":{"amount":"+0.9091149","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":"Q4458699$FE7F812F-FA42-4FFE-8BEB-EE9A925C8148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84df944dd88fab1ad0e58d1136d393bb15c9946a","datavalue":{"value":{"entity-type":"item","numeric-id":4981450,"id":"Q4981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19dbb34145342d78ba968ce106d503e3c20534f","datavalue":{"value":{"amount":"+0.9018542","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":"Q4458699$0EED984C-7C65-46AA-BCC6-CAB415988475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c3814e9b17beced7df0893ebd8abe9058e12b3","datavalue":{"value":{"entity-type":"item","numeric-id":4635844,"id":"Q4635844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6227a4f2f053d17005f30ed24667d85b197004","datavalue":{"value":{"amount":"+0.8919301","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":"Q4458699$DCF471AC-2880-4DD1-B43A-B4749DE7894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36f1bf8e3b11c34df5e8dde567d17a92b5203b2","datavalue":{"value":{"entity-type":"item","numeric-id":5351967,"id":"Q5351967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc2b30ccbc48ee660421c3932c61f6207e14473","datavalue":{"value":{"amount":"+0.89072174","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":"Q4458699$239968FE-42C7-4D0D-862E-C1CC8678AA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e7cde605abbc6a59fd22304460b9e5906cc409","datavalue":{"value":{"entity-type":"item","numeric-id":4530148,"id":"Q4530148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97ea8d7584be77c03568d21039dbe12016149d1","datavalue":{"value":{"amount":"+0.8897904","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":"Q4458699$DF49705D-8361-4B97-A9ED-9B54002414A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02570714d3f4b26522978cfef4de00afbb59789f","datavalue":{"value":{"entity-type":"item","numeric-id":5258475,"id":"Q5258475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5775a70ecc12c1112ab7434c6e707a445c33ec0","datavalue":{"value":{"amount":"+0.8895569","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":"Q4458699$DB4F1774-975B-4C84-9245-F1F4D095440A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2708e8dd328485871be3075c309a86db58013d6b","datavalue":{"value":{"entity-type":"item","numeric-id":6180604,"id":"Q6180604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a5014388e68ddc3557d692fac3412ab2761eec","datavalue":{"value":{"amount":"+0.8852425","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":"Q4458699$09CC93C3-A7E0-4124-9D74-89D30981E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba5e2dcc44965bf730a7b641892b0f206ac96bb","datavalue":{"value":{"entity-type":"item","numeric-id":5108030,"id":"Q5108030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f2c2c28a3facad9bc96879ad8f243d8c2d130e","datavalue":{"value":{"amount":"+0.8828698","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":"Q4458699$1CA6E0F3-3DFF-442B-B693-FA4007CD46E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75fe005276f1e2f3ab99a29a82b644f384db901","datavalue":{"value":{"amount":"+0.88267565","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":"Q4458699$631C18A0-0168-4489-ACE3-5879948A46D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7df254069939e577523edde813c1f87204b7b6","datavalue":{"value":{"entity-type":"item","numeric-id":787974,"id":"Q787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c03dc196ced57b7f41cbdab8f4b70913b5e02f2","datavalue":{"value":{"amount":"+0.88266647","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":"Q4458699$F8C07E9D-9A83-4A9D-9BDB-E6E909A28554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4458699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4458699"}}}}}