{"entities":{"Q671511":{"pageid":673360,"ns":120,"title":"Item:Q671511","lastrevid":63457719,"modified":"2026-04-11T13:17:45Z","type":"item","id":"Q671511","labels":{"en":{"language":"en","value":"Three-valued completion for abductive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983344"}},"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":"Q671511$7782D137-7A07-45B7-8409-D0384EFDE7CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"111fba2bc66541614caea1839b548fadf1ab3d6f","datavalue":{"value":{"text":"Three-valued completion for abductive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671511$CE65110F-B432-41E2-88AE-FD732B4CAA31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2075edd6a7d4c82947a1dd143fd9b40e5c976315","datavalue":{"value":"0872.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671511$BF2585CD-81EE-4AB1-8537-B945901BBF09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6783a363d84f88c8a6baebb80b46a067e9a15dc2","datavalue":{"value":"10.1016/0304-3975(96)00044-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671511$4EC2F6C7-FEAB-416E-BE0F-2ED6D52A49BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244719c7d8a73f67f0fc4f4a42deb4bf2cff88a5","datavalue":{"value":{"entity-type":"item","numeric-id":671510,"id":"Q671510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$A53C5A53-9627-4D08-AB2D-546BB1CF88D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$E56A146D-0988-4193-9EDB-86705AF46999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671511$BC3AA71D-FDFA-4788-A94A-5106C48B8F9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"136eeadb7809457608053490d54a091190c2b73e","datavalue":{"value":"https://ir.cwi.nl/pub/2192","type":"string"},"datatype":"url"},"type":"statement","id":"Q671511$1040DCBD-727B-4D49-A1A5-419A609D084D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671511$70855FB3-18AA-4EA9-8FC6-9132DF5DB9F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d2dc184d601686cd4e0bc6b55158296c3ae6f58","datavalue":{"value":"983344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671511$22369BED-EC3B-49FB-9CDD-3D5256FDACBC","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":"Q671511$2B8E34DF-E386-4B7A-991F-BC32E1B228D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e867a992d55afb40c3300fc68678554ffa85dc4f","datavalue":{"value":"W2119966759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671511$9F3B4848-7114-46FC-9AF0-61ECB93BCDA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b0fc355d7fc7d93efd003eb851afde985ba8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3983042,"id":"Q3983042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$A02F8C25-BBC0-4651-BD6F-9B73EAFB1367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$C9663450-BA51-441B-8590-0F83821CAEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0bc89814af24000e25c779d2545d67fb85860","datavalue":{"value":{"entity-type":"item","numeric-id":3361915,"id":"Q3361915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$ED50D0A1-69C2-4001-B007-CB413FFBD921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6944c9ec10c1da39bf731d21ffc1c687fc0cd545","datavalue":{"value":{"entity-type":"item","numeric-id":3841101,"id":"Q3841101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$A44F6274-03C9-4A6C-BECC-04567AB4685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb45665eb481f8b77c43534acd19e842a4059d5","datavalue":{"value":{"entity-type":"item","numeric-id":4849644,"id":"Q4849644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$03C370D5-C473-4CA9-BEAB-CD3A13623FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$01B4BE0A-2484-432B-8F21-BB8BDE74B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$D6ECF8F6-7635-4AE1-AA24-CB3CBB8E5F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$091AF22F-B7CA-4175-9167-4AF8B5360885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10368cc323e5ed62787e3912961c1f5384475a2f","datavalue":{"value":{"entity-type":"item","numeric-id":4015962,"id":"Q4015962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$D718D81A-15AC-4305-9FF8-7E4E1850171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$21B19C99-B7E1-43D6-B367-F2312D1F1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$0556A2FE-53E4-4C95-8446-CCAE929874D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$21CD1545-940F-4B43-83BF-8FD7171074A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0708ad73a5afcd80697758579a0afbed2dbed0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4537512,"id":"Q4537512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671511$0E7BF627-83CD-4184-91CF-D7F5A81E42C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17baf5196de38637ce4f8bac1577655bf8a7692a","datavalue":{"value":{"entity-type":"item","numeric-id":4537512,"id":"Q4537512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171854931844ea00e2e3f4b2da826c73bb03b9b2","datavalue":{"value":{"amount":"+0.9569823145866394","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":"Q671511$9842BE65-DAED-4E34-991C-83AF3E8AAE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff47545c9783968f0758737e114edcdcb734223b","datavalue":{"value":{"entity-type":"item","numeric-id":3988059,"id":"Q3988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162e3f75118946b9270002280ef814d394b0456b","datavalue":{"value":{"amount":"+0.8336877822875977","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":"Q671511$7FBEBF78-A1DB-46F7-98D0-EEE4EBB14D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e334dac22e9c2d76f00d911c7524e69172ac837c","datavalue":{"value":{"entity-type":"item","numeric-id":4371992,"id":"Q4371992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d76efc35aa03f9cca24087506060275cf5980b0","datavalue":{"value":{"amount":"+0.8260249495506287","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":"Q671511$C54E98E6-5F5E-49B6-AFE4-9DFDBF05FAF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three-valued completion for abductive logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three-valued_completion_for_abductive_logic_programs"}}}}}