{"entities":{"Q3395332":{"pageid":3406035,"ns":120,"title":"Item:Q3395332","lastrevid":46120105,"modified":"2025-12-23T04:49:04Z","type":"item","id":"Q3395332","labels":{"en":{"language":"en","value":"SEQUENT CALCULI FOR SOME TRILATTICE LOGICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598270"}},"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":"Q3395332$D2F76FD1-D699-4D04-A94D-3C39EA6D607E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4844a647c04cb0b2e087ee737cb694a4e042b00b","datavalue":{"value":{"text":"SEQUENT CALCULI FOR SOME TRILATTICE LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395332$79942E29-DB53-4674-9ACC-3C7F3471FC79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf460cb23f4ac42204051a32324e80ff7e74070","datavalue":{"value":"1174.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$462A9A4D-FB06-4DF6-AD13-8ABA919812E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa158e13816a8c7b57e9fea25d93022e4780173b","datavalue":{"value":"10.1017/S1755020309090212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$F6969DFD-0ADB-423A-B610-8C435C2B2CAC","rank":"normal"}],"P16":[{"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":"Q3395332$BA7F062A-F426-4E1A-A2E0-D2F834E66E02","rank":"normal"},{"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":"Q3395332$BEF0030C-34F4-430A-8206-17358414FC4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$7AA45A66-7B81-47F3-BE5C-5F5F8BDA75D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaf07d6a0e7392346327108ef19dd63d8e333b8d","datavalue":{"value":{"time":"+2009-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395332$0624B234-6F19-436F-9711-11B1761D3A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$BF382917-57F3-45BC-B6CF-63048AA41657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$8DE0AF47-3559-487A-8F7D-95A9EF50FA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$A0F14E63-6146-4B65-9C52-406FB645912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$904AD51E-063E-4431-B72F-BFDF3AEA0CC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"507f51a3bdd5fbf2fa650d8e87f6d4634625a173","datavalue":{"value":"5598270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395332$AC8A91F9-0370-4405-813E-F776D8C4DEE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd6bfcbfc5d4662e19ccbf4969e3de9c92291ed","datavalue":{"value":"sequent caculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395332$C1EBD0F5-DC7A-492A-83B2-4A52418F4EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395332$0E94634A-ED84-4385-A942-D9BA9DADECAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a94730f8ffcae31ca480a7cdc0a563018c292a2","datavalue":{"value":"trilattice logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395332$1B2AC812-2FF6-47EF-9A32-CEFF096226E2","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":"Q3395332$91891186-2443-4370-B495-88D3582D952B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2bb67879264c3c31f859c874a47a525286bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":813084,"id":"Q813084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$B40F5D4D-E4D9-4B8D-B3EE-340F97FCCC6C","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":"Q3395332$E67DD6D5-48F2-416C-AAD4-461CE41D45CA","rank":"normal"},{"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":"Q3395332$056EA7CC-AE9C-4B8B-B912-3A309FC6F810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$7726AFB7-98BE-42E9-AEFA-F9C36B881403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385bceea38a1d58397e6860f6e6b34883372145","datavalue":{"value":{"entity-type":"item","numeric-id":1006448,"id":"Q1006448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$FA92913B-FAE9-4CD6-BBB2-2C24DBE89266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$85950E27-0661-4DB4-B1E8-291DA027C7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda5a224b530e62be1226b0b9c50b75979e80d1","datavalue":{"value":{"entity-type":"item","numeric-id":4796512,"id":"Q4796512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$28170BB1-67CB-4B5D-80EB-770231240660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccd1186c7ced4b2d96a538a97fdd3b269c04fa4","datavalue":{"value":{"entity-type":"item","numeric-id":1015493,"id":"Q1015493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$52B5575D-BF60-4E75-B1A0-E71E4BD3526E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$525337AB-4E9A-448D-AA05-1207EC6A05BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395332$C54D02ED-8A83-4174-90B7-A4A364C2C473","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":"Q3395332$F66F9032-0515-4901-B8E1-130C15E2B25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19250fbc17bbf56d6659ffa399378150b3f39eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6cb9fb6a13b0d8554a3a39f3aa519a3383a0c3","datavalue":{"value":{"amount":"+0.8708787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$8B0F8ED2-8522-4030-8E81-7FCCB2132670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9bb089927c5fa64721b74863ed8b7b387a3fe5","datavalue":{"value":{"entity-type":"item","numeric-id":639681,"id":"Q639681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cfcab9b4f18572be5d19489fddcb28df4d6101","datavalue":{"value":{"amount":"+0.8585243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$C215B63A-B3E5-47CC-ADA4-7DB9B2D85959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5224eae9305d2cb6e0d1d9bd651e31cc671fd852","datavalue":{"value":{"entity-type":"item","numeric-id":2350215,"id":"Q2350215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39daeff790ef7b77e5678d271f88b8ad0ea29c2b","datavalue":{"value":{"amount":"+0.80535054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$8949C9CB-9C5D-466C-9898-68E691593D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417cb425f6308b99aca8f271e29220b5c25f245d","datavalue":{"value":{"entity-type":"item","numeric-id":1015493,"id":"Q1015493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9733e5f73695b2cbb533d8922c2ea24c56b9354d","datavalue":{"value":{"amount":"+0.7945963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$0F832E36-F136-4482-BD82-E0C76F738401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62e19d2c961c602707e8213730e393e8a13480b","datavalue":{"value":{"entity-type":"item","numeric-id":3435250,"id":"Q3435250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a9f613f285e9b297fffed3d8644cd2ac81fe97","datavalue":{"value":{"amount":"+0.78768307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$A1DFA575-AFA6-4342-976E-039919D9B74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca1606fa0ece1cfa355306e9116516b61b2359b","datavalue":{"value":{"entity-type":"item","numeric-id":2303614,"id":"Q2303614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a449c5973c71879f7abd9a93a7d539fdf7167923","datavalue":{"value":{"amount":"+0.7782002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$7BCB5ACA-C2BA-4265-B0D4-BF3ED0E68A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706a7d009322dc77804cbe8ffbdb1e4cc73aca55","datavalue":{"value":{"entity-type":"item","numeric-id":1744000,"id":"Q1744000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61da0947192296123cc3478a369780df6b72d671","datavalue":{"value":{"amount":"+0.77008295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$C09BF94E-4510-46E0-A2C7-D944841122D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebb6368d3d9e459f87436ca7cc1543ead67e913","datavalue":{"value":{"entity-type":"item","numeric-id":1959329,"id":"Q1959329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee16249969a8555ed529c7d1d9e01e486218c88","datavalue":{"value":{"amount":"+0.7646468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$187B21EC-031E-4C5D-BA83-8C68F5F97B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a586deca7dd488f1c613c77e824ca9bc21940c","datavalue":{"value":{"entity-type":"item","numeric-id":5262476,"id":"Q5262476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2e36a00380656606ad35413128abe834912492","datavalue":{"value":{"amount":"+0.75759286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$15A5D026-A6D0-4ACA-AEB4-FB4C0A1AD666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d9819f48fab95e18fbf8fd8f1dc1d78c256b6","datavalue":{"value":{"entity-type":"item","numeric-id":4591500,"id":"Q4591500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d680889fceb3156bdf7877ffdac46eba95fbaa74","datavalue":{"value":{"amount":"+0.73142135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3395332$3372DE79-7E36-4509-95CC-146CEEE4FE6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395332"}}}}}