{"entities":{"Q1346240":{"pageid":1356979,"ns":120,"title":"Item:Q1346240","lastrevid":70208181,"modified":"2026-04-13T13:10:23Z","type":"item","id":"Q1346240","labels":{"en":{"language":"en","value":"An alternative proof method for possibilistic logic and its application to terminological logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736417"}},"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":"Q1346240$E1D6BB3A-76AC-487B-B631-86DD5AD5286A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eac518343f7530897168f54a8ea80a0620eb571","datavalue":{"value":{"text":"An alternative proof method for possibilistic logic and its application to terminological logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346240$06B0D515-503C-4A9C-93ED-F524A32462F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb6a59fc4026967ab5a55636a54485191f61fd1f","datavalue":{"value":"0814.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346240$F4E6AA1C-4B16-4104-9D59-108702EC63E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecc03f578991c523cd8d15d1c3ecced9a6b08447","datavalue":{"value":"10.1016/0888-613X(94)00015-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346240$471508DB-40FB-40DA-9BC0-17C82F409639","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70712101ba28c2e9d3294cd1fcc7f603a01e3064","datavalue":{"value":{"entity-type":"item","numeric-id":989169,"id":"Q989169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$A068D9FB-C626-4A38-A1E0-A9E0BACCBCF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$F8444361-5449-4FB1-A36E-747530BE68E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346240$3224E0F8-9E47-481E-86FD-0C256E20B7EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69fac4fcc8df83843b6f12d41ff25bac5009ad78","datavalue":{"value":"https://arxiv.org/abs/1302.6819","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346240$76A4D72F-1FE1-409A-836F-DF2DFCC273E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346240$F21A004F-74DA-43B6-9B4B-7D7E0CF3EF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346240$D78DDA63-91BF-4656-988E-56CBADF4263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346240$90074ADF-ECCE-40E8-AFC1-F1A51801DA6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe5510aa3ea9970950b9613af0ef0926b81435a","datavalue":{"value":"736417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346240$3AD7F25C-D4EC-454B-94FD-7C4D2214B06C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22949ca0624518619b306df546acdfed86f72801","datavalue":{"value":"possibilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346240$D7A00F9F-0112-498F-934F-1054BE35DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346240$4778F23D-1324-4557-8FB9-D8D874D7EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b52819299921571f29fc3f19420d17207f42f3","datavalue":{"value":"possibilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346240$077238FE-EF70-485C-A22F-E02700D69AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d195fb4e82c8b327696c8abc969ebd33ec57ea6","datavalue":{"value":"terminological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346240$7D70F868-49BA-490F-96A9-15C48DBBDB09","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":"Q1346240$D2636AA8-FCA0-4DD2-884F-406E51C7F1C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f5e8eb26a22fd1cb8e76dafccb56890baeaa78","datavalue":{"value":{"entity-type":"item","numeric-id":1391904,"id":"Q1391904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$63715FE2-25FE-4813-A75E-004E1303A2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00633305edeef2b046f9485bfeaa2af9579c587","datavalue":{"value":{"entity-type":"item","numeric-id":2752005,"id":"Q2752005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$FC620ECC-E986-46EB-BB9E-DB51FE917C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb2468be0f95854f170a9f621ce3a5c8a11d481","datavalue":{"value":{"entity-type":"item","numeric-id":1978452,"id":"Q1978452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$91DCFED9-7791-4745-B3BB-DD5AC421F970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e473b8e641dbfaf76db8227c4e98b00936e51","datavalue":{"value":{"entity-type":"item","numeric-id":4386924,"id":"Q4386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$A5EA4A3D-01BF-4D00-AD93-C1E6E7FB3695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61d3ce48e7d77ecfa87abeda8a08d36489d987a","datavalue":{"value":{"entity-type":"item","numeric-id":4028788,"id":"Q4028788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$34881CD2-EF31-4689-9DF8-62E993F12130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f172feba8021511e3859b1f7e319e900c965c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":3989935,"id":"Q3989935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$60D0F46A-78BD-4E2A-B46E-BD11C2A0D201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87097d99712d83987ebeec4e07e5ca1e88ceaea4","datavalue":{"value":{"entity-type":"item","numeric-id":3786440,"id":"Q3786440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$A75204A1-3091-4D6E-8710-57BA2192A8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efdab2d4bfeb9318612714339cc2e1288670ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4012236,"id":"Q4012236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$484A5A68-32B5-481D-9404-70ACE52A6A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e234acebc40276714dc29da5d76254e7a0309a71","datavalue":{"value":{"entity-type":"item","numeric-id":4002150,"id":"Q4002150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$75600505-2736-436A-B3E0-955DDC2634AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4d37118257c4c396de9bde103ecbbda28c1b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3493318,"id":"Q3493318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$68E7733D-33E0-44C4-AC82-8025E55ABA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2287c65c5ccd724b9cbce747f5012c9937c1b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012245,"id":"Q4012245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$CCCDD0C0-03A6-405D-A928-7D157174DB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346240$8438E3D9-F2D4-428F-A859-3FD9544B9A80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc9fe2758b78c89498c475edf7c0c81c6088323","datavalue":{"value":{"entity-type":"item","numeric-id":4348112,"id":"Q4348112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace439376bfc23a05f346681338f62728bcebb6f","datavalue":{"value":{"amount":"+0.90388304","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":"Q1346240$206752A6-91EE-440E-B0DF-BBAA58819210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19f28ad958f61465f8a6eb0b068ab24b801f597","datavalue":{"value":{"entity-type":"item","numeric-id":3455192,"id":"Q3455192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e39b48c055e7460fac5c8290508e04192809e5","datavalue":{"value":{"amount":"+0.8848506","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":"Q1346240$3A2046D9-7994-4252-AFB0-FF86149D1636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba7d5818c5194c60564cf00d5b150ad04b5f444","datavalue":{"value":{"entity-type":"item","numeric-id":598572,"id":"Q598572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b53a2a145b7b592c93b6c13e202caa7444a4a36","datavalue":{"value":{"amount":"+0.8845185","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":"Q1346240$F62BFD2C-2300-488B-865B-2EE5899E8468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076284c02822bc4334629d7464c6939bee74d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2296691,"id":"Q2296691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550abd3af587b006f351293615be1f31d0a69663","datavalue":{"value":{"amount":"+0.8842325","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":"Q1346240$D089C212-E6A6-48EC-9EAE-A2B49A2C3096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954e990f7954b71e0155ac73ca8181fcb12a7fa7","datavalue":{"value":{"entity-type":"item","numeric-id":598578,"id":"Q598578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5caf352d455d6ae548b214552b511f51027e7110","datavalue":{"value":{"amount":"+0.8841078","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":"Q1346240$2FADBE4E-4F82-4C14-9658-E97155D7F6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74cd4da8e661d260fe4e8c6434c37805e36ea09d","datavalue":{"value":{"entity-type":"item","numeric-id":835125,"id":"Q835125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252cc748c9876cb1efb720ca1bd3ae1a300765b7","datavalue":{"value":{"amount":"+0.8833573","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":"Q1346240$50CBC506-D389-4C79-92A6-543F92946E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba15f10591c08a85e94570ce3da5ba52dc571cc","datavalue":{"value":{"amount":"+0.8830185","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":"Q1346240$F58F9B04-5F5A-417F-9B83-B6EEA1477437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0005a99c2fb34523cb249f79984559ef4f9c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4830367,"id":"Q4830367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f5316a9af4ec5a843f987d1b69807a37b61dfa","datavalue":{"value":{"amount":"+0.8821744","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":"Q1346240$FBE3C17C-0C5A-476F-ABF5-AE2BE28CBFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1134b44baeb6fa5c7704829325200e2cf071f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3451208,"id":"Q3451208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339231407fcf3ba18a251cbe70313a90ae72f9a0","datavalue":{"value":{"amount":"+0.8803397","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":"Q1346240$04D122AE-9417-4F7D-A346-C419125F8C4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative proof method for possibilistic logic and its application to terminological logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_proof_method_for_possibilistic_logic_and_its_application_to_terminological_logics"}}}}}