{"entities":{"Q5262476":{"pageid":7292044,"ns":120,"title":"Item:Q5262476","lastrevid":52306274,"modified":"2026-01-21T09:57:07Z","type":"item","id":"Q5262476","labels":{"en":{"language":"en","value":"Trilattice logic: an embedding-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458852"}},"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":"Q5262476$2C13976B-CE14-4CAB-ACA5-EDC571C643C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0079a5224b72ead0d15d041e11b40e10baca5ec2","datavalue":{"value":{"text":"Trilattice logic: an embedding-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262476$C5A4CA44-478E-4F17-8FA7-07FA46F6F0E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e445372a276c3c856dfa251794626b169f027306","datavalue":{"value":"1348.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$22713BA1-732C-4B5A-9AA5-4F4944916B14","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":"Q5262476$5B6D26AC-8EF5-4EE7-9868-DB1EED47C003","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262476$AD99DEA5-D11B-4A21-9A2E-784D5CCA9ECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$CBD45F25-582B-4326-B66A-EE2D593B0E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$33C10BE6-ADF1-47D6-855C-C5F4B7820ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$0F6134E5-50B8-461A-BD23-BA90C09BD308","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"863951655a1b714bdcdee9c7cd7a9888ac754c8f","datavalue":{"value":"6458852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$3039A224-9981-4E32-A1AB-E31916938D61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b95e477043cca30d0f7d9609d69ef58e49506d8","datavalue":{"value":"paraconsistent many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262476$930DBDA0-4C6E-4F8D-B215-A2CE34A2EA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a94730f8ffcae31ca480a7cdc0a563018c292a2","datavalue":{"value":"trilattice logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262476$50053CF6-5814-4B14-B6DD-8EEBCE013A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262476$102CF8F3-F902-46C6-B435-408AD871A4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262476$796B2B3F-34C8-4134-9559-D3985273574F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262476$6B033A52-5BC9-4413-B1FF-E03C1E09B279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df3f5334aa65de9bb83fea6577265fdcf9d2603e","datavalue":{"value":"Maksimova separation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262476$336CE9EA-9EE8-46FF-AD5D-8905A5FC5F78","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":"Q5262476$87157534-4434-4F26-9787-85C2FFFFC594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1345095ff91ad22595f36b3fb0c9a70657cd9c37","datavalue":{"value":"https://doi.org/10.1093/logcom/exu019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262476$787220CE-2DB9-44CF-AB5F-8E32D0D8791E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51c7f46953eac2368e725fbe6f575b4972d7a2f4","datavalue":{"value":"W1996969588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$17985A55-4233-4A1B-8D7E-71DB2617F163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f61e0bb19f54dd828fa2dbe0a3dab66c87a8f66","datavalue":{"value":"10.1093/LOGCOM/EXU019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262476$8CC8D30C-A2F0-4560-8C1D-1BAC07B8B503","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":"Q5262476$5E3CAF2B-576A-43D7-A22F-BB16BC112F1C","rank":"normal"}],"P1643":[{"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":"9888a78ff87ac4b5a964fbe24f94ec88445c1ed9","datavalue":{"value":{"amount":"+0.7943233251571655","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":"Q5262476$8D61ADBA-3434-470A-B1F8-9C97FD0B9BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f838b57a7bffb45e049f7612941382dcd7516b","datavalue":{"value":{"entity-type":"item","numeric-id":4529486,"id":"Q4529486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f581cfb12cd736e99019ea3b25bbc7abc8b3180e","datavalue":{"value":{"amount":"+0.7818422317504883","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":"Q5262476$6FA7A825-55DA-4005-896D-30DEE91158DF","rank":"normal"},{"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":"fb44ba32304b7861684dbaf19af6a32db7435851","datavalue":{"value":{"amount":"+0.7789195775985718","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":"Q5262476$88A8A8BC-EAD4-4329-9AA8-821CAD007EC1","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":"89c9be312ba8d6d0daf758459a67c306c15361d7","datavalue":{"value":{"amount":"+0.7742407321929932","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":"Q5262476$E5954E07-480F-4A50-A42C-C506E943665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5faba762ddce02fb5d7f5ba33f4a7887ea46d087","datavalue":{"value":{"entity-type":"item","numeric-id":3395332,"id":"Q3395332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db676d10885c9b1b4a5db04e250cfaf30a74f62","datavalue":{"value":{"amount":"+0.7703352570533752","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":"Q5262476$3D94206C-0F74-4983-BB7C-F334EA687CAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262476"}}}}}