{"entities":{"Q3884097":{"pageid":5914002,"ns":120,"title":"Item:Q3884097","lastrevid":54604790,"modified":"2026-01-29T08:40:08Z","type":"item","id":"Q3884097","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3689371"}},"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":"Q3884097$0667837F-16D3-4A6D-A668-EA6F4DC6E681","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3b6019b6cabdc0560f748887c456af788231e16","datavalue":{"value":"0442.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884097$7E4CEDF6-5243-434C-8E15-7682B0945CE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01049baa7cb1224f09687f350e395a4253a96763","datavalue":{"value":{"entity-type":"item","numeric-id":991002,"id":"Q991002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3884097$51DFEBBD-13AD-4662-B010-B78D080F17D4","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":"Q3884097$A7CB5E37-7B8F-45AA-B4D9-01118E933FCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf23c4db359469b6e442922601f1972c03f360a0","datavalue":{"value":"https://eudml.org/doc/181489","type":"string"},"datatype":"url"},"type":"statement","id":"Q3884097$6F63FFDE-0DC8-49F0-B525-49B1BC2A0F43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884097$B400AE4B-151D-4174-8A61-2CB2E1AE3A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d48e6a3bfc3096fac5f4909b946b9cb8d45bdaa","datavalue":{"value":"3689371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884097$3A45FE79-1C9D-4533-A3EE-902F8FA1157F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430802e0b190283231877750d26be4ae320cb9d1","datavalue":{"value":"intuitionistic omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3884097$08BB5136-C7DD-4F2B-A586-C90C70FC877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5193659e139c5b0aa9149347f075efdef9542a6e","datavalue":{"value":"Heyting's predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3884097$663E4F57-A441-40EC-A953-D88ACDBEF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3884097$0A44118E-F05A-4838-821C-37B6E38D7B61","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":"Q3884097$CA544ADA-7ED0-4012-AD39-62AF493C2EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3884097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3884097"}}}}}