{"entities":{"Q5946276":{"pageid":8123078,"ns":120,"title":"Item:Q5946276","lastrevid":41965863,"modified":"2025-05-19T19:49:29Z","type":"item","id":"Q5946276","labels":{"en":{"language":"en","value":"\\(\\alpha\\)-resolution principle based on lattice-valued propositional logic \\(\\text{LP} (X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658613"}},"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":"Q5946276$C8A1D82D-CE80-456D-B82B-82885F33B3C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1007bad88a620be3bd621147eadd35bc9942c5bd","datavalue":{"value":{"text":"\\(\\alpha\\)-resolution principle based on lattice-valued propositional logic \\(\\text{LP} (X)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946276$1A8502C5-91BE-44FC-9184-05B411709BA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd692cab9c8c65d4887c481800a767b451d71434","datavalue":{"value":"0987.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$F19CDE66-65A5-42F1-986F-B84CC4076B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f65b56fde8c3ae8898fad0bdfbaaf9580bdab4b","datavalue":{"value":"10.1016/S0020-0255(00)00069-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$8A987BA3-BBC3-419F-9FE9-4D11F70A71F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$A166AE38-F47D-477F-B82F-8859FB370C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd0cd89f7b5d8936454dcb00f389b0956691205","datavalue":{"value":{"entity-type":"item","numeric-id":196867,"id":"Q196867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$EEF60132-6CC8-454C-8040-8CF6B4F2B4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5262930a5b06e4529e1a5dcbaa28a4bbbbc6d986","datavalue":{"value":{"entity-type":"item","numeric-id":174898,"id":"Q174898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$592D19B1-3235-4BD4-BC06-FD90C4388BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a5677de8d09cf5673a2960a3a4d5abd93c72250","datavalue":{"value":{"entity-type":"item","numeric-id":209287,"id":"Q209287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$F55EDAD9-2BEB-4DBA-9B1D-980F4BC3485D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$F8827363-3915-480D-9C5C-0C84595037A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c27c7c0f05a747a24a0ab4d7e53da6cd04b7e8f","datavalue":{"value":{"time":"+2002-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946276$86B87155-421E-4931-B2FB-3E61691EDA15","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$FC28B339-DB4F-45B1-B0F6-AEE15D8F51F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$949B8DA7-4158-4FE7-BE68-6814AFF7629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$A7680DB1-B0C7-4ED5-9D15-D1D9F100E24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$C7FF82F3-D984-4451-A4CD-ECE4FA9B37D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$060EE929-2BDD-4D3A-827A-2E4921B34683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bbde5e526fd12d35306fd499f1dcefcff6a94e1","datavalue":{"value":"1658613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946276$C8724613-794F-44F8-890A-F8802C146650","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946276$717A4AF3-F870-4B65-9D31-7915AF0AE4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946276$9E5196C4-9661-474F-8571-B70507503CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946276$1643CC7A-770B-498F-B075-F5466F2F1C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8964b28104f4b806de7e4682cc166ed37246aa","datavalue":{"value":"many-valued reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946276$19BC2588-37B4-4697-AE6F-60EA525D297E","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":"Q5946276$60ADBB7D-AAE9-4503-910F-3D953B860DA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$99B1F365-6CE4-43FE-9406-BE30436BC65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b129a219c2b7d26d65714f4b02707caecaaaba","datavalue":{"value":{"entity-type":"item","numeric-id":4068686,"id":"Q4068686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$E1A8EEAF-81E5-4990-B20D-E36FA78DE64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69351ea81f1b7bc5efbff39f5d2782e216e9860d","datavalue":{"value":{"entity-type":"item","numeric-id":4693184,"id":"Q4693184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$6D58C34D-7BA7-4FE4-A752-0ADC478249D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32793c5851e041526f0ab0dada810aa9e16a780c","datavalue":{"value":{"entity-type":"item","numeric-id":5845641,"id":"Q5845641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$8A679557-A1BD-4DE2-B7CA-A85E3309F5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$B65908F0-AC1B-475D-8797-AD05EA583E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$479AE78A-1E25-404E-B957-B60482D9CF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f010e894f7ae9f6822bb04f252b0242f22b1b8ca","datavalue":{"value":{"entity-type":"item","numeric-id":2535673,"id":"Q2535673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$47C04A07-41BE-4A1E-B348-B8B370CFEF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$D31ABB6C-251C-463F-9765-1564766B6AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438e065838f5fb31b5fa5b66fe510a01b9e635aa","datavalue":{"value":{"entity-type":"item","numeric-id":1095132,"id":"Q1095132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$3FC0F8BD-3467-4D1C-B633-0191B659B64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478f1b788d9d4e0a48189a15a17d4046a04236b7","datavalue":{"value":{"entity-type":"item","numeric-id":2641291,"id":"Q2641291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$0DF37E9C-8394-4A96-8280-76A82B8842F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$6D5948E5-3AAB-4855-8735-73FF99951D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$14ED41C7-2BA5-44E9-AC88-DF9733A35A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$FFD2958B-737E-40D3-9980-F8517B01DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$BC2CA573-63DA-4AAC-8110-A40F8D2B1175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec291c59dbfe4f8cab0bf5d6bd39248f3adbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":5646879,"id":"Q5646879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$AE523233-561A-420E-B410-E1E164176642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e748ff6f9e53b6d422dd6177e8d0ff6b11b9a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5656745,"id":"Q5656745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$BFA62BB9-0013-4DEC-9D8E-AEF30D8EB9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$B26964A1-BB05-41CD-87EF-7DAC9C5CE347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dfb537f2cb7b5c00cfa0b1e7cab96ac326c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3703870,"id":"Q3703870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$ED1431E2-3163-4200-97C7-FC7A65402468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde641859006533b9ab9a175f32c1b44ef48e72d","datavalue":{"value":{"entity-type":"item","numeric-id":1312159,"id":"Q1312159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$32E99A87-287F-4A3A-ADCC-CA3A64E5A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a33f3f5783108bdb5ba99b7a3130adae047f72d","datavalue":{"value":{"entity-type":"item","numeric-id":3760507,"id":"Q3760507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$59EE256B-3778-4127-9136-CD186DD0C323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381cfb1f26e9643ba90403fd94452f3f50d2991c","datavalue":{"value":{"entity-type":"item","numeric-id":911797,"id":"Q911797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$5A69D621-259F-4DFF-A460-FDF82E31094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3caa88058b79599cc58c0a1d5cb3b4529602ee33","datavalue":{"value":{"entity-type":"item","numeric-id":4121876,"id":"Q4121876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$5DF643D1-3EEB-4B0A-B247-3E220504D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642863a66a67abf30b99d85777e1742c8898070a","datavalue":{"value":{"entity-type":"item","numeric-id":3870868,"id":"Q3870868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$FAD969E1-CBB2-4BE0-81E5-DA2C7C126BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76cbde9dd05d527c97cc033a7687dee65f2bc83","datavalue":{"value":{"entity-type":"item","numeric-id":3714047,"id":"Q3714047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$DF150013-4FAB-460C-ABD8-8145558D45F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99908e985936f3b3fcd2ddcff7767476f95f7b30","datavalue":{"value":{"entity-type":"item","numeric-id":1102939,"id":"Q1102939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$9CEB8B26-C32D-4892-8405-179B3BCAE91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce7703f54181fe1f7b003e9fcec0b7d8ea4f1ae","datavalue":{"value":{"entity-type":"item","numeric-id":4281690,"id":"Q4281690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$AC1716F6-D8A8-4B89-BE92-B48236824317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$A17F0338-BA25-47FB-8C35-6FFE468BB183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$47AE174C-9701-4813-9286-F537B11AC0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6740c356d271072e383e06b77cd6fa3a613fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1185011,"id":"Q1185011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$94B5D78E-8118-419B-B13D-F68C224BDE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$21D75318-1ACC-45BA-88F0-6DA65AAF8BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49455fd73acb2ce5b515b0f1a0c234ceb011bb89","datavalue":{"value":{"entity-type":"item","numeric-id":1205717,"id":"Q1205717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$06DED4D6-B286-47E5-8C98-90A272D01E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad2ed6b7262bc4aaf760dd16acb7d192abb88c","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$0BE19E40-AD88-47BA-8AE9-D41B73CFCCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d648b3bf1fdf53081e71a35066dfc48abd45f8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4273485,"id":"Q4273485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$4817D450-7AE5-4DF5-86B2-AA40A8C9D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06decc5dcc43464904f5d8dde77d048fa3fe49a","datavalue":{"value":{"entity-type":"item","numeric-id":4881605,"id":"Q4881605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$857F4CBA-F20D-423F-A3DC-C79B26C26039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0680adabfd3136a28982fdc321cf3395011301","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$15EA00DF-0B7B-4AA2-9572-5ABBDD1A757C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bd18dc3ae65742d7298a1be1bec470d4442d82","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$CBACC640-4725-4264-93EB-D7544B0DCB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43deed7f1d13601cf6a519fd6728c189eea8e61a","datavalue":{"value":{"entity-type":"item","numeric-id":4275476,"id":"Q4275476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$8649B3DB-578A-4EF4-B424-6C6588959CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a57287f73fd0f5c436e32f264857c6903c4efd8","datavalue":{"value":{"entity-type":"item","numeric-id":2705301,"id":"Q2705301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$05FEDD23-FCB0-4B9D-9504-B6288F3A798D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b518e4f665188dee8510e89a200afe8f913f4563","datavalue":{"value":{"entity-type":"item","numeric-id":1375829,"id":"Q1375829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$B4DE30CF-7BAF-46D1-B803-246162896EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3271aab122c4b4c76932e5496ddf0c3eba439119","datavalue":{"value":{"entity-type":"item","numeric-id":4231009,"id":"Q4231009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$A360E129-D74B-4B58-928F-DB44605A8158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a3339d47ee70c26df7b4ede88a80c72b3c3022","datavalue":{"value":{"entity-type":"item","numeric-id":4237708,"id":"Q4237708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$934B3D1F-D5EB-48C0-9FFD-ECB45437CB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44adeae9a4fa272413365e593ce3f4739e5601e8","datavalue":{"value":{"entity-type":"item","numeric-id":4351520,"id":"Q4351520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$68E9BA24-DA93-489A-B327-25767837953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9268d2e23ca94ee36ad4ac22dfe29d212b4ee179","datavalue":{"value":{"entity-type":"item","numeric-id":4392565,"id":"Q4392565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$AACE7BBE-C89A-47CF-A026-AA120F70B85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17bddd4d2b3050be1db543a27c877a0b660d2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4392561,"id":"Q4392561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$A6207D85-CCAE-4CC0-84C1-815F8DD6046C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289da83202e06e7323fb039e50fdca2a95543d7e","datavalue":{"value":{"entity-type":"item","numeric-id":4234679,"id":"Q4234679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$214342EF-4CC5-4A64-A1B1-8BE2BB058F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96dbd52a691bb3385108ea040ae6250fd455c72","datavalue":{"value":{"entity-type":"item","numeric-id":4942559,"id":"Q4942559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$01D10B81-450E-405B-B0E3-1416FC3A530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1a0f0568362fa716f73073cdda4627617628f","datavalue":{"value":{"entity-type":"item","numeric-id":4942561,"id":"Q4942561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$FB7F5DD0-C1BA-4CD3-A0C7-DFE28670990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b245927fbd6e2b02d108cde2ecf121acde76e3","datavalue":{"value":{"entity-type":"item","numeric-id":4311753,"id":"Q4311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$4310B924-D4F1-4537-883B-C32C740F48EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42fb6dbc09f2f9c86be2d9e4d941f9d0b45b35e","datavalue":{"value":{"entity-type":"item","numeric-id":4306528,"id":"Q4306528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$672F7CA7-7841-4273-939F-0B0FD5CC01F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d65495b0ddc5ae8a90d03ca336ffd9585c4b140","datavalue":{"value":{"entity-type":"item","numeric-id":2793320,"id":"Q2793320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$E381C988-34D0-4635-9146-C63CA596A01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8564b0802cc6d569e0d3d9714806031050658e","datavalue":{"value":{"entity-type":"item","numeric-id":2793337,"id":"Q2793337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$C9F8C721-1F08-4DA0-A40A-71401A864FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f32a77210cea0f23b1eb311e47f4292cb8322e1","datavalue":{"value":{"entity-type":"item","numeric-id":1818981,"id":"Q1818981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$4332EBF1-8887-41F3-A4F6-F0B2F7DEF7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec94d6e7c73c3ebf27a984de04a8387726f0d397","datavalue":{"value":{"entity-type":"item","numeric-id":4950599,"id":"Q4950599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$9ADDDE06-0563-4622-90D8-9C5F96940728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5252e0b1364b1cd2320cc0b7874547ec65db271f","datavalue":{"value":{"entity-type":"item","numeric-id":2793364,"id":"Q2793364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$E4736BB9-9EC7-4E17-BF0B-4508835EDC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2939584518cc1c3260e76a3d0053294ad004682","datavalue":{"value":{"entity-type":"item","numeric-id":6488523,"id":"Q6488523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946276$80A694FD-E4DB-44D5-A4A2-D74776DA81F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6e7534b4c7227d8a47b3ce7e7cc34b1f4bb50f","datavalue":{"value":{"entity-type":"item","numeric-id":5946327,"id":"Q5946327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77036d46fc7afd29580ee3abb488545096a86ac1","datavalue":{"value":{"amount":"+0.9629252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$F00507A0-02C1-4178-8609-1777C319824D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffaee73e9313a2b8366d8c6266d1a97b4369f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3090178,"id":"Q3090178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a905069128e339d29d676dd2115858954f2d4ea8","datavalue":{"value":{"amount":"+0.9473786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$B01E01A1-A2B9-4A1B-8690-274618FA4FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d4566d3b505f542234fb248e11a16b563932c5","datavalue":{"value":{"entity-type":"item","numeric-id":867665,"id":"Q867665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bdc5b673d9993714d94cae0073091d5de3e3d1","datavalue":{"value":{"amount":"+0.93377703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$D40904CB-B9D5-405F-BD52-A39CCCD6AB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00042c233b81b4279dce4622b40467a06d7d3495","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70320077befac625cffb4323b858c7f36d4d7a29","datavalue":{"value":{"amount":"+0.9236666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$A3DB3901-EBB8-4B46-A3B4-BD0FC18DC8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a042c4981412855ace19614269ea5a439a0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4932304,"id":"Q4932304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30003dd2f35dc532a77d443ab52851c555b6a748","datavalue":{"value":{"amount":"+0.92044246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$7AA45111-0548-48E1-AF88-9F35ABA1D5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f639262159824dd993680b88b4269a6ea3e22b","datavalue":{"value":{"entity-type":"item","numeric-id":2392565,"id":"Q2392565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c878f1d55c9779bb5fc29ffa142fc746b3d704","datavalue":{"value":{"amount":"+0.91972756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$58D1820B-8EA5-46CB-9236-D0768B9A11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511abf87addaa7692f957e5a410aba8b21a31b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2905643,"id":"Q2905643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20dda32eb1981d4a21cb17c7755d9cb49a9df2f","datavalue":{"value":{"amount":"+0.91664046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$7E8038E6-88B8-4F2F-8DF2-316B9E5AAC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abd5a959b600c85b40d573dc5ee04ed5794e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":2887678,"id":"Q2887678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcccc9cce50f6b60c492d8eb01f9b573234bc06","datavalue":{"value":{"amount":"+0.912982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$200A3FF6-81C7-43D5-8CF6-6FEE9D7E3C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7a920f5ae6feaaf5f3e234e8d0d592a7c991f","datavalue":{"value":{"entity-type":"item","numeric-id":4464035,"id":"Q4464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e00ea5c4c2a0e7b3141f61a73661bc3a8d2d13d","datavalue":{"value":{"amount":"+0.90953296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946276$FEEED164-0DCE-4190-8E4C-6612697CEF38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a602c9da12a580b85abd61b83b288fa842ade0c","datavalue":{"value":"The authors of this article consider a system of many-valued reasoning they have worked on since 1990. It is lattice-valued propositional logic \\(LP(X)\\) having as algebraic counterpart lattice implication algebra. A lattice implication algebra is a special case of a Wajsberg algebra \\((A,\\neg,\\to,1)\\), where the set of truth values \\(A\\) is a bounded lattice, negation \\(\\neg\\) is involution and implication \\(\\to\\) is distributive relative to meet and join in the lattice \\(A\\). The \\(\\alpha\\)-resolution principle the authors essentially deal with is simply a variant of many-valued binary resolution widely discussed in literature. Using the rule of \\(\\alpha\\)-resolution, one can cut a pair of clauses whose conjunction, speaking informally, is less than some \\(\\alpha\\) in the lattice of truth values. This rule gives rise to the notion of \\(\\alpha\\)-refutation, i.e. a deduction by \\(\\alpha\\)-resolution that ends with the empty clause. The authors state that their resolution rule modification can be applied to checking the consistency of sets of clauses under uncertainity conditions. This resolution has an interesting feature: for some truth value \\(\\alpha\\) one can deduce the empty clause, but for another value, not comparable to \\(\\alpha\\), the empty clause may not be deduced. In other words, the lattice structure of the set of truth values of \\(LP(X)\\) provides a logic with incomparable objects. NEWLINENEWLINENEWLINEThe main disadvantage of this article is that some notions used in the proofs of soundness and completeness are not defined. So in order to check the correctness of the proofs the reader should consult earlier works, e.g. \\textit{Y. Xu} and \\textit{K. Qin}, ``Lattice-valued propositional logic. I'' [J. Southwest Jiaotong Univ., Engl. Version 1, No. 2, 123-128 (1993; Zbl 0807.03020)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946276$C9576BD9-7A6E-485A-A81A-E71CF41ACD16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946276"}}}}}