{"entities":{"Q3669407":{"pageid":5699313,"ns":120,"title":"Item:Q3669407","lastrevid":49942837,"modified":"2026-01-12T05:18:09Z","type":"item","id":"Q3669407","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821724"}},"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":"Q3669407$E14C8BDA-DD8E-4F23-9E25-FDBCA0465B54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"923dec6b5d33656acace7d558af8009846f951ec","datavalue":{"value":"0519.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669407$52484F18-C0C9-41C9-B741-7146B35C3D43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669407$BCAD06BF-BC08-46BB-9B1D-09CD8D83F066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1c3fa95c1005d09eff8ff2b881875054b11a800","datavalue":{"value":{"entity-type":"item","numeric-id":583193,"id":"Q583193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669407$C528B7BE-9F4C-47E3-A86B-6FB057FAF878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669407$8E2816B9-ECE1-4304-A260-4FEA984C9775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f956f73617764b0eab75f41c7abc5a492650b8e","datavalue":{"value":{"entity-type":"item","numeric-id":583196,"id":"Q583196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669407$151B9F3D-CD41-4CF8-8000-300B2361AC1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3669407$4DB853BF-D3A6-4717-8832-8F1E5CD22232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669407$F826625F-55DE-4CE0-91F1-528A4C18530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669407$A674143C-D269-490E-919F-475F52B54722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669407$972DCE2A-2982-48B3-ADB3-72712D6A0A66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96cde4501c5cdca332ec67c75bf12ee869b884d8","datavalue":{"value":"3821724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669407$62127CA3-6419-4E9C-8B70-2F2E4024853E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ccc9041329e4c372f5a7298c5a44afed32e0397","datavalue":{"value":"constructive validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669407$C61D7D7A-672E-4162-BF67-FE1B6AD8012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6296d705e06b536ce67b42b55885634471ef1f42","datavalue":{"value":"recursive interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669407$E42BD7E2-B8E5-4A18-8C47-660C278D5931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669407$BD46C7CF-C9D1-4588-81F4-7ACE63251A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d94c32bdc40c2942a97f36984b7899e7f89ddf","datavalue":{"value":"proofs interpreted as programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669407$D975C8DA-53AB-4772-BB0F-C0F4152AC8BA","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":"Q3669407$388496E1-B694-4EF2-B5FF-FDB69A6D668E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3669407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3669407"}}}}}