{"entities":{"Q4704759":{"pageid":6734336,"ns":120,"title":"Item:Q4704759","lastrevid":46872648,"modified":"2025-12-25T18:29:31Z","type":"item","id":"Q4704759","labels":{"en":{"language":"en","value":"A new method for establishing conservativity of  classical systems over their intuitionistic version"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369688"}},"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":"Q4704759$CF7CCD96-78FE-478D-850A-C6A079DC20D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3028aefa617ef602ad00d11d2dfe62e2ec2a658","datavalue":{"value":{"text":"A new method for establishing conservativity of  classical systems over their intuitionistic version","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4704759$64F1A57F-6789-4EAA-82D5-B8BDA3794263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80594dc5244d9488e114e95d4ac787880ce5dceb","datavalue":{"value":"0935.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704759$3F5049FC-5F67-49E6-B8F8-347511621F8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"850abd1d904e21406a210a6f679b3c457ee43a68","datavalue":{"value":"10.1017/S0960129599002844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704759$BAB1DBDB-DCB8-4AD6-944B-FA608DC40C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704759$4D71F4A8-39DE-449B-A685-216D23CB4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704759$0DECDCF3-E367-43FC-A780-B0F4CFD62187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704759$989EC791-C5C2-4373-A188-3B07807AF93B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f29977b3c78240439e6d7adfdac0711f36ba14f","datavalue":{"value":{"time":"+1999-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4704759$7374DDB2-8A73-4B72-AF23-75CC1A1465E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704759$9B9518F2-C958-4C5D-930D-5486ABED7345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704759$202FC4EA-2AFD-450D-AB17-A3986AD929AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75bbc35038e76869622c4d6a6c42a6f54b277516","datavalue":{"value":"1369688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704759$0021B8E2-88D4-4E09-A3F3-2E55DDAB98E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ad9fbbec67b692f6791d3e3635fce618360e3f","datavalue":{"value":"fragments of intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704759$7F48E722-6995-4DE8-8A3A-CDEF9C1504B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5171966151c885073a0a611343a4d2243b7000c0","datavalue":{"value":"subsystems of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704759$CB55ADF8-3C4C-4BDF-8406-75B5FF52FFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704759$F55CA1D1-E1D7-4CB9-ACCA-B5D99B794F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704759$6F8EFC76-8C05-4946-874C-9EAA0310D81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aa176836d243db97ef26f6e5ac337d9251b982","datavalue":{"value":"Bounded Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704759$8D6A077E-A750-42E7-91EA-4CAA8C5747DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad7b1c240a350b03efb5305dc515f840e264d23","datavalue":{"value":"polynomial time computable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704759$18F67D37-902F-4C83-BDF6-A8087B7AEE26","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":"Q4704759$2C825E9D-E467-48F9-B730-AF2133070DA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48dc8ad53dc53c5f0ca28c62e08745fdff0e8bad","datavalue":{"value":"https://doi.org/10.1017/s0960129599002844","type":"string"},"datatype":"url"},"type":"statement","id":"Q4704759$26CFD4D1-9776-4EE1-BA90-C5E34A19B943","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de64182559991ac71e91d7163bb3c50955ffc882","datavalue":{"value":"W1986998737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704759$795A27D8-1057-4287-B943-187743D63570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e2e3d3d01d535308144338fdf338dd31042dd0","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f75be8aa641ca92191c3db739c8d040c8f7ac1","datavalue":{"value":{"amount":"+0.8157704472541809","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":"Q4704759$45302256-A0F8-469D-A4AD-CDD7F0AC89B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d34b6b41f86704ba74a39eccb5da6b0970ce2","datavalue":{"value":{"entity-type":"item","numeric-id":964451,"id":"Q964451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cb25b6fa742d0d9222aace48de13d987c5bf1b","datavalue":{"value":{"amount":"+0.8141176104545593","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":"Q4704759$0CD94385-9F09-467A-8520-AEB00ED6ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84c35779661add7a6abbd96f21884a9be35c2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4458699,"id":"Q4458699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37abfe533181a6e6349b003f636d70f2f601c352","datavalue":{"value":{"amount":"+0.7958198189735413","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":"Q4704759$F0AB36FA-C5D1-4F11-A144-A60A6B0026C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fe0f0edf74f364ac416c7ac725146fa24ff09e","datavalue":{"value":{"entity-type":"item","numeric-id":284219,"id":"Q284219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb771e605a9be1e4ec27c0e8cd5e3ee359189dc","datavalue":{"value":{"amount":"+0.7931889295578003","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":"Q4704759$E5EE3DC1-1920-44CC-BC5F-171245297B7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4704759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4704759"}}}}}