{"entities":{"Q7034191":{"pageid":21708030,"ns":120,"title":"Item:Q7034191","lastrevid":77523974,"modified":"2026-05-04T16:46:45Z","type":"item","id":"Q7034191","labels":{"en":{"language":"en","value":"Simple tableaus for simple logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977882"}},"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":"Q7034191$D5982134-318C-4736-9563-C3C86B6F2123","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3a52ca01a99e62d8a721155f560bb1f6381dcfe","datavalue":{"value":{"text":"Simple tableaus for simple logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034191$1AA9FA4B-7192-4A8B-B2D5-22700AD2D34C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8250e1aa3632d1c2ce6b97cc2c5e7cd0963f867c","datavalue":{"value":"10.1215/00294527-2024-0021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$0718D5F4-E8D3-48DE-A6AA-146662EEFF74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$6322A6B5-B17B-4CE2-BC01-BEF06F1FB0F0","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":"Q7034191$43029B04-CA84-41F1-8121-0B478EF2ACF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034191$F95DA44D-170A-421C-BF4C-692B34C26B4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$AB27D9B8-AFEE-4EDE-8D58-FF4A84D4F7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$58624B26-0ABD-46A1-88C1-470F4DFAFF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$7681D3B8-6D3A-4B02-88B4-86FC9D479B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$B7494C1E-74A1-485D-A671-7BC883427969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$39A1F321-4F7A-4999-99ED-CCE1CC8379CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27d964316faae6d49122e03bd00f9de159d157b","datavalue":{"value":"7977882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034191$3B853BD2-4BC6-44B0-A5B6-875D0C82A5D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2eddc7e73e1e72cc95fafa1e2086f20857b20c","datavalue":{"value":"De Morgan lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$4DF8FBB5-903C-4266-8CA2-00FDE3C4DAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68008711428fb92f721b43dbf1c6ec40dab740fc","datavalue":{"value":"Dunn logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$2DFF94BE-672D-4EA7-8475-8BBC995DD7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ab57a4985f9779a2881ec9c1f85d2c49a02623","datavalue":{"value":"first degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$2EFBE18F-B2F6-437C-A4A3-DC67AB401F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$389444A9-86EA-48FD-9080-18DC97060CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2bbae042bf7bb24a34d5d3c3311f6cb0cfe348","datavalue":{"value":"logic of paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$4C96BFEC-F433-4540-9210-9FE3B9E8F9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$48856F35-B145-4EFC-B1EB-E0862EB7E3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034191$4D5E1371-2A83-4C2B-86A0-B48BC2EF505B","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":"Q7034191$4584232F-FAF4-4D1C-B310-4900D4FDD563","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$09AA397D-A241-42BB-9F16-1DF58503C3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$E58B8635-2526-4E0E-990D-8BE2FB795B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32331d054e29631acb5d82079c0154719c221f20","datavalue":{"value":{"entity-type":"item","numeric-id":2523722,"id":"Q2523722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$61DE22EA-AC6E-4E13-B128-E74014B64BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$B6A3FD3D-3237-4D17-9D87-F859B5901BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$4F5781B0-C5CB-43F4-9C4A-591A1DABFCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd12c8a018279c2c942fab01645e9f8997cdcba","datavalue":{"value":{"entity-type":"item","numeric-id":5488263,"id":"Q5488263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$386FDBBF-436A-422D-B61D-5373AF747AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690ffc00371ab63feb1697aed6a1c684e83effb9","datavalue":{"value":{"entity-type":"item","numeric-id":1309339,"id":"Q1309339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$A450CC7E-B263-426B-9DC4-0792ECF1D0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213bb23915ce5c8d783996bcf605c37e50314c87","datavalue":{"value":{"entity-type":"item","numeric-id":6088588,"id":"Q6088588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$C5FCE9D0-F927-4D4E-8D8A-3674C7B51A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$D7340FDB-C9B6-440F-B7A7-D0AE17739F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e5993abf27134606ae9dffa141038bfabeec1c","datavalue":{"value":{"entity-type":"item","numeric-id":424585,"id":"Q424585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$F3590C7B-1AEB-4FE5-AD7B-A68E12E98DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$2CD03361-0A6D-4968-8662-BB8015E7159F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$6B9BA98A-46F7-43D9-9949-975FCA581369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$761655C2-489D-4299-B468-3E4D57674197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$D941B42A-6592-4573-BF94-CD69416D4D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8d61021b01127b33d0665735bf34f380ef3521","datavalue":{"value":{"entity-type":"item","numeric-id":4437809,"id":"Q4437809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$B1635086-4EF4-495A-A885-0EF9A29A2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c10d1ebbbf3cf167162cd489952d0951b36d1f","datavalue":{"value":{"entity-type":"item","numeric-id":830368,"id":"Q830368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$4D398EA4-3CC4-4008-AE39-805B16CC58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$C1F8BB8B-1B9E-450C-93B8-8D9E77D0C8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623c62a8968a85d4e1a4e4e92cfe1330dcd670b5","datavalue":{"value":{"entity-type":"item","numeric-id":6535436,"id":"Q6535436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$05FB0BEA-9AB5-4620-8930-77215CA05E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$86DF9B5C-BFF5-44D8-8D84-413A8B3511E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$BD3B6789-D977-4DBA-8CD7-9C7734C872E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e82d6d21a7b67f35aa4413780a740c7a99164e","datavalue":{"value":{"entity-type":"item","numeric-id":5283779,"id":"Q5283779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$EA1BA264-18C8-4BC8-8784-DA06A1DB76FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$2F091D2A-789A-40E2-AB39-BD21DF6A5955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7649a464defc954d84f8361fde25be61b415a1ef","datavalue":{"value":{"entity-type":"item","numeric-id":1986084,"id":"Q1986084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$DA253129-5793-408B-9DF0-C4ABA92985FD","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":"Q7034191$4F6F84D5-1ECD-4C36-9A83-790C4709E73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7b674d97d397c070cd54b7997c384955900da2","datavalue":{"value":{"entity-type":"item","numeric-id":1685574,"id":"Q1685574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034191$CAA66DDC-702C-4B77-B93F-EB858A71FD36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple tableaus for simple logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_tableaus_for_simple_logics"}}}}}