{"entities":{"Q385019":{"pageid":386786,"ns":120,"title":"Item:Q385019","lastrevid":61438017,"modified":"2026-04-10T23:22:34Z","type":"item","id":"Q385019","labels":{"en":{"language":"en","value":"Proof theory for locally finite many-valued logics: semi-projective logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234585"}},"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":"Q385019$36D0E9CC-C73A-4C4C-8D02-4144727F9F18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64a02fc4385c80947e4e16d2aeae2da941ab9a77","datavalue":{"value":{"text":"Proof theory for locally finite many-valued logics: semi-projective logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385019$904E6729-F9D6-419C-893F-5D629653F55C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38c8bcc9a8833ceadf512ae72dd601a32a1adde","datavalue":{"value":"1322.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$999BF82A-FFCC-4486-9D9A-3B282CE256AE","rank":"normal"}],"P16":[{"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":"Q385019$25ECB61B-5618-4299-9A01-E279861522A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$80CD9362-B5CD-4070-A76D-CC1C5611BAD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$0DBF453F-0C54-4683-AD66-C379F7DFDF17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5446951ef3b18cc54f2eecd6b1de1ff40852bd","datavalue":{"value":{"time":"+2013-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385019$9D3BA79D-D37B-449A-A12A-E5B743D37BBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$4180EEE4-B671-46B5-80E5-E8F8E55FEE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$3805BEE3-7BFA-4C0F-B149-4970E6F3DFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$D0C59455-042F-4F35-8C05-6562E6A874EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c19724f0a45ac47410d129a4b69de8c5f0f51b1a","datavalue":{"value":"6234585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$EBDF8A7B-02E2-4071-9984-6393D3CE9FBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$619D9A12-BF30-4A5F-B022-E9447302C268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79775b766bd6ce8fead0db67fa67bd99882ffdc0","datavalue":{"value":"analytic calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$24D58769-F631-4E3B-932A-61D3EB77B34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb891ddcec55f58aefb7b426349416fd2eaf2b3f","datavalue":{"value":"sequents of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$8D341913-1F99-4EAB-9036-0F394A29A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a765ca48b812213b9e0e4a1be4d30074dd0da6d2","datavalue":{"value":"nilpotent minimum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$5041EB63-B5B3-4998-BC03-D6A9446E3E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$24BE4A5D-DD2E-4692-9820-FFC8B28B40FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$F8AD8BB2-93E1-4E59-BB77-1BF1B5ED3CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$C60C8946-DA33-4061-B620-0A74C4C4827F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ccd5e68e3cdc3ef728b8f894bc92ed260d8d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":18694,"id":"Q18694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$C9FE1A35-D6E0-4AEA-AA96-933ACB34200B","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":"Q385019$B3819828-DE10-4DC4-9E60-E6AA4F4AD631","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c2b93010d2def632139510136c2425f1f6b1542","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q385019$5FD2E2E0-0186-4979-B951-12DFBE261E48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67081037ac9f82929a204b743b725210a8526349","datavalue":{"value":"W2127779282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$98A83F6D-0929-4739-9EAB-24DE04098FAB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"172f17437164d6e872f5f240a9f65c105adc03ba","datavalue":{"value":"Q39623390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$70FA634B-760A-47E6-8F4F-82C465C3A27B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$A33CD474-6821-45EC-BFE5-A9226BE21E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$2206091E-AE9F-423F-83CF-0D94FBBC6AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da866ea10bf4b91a02468fd2c7b3694ea947fe","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$36E3A17A-599B-4F76-88B3-52EBDB839D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d77008bb7be7465adb1ce5e2296a0e5b4d9385","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$99A13FEF-B9EF-4A47-8371-D0C8FD4826E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9bc47516cfeded18ae6828b5f160cb8d180779","datavalue":{"value":{"entity-type":"item","numeric-id":4647516,"id":"Q4647516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$37899827-7728-447F-93E6-29EE1B036441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9e7bb22f2c3a598b6843823785f325a64dc6db","datavalue":{"value":{"entity-type":"item","numeric-id":535139,"id":"Q535139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$A3D0D7DB-86A1-45E7-A82E-F51FA1C63F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$C576F77B-BEB1-4226-9DDA-5CECB1648CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$73F9A3E5-0111-46DF-95A9-F9F108AE1CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b01ddbad4490d24f01d117caf5d1ce2930abac","datavalue":{"value":{"entity-type":"item","numeric-id":993324,"id":"Q993324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$8B0689D5-9856-43F1-8A8B-85346CCBA5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4990d1da40f41df63d1b1cf33b30e19f9a38eba0","datavalue":{"value":{"entity-type":"item","numeric-id":5705945,"id":"Q5705945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$DBB70AF1-CF9C-40F9-99CD-C7AB73909369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$36CD3446-8E58-494F-98FF-389CC88C8E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$2F25C8BE-437E-4D10-B117-D036A9BFC74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dec21687bede7beca570d09d16d3ea6c14f888","datavalue":{"value":{"entity-type":"item","numeric-id":1976881,"id":"Q1976881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$F47C9362-0292-44D0-BC7B-7C7BF2CB807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107640f4efa5131b779c96c74a819a031e2d191","datavalue":{"value":{"entity-type":"item","numeric-id":869112,"id":"Q869112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$382E5098-4138-4F06-A283-D21CA2F872E7","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":"Q385019$BFD1DCF4-E6E0-416C-897A-DC4D6003DCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$E3099D94-2762-453B-BD78-72691E124528","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":"Q385019$FFF24987-6ACF-4B7F-B6EB-F1E24A712844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fe01d91ad067f451f455c4aa7a8632f320a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5450567,"id":"Q5450567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$9DD94521-B5A8-4D14-920E-D4499F764A9D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"86c681fd44544b14f317c955a939dd18fa6dbeaf","datavalue":{"value":"journals/tcs/CiabattoniM13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$42B883F8-ACF3-47D0-85C0-91820CE0847A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e90da23b46ae5f277e2fed5ec0abc8a90bbb348c","datavalue":{"value":"10.1016/J.TCS.2013.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385019$46A75456-B8B2-4C52-A0E5-3306E730042C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeec50ecc56ce7c62b439ac57efd4fcfeee2134c","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c8823e7a655f8edf63e6bf304bbe63e150382f","datavalue":{"value":{"amount":"+0.73890483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$26153978-202D-4C4E-AF11-861DD1F9F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ada629ff6031021378278273e90737fe0236a8","datavalue":{"value":{"entity-type":"item","numeric-id":4450443,"id":"Q4450443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7554ed6402788dab982e5d212ecf973ed5a31a5b","datavalue":{"value":{"amount":"+0.7175307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$74EAF421-841E-40D2-8163-82DFE07539CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932a3adcbc422187f751d83664165a50e724a3df","datavalue":{"value":{"entity-type":"item","numeric-id":1629954,"id":"Q1629954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f614a9b764a2b0646d74cb9f4a9500ce6acbf98","datavalue":{"value":{"amount":"+0.7077502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$1271C975-35CE-4A14-9AA4-2569D990CD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8671dc5baa9df4b35b447802747d1c17b02d0f","datavalue":{"value":{"entity-type":"item","numeric-id":535139,"id":"Q535139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fff45e4d6c7989e4353c635cbde530f48b53aed","datavalue":{"value":{"amount":"+0.7028301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$D8A40DF1-DF8A-4E09-BFC3-1A7C9466E650","rank":"normal"},{"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":"843e114f32f4f9a65708b1a1207d61123f9dc579","datavalue":{"value":{"amount":"+0.7025527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$CC8F9E58-845D-48C7-872D-9F70758C01AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996d502087be506f23f1ab7bdbb9f73a35c69267","datavalue":{"value":{"entity-type":"item","numeric-id":2938143,"id":"Q2938143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd8ea58afa9b627aa05b56ec911af5a038b2a94","datavalue":{"value":{"amount":"+0.7014243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$2AC2E430-D04E-4CB8-97C2-BF4F9D9AEF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7aab553db5aa09871ef01565767f2866c03c0bc","datavalue":{"value":{"entity-type":"item","numeric-id":816857,"id":"Q816857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f50b353766561adb7ce947e57b5497dbf5d1fd","datavalue":{"value":{"amount":"+0.69478416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$C9AF9A06-F02B-4B93-B0AC-90656281786D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1696632c06752ae8e27f36a7ca286b336eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778b58130b45eeebf244a07f5b4290bee924ec04","datavalue":{"value":{"amount":"+0.6944774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$BD2ABAD8-C224-4690-AC09-A29CA3992A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabd1172f35f1f434b79afaa767bb76e1d4f03fa","datavalue":{"value":{"entity-type":"item","numeric-id":4610324,"id":"Q4610324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fe1b1023ecf4f4be9dfdba02ce3d7055896692","datavalue":{"value":{"amount":"+0.69105196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$9D131C14-1C45-473C-B3BB-D19E47310641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044534dec8af45043c32cc5f543fe966a1ab9312","datavalue":{"value":{"entity-type":"item","numeric-id":4465174,"id":"Q4465174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823a362cbef8d342f0e5de4ae7d93dd93db0c045","datavalue":{"value":{"amount":"+0.6897556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385019$62E82373-5101-4B09-A1C9-38426D1CFF4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1db86cd1e51760d58727550aba3c183139c642d","datavalue":{"value":"As the authors explain, the aim of the article is to extend the methodology in [\\textit{M. Baaz} and \\textit{C. G. Ferm\u00fcller}, Lect. Notes Comput. Sci. 1617, 36--50 (1999; Zbl 0931.03066)] to systematically construct analytic calculi for semi-projective logics -- a large family of (propositional) locally finite many-valued logics. Such calculi, defined in the framework of sequents of relations, are proof search oriented and can be used to settle the computational complexity of the formalized logics. As a case study they derive sequent calculi of relations for nilpotent minimum logic (see [\\textit{F. Esteva} and \\textit{L. Godo}, Fuzzy Sets Syst. 124, No. 3, 271--288 (2001; Zbl 0994.03017)]) and for a family of axiomatic extensions of H\u00e1jek's basic logic BL extended with the \\(n\\)-contraction axiom, (see [\\textit{M. Bianchi} and \\textit{F. Montagna}, Arch. Math. Logic 50, No. 3--4, 257--285 (2011; Zbl 1266.03041)]). The introduced calculi are used to prove that the decidability problem in these logics is Co-NP complete.NEWLINENEWLINEThe main results are in Sections 3 to 5. Section 3 is about semi-projective logics, and presents a general method to construct an analytic calculi, for them. It is shown, among the other things, that every semi-projective logic with finitely-many connectives and constants is locally finite, and that all semi-projective logics are decidable. These results are then applied in Section 4, to present an analytic calculi for NM and for a family of \\(n\\)-contractive axiomatic extensions of BL. Moreover, it is also shown that such calculi provide a Co-NP decision procedure for the validity problem of these logics. Finally, in Section 5 is discussed the problem of defining analytic calculi for first-order many-valued logics, and most of the results are negative.","type":"string"},"datatype":"string"},"type":"statement","id":"Q385019$54DC2568-7C2F-48FC-AD90-E9E43E91495C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385019$F51D0BCA-3A42-44A8-8E38-FC286ED0FCAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for locally finite many-valued logics: semi-projective logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_for_locally_finite_many-valued_logics:_semi-projective_logics"}}}}}