{"entities":{"Q598578":{"pageid":600354,"ns":120,"title":"Item:Q598578","lastrevid":63017916,"modified":"2026-04-11T09:44:21Z","type":"item","id":"Q598578","labels":{"en":{"language":"en","value":"An annotated logic theorem prover for an extended possibilistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083347"}},"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":"Q598578$3C33F853-C779-4330-BA28-0A718057A066","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89f929b67b9013e8069ec36c15d2f498705f789","datavalue":{"value":{"text":"An annotated logic theorem prover for an extended possibilistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598578$CC009AA1-2CC7-4715-8293-150BFC4EA326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4c3a6f0d167ef882b6694f72a8aad13bc53e003","datavalue":{"value":"1076.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$A1C89BD4-2191-4138-9639-9D689415C808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1813646aea26413ff08f7433da1e9e11dfbae4c9","datavalue":{"value":{"entity-type":"item","numeric-id":598576,"id":"Q598576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$394F4584-8D86-4ADE-87CA-8BCB5107C041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2256a54395c59efdb1f5e2be55c113144cab26b7","datavalue":{"value":{"entity-type":"item","numeric-id":698472,"id":"Q698472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$8E248CC8-572F-46F4-A10E-4F4C4B8B8F2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$1D73F942-0D47-4378-B9D1-AE3054B546AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598578$E00D8ECD-A77E-4492-B47B-0AEB092D5B39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$F5CB37B9-8991-4F34-8B26-4CDBF1BB7FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$1FA1C446-D3B5-439B-A774-B10E3BDCA1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$901075D9-DC37-4017-A847-F8E537BEF4B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d923852947178d54000f72cb82f68411224e85fa","datavalue":{"value":"2083347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$BC9BE84D-F154-4331-81B5-6645F9C300E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeaafa80a749642ec103d01163942598561354f","datavalue":{"value":"Possibilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598578$4A655EE6-2388-4A54-8E8E-ED651DF0144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4da3dee5ae982da807a0e9bf10b78a433ae6cb","datavalue":{"value":"PLFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q598578$69C88CBE-EED2-41D3-AFE0-BC5473FCA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b00deae2a7b873ba7975b75b3883ed9f518416c","datavalue":{"value":"Annotated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598578$1190FB31-8F0E-4690-BFB2-362655C7982D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49240ccd1d759aa554bbd5d8d5b208d0407ea11d","datavalue":{"value":"Fuzzy sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q598578$1DE40443-E399-4679-9726-A89379ED56DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6f02bcb24557f971b385c173492e5163040d683","datavalue":{"value":{"entity-type":"item","numeric-id":33160,"id":"Q33160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$7A385A73-CD7B-4CEF-8383-0902939925AD","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":"Q598578$FAE961A2-0B6E-430E-BEEE-44CC2333D687","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5022261895483267e66f9a64eefeee999b5b8f08","datavalue":{"value":"https://doi.org/10.1016/j.fss.2003.10.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q598578$5188DA10-E335-4B5F-97DE-9CCB72DB21AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20c95064158e72d34c6ea31c08e8baeeeac05e5b","datavalue":{"value":"W2044689001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$90B02DFC-C878-442F-87A2-42ADBD600175","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"448a2e5f219a9a622765927f4cdec875402754de","datavalue":{"value":{"entity-type":"item","numeric-id":4784883,"id":"Q4784883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$143774C2-A99E-4A7C-BAAC-C7256A55BC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd7acc12959034f73f97a09ed582a11bbd1d773","datavalue":{"value":{"entity-type":"item","numeric-id":2842591,"id":"Q2842591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$55B8837C-F821-4065-BFC3-93A934567E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6fdd18d70177aeea1c626adbc38ad5d8306b725","datavalue":{"value":{"entity-type":"item","numeric-id":598578,"id":"Q598578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$53A40836-2C9A-4C5A-8E5D-B045C2549133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598578$7252B47E-35DB-4384-BDF4-60AF07A4F6D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72af69cc39c73dab7d9d99d4223e68ee852d5dd9","datavalue":{"value":"10.1016/J.FSS.2003.10.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598578$5569B020-B82A-40C7-96E8-535CCB36CB48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"101460935f12bb42cef44c107ff3f7c58654d0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4784883,"id":"Q4784883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c656e6693c0bf6faf354e0c83d5ae0625e059ed","datavalue":{"value":{"amount":"+0.7766905426979065","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":"Q598578$6AC181C9-B73F-4DAB-B5F4-DB97DC72D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecd637a1b9c751b1d64fb381bd6987b8798ba63","datavalue":{"value":{"entity-type":"item","numeric-id":1568489,"id":"Q1568489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e693bd6694d52fe8d891a666e80a1db95f9f2e","datavalue":{"value":{"amount":"+0.7633669376373291","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":"Q598578$6CD1E094-5713-43F5-9BFE-C8AC48528CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f161d7a8480efef9f138da8a7034e37e87c864e","datavalue":{"value":{"entity-type":"item","numeric-id":911797,"id":"Q911797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284e2d766d9ec3313538a520ec027db40462adb0","datavalue":{"value":{"amount":"+0.7567613124847412","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":"Q598578$BF4B9A8F-E7AA-4B08-B1F3-9CD0D1489FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d90471b5e767ee22364b8325141c0566ae0d24f","datavalue":{"value":{"entity-type":"item","numeric-id":4443407,"id":"Q4443407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200e8aec3b05cccb7d47a49ac50d2055e723d8a1","datavalue":{"value":{"amount":"+0.7567095160484314","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":"Q598578$AD5512E1-4EBA-4880-82F7-A0ACCE750B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeeb402f42eb6330887d8753abfd33f19082a3a","datavalue":{"value":{"entity-type":"item","numeric-id":4805685,"id":"Q4805685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd03b14b07f50ec447e73d0b151dc3002319fe7b","datavalue":{"value":{"amount":"+0.752353847026825","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":"Q598578$A3B5EC05-90CA-49EF-B19F-F55BA72599C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An annotated logic theorem prover for an extended possibilistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_annotated_logic_theorem_prover_for_an_extended_possibilistic_logic"}}}}}