{"entities":{"Q1163541":{"pageid":1174290,"ns":120,"title":"Item:Q1163541","lastrevid":42923675,"modified":"2025-07-16T01:56:50Z","type":"item","id":"Q1163541","labels":{"en":{"language":"en","value":"On the \\(\\{\\to,\\tilde{}\\}\\)-reduct of the intuitionistic consequence operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760135"}},"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":"Q1163541$46B2A892-630B-4267-BEA5-5253C3D8EECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1d9cfbde8841527f1ca8d98900ad6c7005bbaaa","datavalue":{"value":{"text":"On the \\(\\{\\to,\\tilde{}\\}\\)-reduct of the intuitionistic consequence operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163541$3C2319B7-B5E7-4713-8C97-518281A3C53F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f805f60ba8604dff503f61898c95caab8326b4fc","datavalue":{"value":"0484.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163541$457DDF2E-BA6C-4A38-815D-F3A3111978BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8ba474c69b7843b636b088dd497c14883f1e55","datavalue":{"value":"10.1007/BF01837555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163541$944654AB-7808-4E8B-AF5E-6BAD9CF89357","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163541$FFF7ECCD-308C-4211-B716-82EB1048A87E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1163541$A2F6842E-701C-4308-AE05-BA62E8BE32AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163541$3F9FDCCF-5779-4894-88CE-DDBAD6113660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c42b4b62613888aee0cd5b1c70db68c074682b","datavalue":{"value":"3760135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163541$F73A5B92-77A8-40BD-BD44-729DEF9494DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163541$9B8EDB3A-EC48-41FD-9D0A-6DF5CF869666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163541$440B0069-C2D1-4C4C-9A47-6CED7B6F619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0736cb74b99db5a52608e16fabcad300bf49073e","datavalue":{"value":"fragment of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163541$BC2E0906-F20F-4E7F-A7B8-371872A549CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f1ec2087d3fd751600a1292dda9f77611382242","datavalue":{"value":"axiomatization by means of a finite set of sequential rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163541$3698520F-115C-4396-9B33-8FA18935CAB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c407874962b8da271b55c1d9542f78ae0927d30","datavalue":{"value":{"entity-type":"item","numeric-id":786809,"id":"Q786809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163541$64D28FC8-AD7F-4E2F-BD91-CAAABACB3AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fccd781031f1927b65f1f3a7b4e50cde992bb6cb","datavalue":{"value":{"entity-type":"item","numeric-id":1821776,"id":"Q1821776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163541$34866CDF-FEF5-43A2-806F-6B8F5DFF9162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bb82757387098aa182b50cda239e6c53307a6e","datavalue":{"value":{"entity-type":"item","numeric-id":634756,"id":"Q634756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163541$1F6EE313-F2BF-40CB-963D-DC44447EC15E","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":"Q1163541$CC1BEA56-410C-4261-B7BC-DF59D86C6DD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8582918b98fd3f23883f7a8bb54d33914c35150b","datavalue":{"value":{"entity-type":"item","numeric-id":2562173,"id":"Q2562173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163541$55DF153D-7CEE-4CCF-A34E-532A7019FF2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c4bb926021d546f9a56ddd9e08bccd7b06b585a","datavalue":{"value":"https://doi.org/10.1007/bf01837555","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163541$50F41CF7-F0C7-4069-A0BB-7D6D7257F7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"063eef345246cc35977141ee8d4e4ba2cf72278c","datavalue":{"value":"W1985901092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163541$7C51E08D-C2F3-43DD-BF86-7389076AA8C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1163541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1163541"}}}}}