{"entities":{"Q2810128":{"pageid":2820866,"ns":120,"title":"Item:Q2810128","lastrevid":83551943,"modified":"2026-05-07T08:52:49Z","type":"item","id":"Q2810128","labels":{"en":{"language":"en","value":"Minimal sequent calculi for Lukasiewicz's finitely-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587817"}},"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":"Q2810128$0DAC847A-400F-4194-B17C-52BB0FFE5B7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d4d605619eeec7700175b0fd84308d5d4121bb9","datavalue":{"value":"1336.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810128$65416741-6845-4EA2-8CFD-8FC332750D3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e800a9df6d729b6cefe228c64feac26c78baf12e","datavalue":{"value":"10.18778/0138-0680.44.3.4.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810128$E53C999C-0A82-44D1-AF8A-C935136609E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810128$8F514768-40E3-4132-81D1-0E469B060C92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810128$69D278F6-6EF4-43F2-9E8D-3F822751C513","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a49183d98fdb45af485077728faee3522a457e","datavalue":{"value":{"time":"+2016-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810128$C0E003C4-2060-4BA9-A4E4-479687A423F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4436aabbbeb2f58854de9106bd3419e2fcca714d","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/44_34_4.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810128$1658C071-719A-4F81-9310-415CC8EB47EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810128$67241A53-AF69-4E9F-B09D-7C8895D081C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810128$6F1FA888-BA44-4E37-AF07-4B863DF731E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7208ed5710cab3bf811df2b7a85f87ffb77d7553","datavalue":{"value":"6587817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810128$19025B52-5B69-46F3-AF29-642D82C02977","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810128$62224FA0-1805-478B-B4D8-99EE0F9C2B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2a5cd0c20f361853012a5265db75d8abff30dc","datavalue":{"value":"finitely-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810128$EBC12A3C-D3EF-43E9-BB9D-9A4E2CA8BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810128$23A674DF-9B8B-4A96-A830-0A32AB2426DD","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":"Q2810128$5FD761B8-9112-48F9-86A3-029E84006521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"417b927c001d17af929376a554b4ffb7069c445e","datavalue":{"value":"W2345187783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810128$96CD2574-9EB0-4A3C-A6D1-3E0AA8895DE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bec152cacb5231c1ced435b47a950fdbc49dfa60","datavalue":{"value":{"text":"Minimal sequent calculi for Lukasiewicz's finitely-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810128$6D0BD4B5-E6A0-47F6-8CD7-EA3010FADDAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737f55dcc5561a4a3e74d15291cf2a3a1e7aa5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4487257,"id":"Q4487257"},"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":"Q2810128$8C03CB97-DA77-4E02-9C44-CDB8152342EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6352988329cb20011ed363f028dd3b760aa624c3","datavalue":{"value":{"amount":"+0.8274761438369751","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":"Q2810128$9D52F19E-88DB-41E7-9547-C8414B5FB1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e601bcd11c5d6beac3f57be30f3cebfe806f6cda","datavalue":{"value":{"entity-type":"item","numeric-id":5169620,"id":"Q5169620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193de4562e8efd0beaf76533d384e76bc2a21ae4","datavalue":{"value":{"amount":"+0.8269492387771606","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":"Q2810128$022F2F7D-C2BD-4698-8731-BF4AA0807D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a51c65abf01061d4fae5f1012b8aa2f430285e5","datavalue":{"value":{"entity-type":"item","numeric-id":1931344,"id":"Q1931344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a56959c17854a15df8b3ac942294ff2039821d6","datavalue":{"value":{"amount":"+0.823432981967926","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":"Q2810128$9F842C42-038C-4C2D-AE7E-395782A266EB","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":"ac4d7781ecab9eead49f9bb2687cc15a5e36b006","datavalue":{"value":{"amount":"+0.8058862686157227","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":"Q2810128$6E52C1C2-3D78-4C99-BC7A-5D9A791911E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal sequent calculi for Lukasiewicz's finitely-valued logics","badges":[]}}}}}