{"entities":{"Q3206947":{"pageid":3217655,"ns":120,"title":"Item:Q3206947","lastrevid":45687280,"modified":"2025-12-16T10:16:22Z","type":"item","id":"Q3206947","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648702"}},"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":"Q3206947$704AD320-F340-40F9-9951-A0918C5075AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cfff2ef9a6b01bc9dee0df550bd2c78515fe6b8","datavalue":{"value":"0417.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206947$E3CA2547-386A-4CA5-8021-435E103EE10C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206947$B190EC3F-E1B7-4CD4-BBA5-C10B083EDE38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q3206947$055E2BF0-D9EE-401C-9451-3EFDAABC4E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206947$BA5A186C-54CC-458E-BCCB-D1A76E5C75E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206947$C9C026E9-22B9-4A98-B1B3-B4308860E601","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bda056490192089a550270a175b72e9e85241dd","datavalue":{"value":"3648702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206947$D67E7A1D-7994-4909-B882-6B92669F8A5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206947$6997D72A-6559-4A67-A39D-14C0C777F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206947$DD20A524-2F33-4A5E-BCC0-CDC73B4E90BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206947$B99B8A65-1369-422D-9E2A-2A174D854C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206947$12798074-0B36-4C31-8682-42E5289D9102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206947$78B43465-05B5-470D-AD37-F2719A930553","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":"Q3206947$8C078136-1816-4135-9945-8034C5E4E872","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3206947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3206947"}}}}}