{"entities":{"Q2988491":{"pageid":2999215,"ns":120,"title":"Item:Q2988491","lastrevid":52811111,"modified":"2026-01-23T13:34:59Z","type":"item","id":"Q2988491","labels":{"en":{"language":"en","value":"Multi-ary \\(\\alpha\\)-semantic resolution automated reasoning based on lattice-valued first-order logic \\(\\mathrm{LF}(X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721164"}},"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":"Q2988491$8777BA1F-4930-4536-A5AF-FEF2C973ADE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8becb1e808e2d0df3ae9adda1a4491c8abbe259","datavalue":{"value":{"text":"Multi-ary \u03b1-semantic resolution automated reasoning based on lattice-valued first-order logic LF\u00a0(X)1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988491$4323D9E2-0C95-4FC6-93DE-1064A9023B04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7973d5459a9326516b5b011fe0f0fa8500c53a01","datavalue":{"value":"1361.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$FD334104-C736-4A63-82C7-3EFD3AF31D7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0938a84b77549da4725cf243b965c604135f5fc5","datavalue":{"value":"10.3233/IFS-151637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$0EC576CF-CBC6-4960-92FD-491F2E56BEA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f61ef1f4568d4f32615a1488e80175966aea8de","datavalue":{"value":{"entity-type":"item","numeric-id":2988489,"id":"Q2988489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$D23442C3-54D0-48BA-BC92-11F588F710A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"057795c8158c624bde98e5b1d595ae51d87ff0fd","datavalue":{"value":{"entity-type":"item","numeric-id":275124,"id":"Q275124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$49854615-0C91-4EC2-9790-D1AC9BFB44F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22785f6b4194ededb413869d05eeea5abc1236a4","datavalue":{"value":{"entity-type":"item","numeric-id":2988490,"id":"Q2988490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$07773CA6-5357-454D-8C69-43F1834036B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1d2c2a984173b8e2c0e3776499fc0359f5bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2812531,"id":"Q2812531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$B80624CC-3EC1-453B-9D35-982ED7094F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-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":"Q2988491$63E786C6-C0AB-49B2-B1CC-5FEDF0957E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$AA39059E-5D6A-40CF-B683-B491E915BC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$E3E3D9D3-EF7F-4F42-91F3-ABEDEE374136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$36ABFD23-BF11-412C-BA3B-F9F19217EDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e0629f98909b63b385cf9634b48c9b6bb2f5565","datavalue":{"value":"6721164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$7E726F46-DC3E-4405-9146-D21C651E4201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef287bb0d1028a1ade734d22571741152a73648","datavalue":{"value":"incomparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$85A7E04D-D54A-4DEF-A625-9318CA3DDF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$A2D9F14B-152A-4F33-83FB-5EAAA961235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$47725382-739B-4EDF-A231-2E9897C3DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$AD2334CC-FB52-4142-ACA6-2F8A512E73C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71800b3bbccaaef83d8adf22ed3b6969cc3b7c10","datavalue":{"value":"multi-ary \\(\\alpha\\)-semantic resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$750A607A-28CC-47CE-8AA5-73392B1D19B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6230ab0af9dc0c24102c9ed1637b51c6e5b36179","datavalue":{"value":"multi-ary \\(\\alpha\\)-semantic resolution deduction and soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$0A0106BE-B986-4260-A20D-E7FFBFF817C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988491$11CE27FA-D31C-4BFA-85B1-49570570A64C","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":"Q2988491$21800678-FCE3-4699-96F9-15C404A5FEBF","rank":"normal"}],"P223":[{"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":"Q2988491$B9515AE7-6E7A-4584-9C45-0C8C0BF6C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de81e13d51cff72cceb779e9905964fd69fcb527","datavalue":{"value":{"entity-type":"item","numeric-id":5649439,"id":"Q5649439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$DA05C7F2-29EE-437D-B4AA-F6101633A6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$6423017E-0FD3-4513-892C-909B84BB22EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4f3a6754a7abf8b38795b2dda47a9acc63c743","datavalue":{"value":{"entity-type":"item","numeric-id":4464035,"id":"Q4464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$2086740F-F85F-4AF1-B314-0D47AC4EF86E","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":"Q2988491$FD13E556-4B88-43A0-BB3E-355BE115F860","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":"Q2988491$D464048E-345D-4468-907F-1052CB3B11E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2dc2bf3a5fea9e16a7a08493beb8bcc58d89c1","datavalue":{"value":{"entity-type":"item","numeric-id":5946276,"id":"Q5946276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$381DFAF8-5050-405C-A109-8CE63F6F8966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fec4b0d112e6ad33f9618428f4fd6130854d4","datavalue":{"value":{"entity-type":"item","numeric-id":5946327,"id":"Q5946327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$9699C5E8-3BA1-4BD3-82D3-7E3B7D105AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d65da8018dc3a698dc05d67725070281540b8d","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$4F566B8C-6EF6-40CA-969F-F73A45618DA2","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":"Q2988491$BEEF0603-E0B5-4067-A5AA-3FB82F529F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0ee93fa365381fb2092009fd4c085c2128e395","datavalue":{"value":{"entity-type":"item","numeric-id":2392565,"id":"Q2392565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988491$6E89DB09-8527-41F1-A1B4-0C9BDB9B9A22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db52686dfdc2a985214e4d018f02871b5259b3df","datavalue":{"value":"https://doi.org/10.3233/ifs-151637","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988491$72DD3573-06F8-4F49-86DB-D5DE9AA06945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9231a2abfc38c4ca34017b3377e52bc75142e34b","datavalue":{"value":"W2283886275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988491$9A8252FD-5D5F-4D54-A3C3-E80792524B01","rank":"normal"}],"P1643":[{"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":"cbac82447781ffe2958ebf8f210017e547432ab3","datavalue":{"value":{"amount":"+0.879881739616394","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":"Q2988491$865B7381-9E9E-4DF6-8D35-D8E76F029BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba0a8d1e1594a5a84d5eb3fd922681675e6c349","datavalue":{"value":{"entity-type":"item","numeric-id":1933772,"id":"Q1933772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ac0424aeac32f2dd09a40aba1875217c8739d1","datavalue":{"value":{"amount":"+0.8722994923591614","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":"Q2988491$395B446D-92F8-418F-B1BD-CB6C9B4BEB44","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":"17e15b1bfb4f756274f47666658d8b86ffafb41b","datavalue":{"value":{"amount":"+0.8627780079841614","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":"Q2988491$A579220B-1EA5-4289-9C89-1649A9238F7C","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":"56589263d7d0f870db29050a12ec1bd72160c284","datavalue":{"value":{"amount":"+0.8614471554756165","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":"Q2988491$B6B91085-327A-4EDB-95F9-BF38C07C8C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d22ab492ef8f7ccda9c9deb1d2d404b9a7e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3180197,"id":"Q3180197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1644179042a9e6ebfb553a06d0006e560a4485","datavalue":{"value":{"amount":"+0.8561516404151917","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":"Q2988491$232BA1EE-1DAF-497A-A424-E2B9300C507C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988491"}}}}}