{"entities":{"Q4713088":{"pageid":6742665,"ns":120,"title":"Item:Q4713088","lastrevid":98000384,"modified":"2026-06-05T16:02:06Z","type":"item","id":"Q4713088","labels":{"en":{"language":"en","value":"A transformational approach to negation in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5520"}},"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":"Q4713088$F6F26A2F-924D-4FE5-A2B0-A8928CBA448B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76c6c6bdc6807acc9241c8bd03b25fe13b1f7992","datavalue":{"value":{"text":"A transformational approach to negation in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4713088$4DAAEA32-2596-4127-9564-C0CC26DE7E9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d286f171b550b7c632dddd6fe5dd2facbeab53fa","datavalue":{"value":"0796.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713088$8974E41F-56EF-4A25-972F-CB93D572C16C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30249eae620aa2c764f4a9e6ce7e8e8a357411b8","datavalue":{"value":"10.1016/0743-1066(90)90023-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713088$C6D57887-25F9-4DAC-AC34-9F38403D41DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713088$A604EF62-9236-4429-AE54-1BDB35879E15","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":"Q4713088$73450B69-378C-4818-B93F-8EBFEC219DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86d2ae42b4ac6b7475aa3d6d5d960440f9add9b","datavalue":{"value":{"entity-type":"item","numeric-id":672702,"id":"Q672702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713088$4098834B-7A6C-4C8B-BF93-CA112C19C9B0","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":"Q4713088$0C649E53-DF37-4469-B600-21CC70ACB5F1","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":"Q4713088$2F2DEFCB-52E6-4AC3-9F30-EF9DC8D423E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4713088$667B0A39-4CAA-4201-A286-696ED2420A50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713088$A98AE9F9-A1B8-4189-8BF9-C5D5ED2493F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713088$2B487642-018C-4AFA-9F8F-4B38BBCADFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713088$A4017753-2BBA-4CA6-8728-7EC25A3CE29B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7646e4b7aa8b86801da9d3b6d98ce0871f860549","datavalue":{"value":"5520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713088$E3744A67-CFFA-44E8-B03B-529B693D8C58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713088$43C1A19C-01C7-4E48-8A0A-A47BEC05CB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713088$6D712A78-81DD-4BB2-A00C-0FE78A661C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713088$30AB14C1-F76E-4005-A3CD-88AEA0947751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713088$205EC598-A69C-4097-AD67-8790BB0D7053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713088$C8F469B4-9BF4-49B4-B1F8-F12029282D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed74cc145d5a695614204baadff73e56fa3f1be","datavalue":{"value":"SLDN refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713088$098B8176-4D06-453A-9FD7-FD3332C14661","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":"Q4713088$23BA43BA-379A-4C9A-99BA-A6006E6A9930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f51ccdf4cb08ad419d000448381c0f16cd8f00a","datavalue":{"value":{"entity-type":"item","numeric-id":3773305,"id":"Q3773305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79e09720b9783bda2b0d8c2dd17bb424e7249e9","datavalue":{"value":{"amount":"+0.845529317855835","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":"Q4713088$68D5C3CC-5D5E-4430-92FB-163815CE2ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ccbfccf42c5d68d51faf102fa1cf0200a4ceeff","datavalue":{"value":{"entity-type":"item","numeric-id":1898466,"id":"Q1898466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d609d6d4e74add46e9aafb791b0a016e0b559a","datavalue":{"value":{"amount":"+0.8320292234420776","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":"Q4713088$998021FB-988F-44AA-8C3B-4B6081335489","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":"3899f7cef74491b1b432a00bd803ad94dd767dad","datavalue":{"value":{"amount":"+0.8301900029182434","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":"Q4713088$720A261B-537B-4090-8639-01E1289A0DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae991310c4eaa2d67c30ac0b2bc5888ba480b86b","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd0aa1a91ee20587a8795782f4dcc4e6b041b95","datavalue":{"value":{"amount":"+0.8299519419670105","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":"Q4713088$E399A5A6-17F8-4173-B7D0-198C06C51E8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A transformational approach to negation in logic programming","badges":[]}}}}}