{"entities":{"Q3041195":{"pageid":3051911,"ns":120,"title":"Item:Q3041195","lastrevid":45324715,"modified":"2025-12-05T13:18:37Z","type":"item","id":"Q3041195","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3833961"}},"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":"Q3041195$645037A1-C5ED-4BF9-B980-2E12BB7AE81F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7b79a39bf4cdbfe6144c28a534c50a22522b276","datavalue":{"value":"0526.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041195$24731F7F-C6EE-4AED-B3BF-AE14BF237093","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f668f2383b58b17274633b11cd18bd67cd78bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":278760,"id":"Q278760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3041195$BE33AAE0-F168-4A18-AAD5-CCB80B95604D","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":"Q3041195$4322A6B5-D0F8-44A6-933B-129D5A982AA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041195$6EA6B422-52B5-45E0-9DE1-ED75EC47379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041195$891B11BA-1EDE-4281-9B37-B4B6F9887BBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"021058656981cd39645aaa1dbd0e1dc62b827b1e","datavalue":{"value":"3833961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041195$3696A6A8-CA46-4608-9369-AE5B6030AF96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d50772b3387d3392e15f43723321c5b0c8d6229","datavalue":{"value":"consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$5F90CC9E-1FE8-4AF2-8F86-26C61672AE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c582534315791f137c01bc53f9118690d4156","datavalue":{"value":"closure system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$8C97E851-CA89-443A-B6FE-E1C5218B4BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$AFFCE9B2-FADC-473C-B61E-E9175B1ED241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2129ed0e4f5885208f4f8c6f62beb12b52beb21d","datavalue":{"value":"set of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$A31A9199-97B2-410B-AE4A-F0593EE97FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"877baa1d069b423d4f0d97b167815bb581d08a42","datavalue":{"value":"pseudo-Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$CD6CFCED-E6AD-4017-85F2-5E1876EB33E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9b3634bd3b486adf58436c9e23014510bb5cb7","datavalue":{"value":"content","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$15BDB62F-D8AF-4CA2-A3D8-BEBF0F9C32A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5bbb1ac29942a679e2cb0fb9d621994fa5411d","datavalue":{"value":"classical propositional consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$FD2A92DA-BF0F-4FB8-8D4F-FA95D3E2E525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7695be7921f71be6bd562c3cddcdef51e53c028","datavalue":{"value":"provable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$779CA5E2-55F4-4CF1-8516-4B2B74DEECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041195$F39925A6-847A-4503-9B7C-96BC33C087B9","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":"Q3041195$3DE6FD09-3C82-4355-9D7F-1400084BEF25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3041195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3041195"}}}}}