{"entities":{"Q5866469":{"pageid":7896020,"ns":120,"title":"Item:Q5866469","lastrevid":55423270,"modified":"2026-02-17T16:06:20Z","type":"item","id":"Q5866469","labels":{"en":{"language":"en","value":"Adding abductive reasoning to a propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589712"}},"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":"Q5866469$BEA5E5D3-F2FE-4793-841C-D02FE58D91D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"062e3a681a0d7e03ec53570cdaf6f931ee62d697","datavalue":{"value":{"text":"Adding abductive reasoning to a propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5866469$B2A853EE-45B4-4BE0-963E-7DD569D83313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-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":"Q5866469$4F171BE1-5023-446E-9263-531E2001C945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866469$689A6186-C48B-4A0F-BB7D-D0CC6DD12C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866469$ABF2F702-9D2C-4664-A1EB-973BAB200524","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75da0ad09df4f5f8703808d3e5cda07aeffddd9e","datavalue":{"value":"7589712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866469$60B8A971-F46D-46BF-934C-0B5881105D0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b36357255e9720f5678c2109305854cbf81d87","datavalue":{"value":"abductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866469$513E45C4-BF7F-48F6-B6FA-F2A27520E551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ddb9b351b4f63bae2882fe0c062f584ee29a11","datavalue":{"value":"multiple-conclusion derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866469$1D966F0B-F91C-4651-9AB7-8A99ADE934A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16a95003fcf63ef1609cb0c19bfffa30cc2a10f","datavalue":{"value":"abductive multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866469$C3DAE286-39D5-4EA9-838D-3C629DF6EA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a4807eeba11c63539cf651f335b718c622c768","datavalue":{"value":"robot navigation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866469$15A656A7-ABE2-4BF7-BAF4-72B24E22D450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866469$15F9D61F-B599-4991-8CF4-19C2994C7A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866469$4E98852C-0858-44FD-8696-C7CBF9651AD5","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":"Q5866469$2BB0F631-69EE-4D91-BA13-B14D48D2AF98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9d3c08aa1925838f9509f2356b7c7f054817d7d","datavalue":{"value":"https://doi.org/10.1093/logcom/exab074","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866469$51A8D28A-5701-457A-91F3-F8DE66369500","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf88e6d74ec6cbd8599a634e350a6fd2d52f7f35","datavalue":{"value":"W4212920653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866469$F95C8811-3296-4897-B092-2545DB07D61C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b942ee581fa2963dc594ebc0c8c71dd417f6f166","datavalue":{"value":"10.1093/LOGCOM/EXAB074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866469$5A570B92-D7C8-4460-A486-5FA1C760CF7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866469$9B82EC26-8E9A-4C82-BAA8-843DC804D00A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50deff517241749ae90b84b8a8806203d67a6634","datavalue":{"value":{"entity-type":"item","numeric-id":4860658,"id":"Q4860658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1650d88c2174321fd8bfbd943f671d3f7d7960c1","datavalue":{"value":{"amount":"+0.7851352095603943","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":"Q5866469$7AA4926A-B63B-4A47-9B12-B5ED080C3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3104b99ba7770e15d1b67d8857d3d27ea472dac3","datavalue":{"value":{"entity-type":"item","numeric-id":3411849,"id":"Q3411849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a131871924f21d87249b2de8fd5b09d4deabf77","datavalue":{"value":{"amount":"+0.768994152545929","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":"Q5866469$01E031F0-DFB4-465F-9688-7E377827B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54abeecef400dc33f1e31d4bfd121c6437c5c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4279083,"id":"Q4279083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2b126525424178cdcaaf484589c16c7f152c45","datavalue":{"value":{"amount":"+0.7685569524765015","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":"Q5866469$DD9C7667-05E6-48AE-AC85-1CDCA288A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edfaa5cdd84f9c0c31365a222641e61e1c09f71","datavalue":{"value":{"entity-type":"item","numeric-id":4736518,"id":"Q4736518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e9920d7d62c9ea10b934e7749c69ecda6823b1","datavalue":{"value":{"amount":"+0.7653195858001709","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":"Q5866469$29D0191A-B06D-4AA2-975C-D1AC229D5ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1964283b78584494b20339a6152ca2928031d09","datavalue":{"value":{"amount":"+0.7644525170326233","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":"Q5866469$5E44AA4A-0746-487B-BBC0-9D7121E89780","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5866469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5866469"}}}}}