{"entities":{"Q3069727":{"pageid":3080443,"ns":120,"title":"Item:Q3069727","lastrevid":45377404,"modified":"2025-12-06T15:30:51Z","type":"item","id":"Q3069727","labels":{"en":{"language":"en","value":"Intuitionistic Trilattice Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5838907"}},"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":"Q3069727$6F69FD55-F5E2-428E-ABC8-8E9EA844D4D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d9827d7d4c3215d77fc0f1e3bd8e6b61ce60a24","datavalue":{"value":{"text":"Intuitionistic Trilattice Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3069727$96430C0A-3ABF-4F1D-ABAA-F9A650BFA653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"220e562d90200f4c5bba4230931a59f7f9771ac9","datavalue":{"value":"1205.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$CB29EDD9-AF35-43E1-93B9-647228C04DFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069727$B2BB9382-E44F-4410-BF9A-988365F150C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069727$890BE01B-2C67-4E39-934A-FAF16F02C226","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"701a75ed0eadeb37c84b5bbe5da3ed0de7bb3b31","datavalue":{"value":{"time":"+2011-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3069727$339F04B4-E9C2-47F9-AB29-C9B7299C1E46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$7AB12465-CF64-4329-B874-E38D722E339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$DF6FC204-10C0-40D3-B371-89F2AC3B67AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$10313496-DE74-4303-B092-5F91F170C6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b5412f8cfc6d4e4a9a367120ba97e219b915952","datavalue":{"value":"5838907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$4853A76A-B50B-4F6A-8875-E902B9240DCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e4cb123421c668a888f6f813bd4ebe8003b10f","datavalue":{"value":"trilattice \\(SIXTEEN_{3}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$B6FA71F4-7F86-4E6A-BA01-2B669623806F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a94730f8ffcae31ca480a7cdc0a563018c292a2","datavalue":{"value":"trilattice logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$72FB040C-DEFB-4DEA-A2C4-347686B97277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$E1DAB4CC-B413-4E9E-892E-D677A9D5D7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$AC6D6EAA-7ADB-496D-BF99-1DBB06E7F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$9956792F-3794-43C3-AEBD-3BB9F5E80A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$EFAB0BD0-5D29-4059-B920-A62619571604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$67478958-597C-4262-83B9-62BC53D741BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16366dd97fac686a51355ed7b55a557b65623c4c","datavalue":{"value":"co-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069727$8F17F91D-876A-4204-9F0F-832C06E87C31","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":"Q3069727$FB452266-EC6F-40C5-A825-4652C80AFF5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d622f9fba9b1b0c5a67efe701a45cf39094e3cd3","datavalue":{"value":"https://doi.org/10.1093/logcom/exp081","type":"string"},"datatype":"url"},"type":"statement","id":"Q3069727$1BCF550E-58A3-40E1-83CE-2824160D2716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33308ef5f739493ab88978edea158008ca0bb898","datavalue":{"value":"W2093615146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$137B4D12-5F05-47B4-AE0A-100075F77896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3afced4ac31d91e4d7a30b8bfd83689d61f7ef11","datavalue":{"value":"10.1093/LOGCOM/EXP081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069727$BD022205-FE98-4724-9DCC-5BACC2912712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa8d6d39c36cb55518638244a2b4486d8ac71b3","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5104f870670420088f33533b5575256946857f61","datavalue":{"value":{"amount":"+0.943913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$A2E09158-7B87-4852-8598-403546C1DC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594dd2ccdc5fb623db58bed47b36eb24e409029e","datavalue":{"value":{"entity-type":"item","numeric-id":4532197,"id":"Q4532197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5104f870670420088f33533b5575256946857f61","datavalue":{"value":{"amount":"+0.943913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$BE019B4B-4DF5-4134-B43E-DEBA8CF8E686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba17f946120dde62b5a9d8694354763163071c71","datavalue":{"value":{"entity-type":"item","numeric-id":3991300,"id":"Q3991300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa1a4f7d35ace6848504118f2c9d1f9c33d70fb","datavalue":{"value":{"amount":"+0.924468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$B8341FF6-627D-49BC-BF29-C070A6DBBA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7003feaa894a0ab4ba6d8301d435f278ca7912f4","datavalue":{"value":{"entity-type":"item","numeric-id":2194118,"id":"Q2194118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5922e132301d38294794f0816f3864c465d75a2b","datavalue":{"value":{"amount":"+0.9187274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$1FE1F2DD-FF0F-439B-9D70-FA5FAC18FEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee7d6632bb055206855644cb2bc67d89fb1bc4b","datavalue":{"value":{"amount":"+0.91776586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$B527C1AD-A7CD-49E7-9A8D-996334778A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be32e5189528300d9df370552fde8bfab872da6","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabe3cd8c1126696a21eec355d30b195053b9d06","datavalue":{"value":{"amount":"+0.9171092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$5B7C898F-F02D-4ADD-8886-18F279D8F5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a340bbb509c147a01d000cf3d29d150bc07e816","datavalue":{"value":{"entity-type":"item","numeric-id":2220485,"id":"Q2220485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f424cec44597c32fc2483df8eeea2e4eac9fc0","datavalue":{"value":{"amount":"+0.9135872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$B1B3B381-E4E1-4751-8413-5B56920A4823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3a9336d43a0bfe1761560f7d5483275a3e428d","datavalue":{"value":{"entity-type":"item","numeric-id":5411496,"id":"Q5411496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3344ab0985be9fec3b4ef296e22ff1bfa54e9d","datavalue":{"value":{"amount":"+0.91184795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$4749DDBC-117A-4562-B346-130DBBC91D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38bd67624347e07668a417e08d18a28d25d2b42","datavalue":{"value":{"entity-type":"item","numeric-id":5104713,"id":"Q5104713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5b90fca7c323badf580e9e7936fb1c74a55c92","datavalue":{"value":{"amount":"+0.9114623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$3B97C899-95ED-41B5-B43B-70400D4B772A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba46d7f77826e2291899dd98c22a087d80a6a8f","datavalue":{"value":{"entity-type":"item","numeric-id":332076,"id":"Q332076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9a3b458b49846386d600e0f881e2efb39413d4","datavalue":{"value":{"amount":"+0.9110275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3069727$E1A51B2C-ECF5-4846-A767-E4B00EE0E01A","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":"Q3069727$6462AA88-9EDD-4C6C-A405-5F49C3A8DD0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3069727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3069727"}}}}}