{"entities":{"Q5946327":{"pageid":8123129,"ns":120,"title":"Item:Q5946327","lastrevid":41965900,"modified":"2025-05-19T19:50:24Z","type":"item","id":"Q5946327","labels":{"en":{"language":"en","value":"\\(\\alpha\\)-resolution principle based on first-order lattice-valued logic \\(\\text{LF}(X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658664"}},"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":"Q5946327$B664C019-0898-4558-B1D0-438D58172F92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bf9decff49f40b01e3c3adb0e3e4e5963cfc9fa","datavalue":{"value":{"text":"\\(\\alpha\\)-resolution principle based on first-order lattice-valued logic \\(\\text{LF}(X)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946327$7700A027-F76C-43A2-BCD7-0E9D3F919734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b597bbd7a7a4374b3a5e27b6f110a964b88289","datavalue":{"value":"0997.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$9A279A11-C79B-4CA3-A2F5-8B1AF65A0E00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"087dc0c47e54fb2bc0957374b0e0ef6b3848babb","datavalue":{"value":"10.1016/S0020-0255(01)00065-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$5E01174B-11EF-4B4E-BB7B-B91FEB91D2E6","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":"Q5946327$B8D780A3-AD34-4825-8F79-2360C1E8247E","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":"Q5946327$D4C3C95F-7C81-4355-87DE-B31A8EB43E35","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":"Q5946327$17F7EDAB-31D2-4965-A88F-8A634989F676","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":"Q5946327$4AD915C3-C106-421E-82CF-A839972A1067","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":"Q5946327$E750812E-1A90-4BF0-A985-9142E416770B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d86510286c4a88c2f43df7e3f93640c9a866a2b","datavalue":{"value":{"time":"+2002-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946327$E9379450-9DCA-4050-B0EB-70891F4D93D1","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":"Q5946327$3FFFAD57-3227-4E8D-A8AC-BD5B78954692","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$868EC7ED-BEB5-410B-BA51-B684D6FBB402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$1315140A-02C7-4A00-9BB4-5B66A048F395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$C3523C98-E684-43B8-8402-EFA2847385AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$0117A48C-051F-4205-AB47-9AE3E86B38D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$83A70CA0-C7E8-4F89-9CAD-D61C68D613EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c00cbdfbc74e9410c9ece91947748ffd99c9e2bb","datavalue":{"value":"1658664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946327$C24CA886-0565-45D9-95EB-D78C54D91DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946327$AAE6015F-E455-4F0F-881B-C4A1081005E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946327$142FE8AC-B4B5-47B5-AD24-2C2F3694FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946327$3EFB7311-619B-4114-AE0E-4401FA84173C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946327$84BA014F-4EE1-4547-9BB6-3E7948CDB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946327$71A9692A-58AD-4EBA-8F3C-F2C7E04D3136","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":"Q5946327$CC2D4A54-F414-42ED-89A8-B9FFDC43B032","rank":"normal"}],"P223":[{"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":"Q5946327$03A2111A-C61D-4CD4-B78A-13C6D70BA31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946327$E19D92C7-16E1-4A8A-936E-5B3E1CB87A2E","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":"Q5946327$148AA5E4-3760-47ED-971C-7D4BB5740D05","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":"Q5946327$C5AFC84A-BA2D-4FFB-8C5F-4765E590D577","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":"Q5946327$FFE262DF-019D-4159-8525-616CAF6AB3AE","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":"Q5946327$2C77F1B6-529F-45E7-B47B-B7A5C0362113","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":"Q5946327$5B293AAD-0A76-4DF5-84BE-E67CDB6B0C0C","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":"Q5946327$70A05A43-DFBB-485B-8551-958ABF523279","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":"Q5946327$67792E39-D96B-45E0-B8CF-0CE86F063849","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":"Q5946327$116F4560-901D-4203-9663-69078D058989","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":"Q5946327$842C5014-6D13-49A1-BC30-D2B73EFCB09D","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":"Q5946327$9FBAFD78-E8BC-478C-ACFB-EAF81C7DEB57","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":"Q5946327$D61BEA22-8F18-4A1C-A780-71E71C33A20A","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":"Q5946327$B221863A-14DB-431A-A112-46F8ECF846D1","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":"Q5946327$3868AE5B-6EBF-441D-8D1A-5E61D89C6098","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":"Q5946327$D3D96AC8-5DFE-4494-8743-1AA0EE932071","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":"Q5946327$C4C59910-1C6C-473A-A82E-2C4F69E6B68A","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":"Q5946327$7141BF46-342B-4814-ABF1-9AD5CFAB7BDA","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":"Q5946327$61D5B0C4-B4B0-4E94-AE40-ECA52216A592","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":"Q5946327$6F089FC1-4A92-4A87-B9B6-74CF72A31352","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":"Q5946327$F7FF5F37-14BB-4000-BB54-1394809ECC2E","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":"Q5946327$F646BCD8-C466-4759-A498-2F3780BB7294","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":"Q5946327$E0E8E2D8-E0DB-4291-80A8-2E5D875716BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1080dd9e4b2a2a4614afe1d6b188eb9b008e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3994407,"id":"Q3994407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946327$BF52A7C9-8803-4F54-9C16-8E4944A43DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228dbdcca4afec7cac2684088cc2167634853f36","datavalue":{"value":{"entity-type":"item","numeric-id":3484812,"id":"Q3484812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946327$505CFBB5-E4C5-483A-A861-8B794595C99E","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":"Q5946327$E1311EDD-965A-4C8F-BD60-7CAEFB42EA93","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":"Q5946327$09964A59-FE90-4C76-8048-EB2FF816A981","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":"Q5946327$AD69A026-4DD6-4FC3-9B4A-1716E618A3C3","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":"Q5946327$92EC80CF-66D0-4B99-815F-7889C02A81E2","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":"Q5946327$4EF890E2-205E-48E4-BDD3-F175AF80FD0B","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":"Q5946327$75CCC835-5C65-4133-8271-B412C5602DF9","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":"Q5946327$BFBC47DC-3AC9-4A04-82BC-5B51ADBCF696","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":"Q5946327$E5F8B5B7-CBB7-4D0B-98F9-C76466D9358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b6db54ea89d2d92e7b3ac7acefa676a1537b39","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946327$BC36E566-36E4-44B0-8762-88A9957C81A4","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":"Q5946327$AD06D2A5-2F45-49B6-BCB1-E1E95A87963B","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":"Q5946327$E0A11E9E-9DD8-4225-8044-333B115FE1B2","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":"Q5946327$510F9AD1-5867-44DC-B725-7B6FBA1AC6F6","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":"Q5946327$4456FB79-E9C7-482F-B357-49DB86DF9493","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":"Q5946327$0D1615BD-1381-4DF8-B693-C929CCC53580","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":"Q5946327$894A2CB0-8247-4B63-9D65-6C7E82EA9035","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":"Q5946327$B280CC9C-84D6-46A8-804A-F24A9982E4CE","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":"Q5946327$A1436C8C-CDEC-43A7-AEE4-17DEF72832D0","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":"Q5946327$D5FE9F47-FEB1-45AA-99D2-6AE10856FBFC","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":"Q5946327$0F8C05E8-47F1-4445-9D1D-B5B9D871A86B","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":"Q5946327$B5A4D74D-F83F-40F0-985D-6199E33D4A0E","rank":"normal"}],"P1643":[{"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":"d3e29155943870ef9342aaafa40eee6538442446","datavalue":{"value":{"amount":"+0.9725103","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":"Q5946327$33E77FB0-95A2-4846-AC87-3FD0ED1993A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a81cd3bbed284927d6404bab1190e9cc0efcc8","datavalue":{"value":{"entity-type":"item","numeric-id":5946276,"id":"Q5946276"},"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":"Q5946327$38B9E91B-6523-4FD7-A17F-4870DA8D3C34","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":"ea0259f0924c5ac544d5d8ab446374e4dc00461a","datavalue":{"value":{"amount":"+0.9556279","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":"Q5946327$066EFA5F-C640-42D9-82D2-38E6302930DE","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":"b60c5f92dee63f0f70982600d8a2b3ea69be2ed4","datavalue":{"value":{"amount":"+0.9364495","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":"Q5946327$0B323604-B159-4CCA-8596-80782E7FD89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5f543461214e891033d1a956489ca87abee89b","datavalue":{"value":{"entity-type":"item","numeric-id":2440194,"id":"Q2440194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edfc1ab8d7ef00c20131b93cd35cff830cb2124e","datavalue":{"value":{"amount":"+0.9104913","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":"Q5946327$05A1087E-1681-4D85-9038-A4EFD7A8305E","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":"ad4d6d23a0b38c1f6cac58c4e7fe1c2a2028b73b","datavalue":{"value":{"amount":"+0.90925485","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":"Q5946327$12C1675E-D5FB-480C-9C15-CA49A6392FFF","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":"b5053b1b13689ce7ec044b8c8275300f6c8b33e1","datavalue":{"value":{"amount":"+0.9015318","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":"Q5946327$2467DA73-F7A5-4C10-8556-A946AD32D5AC","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":"ab7ab7aacee3cd815e8990994d38bbeaf1d92efe","datavalue":{"value":{"amount":"+0.89858174","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":"Q5946327$FEEB55B2-FA2E-4143-99FF-E1CD2CC2171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c5390b116544bf1fda0489be16525f82e589","datavalue":{"value":{"entity-type":"item","numeric-id":2988491,"id":"Q2988491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54efd007043a288d732837380c889f5ac4364401","datavalue":{"value":{"amount":"+0.893813","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":"Q5946327$8488DB3B-4F24-462A-B069-851F0998B5BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81b767f643c7a86c3f0d25b911b4225a10f471b6","datavalue":{"value":"This article is a continuation of the authors' previous work ``\\(\\alpha\\)-resolution principle based on lattice-valued propositional logic \\(\\text{LP}(X)\\)'' [Inf. Sci. 130, No. 1-4, 195-223 (2000; Zbl 0987.03010)], where they considered many-valued logics of the special kind with partially ordered sets of truth-values. In the present article, a resolution calculus for the corresponding first-order many-valued logic is developed. The authors use the notion of \\(\\alpha\\)-resolution, i.e., resolution relative to some truth-value \\(\\alpha\\) in the lattice of truth values. A variety of notions corresponding to the notions of classical resolution are defined. The authors' work has an emphasis on such lattice implication algebras that do not satisfy the axioms of Boolean algebra. These algebras are called proper lattice implication algebras. The main result is Theorem 3.6 giving the completeness of the \\(\\alpha\\)-resolution principle. The proof of this theorem is rather sketchy and is based on the completeness theorem 3.4 from the previous paper cited above. NEWLINENEWLINENEWLINEThe thing that confused me a bit in this paper was the definition of the complementation \\('\\). If we followed the authors' definition of \\('\\) as ``an order-reversing involution'' we could come to the conclusion that this paper deals only with algebras having linearly ordered sets of truth values, since an involution cannot be uniquely defined on a partially ordered set which is not linearly ordered. But from the context of the paper it becomes clear that the \\('\\) operation is a complementation and we can define it equivalently as \\(x'=x\\to 0\\). So, the authors' results remain consistent if we think of the \\('\\) operation as a complementation rather than an involution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946327$B65E61D5-C489-4617-AD61-689412B2413D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946327"}}}}}