{"entities":{"Q4558324":{"pageid":6587915,"ns":120,"title":"Item:Q4558324","lastrevid":53283476,"modified":"2026-01-24T15:32:07Z","type":"item","id":"Q4558324","labels":{"en":{"language":"en","value":"Infinite-valued first-order \u0141ukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6982555"}},"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":"Q4558324$3DD3F47C-7EF7-49C6-B16A-694C3B127B6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c9786849edd1a918bf5f490b30194eb446f5bb8","datavalue":{"value":{"text":"Infinite-Valued First-Order \u0141ukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4558324$28B66CDB-7097-4858-95D4-A3E584E1E574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ef26016042de20aa8f8471143657c1a05912559","datavalue":{"value":"1413.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558324$42A46340-56F7-4817-9429-9B1DDD8586FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d65b2f7a1dc5bb2943ccd25e996e1c758fbedf4","datavalue":{"value":"10.3103/S1055134418020013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558324$8018466D-6D6F-46BA-9DC6-7F290E93B56E","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":"Q4558324$292876E1-D58C-43F1-AE9A-92D730A2EF4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$23B2D166-3A63-496F-84E1-5CFC180641A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c5420d75ff030f7dfad739513bee1287bf672","datavalue":{"value":{"time":"+2018-11-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":"Q4558324$D567969A-88D9-4317-81B8-D7FD6ECF4BBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558324$01D838E9-DBAE-4D57-83F3-892644A109C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558324$6FD716C4-7AB9-43D1-9F6F-EA4285BC7877","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e37df38b3921ef02361addaea44b35594b4318","datavalue":{"value":"6982555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558324$B1A468F8-D013-41E8-9E9A-9E3C1CDBC0D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558324$D81BD36E-52E7-48A4-BC4C-4ED6944A70A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad42015a6eaee2ab0385ecdc5c7d60222e180d0","datavalue":{"value":"infinite-valued first-order \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558324$6ACD120A-18D9-4ACE-96B9-405F383E6713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0419e9c10b520c6641737055f210a61f83a9333","datavalue":{"value":"rational first-order Pavelka logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558324$FBEB44DF-DB15-40C6-BAFB-B3FB278B10BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558324$222AA012-1A3D-4302-8AC3-30C61EA5228C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a894a75da9560116a5b5818441982bf81472c24","datavalue":{"value":"proof search algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558324$AA4EDC4A-4E46-4751-A9BF-BD8359AF10CB","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":"Q4558324$E3AECD71-407A-4169-9CC1-97C3132C5758","rank":"normal"}],"P223":[{"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":"Q4558324$B2FFA6C2-CE4C-4C19-B3DC-E1E6BA1D6789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c43ccdc56ef5810d591b6bbf6159ff37313d08","datavalue":{"value":{"entity-type":"item","numeric-id":3003675,"id":"Q3003675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$79E3A166-2A20-4F59-A92A-F599B79A790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a046fad6c337d0fb04299d8b2bb829c94bb26f","datavalue":{"value":{"entity-type":"item","numeric-id":1697337,"id":"Q1697337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$949D0D21-E166-4343-9B3E-16930E1AF8DB","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":"Q4558324$53DE542C-18BF-44D5-A79E-555ED845174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$17CC781D-A264-4E6E-B390-7F30179C3398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$3898BB3C-C98F-4333-98BB-39E6BA7A4A39","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":"Q4558324$09C9C19D-75BF-4E4D-ACCB-554A1FBD93E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$9DA2C46C-73EE-4088-A9C2-114FD5296F86","rank":"normal"},{"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":"Q4558324$85B2EE08-743E-4DFB-88DC-4C200FE48631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2908d2f36f1b71e6478519e8616e1be063a6aac7","datavalue":{"value":{"entity-type":"item","numeric-id":1239129,"id":"Q1239129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$1AFCA892-DE43-4322-AA87-A9792ED948BC","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":"Q4558324$E25DBFCC-7BFA-4D13-BA19-575FFD66DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4c608dfd8a40a710f83a8bdd178154cb59bb3a","datavalue":{"value":{"entity-type":"item","numeric-id":1807461,"id":"Q1807461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$62CE1D19-FB27-4B0C-B15A-A8EFD5F0CFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f163f4a3a9a5735632b1ba8e957c5e3573645b","datavalue":{"value":{"entity-type":"item","numeric-id":3728875,"id":"Q3728875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$4B2125ED-DB9A-46F6-A63F-906516CE1EF9","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":"Q4558324$E04942E7-5027-4D5C-A1E5-57307DA1CE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee8fe1191b9d814a579183f943d97319419e687","datavalue":{"value":{"entity-type":"item","numeric-id":1845874,"id":"Q1845874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$B53222AD-61B2-4148-B22C-86E67635811D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558324$A33DFC10-E27F-4BFA-BDD6-B88571EA371B","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":"Q4558324$4231572D-53D9-418C-8AF2-16D29FD5DEC2","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":"Q4558324$F3D2D12A-7676-4C3B-8679-84CEF6F3219C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9de84d4bd0b1ad513251c129efe6c6549e6d4c50","datavalue":{"value":"https://doi.org/10.3103/s1055134418020013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4558324$DB345F4A-EEC3-4B4B-85B4-AB7BCEBE4232","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85090af73b31edd357d7172c10285d98ba519f21","datavalue":{"value":"W2807075722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558324$FF4C2612-4DBA-4306-B5E6-A55FB5F7B012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796b224b8e77564d7aafa7aaae7cd88d0db5a5a2","datavalue":{"value":{"entity-type":"item","numeric-id":2212726,"id":"Q2212726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd12a105c57194b3b9df70f5c736e00fe23b9ae0","datavalue":{"value":{"amount":"+0.895050048828125","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":"Q4558324$0276863F-FE3E-4BB2-954E-ABD675B732A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d687fa038053ec6060a8de6f15a549466ea7ca2","datavalue":{"value":{"entity-type":"item","numeric-id":5716213,"id":"Q5716213"},"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":"Q4558324$89BF3801-6285-407B-AA79-D3CFBA6814B3","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":"a751798e0f7b160ac9df3b2191b44691b5f7411d","datavalue":{"value":{"amount":"+0.7929750680923462","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":"Q4558324$C8F2E521-F3BB-4E9E-8605-449BCBEA337C","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":"1dd808a69063fc6f74c4cd0b4844cee683c481d3","datavalue":{"value":{"amount":"+0.7902494668960571","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":"Q4558324$84A29E64-F626-463D-9393-E48AAEBD6C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3fd1a717a8818f2afd1e1af383cd08094e8044","datavalue":{"value":{"entity-type":"item","numeric-id":3511458,"id":"Q3511458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d44d46cda1b287b37168d14b3c50f0c2bfee5fb","datavalue":{"value":{"amount":"+0.7567303776741028","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":"Q4558324$0667AC1F-C75D-4864-9701-723848F356A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4558324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4558324"}}}}}