{"entities":{"Q6623797":{"pageid":14234949,"ns":120,"title":"Item:Q6623797","lastrevid":95646059,"modified":"2026-06-05T09:29:12Z","type":"item","id":"Q6623797","labels":{"en":{"language":"en","value":"An abductive proof procedure for reasoning about actions in modal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7931396"}},"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":"Q6623797$209A1DD7-9B29-4AE1-86AF-B05EEB24CC34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2e765a667464a5e81124825240e9a4ce411b7b6","datavalue":{"value":{"text":"An abductive proof procedure for reasoning about actions in modal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623797$4FED035E-42B9-4529-970E-29BE0BA40B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dd8b22dd6c8e43d9e92af0eefff53c48899ff71","datavalue":{"value":"1547.68717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623797$D4BB839C-BA8F-445A-AB8C-C181D8E9A6FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad6be95a4db56366788326297aaa443f1d207f3","datavalue":{"value":{"entity-type":"item","numeric-id":596471,"id":"Q596471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$E8A9D485-BEDE-4017-8513-A3B180F06EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$21F37B55-F88B-479B-B01D-3C7AF052EE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a95c81b1b983e32ebe3edd662c771481c22c0947","datavalue":{"value":{"entity-type":"item","numeric-id":596472,"id":"Q596472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$539BE608-3FC5-4BA5-94C8-9D0B1E31AB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"feaed10d99db4ed0f1736d4ef8c50056b7343fbb","datavalue":{"value":{"entity-type":"item","numeric-id":596473,"id":"Q596473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$A7BD1B8F-4155-4F0B-ACAD-F1BE5AAEB148","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e904a32ce9fe0905c581b0bf09991f7f3f0c6d0","datavalue":{"value":{"time":"+2024-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623797$56B52F39-4866-4B18-BC65-B3CAF09F4290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623797$0628589C-B86B-4A9F-8769-701F5DA01E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623797$DE176F43-4FDD-4D8A-BD1D-4992A01062D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee25e7f2ca24df1e937032423be1952cd0bcd2f6","datavalue":{"value":"7931396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623797$943127CE-BE40-4B84-A154-C4C885348DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623797$D8441BCA-13C5-4954-BB52-BAAEF64EBBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623797$20C668B6-915B-49B4-A03C-906415C0304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623797$0C89149C-D8BD-4979-8046-831C6CB2DF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc08c3ce20acc1c75c96e797ecf3249f8d5ab9be","datavalue":{"value":"modal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623797$E643BD57-D91E-485B-A5E1-B72666472129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c9ed5aa83021d616b51deee5d9e089bdb813dc","datavalue":{"value":"argumentation framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623797$D043A51F-7DDE-4083-9D3D-727C8D07DDD0","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":"Q6623797$A72B085C-76A8-447C-BED3-6B2BE4A4B03B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0548a6d98fbaddbef193ec5bed58ea3434d574d4","datavalue":{"value":{"entity-type":"item","numeric-id":4286222,"id":"Q4286222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$FBE08B8D-A1B1-4207-BF7D-E9BF929242A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d039cd8da7e8955927e3a2a5e35b33f02f5334","datavalue":{"value":{"entity-type":"item","numeric-id":4293721,"id":"Q4293721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$47C9576A-0607-44C3-A5D7-8F28E74842EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e24550b69d2b77d46811897a019f233e4c9883","datavalue":{"value":{"entity-type":"item","numeric-id":4632300,"id":"Q4632300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$B3CB0A7D-B812-48E9-A6F8-6C7A76D68EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$F8B21375-AFC9-4C82-B4E3-E6B13A511148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$E030661E-F9B8-4B05-85D8-1CF3DEC96AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05859ec92b9a7c3468ecf06c9fbe3f25d53fa01","datavalue":{"value":{"entity-type":"item","numeric-id":4275259,"id":"Q4275259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$E471F265-FB19-4440-9D7A-A0B308D123C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368c14c802f61adaa26ccf8fb6625a6ea4b478f","datavalue":{"value":{"entity-type":"item","numeric-id":4839154,"id":"Q4839154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$2F790FD7-BD21-4250-A2CC-2D5C78DEE8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41765b192e8d4591e982eef9111b7a63042a19f","datavalue":{"value":{"entity-type":"item","numeric-id":5101465,"id":"Q5101465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623797$9162BEDF-049F-4BAA-8358-7BF00E9D5CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8c5427536643445f777b8e611add38a4618df78","datavalue":{"value":"10.1007/BFB0023805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623797$FAC1430D-D1F7-475F-8CD5-35C92DD9E3D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e66d6e2257b79993e749de85a59b035f4dd0370","datavalue":{"value":{"entity-type":"item","numeric-id":4448379,"id":"Q4448379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc944e7f27d6da5b5a0bab439c0a48721e32591","datavalue":{"value":{"amount":"+0.8467097282409668","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":"Q6623797$D9FB3FA2-CD02-4C78-B1E5-FE26008F3127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3d05597a0c9654d2e27cb3247826b9141d592f","datavalue":{"value":{"entity-type":"item","numeric-id":596475,"id":"Q596475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1995b4759d4fbed2db97a288e6590cceaeadfab6","datavalue":{"value":{"amount":"+0.8313388228416443","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":"Q6623797$944F5E06-1758-4276-9E2B-94AFBF8F1023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecc57dc61e3046e3290a11a2cbf1326f0c96604","datavalue":{"value":{"entity-type":"item","numeric-id":4522330,"id":"Q4522330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b30f3cb024a95a08ee0387bea6f28c0dd0dcd99","datavalue":{"value":{"amount":"+0.806771457195282","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":"Q6623797$BEDEA591-76FE-4E27-9FE7-AE8AAEB9314A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee19fc19c1770ee3784151eff4e674ca4d0663e","datavalue":{"value":{"entity-type":"item","numeric-id":4632300,"id":"Q4632300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c33f1bd9d0079b0a3059f3ac18d76cab5931aa","datavalue":{"value":{"amount":"+0.7974886298179626","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":"Q6623797$B97ADF90-6C42-4ECE-908F-9D094CF7C67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5f0c835b312f2296c26bc7ca20a0e5eeefd00f","datavalue":{"value":{"entity-type":"item","numeric-id":4934812,"id":"Q4934812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5f512e995d53726e70009be9091c3c61c08905","datavalue":{"value":{"amount":"+0.7968217730522156","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":"Q6623797$F186A592-CF64-4A24-9F43-FBE08914C4B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abductive proof procedure for reasoning about actions in modal logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abductive_proof_procedure_for_reasoning_about_actions_in_modal_logic_programming"}}}}}