{"entities":{"Q4805685":{"pageid":6835265,"ns":120,"title":"Item:Q4805685","lastrevid":74531025,"modified":"2026-04-14T23:10:49Z","type":"item","id":"Q4805685","labels":{"en":{"language":"en","value":"Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1907632"}},"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":"Q4805685$E9EFE7B9-E2BA-42EE-A2A6-2FA88DD90FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"289db1a7f7646170ccdfc967067e557ecbd9800a","datavalue":{"value":{"text":"Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4805685$6C53A1A0-CA09-4368-AE22-6EBFE1880862","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a91ada090a21d2f72d8b5fc44935e5777ed5bc23","datavalue":{"value":"1021.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$3EBBE088-DEEE-457E-8867-E71FE16A2A1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20cc1cfa95257297e4f6f378de35ae9d039e5091","datavalue":{"value":{"entity-type":"item","numeric-id":598574,"id":"Q598574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805685$AE8FE826-305F-49CF-AD28-47B05178038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c8cca1e831242552a06524008df67597ba7eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":167896,"id":"Q167896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805685$89F39FEB-1E79-4F83-9779-66769583098D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2a692c5fbd47d4547f3c7fcd5eafb312e8a8e095","datavalue":{"value":{"entity-type":"item","numeric-id":107479,"id":"Q107479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805685$292C9F13-C4FA-4034-921A-4BBEAB788B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e83193cd6fbe6a4da7398d53b7276a86eb2fc712","datavalue":{"value":{"time":"+2003-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4805685$4A855E9C-F8FB-4DD0-BC7D-28D8469DC7A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$2A5FE0ED-487E-4655-8576-C321E82B69A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4deec502dbf60152775f415ce49412d7ffda9c02","datavalue":{"value":"1907632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$8321B960-9588-4000-A17F-8F15275A8F4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77892992e545e7a73f23479520094f7d6859cc3c","datavalue":{"value":"first-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805685$4480B8D4-5930-4703-A524-3BD167519FB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e4e3d3b4b5637d83a12920d99ca22685a75d5a88","datavalue":{"value":"Q61918787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$AE7365DF-FD0C-4247-8D2B-35E632A6E3BC","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":"Q4805685$545EB9FF-32E2-4961-B757-772905F948C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"373a4b7829c93cb669edf6980d66900efd05203c","datavalue":{"value":"https://doi.org/10.1002/int.10069","type":"string"},"datatype":"url"},"type":"statement","id":"Q4805685$BF6B4021-3AB0-41B9-A2F1-3C9A4666CEB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c18c508ea2a72325f9391562d1273bb2ec2a325f","datavalue":{"value":"W1975241240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$CCD94C7E-154A-485C-AE06-8B8F96C22D63","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3b77b3364a5f296bb3550e3ba30b201997e296bb","datavalue":{"value":"journals/ijis/AlsinetG02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$E17B6981-8EB9-4456-9EEC-D766B1F4DB02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c30bf827312b037757ea6555ce6a0976bf7954a2","datavalue":{"value":"10.1002/INT.10069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805685$F611A670-5E19-45A7-9E5C-C0D6A4A676CD","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":"9c4be6da5681981070e63fe60dd81d13af6198ae","datavalue":{"value":{"amount":"+0.8637838363647461","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":"Q4805685$E1E3A80F-AA93-4604-8571-05386732FB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067dd55b3871b2d4a62cb83aea5e7d949ec1577a","datavalue":{"value":{"entity-type":"item","numeric-id":2842591,"id":"Q2842591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffa7f659c442a565ae6f40bc0c686485b0325fb","datavalue":{"value":{"amount":"+0.8255067467689514","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":"Q4805685$B8C4776D-672B-4581-86AC-4B28F43E5139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1751a20117b96fb3166ff902516d9dcddf50e525","datavalue":{"value":{"entity-type":"item","numeric-id":4805682,"id":"Q4805682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cb79db5345980048f44936a20f78a5b24e32a4","datavalue":{"value":{"amount":"+0.8033193945884705","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":"Q4805685$DE83E429-E352-4DEA-96C8-3EC17E2706B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75b94750febdfdf23d3015b3442a1518b816837","datavalue":{"value":{"entity-type":"item","numeric-id":598575,"id":"Q598575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573551c61b0e468a58ad32c9d18ab3992963674e","datavalue":{"value":{"amount":"+0.777313768863678","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":"Q4805685$7590FB01-26FB-4978-8181-AE3CCECA0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325bd44dd18a28783af0c426bbe01a947ee3ec43","datavalue":{"value":{"entity-type":"item","numeric-id":6215466,"id":"Q6215466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f196da5e8ad8d577dc26259518f354c3e4dc4f6","datavalue":{"value":{"amount":"+0.7670290470123291","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":"Q4805685$F84D3D4A-869D-4D32-8C6A-5F77DA4A9938","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_automated_deduction_system_for_first-order_possibilistic_logic_programming_with_fuzzy_constants"}}}}}