{"entities":{"Q2212726":{"pageid":2223469,"ns":120,"title":"Item:Q2212726","lastrevid":71564010,"modified":"2026-04-13T23:05:01Z","type":"item","id":"Q2212726","labels":{"en":{"language":"en","value":"Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7277577"}},"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":"Q2212726$0C34E7C8-8922-4C98-B650-A4211D00DA2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e259781fdb0c110bdecefc6760c779998f4ab57d","datavalue":{"value":{"text":"Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2212726$AC3B110A-3FC9-4DE7-A740-64FCDEE1A7FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38e65e034d2e26f6410a069618fe3726fec786e1","datavalue":{"value":"1459.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$9DDB0CDA-6FB2-45B1-BCA0-F0B65FBB2E2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7958daafcdbf9301e5dd935afbdbc11a979e087d","datavalue":{"value":{"entity-type":"item","numeric-id":2212725,"id":"Q2212725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$AFBA8062-7F7E-4F50-B2C2-EF333699D94C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163c58ddf4e38b3b72f5f03cc610ff1d9bc7c043","datavalue":{"value":{"time":"+2020-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2212726$20BA114B-DD99-44F6-959D-4D4DE3B4CFD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"226c391fdfb009244ee5ae22479c6f1a76f2fecc","datavalue":{"value":"https://arxiv.org/abs/1812.04861","type":"string"},"datatype":"url"},"type":"statement","id":"Q2212726$DBFEC6FC-F66C-4707-AA8C-90762388CAB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddd484504d8e08343175d732775527a2b7b3091a","datavalue":{"value":"On the basis of the calculus \\(\\mbox{G}\u0141\\forall\\) of \\textit{M. Baaz} and \\textit{G. Metcalfe} in [J. Log. Comput. 20, No. 1, 35--54 (2010; Zbl 1188.03014); \\textit{G. Metcalfe} et al., Proof theory for fuzzy logics. Dordrecht: Springer (2009; Zbl 1168.03002)] and tableau calculi by the author in [Algebra Logic 55, No. 2, 103--127 (2016; Zbl 1386.03025)], the author introduced in [Sib. Adv. Math. 28, No. 2, 79--100 (2018; Zbl 1413.03003] the analytic hypersequent calculi \\(\\mbox{G}^{1}\u0141\\forall\\) and \\(\\mbox{G}^{2}\u0141\\forall\\) for the first-order rational Pavelka logic \\(\\mbox{RPL}\\forall\\) and hence for the first-order infinite-valued \u0141ukasiewicz logic \\(\u0141\\forall\\). The calculi \\(\\mbox{G}^{1}\u0141\\forall\\) and \\(\\mbox{G}^{2}\u0141\\forall\\) do not have structural rules; the latter is a noncumulative variant of the former, which is cumulative, i.e., preserves the conclusion of each inference rule in its premises. Any \\(\\mbox{G}\u0141\\forall\\)- or \\(\\mbox{G}^{2}\u0141\\forall\\)-provable sentence is provable in \\(\\mbox{G}^{1}\u0141\\forall\\); any prenex \\(\\mbox{RP}\\forall\\)-sentence is \\(\\mbox{G}^{1}\u0141\\forall\\) -provable iff it is \\(\\mbox{G}^{2}\u0141\\forall\\)-provable; and any prenex \\(\u0141\\forall\\)-sentence is provable or unprovable in \\(\\mbox{G}\u0141\\forall\\), \\(\\mbox{G}^{1}\u0141\\forall\\) and \\(\\mbox{G}^{2}\u0141\\forall\\) simultaneously. Also in [the author, 2018, loc. cit.], a family of proof search algorihms is described. Given a prenex \\(\\mbox{G}^2\u0141\\forall\\)-provable sentence, such an algorithm constructs some proof for it in a tableau modification of the calculus \\(\\mbox{G}^{2}\u0141\\forall\\). However this only works well for prenex sentences. A defect of \\(\\mbox{G}^{2}\u0141\\forall\\) causes repeating designations of multisets of formulas in each premise of two quantifier rules. This causes repeated decomposition of the same formulas from the multisets during bottom-up proof search, and prevents establishing desirable proof-theoretic properties for the calculus \\(\\mbox{G}^{2}\u0141\\forall\\).  The present paper introduces an analytic hypersequent calculus \\(\\mbox{G}^{3}\u0141\\forall\\) for the first-order infinite-valued \u0141ukasiewicz logic \\(\u0141\\forall\\) and for the logic \\(\\mbox{RPL}\\forall\\). There are no structural rules in the calculus, and designations of multisets of formulas are not repeated in any premise of its rules. The calculus \\(\\mbox{G}^{3}\u0141\\forall\\) proves any sentence that is provable in at least one of the previously known analytic calculi for \\(\u0141\\forall\\) or \\(\\mbox{RPL}\\forall\\), including Baaz and Metcalfe's [loc. cit.] hypersequent calculus \\(\\mbox{G}\u0141\\forall\\) for \\(\u0141\\forall\\). Proof-theoretic properties of \\(\\mbox{G}^{3}\u0141\\forall\\) are considered and foundations for proof search algorithms are given. A proof of the completeness of the \\(\\mbox{G}\u0141\\forall\\)-based infinitary calculus for prenex \\(\u0141\\forall\\)-sentences is given. The completeness of a \\(\\mbox{G}^{3}\u0141\\forall\\)-based infinitary calculus for prenex \\(\\mbox{RPL}\\forall\\)-sentences is established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$00185969-EFEA-4973-B249-82BC7166E588","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$60DEEED8-4C31-4D38-82AA-C65B6615FB1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$E97E1FD7-F1ED-4482-B1B6-85E2FA3918DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$E329AEFA-4BB3-4CD9-90F4-3015979E5F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$BAFC8672-E1E1-472C-A7E7-3A292406863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$0D4E6CB2-9445-4BE8-A33A-5B89AAFC6BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"652235f1b394cb1105e42399354c0fcf648c455c","datavalue":{"value":"7277577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$1A75E150-C4C0-4B02-A3AF-FC48B85A72CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$FE4FC7E1-1243-49A0-B3EE-FDE891CA72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$C0CC9DAF-8195-49B9-B394-7E6E7485D959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$900B37C5-BE0B-45BD-9CD1-9AEE59A96CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a821e2519110c0eb60c28368a6e4cd9f0c39d","datavalue":{"value":"mathematical fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$83B5A4C7-417D-4E67-AA67-DB1EC87F089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$564AFE33-01C2-4267-B099-39D3A4556002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564900ec6d376658a407f8592e4cfb098d56af89","datavalue":{"value":"first-order infinite-valued \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$A6EB78D6-FD6F-4811-A616-8807A06CF99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa90245753e58c4d040a8ed65d1fe5cf24476b2","datavalue":{"value":"infinitary calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$743F51C3-8395-4A20-BE28-247A96ACC46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cdc79aed8bbb7758e99518fc859ed6b7034d3b3","datavalue":{"value":"first-order rational Pavelka logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212726$1D24F3D3-D5C4-450C-B45E-5C1DD6A14073","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":"Q2212726$90142E47-5323-414F-969C-011A2F218332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93e5d2bb1f54bb5837e9af6e97a82055af82b03e","datavalue":{"value":"W3117003048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$68274F02-FF97-46F0-AAE4-78320553FC79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$468987A6-9A6F-428A-A50A-12D1652DBE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$6487AD7F-2D2C-4B64-9B4A-268F864CD98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6b2b7cf9f35c60423b94234e959b4c42231251","datavalue":{"value":{"entity-type":"item","numeric-id":3185646,"id":"Q3185646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$101DD042-F27A-4A53-AC93-8918B327BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eceab85592a141b79054bba3c46b77a70076fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$06D8C419-C1EC-459A-9212-53A0BA267247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$44BCB9DD-792A-41B5-96EC-E840580ACC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ce60fdf20efcba7f27371193c2008cb2bfcfa0","datavalue":{"value":{"entity-type":"item","numeric-id":2364294,"id":"Q2364294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$90B50867-C547-4DE5-99F3-1C6CE4E360FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee56b2f8385b24fc542c4dfd72fe5dccb489d48","datavalue":{"value":{"entity-type":"item","numeric-id":4558324,"id":"Q4558324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$E16ED445-5C8C-4CFC-8C1A-18423678F0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ffbd377b5555af190ede35ff3772596d007ca","datavalue":{"value":{"entity-type":"item","numeric-id":3851085,"id":"Q3851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$09D42731-692B-45FD-83A7-288A1DE10555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe91f76faca47b963262d469c2e8e8b6e5dfdc7","datavalue":{"value":{"entity-type":"item","numeric-id":3663260,"id":"Q3663260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$A2CC4843-03F7-4DF4-9915-C7150DEE846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da52bb4a0356b29ce28faa5e3a1462960a6a797","datavalue":{"value":{"entity-type":"item","numeric-id":5332212,"id":"Q5332212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$C4678316-3D7C-4123-B9F7-3B391CAF521B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b9b9ed425b1f00c260dc88fb163a92a30946cd","datavalue":{"value":{"entity-type":"item","numeric-id":5731774,"id":"Q5731774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$A71EDC43-E3C6-45BE-8C51-0BB054A12DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb13c99c75adff3ce32b7590fe7979c0794d24f0","datavalue":{"value":{"entity-type":"item","numeric-id":5406034,"id":"Q5406034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$54EBB410-A363-43C4-8333-EB0003899A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca6511549e49f777a3062715960da405f21828e","datavalue":{"value":{"entity-type":"item","numeric-id":4242506,"id":"Q4242506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$844DAB34-D501-4B76-8DDA-6CB81CA5C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627099f47bac5b2643bc8e477e32bf5481c9c90a","datavalue":{"value":{"entity-type":"item","numeric-id":4805348,"id":"Q4805348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$FA784534-225B-46CA-8811-3CF5450CB65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$C54A37DD-3083-470C-A782-C99435461F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$EA630E75-BBD0-466B-88BB-098CBB605BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c66691adae087c113fd4ce4709d6fb4ddc93a9","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$3F39246A-BFE6-47CC-BB7C-DEE98E3DC240","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6792aea73fbfc43443362b088bf733e5415d7655","datavalue":{"value":"10.33048/SEMI.2020.17.127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212726$3BB7D76A-D942-46D0-B036-EA5D601CBFA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212726$311348CF-F32F-480D-A7D3-E6B270A909C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3310361cfcb2b23a13888295d755a13dc114b7","datavalue":{"value":{"entity-type":"item","numeric-id":4558324,"id":"Q4558324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8fe06fff12f291711d643defc0bd78917f8d5a","datavalue":{"value":{"amount":"+0.8939807415008545","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":"Q2212726$FE011908-2CDD-40E9-AB4F-DF2292C56C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4773d0aefc9fb6908bc7efdbc48cbf63cdf9b03b","datavalue":{"value":{"entity-type":"item","numeric-id":5434477,"id":"Q5434477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242cf77ac7a8b83cc8343fce42dbacb766640271","datavalue":{"value":{"amount":"+0.7769404649734497","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":"Q2212726$0752768E-1907-4292-B531-882EC2A034B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23363285bd1fe8b01d4abc595b5b22345d00673","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9fa570770f6836210ff49850a70b85d26249f2","datavalue":{"value":{"amount":"+0.7702495455741882","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":"Q2212726$821F0C3C-698D-43E7-9667-38C579B5367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a195dc3816293cc96c1c7077a8bebc888efe75","datavalue":{"value":{"entity-type":"item","numeric-id":2721191,"id":"Q2721191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7984827070d900eb58c11c43eba07814cd59c2","datavalue":{"value":{"amount":"+0.768985390663147","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":"Q2212726$E77BFB04-0D14-4C6F-8125-C520495F9E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef000c162c6ba2bd687c6bf95a97e5830479c830","datavalue":{"value":{"entity-type":"item","numeric-id":4412860,"id":"Q4412860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405c321ee00228b6bc470bc80f9cf43aaa2d615e","datavalue":{"value":{"amount":"+0.7569308280944824","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":"Q2212726$510E69A2-0A2E-4E3A-88B7-6106E5BFF6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Repetition-free_and_infinitary_analytic_calculi_for_first-order_rational_Pavelka_logic"}}}}}