{"entities":{"Q4487257":{"pageid":6516856,"ns":120,"title":"Item:Q4487257","lastrevid":47479507,"modified":"2026-01-01T20:47:14Z","type":"item","id":"Q4487257","labels":{"en":{"language":"en","value":"Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463105"}},"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":"Q4487257$A5DA8B0D-1047-4CCC-8FC6-7C9CE0867C24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c0b112eb00d4bf0b347da4fcf2bb4579deba4c2","datavalue":{"value":{"text":"Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487257$BFA66604-86A6-4CEF-9F78-0CF09EBA83C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5dc6f49ac0120ec5af0b9a0928237b5f920992","datavalue":{"value":"0955.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487257$8ECBF2B1-0CDE-4CE5-B4A6-16748B764ADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487257$68166268-414F-48C8-B900-8835B7514F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487257$2FA93CC0-26DE-414E-B9BC-6259223ECCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487257$04D24421-29ED-42C9-9919-114BD818C6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487257$A7DC3CEB-4895-47C3-AFD2-59C7E365813C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487257$CE553D78-C19F-4841-B0F7-CC6FEA46AC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487257$C441745B-69F3-4655-9505-2146626968A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"602d824f702f1265f48228ef7b9f8d315e7d9974","datavalue":{"value":"1463105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487257$7F36B186-537E-4F1E-958F-73236A5B9907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487257$D7FBB901-02E1-4020-B370-0E480B6930C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e169aac168796a79e5055b3e79e2d149c87a4f33","datavalue":{"value":"Boolean decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487257$FB7774AF-3EC1-4BC0-82CA-C92B0072BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487257$5ABFCD7A-9ED8-48DD-BBDA-6693B1208825","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":"Q4487257$A48FE1F9-C7BE-4607-8D98-7F69382AEDD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e809b6e94c62537babb06d76a6b4e15c3cb1b9f","datavalue":{"value":"https://doi.org/10.1093/logcom/10.2.213","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487257$D397C689-7713-4DFE-81DD-EA00F0C36B91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bef9d3bf609d55bd0c2d0ee70f66de61548b308","datavalue":{"value":"W1974160553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487257$8CB1AE9B-D526-49B3-BC41-3710A2432D10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"190abd1e07e9939a43f940802131b53d0b60e906","datavalue":{"value":"10.1093/LOGCOM/10.2.213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487257$498E8236-B516-4077-ACC4-6DC5F0E2E7B2","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":"Q4487257$D5249FCF-F1A5-42C2-9C00-EC98D08688C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b05d18c6325ebb1828de43f9776f16ed12645a3","datavalue":{"value":{"entity-type":"item","numeric-id":2810128,"id":"Q2810128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37423535fe04dc37daf9f2b95b66c35b47c504d","datavalue":{"value":{"amount":"+0.8283997774124146","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":"Q4487257$50371C8B-41E3-4109-9AFC-C1B2C45AAB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85252c0ddf4c140b97030e18fe2e47cb3226e540","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36386fd45b99095dacbc4a31dc6b48f96e8292ca","datavalue":{"value":{"amount":"+0.7971017360687256","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":"Q4487257$37B37AEE-F628-4CE1-843B-C1BA3744528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb403c9bbb5a16531bef2300b5a474210cf01c","datavalue":{"value":{"entity-type":"item","numeric-id":1971778,"id":"Q1971778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861229bd9b3739859425f87a0648383394d3b48f","datavalue":{"value":{"amount":"+0.7886579036712646","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":"Q4487257$F698B1A5-29C6-4EA9-B246-65D1035894AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ce22f9e8e305f15fbacda1e9453335ab971854","datavalue":{"value":{"entity-type":"item","numeric-id":4489073,"id":"Q4489073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861229bd9b3739859425f87a0648383394d3b48f","datavalue":{"value":{"amount":"+0.7886579036712646","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":"Q4487257$289290F0-9A62-415C-ABB1-11B4B20010B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9919e38c9332d95db13d25a407150daf59ac60b","datavalue":{"value":{"entity-type":"item","numeric-id":4443011,"id":"Q4443011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debd59971c9085c74853ea6f10579a9e132f0580","datavalue":{"value":{"amount":"+0.7851062417030334","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":"Q4487257$69C5AE58-61B9-4852-8B2C-95F25FF0A8DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487257"}}}}}