{"entities":{"Q1006461":{"pageid":1008309,"ns":120,"title":"Item:Q1006461","lastrevid":69406815,"modified":"2026-04-13T06:47:36Z","type":"item","id":"Q1006461","labels":{"en":{"language":"en","value":"The density of truth in monadic fragments of some intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532522"}},"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":"Q1006461$256C895D-9F34-4F59-BF6E-485722AE1DFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ab94783e194914bf4710c82953b0e614bab7005","datavalue":{"value":{"text":"The density of truth in monadic fragments of some intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006461$1A2C9392-70C6-4AC1-8142-68ECC67E6E72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1b26c0536a5f2ddabe1ccb9f8f7b79b3de8c221","datavalue":{"value":"1158.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006461$113DF0F8-06B8-4382-8C5A-C3FAC5312F00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fce13c76b03bec4a57e6b04fa4e225a456e870","datavalue":{"value":{"entity-type":"item","numeric-id":519845,"id":"Q519845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$D56263C0-1EEF-44BA-9EE4-06B1B3BBE37A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$09522C4D-EF8C-4D51-BC60-4DDC8D8EF394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006461$457B9258-6A3D-4C12-A3CE-250D6D4F544E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006461$BE8DCA65-1321-417D-B8AD-FE49066435AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006461$C0D1FD60-8266-4EE8-A8E4-C02FA7AD662B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3e7703526b3d7a737e69f8b20fe51fdd0e8c52","datavalue":{"value":"5532522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006461$A8106BE5-FA4C-42F9-B804-02C561510D2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c838ed149a7672783a67cb4ebb564260751d14","datavalue":{"value":"density of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006461$9CD3F620-0BF9-48D3-A7B5-B2B748B21AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006461$37B65835-CD64-4207-B3A6-2FAD8D6F1169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a4f991b82fe545ea855f3d294b6da0b7630424","datavalue":{"value":"Medvedev's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006461$392579B6-E5FB-43D7-A584-4D9D8FE4523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006461$2725F767-5435-4B53-AA93-E3D583E5B390","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":"Q1006461$73238265-21B4-4CDE-A554-16B87272C596","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ba5b919ffb9cca5922965c3bd6c31114174c6b","datavalue":{"value":"https://doi.org/10.1007/s10849-006-9030-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006461$3AE9F2DC-D7F8-45E4-BD78-7980A36BD023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3848cd17a430a744c2d39e64d29c647755dbfb3","datavalue":{"value":"W2053294431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006461$543E960E-74C2-4731-900A-7AB820A8FAFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f3ec4b83d9aea27e0a2625292e77522d3c51d","datavalue":{"value":{"entity-type":"item","numeric-id":4438099,"id":"Q4438099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$95C8D3BB-2897-4E21-A1A2-98FA48A36C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2c1afbe2ea8e17cfda6d0be606cd090c2c061d","datavalue":{"value":{"entity-type":"item","numeric-id":1826933,"id":"Q1826933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$9A9EED7E-F700-491D-B90E-646220071C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bd8c1433b334d5563b2f966c5aedcaf2ada96d","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$33B9FFEB-C48B-4A85-B2B4-91453CFE0E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9714020379e2daaf8967db531da8411a1f26e54","datavalue":{"value":{"entity-type":"item","numeric-id":4061445,"id":"Q4061445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$273D4AD7-F6E7-478B-848C-7A9DDEC3FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2ea534879b7d8fcf006b05153ab014c9afd9c1","datavalue":{"value":{"entity-type":"item","numeric-id":4820597,"id":"Q4820597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$5782003F-CBE9-44E5-B7B0-03F7096EF31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6eb4a945770a6378844e9bcad8b793cc0c301c","datavalue":{"value":{"entity-type":"item","numeric-id":5488260,"id":"Q5488260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006461$74176332-7FBF-498B-AFF1-5561E4799D19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f53afe77edeea4e59330e5df1c53dbf40f390ec2","datavalue":{"value":"10.1007/S10849-006-9030-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006461$D64F4476-35E7-4D0C-8BCC-A11BF4A87B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c04e4a6dacba60e93fc8c703f4abccd9860b9","datavalue":{"value":{"entity-type":"item","numeric-id":2959883,"id":"Q2959883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220ffc3ebebf3ebf2ffe7662dff65dd666711c32","datavalue":{"value":{"amount":"+0.8507334589958191","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":"Q1006461$B989A2C1-53F8-4903-8741-D7E34070CED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbc8ef581e26325e625d2245920a7fc4826bb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4898736,"id":"Q4898736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827302510b7fbcddac42eccd9d69f6109bb4dffb","datavalue":{"value":{"amount":"+0.8469186425209045","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":"Q1006461$1BBAC338-1D0C-40C5-B10D-EB51E4FF9A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2452e6d968f5a14ac00f4ffa4e3099a812985b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3574988,"id":"Q3574988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066b8ea7a84adabb0eea4b0156701d749a9ba7b2","datavalue":{"value":{"amount":"+0.8345746397972107","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":"Q1006461$6422CDFC-BCFA-4272-9DEB-9A5F85E87355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8899f3d70ec682919bed227e126f71b98d9fb031","datavalue":{"value":{"entity-type":"item","numeric-id":3656767,"id":"Q3656767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfd4d364ea2104c7eb803f406b82766661461cf","datavalue":{"value":{"amount":"+0.8218463063240051","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":"Q1006461$121E2B63-FDCF-43EB-B7F1-955539AC886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd81c66f68c90c796b81641b6d3cfa41a78ec2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4826045,"id":"Q4826045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4e57b6131f49b093b7aa8e67e48f619dcaf48a","datavalue":{"value":{"amount":"+0.821377694606781","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":"Q1006461$6DE1E7DB-5E89-4959-854F-54A1B01D033A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The density of truth in monadic fragments of some intermediate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_density_of_truth_in_monadic_fragments_of_some_intermediate_logics"}}}}}