{"entities":{"Q911574":{"pageid":913422,"ns":120,"title":"Item:Q911574","lastrevid":49367569,"modified":"2026-01-07T01:13:57Z","type":"item","id":"Q911574","labels":{"en":{"language":"en","value":"A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142001"}},"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":"Q911574$4EC28F29-5F6A-4DCD-85C0-1617CC319C33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91ae0868a50a2eaad6623f7db5e2a97ce7764042","datavalue":{"value":{"text":"A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911574$5A831258-F34E-4BF1-AEBF-ACBDDF1D7FBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e00213a11c7246266f636ce78fa3cde4ed43b4","datavalue":{"value":"0697.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$7BCCF047-E946-4697-A52C-C95B4352EB56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7633c8decbffcaba5696cdb6b7ef793253718809","datavalue":{"value":{"entity-type":"item","numeric-id":911573,"id":"Q911573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911574$3B5DB4F2-21C2-4FC4-A8A2-3717EC9014B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911574$B86D0491-B8C8-4B60-805D-F42DEA508BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q911574$CF6CD9C7-D5F0-488E-B256-E761DE73F262","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59ee153965dc65abe61304d5c67bfbfee57af2b2","datavalue":{"value":"The set of R-formulas is defined inductively as an extension of the set of all first order predicate formulas generated by a finite set P of unary predicate symbols (as the only set of non-logical constant symbols) over the usual classical propositional connectives and quantifiers, by the following formation rule: if A(x) is an R-formula and x is a free variable not occurring in A(y), then \\(\\forall y(R(x,y)\\to A(y))\\), \\(\\forall y(R(y,x)\\to A(y))\\), \\(\\exists y(r(x,y)\\wedge A(y))\\) and \\(\\exists y(R(y,x)\\wedge A(y))\\) are all R-formulas, where R is a new fixed binary predicate symbol. R-positive formulas are the formulas over \\(P\\cup R\\) in which R has no negative occurrences. If we denote by F the set of all finite conjunctions of R-sentences, R-positive sentences and the sentences expressing symmetry and transitivity of R, then we can formulate the main result of the paper: the set F is decidable. This statement can be used, as demonstrated in the paper, to solve the decidability problem of some non-classical propositional and modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911574$6FE6FB26-6301-46C4-9E55-6D23F1FC5403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$9A0B2A05-F491-44FE-91B9-6E3AF6376F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$0DFC2A7D-658B-494A-9FBE-61579CF7F8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$EFA115EE-47AA-41C6-915E-F3D10B480276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$496C8A11-3408-4856-BEA1-CEDCAAFDFC2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e09a08f8ef151a7939d884bf3da6a9a1a5399333","datavalue":{"value":"4142001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$998442DB-399B-4C50-942B-78C920117FCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec4a21ccb9811e06bd2de9c1b3a1fd53a45b4a2","datavalue":{"value":"R-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q911574$FBF5928E-6A61-49F8-A5B8-6F1D28A6A963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q911574$924CC481-131D-4841-AF16-BA0EB931C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q911574$EC763A0F-9EF2-4E49-8D0B-6693BF2520AB","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":"Q911574$C30A7172-4F14-4BFB-B8B7-85834D518D61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"080317fc37c5e9272d10fccf1e6c8632b7d07d4b","datavalue":{"value":"https://doi.org/10.2969/jmsj/04210127","type":"string"},"datatype":"url"},"type":"statement","id":"Q911574$3AAA445A-A50A-45FA-BB81-7BD4D819CC28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f253cb3c75f8aa82affcea5a7b973f21f144708f","datavalue":{"value":"W1974621699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$4439D0B5-FAB1-45CA-83B5-7256015B18A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"226f3e931f536a7f1972855002ac4289d6eddd7d","datavalue":{"value":"10.2969/JMSJ/04210127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911574$878C8284-9AC7-42B5-9863-9E2921822337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c8fe358428e0798a341cff394e72fe88f88759","datavalue":{"value":{"entity-type":"item","numeric-id":4789048,"id":"Q4789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1987b12bcc4300a5e646728acb20a1b095ead7d","datavalue":{"value":{"amount":"+0.770069420337677","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":"Q911574$B5F914C0-CBCA-4CE7-B408-A8991C460C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5822ce399327b3d661239d498b3d772a9f8f0e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4731166,"id":"Q4731166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59a46193b47ead9815db74a53da7ab935df705d","datavalue":{"value":{"amount":"+0.7570414543151855","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":"Q911574$AB79DBA0-899C-4355-A3CC-BB47CA3AA5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e303d284b54b798bcf91b5370d140139519f44b0","datavalue":{"value":{"entity-type":"item","numeric-id":4881682,"id":"Q4881682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e17201d0ee3ce16ea847585e2e9dd0822489ee5","datavalue":{"value":{"amount":"+0.7542699575424194","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":"Q911574$21F4D61C-B1F8-44A7-8074-F572148C9E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8413f3b582160a01cbfc1d3971b69cc463b6363","datavalue":{"value":{"amount":"+0.7540559768676758","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":"Q911574$FB184325-F326-40D7-92D3-D9AC6A977DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f520fc8bc53df5ce4ecd3af41dfec2bcb08404b","datavalue":{"value":{"entity-type":"item","numeric-id":5692444,"id":"Q5692444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a019d7240f92cc9b74577b2d44e8691e3596a791","datavalue":{"value":{"amount":"+0.7424913048744202","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":"Q911574$D19B1BE9-3F09-46F7-93EB-03261900A0A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911574"}}}}}