{"entities":{"Q3789103":{"pageid":5819009,"ns":120,"title":"Item:Q3789103","lastrevid":52766465,"modified":"2026-01-23T11:15:42Z","type":"item","id":"Q3789103","labels":{"en":{"language":"en","value":"Complete logic programs with domain-closure axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053064"}},"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":"Q3789103$A9D15E2E-9995-4EF3-ABD6-95E0CCA8D98F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f40a112f1a6db3293ceb8325cb936e0e698e778d","datavalue":{"value":{"text":"Complete logic programs with domain-closure axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3789103$D54FA88B-7E9F-469B-8797-F6FF17287CAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e87d4607b7b58da725fee653559c163e802940d6","datavalue":{"value":"0645.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789103$D0B0C135-7512-4B12-A9E7-E3757173C0DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33bf7f38c5fe7219b30fa1d228de5687481b360c","datavalue":{"value":"10.1016/0743-1066(88)90013-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789103$2487F619-352D-45C7-AD35-68988AF4FA4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789103$20C1976E-E013-4A2D-8713-CC63FFA2B299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789103$681116A7-7327-446B-9AA3-8E319DE4EBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b4064b83e75e299611282f04361c538a98060c4","datavalue":{"value":{"entity-type":"item","numeric-id":1390931,"id":"Q1390931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789103$BC7E1CEB-2568-4E7D-9F8E-DC83C4CEA3E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789103$E54AE1EF-0504-46F5-90A3-42968B14A2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3789103$704F395A-9980-4B13-88AB-DE0DCE56C9C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789103$8E13DAA5-B71F-4D11-A34B-69BFC5DCD370","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ee203e0e088fbef829410e1f4497ca72333dd74","datavalue":{"value":"4053064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789103$ACA66334-F449-448B-A6DE-E45344471CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781da955317d3ab48e7f60d458a22be1cc3bbb0c","datavalue":{"value":"domain-closure axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789103$F829BFFE-90DA-4E8D-AE7A-9F26A30647F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789103$5F326372-0CFB-457F-8490-5A2E54F14D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789103$74DBDBF4-5CB4-400A-9DDF-4484A0AFE0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3523dc04c7104820ca6c3c87eeab355e9c0030","datavalue":{"value":"proof by case analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789103$93AB8A1D-F685-4841-BF08-C34260E4433C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789103$5A754E9A-6509-4658-8EF8-C8F96A54634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789103$04CD919E-CDBC-4F0B-8996-2F2A3E39CD8F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db488c83f56cf5968a28937925e63a94119676f4","datavalue":{"value":"Q114683457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789103$A22CDC62-D7A0-4BE3-B3B8-4F0B9C61B826","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":"Q3789103$815529AD-B908-46BB-8A34-6ABA1D5DAF44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10f0854daa8f385598400d711653e9595609db43","datavalue":{"value":"https://doi.org/10.1016/0743-1066(88)90013-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3789103$677A251C-ADF2-4B23-B1F2-F33B1BDA07FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba592d0917cfeb67b7fd0f4f04c407afcaa5ef32","datavalue":{"value":"W2025406423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789103$F7247E68-047A-4AB3-B766-EB56FC9D36CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4f8a1b7014bafb92bc1fc5b789a74447632890","datavalue":{"value":{"entity-type":"item","numeric-id":1190477,"id":"Q1190477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c294a67de6b91fba2aa47a72f955e818b59ae32","datavalue":{"value":{"amount":"+0.8208763599395752","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":"Q3789103$0CEB94DA-EF47-4BD8-82FC-BADA0A0FD578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56edaf5ecf91e67e7cd8f4c7a79cd2143a3f3a95","datavalue":{"value":{"entity-type":"item","numeric-id":1277302,"id":"Q1277302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c294a67de6b91fba2aa47a72f955e818b59ae32","datavalue":{"value":{"amount":"+0.8208763599395752","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":"Q3789103$770A80EA-62B2-4F28-8B0A-A7FD0CECAC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7a468e9bb78d84740138070bd952c409d0c239","datavalue":{"value":{"entity-type":"item","numeric-id":1101250,"id":"Q1101250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1f04d70880b1de4b3dab2400592187bb7be573","datavalue":{"value":{"amount":"+0.8176193833351135","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":"Q3789103$4176064A-87FF-44E7-833A-44B04CDA6264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfc411987926c5d3e1ef10393b467bc8ebb8b57","datavalue":{"value":{"entity-type":"item","numeric-id":4275257,"id":"Q4275257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c600acd8f354d8968f7b66b1358df29fb9bb3486","datavalue":{"value":{"amount":"+0.8149520754814148","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":"Q3789103$F5AC33AA-FFF7-440C-ADC9-85264C4C5854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a387fef49d8a3ed1a994cf0014f7e6b69d5003","datavalue":{"value":{"amount":"+0.8148660063743591","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":"Q3789103$48AFF2A1-47FC-4FB2-AA01-C07ECFB6A6B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789103"}}}}}