{"entities":{"Q3656767":{"pageid":5686673,"ns":120,"title":"Item:Q3656767","lastrevid":80911151,"modified":"2026-05-06T17:17:05Z","type":"item","id":"Q3656767","labels":{"en":{"language":"en","value":"On the density of truth of locally finite logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658005"}},"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":"Q3656767$27774BC7-F8DE-4889-8232-8846BACD522D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd7f7a4eeba12bb1089d4e23c8b198fccecb85f4","datavalue":{"value":{"text":"On the Density of Truth of Locally Finite Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656767$69F37571-0DCB-463A-BA14-224D020D9756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ae21658b64a0e1d4ef36e68408d8bc5c94a88f0","datavalue":{"value":"1206.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656767$5A151D8F-F3D2-4C6F-8C8C-C25D2973DFCB","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":"Q3656767$0CB8038D-163C-4E8A-AE29-36CAFD7B9CCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656767$109AD6A0-295D-4134-8DC0-9CD82DCF8CFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656767$ECC32C8D-A725-483E-A4AD-432E8A05CF47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2950d65446195da652a5108f7eeee1e0120179d6","datavalue":{"value":"5658005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656767$2CCD0BE8-625F-494D-A8D4-33ABA46A07B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c838ed149a7672783a67cb4ebb564260751d14","datavalue":{"value":"density of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$4FD402ED-684A-477B-BF6E-15B9D6711F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2248037889f82f8907e69ac034d26b712aee6cde","datavalue":{"value":"locally finite logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$7F4FD950-6828-4F74-8462-F5D947CA905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3bed896e5a5a8aeb251188bf9458fc3f73b97f","datavalue":{"value":"Lindenbaum algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$87CBF7E6-99A2-4490-9EED-EA8043B06BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$3A7D8731-7CEB-461C-909F-9BBD89B56961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$88E15AD0-3CA7-4955-AB3D-0B5DCBD22546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637cab94c87a5b556b1043f03f56b4600824940f","datavalue":{"value":"implicational fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$D6400A4F-9800-4D12-B081-E649E45A314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af694dbd9df445bddfdd6fe1e3efaf11c662d921","datavalue":{"value":"Drmota-Lalley-Woods theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656767$4D268DE2-FC88-4EDC-AD62-9A6F65EC54AD","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":"Q3656767$01D3999A-29DE-4F3C-AE00-E8A1AB699DA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6a32354d97119ac4abc0d443077c56da4545238","datavalue":{"value":"https://doi.org/10.1093/logcom/exp034","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656767$D26F7783-06F7-4224-89E4-092380BDBC13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2779b5ed50301bc3b0fd62376b329d94a33617bb","datavalue":{"value":"W2007561880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656767$D6B4414A-66F2-408D-868A-1C9DCC1D9654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c81f81f99610113e2f044301ecca43bbf41ad69","datavalue":{"value":"10.1093/LOGCOM/EXP034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656767$E0435B0C-AF3F-4EE2-8E9E-9074CED44C86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656767$945BA00C-B3FA-4137-9F9A-60C12EEB1814","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206e85086cf2873383ab9c0de64a991d1ecf13b1","datavalue":{"value":{"entity-type":"item","numeric-id":4438099,"id":"Q4438099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9e92d5eedc51ec20b3a146b977211d916a7fd7","datavalue":{"value":{"amount":"+0.8281819224357605","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":"Q3656767$1D6B0477-1B8D-4891-8D4E-4B0610395932","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":"fc55b8ee9be7ba5efcf13a476b1e9b829af83e22","datavalue":{"value":{"amount":"+0.828181803226471","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":"Q3656767$FDDC8BD9-FBA3-4112-A89E-02DA6FC7FDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46afde3b29502254b1eea280ad7234c09349ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":3643262,"id":"Q3643262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78db7277ffe37ec907558cf0e576ebba96b7a320","datavalue":{"value":{"amount":"+0.8276379108428955","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":"Q3656767$A44B9F78-A57B-4DC0-98E7-4BCD43CA5E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916d2f0aa7997049a294ebcf6efca1412fa966ec","datavalue":{"value":{"entity-type":"item","numeric-id":1006461,"id":"Q1006461"},"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":"Q3656767$3E0A274C-5BDE-4928-86C1-D3DD65DA84E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f631c367fccce241f9924ff70e467e44941f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1826933,"id":"Q1826933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fdeca1059e9dfd8de11d724628e1b6cd4e58b9","datavalue":{"value":{"amount":"+0.8184612989425659","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":"Q3656767$483867DE-7B77-45C2-8D41-6CDEF26A4919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the density of truth of locally finite logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_density_of_truth_of_locally_finite_logics"}}}}}