{"entities":{"Q581390":{"pageid":583157,"ns":120,"title":"Item:Q581390","lastrevid":62929830,"modified":"2026-04-11T09:03:03Z","type":"item","id":"Q581390","labels":{"en":{"language":"en","value":"Finite axiomatizability of locally tabular superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019024"}},"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":"Q581390$98650E45-FA64-4FA0-97B2-989FB7444084","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"626b440b93a88eb90fd4aadd1e8b6afeb820d5a7","datavalue":{"value":{"text":"Finite axiomatizability of locally tabular superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581390$C2D7DB96-6095-4165-9883-327909F745D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b88b8da433c93f0bddd629a82fe6f5e987d48c35","datavalue":{"value":"0627.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581390$76B294BC-BB17-49C6-AF3A-555F3FC2C5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0fbbd52d0b7ce0732472e22fdb8ba842a9de7c7","datavalue":{"value":"10.1007/BF01142480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581390$A267CD0E-893C-4888-A4E4-3C7FA9AB59BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025c1e87512d81d5aa8fdc0640ce67f1cb58c6d3","datavalue":{"value":{"entity-type":"item","numeric-id":581389,"id":"Q581389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581390$72A3F7E5-7B3C-47D8-B44F-F1D9F9399DFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581390$0D3E7A36-5674-49FD-A8B1-10E993B5CC6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q581390$429F7B06-47EC-4888-BA80-2BD4D162D244","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19bc2cbc1f8c6d989a8dc2884ef5e3b33aa7f58a","datavalue":{"value":"A superintuitionistic propositional logic L is called locally tabular if every finite set of propositional variables generates a finite number of L-nonequivalent propositional formulae. Using the algebraic approach, being mostly the only appropriate one in such cases, the author obtains the following interesting result: if L is a finitely axiomatizable locally tabular superintuitionistic propositional logic, then L is hereditarily finitey axiomatizable iff L has not more than a denumerable set of extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581390$9E1110E7-B297-4DFB-9C79-76A424E82A26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581390$687E0A3F-35A1-4782-ABDE-E72FE25014FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07dca716df6af8ac29a931b2fd305c17b84d227b","datavalue":{"value":"4019024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581390$7AD3B510-1DF1-44A3-A18E-AE45D6DA0F54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5323a0da7f5d47e28e8d32ffeabe4c34b9be3b00","datavalue":{"value":"finitely axiomatizable locally tabular superintuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q581390$61645D8F-929E-420A-A92A-8FB05F0266F9","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":"Q581390$A27F8923-0C39-4DB8-BA18-22E017A734BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27111b8c1a0884d0c4f54739e8014ed83f2b4b78","datavalue":{"value":{"entity-type":"item","numeric-id":1069926,"id":"Q1069926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581390$D02907DF-8872-43B3-9ED9-4BDB6CC39C5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6b915951437dd1dc7d9c8d8e7b70d588bdbb4e","datavalue":{"value":{"entity-type":"item","numeric-id":1682298,"id":"Q1682298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca19aa198c5234dc07fb3d1759275a489e084ab","datavalue":{"value":{"amount":"+0.7972350120544434","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":"Q581390$B71F1006-0691-484D-A757-2A08F30A42E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a687278e131558a5bbc8a03a1cdf28d021920b88","datavalue":{"value":{"entity-type":"item","numeric-id":1181493,"id":"Q1181493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d75125c46fd550d1f1686d80b0c5ea3a4903f92","datavalue":{"value":{"amount":"+0.7948534488677979","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":"Q581390$CDC077E0-A1DF-42DD-BD7D-F631B1F9F435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a842d9fe88269b9a5504b0b0e7b45d152407c4","datavalue":{"value":{"entity-type":"item","numeric-id":5718669,"id":"Q5718669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6149de60ab88a85780ea79826487c006046a4238","datavalue":{"value":{"amount":"+0.7933166027069092","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":"Q581390$9F9A55AA-A061-4A69-A656-ABAC5F29FF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34eb3c0e8c2692107418dae4314be8ed0fa74cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4636053,"id":"Q4636053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dac0b682290ed19790bb855420b4eee80d87f1","datavalue":{"value":{"amount":"+0.7777847647666931","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":"Q581390$CCEE2CED-682C-454F-ABB4-FDD0E83ABF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cc9d173ebedade2fbea141a1459a60bb2d9782","datavalue":{"value":{"entity-type":"item","numeric-id":1378430,"id":"Q1378430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad2c0e6eb4aa2d2885f3c3c324bf5fdd3aaab48","datavalue":{"value":{"amount":"+0.7766503095626831","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":"Q581390$FDE6A4DF-496F-4942-86F5-8D2954E2734E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite axiomatizability of locally tabular superintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_axiomatizability_of_locally_tabular_superintuitionistic_logics"}}}}}