{"entities":{"Q750414":{"pageid":752263,"ns":120,"title":"Item:Q750414","lastrevid":64055262,"modified":"2026-04-11T17:20:27Z","type":"item","id":"Q750414","labels":{"en":{"language":"en","value":"The method of axiomatic rejection for the intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174884"}},"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":"Q750414$9418ED22-D646-4660-BE42-962AA64B1AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25f3013b6c2b95786c68d1a1ae3f06ce1db123be","datavalue":{"value":{"text":"The method of axiomatic rejection for the intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750414$019978AB-999B-4C1F-B8C0-E90BD373C075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7d712a5b665669653e9f0aaf855df6fe91cd489","datavalue":{"value":"0714.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750414$CD8F0A6C-D8B6-4020-B344-17807711DD2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"487044dbc67eac08838d0f8842c8b1eba56e32ad","datavalue":{"value":"10.1007/BF00370199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750414$7112E367-2E4E-46E9-ACD6-E7B3AE50B6D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10fadcc09711d6a78135c21b049aa20a635e941a","datavalue":{"value":{"entity-type":"item","numeric-id":750412,"id":"Q750412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$358937CD-204D-411D-9903-2929ED42D83C","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":"Q750414$480B39FA-A019-4E55-9C08-4C06F55131AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q750414$09D437FF-84DE-4DAF-83FA-97F972E14F88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2abc1d5780675b99b432ce9483f3552c67886cb","datavalue":{"value":"It is proved that the intuitionistic sentential calculus is decidable in the sense of \u0141ukasiewicz. For the proof, an axiomatic system is given for the sets of rejected formulas of the intuitionistic calculus by adding a rule to the system of \u0141ukasiewicz.","type":"string"},"datatype":"string"},"type":"statement","id":"Q750414$833045E1-6020-4233-9F04-0540E59E97BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750414$2CF46188-FEF4-4174-A74A-BC67598457B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750414$4F4F9507-8F7A-481A-8F7D-B9712562941C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f6b67050c6b4bd5cf8d108875e744b38ddf56b7","datavalue":{"value":"4174884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750414$3784158E-4B50-469D-9C2E-37FD07FC0567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q750414$0A429154-8DAA-4A47-95AD-CA456DE90AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55c36b0ecd0a4720e5dd6de62bb169cb57e05afc","datavalue":{"value":"axiomatic system for the sets of rejected formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q750414$15A490B8-F235-4E6E-A364-9FD5218CAC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8c7ef6e921573c109550b9394b00a3872f2590","datavalue":{"value":"intuitionistic sentential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q750414$BFBD66C5-F8A1-43FF-825B-085776BDCD74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$9487D3FF-B6F3-4CBC-A012-E70AED7004B8","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":"Q750414$2914CC11-56AC-4218-A26A-C07D4E8BD11F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$322C2279-09CE-41DB-BE82-DFBEB2A4F278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$B210457C-70F6-4ADA-804C-EE5429DA82B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0e5926137f2781ab7f6959579a481f050fca5a","datavalue":{"value":{"entity-type":"item","numeric-id":5813911,"id":"Q5813911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$F5B6E28F-E556-44E6-9A84-BE3B79F0C471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$9976C7E3-B0AB-4480-85B6-C86A91F653F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$279B4494-356F-4991-8F25-249E181DFF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf3e796fd2e8120d999acaa240d4d3243776394","datavalue":{"value":{"entity-type":"item","numeric-id":2557697,"id":"Q2557697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$DE62BA2E-5F4E-44FF-898D-1B4537C2626D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6edd68ca7c0768b3b3c797b0befceb980238f6f","datavalue":{"value":{"entity-type":"item","numeric-id":1219801,"id":"Q1219801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$FB9ED61F-246C-43FB-B530-A4D890DF7130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c855cd66108db23fa4449a4c86d20b56c37cdbd6","datavalue":{"value":{"entity-type":"item","numeric-id":2556848,"id":"Q2556848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750414$22735C8E-9439-46C4-95E3-0E35158D300D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed5d71bf14453c1d1940387ec0ca9633a9d791c","datavalue":{"value":{"entity-type":"item","numeric-id":4339467,"id":"Q4339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0889a553a4a7744711ccb41dab7f1fbbd16779e","datavalue":{"value":{"amount":"+0.8261833786964417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q750414$D0CDEBC2-20AF-4807-9857-77FEF9B90FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6aa4eaf62bc06465d748e6d065dc2e37ed596b","datavalue":{"value":{"entity-type":"item","numeric-id":5411400,"id":"Q5411400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642fb6362d195f2715b3b5c5cdc38c12bc9dbeac","datavalue":{"value":{"amount":"+0.8253068327903748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q750414$A0296B11-7CFB-4AF0-80A5-451AD52F975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ace344382c0894b7c150b1a283cd9cdb45b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2878747,"id":"Q2878747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d50f3e2b112a908632316ea765c42a0e3a5cb8c","datavalue":{"value":{"amount":"+0.7788800597190857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q750414$B7DA54C6-B5D2-4DFD-A099-8CE89A77D9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4a4c38f9434181d6fe926b9030e2c61d1f555f","datavalue":{"value":{"entity-type":"item","numeric-id":4408740,"id":"Q4408740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96960b15ac08b71aa8b2a7e848a226eb62892d","datavalue":{"value":{"amount":"+0.77162104845047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q750414$EE35CA16-E5F4-4AE0-BE02-234D79537E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ac2f9d67e773971ab89502d23ea1a2f37e036e","datavalue":{"value":{"entity-type":"item","numeric-id":4731165,"id":"Q4731165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96960b15ac08b71aa8b2a7e848a226eb62892d","datavalue":{"value":{"amount":"+0.77162104845047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q750414$2A06A227-6009-4773-BB48-408BF4CA346E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The method of axiomatic rejection for the intuitionistic propositional logic","badges":[]}}}}}