{"entities":{"Q4184831":{"pageid":6214432,"ns":120,"title":"Item:Q4184831","lastrevid":28405011,"modified":"2024-03-05T13:38:06Z","type":"item","id":"Q4184831","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3621712"}},"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":"Q4184831$5E41F189-E89F-4942-999E-469D51D8EB62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4f3f178c6f67f2b72007290abe80c27f1ad980d","datavalue":{"value":"0401.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184831$2974C058-49C1-4F50-ABFE-16F2BF73DA5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596ce5d9f12334d5b503e9ca575fe131d2a47d15","datavalue":{"value":{"entity-type":"item","numeric-id":234587,"id":"Q234587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184831$6321539F-2FC8-43C0-BB48-3D92F5BEF4F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4184831$448A8E1F-E6D9-450F-8E05-B5901DB544FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184831$CCF1564B-FD63-4CB6-A27D-22F53DE7D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184831$85F2B540-9EA1-4A33-B6FF-D91B3BF4EF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184831$148445FE-4F0A-4B1F-93C9-4AAE94F25CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"593001463c13a8c4c5d8320db17d83841fc8bdaf","datavalue":{"value":"3621712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184831$75D205D4-73C3-431C-BB70-89E00B641F1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fb6bd105db7f167a6d6f1501b2362871842ba2","datavalue":{"value":"Functional Interpretations in Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$1BC716DC-919F-4F56-BD3B-9FA4C72DD3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5edbb36c7a29b3c6569370c5ae013d7963ddf79","datavalue":{"value":"Intuitionistic Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$963BFDBA-A402-4D45-B0FA-1C0693CF6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48792491b92ca64bfbf5847623728b9bb3be35df","datavalue":{"value":"Survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$00070D8F-0A1D-4A1B-9411-6ACD1AF0E262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b763c8252c96344a96ee549f1c48e97752bdbab","datavalue":{"value":"First-Order Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$8398E418-27A2-481E-9D28-DF0E8C5460CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dca42fe686601cf9afdcb94512da675494f3407","datavalue":{"value":"Soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$936ECAFD-79FA-457F-BE0F-7F25478F2FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0196a159b212e58dcbec89bb18cc7de2848fdf","datavalue":{"value":"Intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$AFE40EBA-3D21-4248-BD66-9D3E55FDF224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184831$4B2F3DF9-4F57-4210-9948-79775F24613D","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":"Q4184831$7F18E998-D444-4F30-9F20-48B47903581C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4184831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4184831"}}}}}