{"entities":{"Q3643262":{"pageid":5673168,"ns":120,"title":"Item:Q3643262","lastrevid":50812673,"modified":"2026-01-15T06:47:31Z","type":"item","id":"Q3643262","labels":{"en":{"language":"en","value":"On the density of truth of implicational parts of intuitionistic and classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629249"}},"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":"Q3643262$E601B837-7B55-4A83-9D30-04EFB824E376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edd5a2377cf08def64b0466a380989d60fd6f550","datavalue":{"value":{"text":"On the density of truth of implicational parts of intuitionistic and classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643262$BA96E990-F2EF-4C7E-86CA-A5D7023A33C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767c4145a92ed652e80d8fbdf89c5b573969e476","datavalue":{"value":"1181.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643262$EC60C11F-3631-409D-8E9F-20ECA152C636","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":"Q3643262$0E30C0F8-D1A1-44EB-B62B-C27F419658C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643262$0217641E-CFEB-42E4-ACC4-87702F9EE560","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643262$F3AF7172-44B8-4E73-826A-F4FC88B31E47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643262$B2F7A1FC-B5F5-4577-BE52-6892AFD82215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643262$1BA4D2D2-F16F-454C-B191-47EE294E4AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4a7f8d9745992fc12b84fe3dcc53477b967543f","datavalue":{"value":"5629249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643262$FD33CB6A-C1B6-4B81-840C-36C1E6CDAC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643262$5DAAE40F-1F87-48FF-9CAC-CE3C75E4ADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643262$3E631471-A656-4BD7-A08C-842C36487637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643262$3D0E7DCC-ACCB-4F81-9029-A41757D38BD9","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":"Q3643262$5D80187F-B22C-402F-A55E-663C33E1716F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f5d4ed1720892f52546fdfac35fd0c329da6ccf","datavalue":{"value":"https://doi.org/10.3166/jancl.13.391-421","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643262$3ED91D88-2DE2-46F5-9A02-341A4B08B713","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2de4960d98c1d9b44d500d354b2b042a64016c5","datavalue":{"value":"W2039830772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643262$4E646D05-5B95-405B-BACA-3D512DB6DE91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643262$5651F2B6-E7C3-4CDE-827C-1A0F8061B11C","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":"Q3643262$4AAFF2A8-FAD6-4ED1-83EF-3BDD6A63C1A4","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":"Q3643262$EC94882C-02C9-41E6-B307-253CEE7B4351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c124b23e66bda5f6b96b58b4ca724e8f07b76603","datavalue":{"value":{"entity-type":"item","numeric-id":3229522,"id":"Q3229522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643262$0A883E6E-0A6F-4651-B0F1-3C42498FE262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62a78ca4a3aa80e07aa9d40e6fd1bac1614da485","datavalue":{"value":"10.3166/JANCL.13.391-421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643262$C2831AC8-27BD-4F3B-BE07-75401E1BB2CF","rank":"normal"}],"P1643":[{"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":"7f4397cf6a6188b0feee9347e1c6193b9e62c313","datavalue":{"value":{"amount":"+0.864454448223114","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":"Q3643262$0EC0BC67-5A35-48E6-A979-F001F5E5EF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b54a1822c17de079d7c6121ca4b6d38906a5f8","datavalue":{"value":{"entity-type":"item","numeric-id":408542,"id":"Q408542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dc1245a18df62a5e6ed3c3ebcecc4224105f1f","datavalue":{"value":{"amount":"+0.8451388478279114","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":"Q3643262$F52D129D-DD8B-4639-8A7F-C5D07EF3ACE8","rank":"normal"},{"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":"150fc605adf8025d48dd21e790fa9f079fe9e28f","datavalue":{"value":{"amount":"+0.8412919640541077","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":"Q3643262$761B2906-1014-496C-8DE1-EE0CCF37C3C7","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":"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":"Q3643262$E1D08FBE-7C1A-49BA-980D-BA2C658940C2","rank":"normal"},{"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":"e3104f8cc2054c5fc4089fc3ffb99fa898da1d57","datavalue":{"value":{"amount":"+0.8113588690757751","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":"Q3643262$62E0CBB0-8B1F-41F7-BE1C-BD7CB279DAA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643262"}}}}}