{"entities":{"Q4198751":{"pageid":6228352,"ns":120,"title":"Item:Q4198751","lastrevid":34628173,"modified":"2024-06-13T00:38:25Z","type":"item","id":"Q4198751","labels":{"en":{"language":"en","value":"Interpretationen der Heyting-Arithmetik endlicher Typen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637857"}},"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":"Q4198751$93E8EDF5-C1BF-4F88-99B9-E3D8EE8D6B62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5a1cc620ced7cc870470f835ca0860b8abbef08","datavalue":{"value":{"text":"Interpretationen der Heyting-Arithmetik endlicher Typen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4198751$79A79A32-282D-4015-A353-C15ACCFF5E4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32bb66642c1a67f7074e76a87921102336a49b48","datavalue":{"value":"0411.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198751$5515FAA1-06ED-414F-A121-5ABD20D76E88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79dfc9d54dd58a73a0e2ee20a472ffbfc09696e1","datavalue":{"value":"10.1007/BF02011878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198751$A2EC666E-4FD0-41BF-905D-D3ACBE71988A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3627b517843925c096d28fbf2f7db204b7b44e1d","datavalue":{"value":{"entity-type":"item","numeric-id":656928,"id":"Q656928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198751$617218FB-4006-4789-BDF4-FFE67C731C95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198751$D4234D85-1482-4CAE-9F9D-335A3455DDA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4198751$7380109B-9621-4FC8-AFBC-CD3C8F7D78FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4aad6a4bcf233a6c2fb6004302887f6075dfd9d","datavalue":{"value":"https://eudml.org/doc/137955","type":"string"},"datatype":"url"},"type":"statement","id":"Q4198751$6885E48D-8DAE-4989-93F6-30243FA38A74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198751$EC5ADD16-5F2F-4A45-A3D2-DD853402873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198751$519C740C-47CD-4AB7-9EBB-6BB2D38D320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198751$AC6F37B2-92C2-436B-9942-ED12A9BCC1B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78403b56388a403506640a5e5d181366ffe3d8e1","datavalue":{"value":"3637857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198751$1892F21A-0E0C-4E91-B8E0-F65F2F2ADDEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8818a31e55fea848160d9767a465c7fe901a0efb","datavalue":{"value":"dialectica interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198751$1EFD683A-2427-4038-A11F-9AB8DD1C2450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71225e71f986d3a97175cbb307f83a71cdeaebe","datavalue":{"value":"Heyting's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198751$5B73BB33-E1CA-4ED7-A4AC-E964411245CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198751$51A75214-51E6-453A-B343-AD3FE86F38B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198751$916E1BED-B70E-4819-9AFD-46E632490782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198751$0BFDDFE1-6ABF-46AA-A25F-A3A48FE4957E","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":"Q4198751$3742E9BC-CA2F-4895-AEFC-C6D2AD205E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198751$E6D95B62-0718-49A9-96ED-5A2E5F32B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198751$3E7ECE54-517A-4FDC-9C8F-AD36E967A94E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198751"}}}}}