{"entities":{"Q1165839":{"pageid":1176588,"ns":120,"title":"Item:Q1165839","lastrevid":67019985,"modified":"2026-04-12T14:22:30Z","type":"item","id":"Q1165839","labels":{"en":{"language":"en","value":"Finite axiomatization for some intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767631"}},"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":"Q1165839$44480CC3-4560-4C1B-BAD8-E4CF92828EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f290598fcad8929911ecd33234b33b478010f9e9","datavalue":{"value":{"text":"Finite axiomatization for some intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1165839$6F88D42D-8514-4BE4-AC43-4A5ACF56AFCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"357189e32b3f33e100b697a6b75f01fec02465d3","datavalue":{"value":"0488.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165839$70494D10-CA88-431A-8F89-FD64D93F5BE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae998495a1e908fb6862549c0975c6f5042d0e39","datavalue":{"value":"10.1007/BF00713551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165839$F57FD995-3EA8-411B-9889-F7C2BBA23FCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5fcb8bee3abcab3955afea6530924ffefa566be","datavalue":{"value":{"entity-type":"item","numeric-id":1165838,"id":"Q1165838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165839$F4288862-8DD1-4671-8E4B-F6376B0CBAC2","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":"Q1165839$9B701D51-5B16-4596-A343-336F71BF950E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1165839$53034685-AF4A-47EA-8DEC-04A35E7E3CFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165839$9F074DD4-A18A-43FE-AA97-40FA0B90974B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07952b2c93f39358db2a87bafce800adb867a235","datavalue":{"value":"3767631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165839$DB61A727-AD56-4285-A4C2-86630720AC1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb383f2eca4dbd433e64acc00de068816e26839","datavalue":{"value":"set of divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165839$9B524C18-770C-4082-A34E-8F036202C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7001585e9b74bb867ef7afe1c0f510b491dbdc18","datavalue":{"value":"pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165839$B651BC79-4DBE-424F-9BF3-1D6342DC9EB7","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":"Q1165839$9BF1F0CB-F2A1-491F-A8DF-88FB3CA3BC79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e02197a1430e09eb6e4954a3307176638f7614","datavalue":{"value":{"entity-type":"item","numeric-id":5509710,"id":"Q5509710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165839$4089367F-C938-4981-887B-FA33151B09FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265563707eb328ca2a5a04582d8c0cf00fe1347a","datavalue":{"value":{"entity-type":"item","numeric-id":1219875,"id":"Q1219875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165839$B3AB9063-8C6F-422A-BEED-46DD4E8B02C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cab77cfdf602d1aab7b2856b4482a0f4f22e59","datavalue":{"value":{"entity-type":"item","numeric-id":3247123,"id":"Q3247123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165839$84A17038-CA25-40B9-A94B-0EE316ABBFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165839$2530AB41-002E-460F-9239-12D995A84BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165839$51FAB59E-F0EC-49F4-8E1D-2004E0FAD8C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite axiomatization for some intermediate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_axiomatization_for_some_intermediate_logics"}}}}}