{"entities":{"Q4209293":{"pageid":6238894,"ns":120,"title":"Item:Q4209293","lastrevid":46581408,"modified":"2025-12-25T01:59:06Z","type":"item","id":"Q4209293","labels":{"en":{"language":"en","value":"Abductive analysis of modular logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1202875"}},"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":"Q4209293$874B770C-F839-4D09-9849-547F0DAD4C68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b60e093d9d9d89caf06a55be18cd11c4254566e","datavalue":{"value":{"text":"Abductive analysis of modular logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4209293$E8DE18DE-EFB8-4CB9-B7DB-4D9A765CA5B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef7d5fae8b35cbcfaa6862546e8137e62dbd1be5","datavalue":{"value":"0904.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209293$F9C5F07E-01E9-4175-AB21-023EB8C2F013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4209293$C456D3D5-8293-49B0-A6F2-D780DB03B1D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8d9e89658a8e2f6dce60f1d6614a42f4e608c3","datavalue":{"value":{"time":"+1999-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4209293$0FE8F21C-D4DA-41B0-8E4A-B735ADB25490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60be1bd1a1bc3bc3b77902e0c93f5e16b3faf684","datavalue":{"value":"https://semanticscholar.org/paper/8b41f2d85262928e417bb24a8302439f42436681","type":"string"},"datatype":"url"},"type":"statement","id":"Q4209293$527930D5-2D15-403A-BF52-05275CA75432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209293$5373DC8A-A126-46ED-83D7-CB73BE3C2FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209293$28C2D7A4-C596-4789-A008-59C3977AC5BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52b61b4596d171145946538e96f6656626600117","datavalue":{"value":"1202875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209293$66FB6DC1-40D6-4F64-97DA-CE63AEA95A1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21657f9d8b1649d026cf605484ae3f8eae1698a","datavalue":{"value":"abductive analysis of modular logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209293$41F3B818-7332-4C56-B1BA-850762EA9EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b36357255e9720f5678c2109305854cbf81d87","datavalue":{"value":"abductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209293$9EB5D2C8-0937-445C-BF45-FDABACD6196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271179bc85055260a34d9b6149f5aeab6fffe19a","datavalue":{"value":"dataflow analysis of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209293$E82B5FD3-FAF2-4685-9A10-FC9EC6E44853","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":"Q4209293$150ADD33-79C7-46CE-ABA2-E667E3272140","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aea2d41591a089d4cbac692216adf31a38da6fe0","datavalue":{"value":"W2014528910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209293$3E003047-76DC-40B3-BCE1-9004890D53D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d3da264d91b0565778093a8fb1db28898561138","datavalue":{"value":"10.1093/LOGCOM/8.4.457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209293$2D1661F5-B47B-4E7D-A211-893605D3F857","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":"Q4209293$4A535EC7-4EB5-47CA-8878-CAF41392E2BD","rank":"normal"}],"P1643":[{"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":"253793654d4107226a60f56a129bd75bf306d354","datavalue":{"value":{"amount":"+0.775480329990387","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":"Q4209293$6BD6FB11-7998-44D9-B424-76632080AC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b641cdf3032f11c5b34504ffa90d83db50a89d96","datavalue":{"value":{"entity-type":"item","numeric-id":1614866,"id":"Q1614866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054585f798a5ce6308fc80c130458f0117b7783a","datavalue":{"value":{"amount":"+0.7635536193847656","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":"Q4209293$7D2B0A63-D1EE-40B5-B0D1-DE8B0E34D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45004830ca2ee24bc4ecdf6ea496b3520dd48c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4452607,"id":"Q4452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4e807fdf63cc3ae8ff76d19d308c98ffe899ca","datavalue":{"value":{"amount":"+0.7630569338798523","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":"Q4209293$545CFA86-3410-4E00-A046-3B4346911094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9afecf6c784a092e71d2080522ae9c3914970c2","datavalue":{"value":{"entity-type":"item","numeric-id":5712547,"id":"Q5712547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3af943913ca36365e549152ce65d6e19f19371","datavalue":{"value":{"amount":"+0.7597448825836182","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":"Q4209293$B7A10155-6132-4D65-8C82-5309C7189562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33496806bc50a091c39feb747096092443281dda","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95121b4ea0ecd4f72d1d5287f393cacb255ab6fb","datavalue":{"value":{"amount":"+0.7582891583442688","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":"Q4209293$44D67931-C28D-4B2A-8BFC-E63230A08055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4209293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4209293"}}}}}