{"entities":{"Q3858239":{"pageid":5888144,"ns":120,"title":"Item:Q3858239","lastrevid":54544958,"modified":"2026-01-28T08:17:10Z","type":"item","id":"Q3858239","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3659563"}},"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":"Q3858239$ED2C3B59-1945-4064-8D78-5D42A2410176","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d54c63e80dfea29da4cd9700fb3ce1fb48168e95","datavalue":{"value":"0424.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$51D4E313-BC05-4157-AD5A-EB80392FB0E6","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":"Q3858239$3D3BC4B7-E885-4694-9399-9A51D15D2F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$97EC0803-7AFA-417D-A5EB-6875FC59951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$E9F98DBD-3BD8-4545-8DC1-6C8283A4BD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$F8F26BD0-182D-47CE-978F-B603E1C59F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$36874BF8-78A1-4B69-A1F9-4C8A03275C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$C0C1A7E9-9212-4D76-94A5-1CBE153B0F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$CDA0A386-C8FD-422F-99D8-9CFC4E732CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$636893F1-EDB6-424C-A90E-824C605B4A85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be3cb56889fc143af05f5c356b74296844d54aa4","datavalue":{"value":"3659563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3858239$2E720E69-4658-44DA-9459-8771A041D188","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$048E9847-EDD7-4F58-98CC-D31FF1C5F4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$8549C61E-8533-4530-A2D2-F7B513BB9AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3b3da8c2232f6443d2e48a53b644eb7579569f","datavalue":{"value":"ultrafilter theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$1C4BF46F-0695-4B88-8457-E78F83B6BC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4283dc6ccca6c1701835f33fb70287290ec323","datavalue":{"value":"classical sentential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$B84615C0-FE02-4830-B9F7-B6C77236E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d74ab37a8cef44d2c765b6ec8f12495a4369e80b","datavalue":{"value":"axiomatic and deductive systems without quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$563892C2-3548-45DF-A332-31348EE0C484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$1605FA9C-A2F5-48C3-AEC9-694E3D72D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d3eddeb1b32842ba44912f252846befa5baa7f","datavalue":{"value":"constructive logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3858239$3D6808A6-8D6E-4F16-9937-4327EB9476E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3858239$EC1DE712-BA79-47E0-9F21-ED9A0E647A4C","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":"Q3858239$AC22A7B0-73A0-4E11-9DEE-34D7C3B8BAD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3858239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3858239"}}}}}