{"entities":{"Q6516388":{"pageid":14095347,"ns":120,"title":"Item:Q6516388","lastrevid":40023813,"modified":"2025-02-11T13:02:56Z","type":"item","id":"Q6516388","labels":{"en":{"language":"en","value":"Generating proof systems for three-valued propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6516388$B60DED1C-5133-4886-B409-DAF162A0EC4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"899c11cb8df4ef7280957d408b6c9c2044dde4e5","datavalue":{"value":{"text":"Generating proof systems for three-valued propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6516388$C3058DC4-20DE-4D9F-9FE5-BFE135578CDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d030b3ca23a17fa350f18c44179f35f62342dec","datavalue":{"value":{"entity-type":"item","numeric-id":2104550,"id":"Q2104550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516388$E145D145-7032-45F1-A642-9E88DA68EE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516388$0C134D16-4DE2-4AC7-AB39-CAD7827C7964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516388$2777C73A-C958-4DE3-A003-BB6A5EE7DD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516388$1C6D44A7-B0AA-4A8B-B869-ABC3D241DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9879957a0bd5fb892a3aeeaffc912b1252873dde","datavalue":{"value":{"entity-type":"item","numeric-id":368471,"id":"Q368471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516388$4DEB73F7-893D-44D6-A29F-DA2CEA7A094F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6516388$5FF29382-FA87-44B8-8713-E1EEBD980DB8","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":"Q6516388$242BF074-7CC0-47C9-B388-1CBB2018D7AC","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"23153011717bd9431d2def7f28f70b0ae56c1089","datavalue":{"value":"2401.03274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6516388$67438BEB-16A9-43CB-9449-E441EE45582B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6516388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6516388"}}}}}