{"entities":{"Q4075443":{"pageid":6105044,"ns":120,"title":"Item:Q4075443","lastrevid":55344997,"modified":"2026-02-06T07:22:47Z","type":"item","id":"Q4075443","labels":{"en":{"language":"en","value":"The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3494385"}},"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":"Q4075443$6F4864A2-8A13-4720-A140-0E77E48BAE17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24ad1b32e1cb41a636e07cdfa01281effe102c29","datavalue":{"value":{"text":"The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4075443$6F9FEAB2-7CFB-4677-BC7B-4A3C3D2E4A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f404a4e849977ebcd451053adc16203732b7385a","datavalue":{"value":"0316.02038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075443$2B58C3CF-1E25-465D-B7A3-FF52FA3B8942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d8ad531e6581f9743be7b47ac485db8a8e0b87","datavalue":{"value":"10.2307/2272158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075443$7314E8AA-D377-46DC-AE5B-1755261C4ADB","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":"Q4075443$B8456C6E-4E8D-46C4-A036-79CD807417E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4075443$724FFE8F-0765-4E3B-9EBA-32FE46BBEC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075443$80C78F55-987F-449D-A1BD-A2C3C8D1D89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075443$2E5C1BC3-C521-42AD-A740-C19C0B67D97B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ef4f69820b57313338aee4c9ac7246a055af60e","datavalue":{"value":"3494385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075443$F8FFAF37-2E1D-4DD0-A6A0-D4465EB34A61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075443$4BD39646-A9D7-4E14-B9FC-E2883D21A3C7","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":"Q4075443$4F83F315-10DE-442B-9545-EF059D63A71B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c656cf6b3f7aea52e35d15a173e6297428bded28","datavalue":{"value":"https://doi.org/10.2307/2272158","type":"string"},"datatype":"url"},"type":"statement","id":"Q4075443$6F704C26-0D56-429A-8715-34BE5F64C31B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"745fb8d2d1a32efc603aaf2b416b7d4d74db0acf","datavalue":{"value":"W2127553594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075443$BDFA6220-80C0-4BF5-8EDD-7BB5B7AC2CFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e095cabface64f26e05948eee82352c7b9f300d","datavalue":{"value":{"entity-type":"item","numeric-id":5334280,"id":"Q5334280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075443$A267D0AB-831B-4699-8A64-646471302920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9637344df4a41714e238b8368e42d44fac4a5b","datavalue":{"value":{"entity-type":"item","numeric-id":770786,"id":"Q770786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075443$7C8AA5CC-B7B5-47B9-8B57-3477FD2A4B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075443$AAB90045-D509-4919-B139-AA249A99B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075443$5318A2A0-2747-4C9E-BA7B-656414B1E5EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4075443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4075443"}}}}}