{"entities":{"Q1422105":{"pageid":1432845,"ns":120,"title":"Item:Q1422105","lastrevid":68797596,"modified":"2026-04-13T02:07:16Z","type":"item","id":"Q1422105","labels":{"en":{"language":"en","value":"Four-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2038298"}},"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":"Q1422105$AFE22D9A-6980-4945-A128-28BC2866FCEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec9b181b86a66d61607a1cd278b1efaed765ce2f","datavalue":{"value":{"text":"Four-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422105$5C499992-70AC-457F-B6B8-1BC5A11AB63A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a559b4455fe83be2e2890cd3bd94657ed7993417","datavalue":{"value":"1034.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422105$4BC78733-AE6E-42CE-B1DD-4FDF639A2BBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$CBE8E375-875F-4B15-85D2-2011A93C28F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$2E1F9EFC-3F8A-4821-A907-BE10EE83426A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$67211B47-6710-45E8-8EAC-72ACDF9C49C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4771f8a4f0386977402ebf0335c556de7718d136","datavalue":{"value":{"time":"+2004-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422105$B1675938-1EBD-4B42-A18C-D2A7BED089C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422105$2A2EB014-7B08-4620-9F72-6ECEFB9631DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422105$2CE0FE4F-2E05-471D-930E-36444A519983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"317a8e306dd4b7974868d156787b139f7b0a4350","datavalue":{"value":"2038298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422105$22FF3E3B-B0B7-46B4-A247-24663C4136A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$3E3D484F-CCEE-45F1-B00A-AE775674D28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5057911692bcd518bef019fa6e149668dcfd89ad","datavalue":{"value":"tableaux system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$6FBFB159-2755-483D-8075-0B0F6A29CE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$6DEA38F2-9CA4-444A-81B9-429284429A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5844c4fd8c1442a559b80b5443954d0dea143bba","datavalue":{"value":"Lambek calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$F3DA34C4-80DF-4CAF-ADC5-D9FBFB412DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$E78F670E-B89E-4DB6-8EE6-2FF897685BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553d9c09ad3dfb85f09d1cfd0b0f7e34a53fcdf8","datavalue":{"value":"lattice representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$7F37F0DF-2F6E-4FE9-94B6-03EADC63E882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422105$E4DCFB50-EECD-487C-839A-60F4EFEF254E","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":"Q1422105$69976002-1F5E-4B72-9565-74BC387425D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41cff154bfff65ac5cb8e7dba06a0605d908af66","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1063372199","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422105$608FDB86-693F-4655-A387-625F0969F7EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57412149d29f2d72dcd40e5af0785ba547ef01ad","datavalue":{"value":"W1496035301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422105$DB2B6F16-3417-49B8-AFF6-90356629E935","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$3772172D-0221-4CAC-814E-AE9AB232284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff97621eb5d047d93ecaed6afd81eb12ccba4309","datavalue":{"value":{"entity-type":"item","numeric-id":4940716,"id":"Q4940716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$5B78D3BA-10CE-4184-964D-636AB0682340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$D95CA600-0593-41A2-9410-0DFB12556055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186acf99ff02d164347274af36b6b9685bfa1f6b","datavalue":{"value":{"entity-type":"item","numeric-id":2743637,"id":"Q2743637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$ACFFFA07-BFA8-4FB6-AFE8-0ADF4FC78ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$7934166E-73B0-4C62-B3FB-CEA14F097B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2ccf4fcd9d3d38026f2030849919c4cd7e8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5788423,"id":"Q5788423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$6FDC2F0F-D0AB-42AA-B706-E4E95045F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$567EE09D-C25D-418C-B1C2-1673C503E934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$27822EE8-721F-49D6-80F8-935D8282435A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$B07A9403-931D-473F-860A-77A58DE90F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$26881B17-4CAF-44F7-BC58-4713371B4572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$1AD03B7B-EBC3-4F99-A136-3E3FE3CD2C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$65B94F6D-F970-45DC-8863-446F76AB770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481a441d538eae7c6a03f622bc0ee221721e0d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1272119,"id":"Q1272119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$DD3F6BA5-CD54-40FC-B546-1FB3EE37EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$49B6543D-468E-4DC7-8CE5-3157CC21CF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$72B22917-4E29-42FC-B722-DB178F02DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$21B06021-AB46-4911-9A3B-8452B0EA63FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$AA7AFC43-59DA-409A-B22F-DD4A313F89C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$283A7031-EDAE-4373-9FCF-A29194999B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2602422b1b9a961df0ba2025967b41fe30ab3a","datavalue":{"value":{"entity-type":"item","numeric-id":1247989,"id":"Q1247989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422105$9C06E5CC-63CF-47AC-B153-24D151F94D3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed775e124ca4ae062a17f2db0e027449c5cca735","datavalue":{"value":"10.1305/NDJFL/1063372199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422105$A65EC0D8-D77A-4111-B0CA-D4399B3628C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de48445d3113c11b43a7478acb7336580b4945","datavalue":{"value":{"entity-type":"item","numeric-id":3305609,"id":"Q3305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64bb3030d9c61047aeb8986aea140c71554adbc4","datavalue":{"value":{"amount":"+0.8086272478103638","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":"Q1422105$14D774BF-1ED3-45D0-886C-E62B76DC752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3379421ea6d2a162700d4a2c7087f24c00ba0b34","datavalue":{"value":{"entity-type":"item","numeric-id":1346215,"id":"Q1346215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212e8825b5a3af3c922fdecb70d6c0e2e74c056e","datavalue":{"value":{"amount":"+0.8025960326194763","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":"Q1422105$362CB1DB-93D9-4A20-993C-331AD674C97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddac170f8e2f58b6ce45045fe6bd8f7dbbe32b5","datavalue":{"value":{"entity-type":"item","numeric-id":4443015,"id":"Q4443015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212e8825b5a3af3c922fdecb70d6c0e2e74c056e","datavalue":{"value":{"amount":"+0.8025960326194763","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":"Q1422105$4B568247-61CD-454D-9622-E4659A9ABBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e889bd2b80410876ae1e408f75ca48bb896f9","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74e8bc7795a256f3ca0823e4a4b848b6f7470c9","datavalue":{"value":{"amount":"+0.8000760674476624","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":"Q1422105$1AD1AA4B-BF17-4622-9178-D81FE484E22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aa7d98a6126bdfcfaef6b09c5101f2d3a30b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8efdd6eb71aeae96b4d86f19562e628b458d8f","datavalue":{"value":{"amount":"+0.7901360988616943","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":"Q1422105$716CA9C9-C38D-4E7C-A35D-DAE87E72BCEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Four-valued logic","badges":[]}}}}}