{"entities":{"Q5055829":{"pageid":7085406,"ns":120,"title":"Item:Q5055829","lastrevid":40889336,"modified":"2025-04-13T19:47:09Z","type":"item","id":"Q5055829","labels":{"en":{"language":"en","value":"A rewrite mechanism for logic programs with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631248"}},"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":"Q5055829$1EC3EC35-BD37-4E4E-96D6-97CC5CC41B1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd4d68151ebfea3623c437f108efabc3a940c28b","datavalue":{"value":{"text":"A rewrite mechanism for logic programs with negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055829$9DE1136D-5CFC-40C1-8AB5-215D1502B8D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"319ecab7ee02a65f0c16146e83aed45c9569c873","datavalue":{"value":"1503.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055829$197E153C-20D4-41EA-89B0-3FAA14DBB87E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3de6e690d792a124612b8451e487088ef2c7ad04","datavalue":{"value":"10.1007/3-540-59200-8_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055829$74FC12E1-08FC-4FFA-A1FB-A5E374351523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d66928e7f941233a38d3104e0405cbb2b577305","datavalue":{"value":{"entity-type":"item","numeric-id":437034,"id":"Q437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055829$4249EDCC-A75B-4ABB-8073-B95BA51C5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"288dc7275e8b52811cd32903a983c34f369bdee7","datavalue":{"value":{"entity-type":"item","numeric-id":511633,"id":"Q511633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055829$3FF19CAD-EB02-4468-8877-F870524B970D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055829$0A9B5965-ED83-4E91-AA8E-80FD00C74E14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055829$FAFACC18-03CA-4C02-B4F5-8A85D1729CAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055829$D0E03924-360F-4BF3-A1B1-45D43AA4CB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055829$D4E670FC-7B83-4A14-8828-2D17F671BF22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"288d08445fb53cac0e39ca9285708b19f96b1b0d","datavalue":{"value":"7631248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055829$9D8E4F5A-7985-4946-9666-D321B433C7CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055829$E125C068-B13C-427C-A9E9-0CABEA1987E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055829$AA44EA11-A2DC-4C29-A604-5DCC67D3101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055829$8745A3D1-7A9B-4CB8-BD39-125CD58C7593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38bd767aade921fe41a6063c8152feec5f14f3b9","datavalue":{"value":"linear completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055829$30803ABA-6723-4785-BC03-C03E43193356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055829$B028CC0B-ED7F-4465-BD64-F407D3962F89","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":"Q5055829$790CA2A8-BC34-411A-9946-FFACE8315E4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14c45b89562096bd904744268efc597d52cb4b63","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055829$90E13921-8F7F-4D5A-AD9C-C33FC49EA833","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca2a9184019ccd7c8b411a47e608b0d9e57c7570","datavalue":{"value":"W2126097543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055829$988AB4AC-82BD-4B26-AFE7-931F5EEA3F94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f960a8d5b8d0104b389a8d22b3420bb7b942b30d","datavalue":{"value":{"entity-type":"item","numeric-id":5055829,"id":"Q5055829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055829$C471A4ED-0C07-4E1C-8C08-3CC4F1749FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3988f573486bc39534cc4acf743cb25ad4c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4015955,"id":"Q4015955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055829$433CC5B4-C184-4B57-9658-35F7FB84E3A6","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":"Q5055829$13AA51B2-A819-4AA6-9054-ABB74FF3CC35","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":"Q5055829$64A7320C-7655-4E91-92AA-DFFA9067BC17","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":"Q5055829$187CEA96-DDAA-46C3-B717-5578737C89A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6aaa1a5e0d0f76a93d6782bb8984caaf5e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1127337,"id":"Q1127337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$CE797FFD-1A9D-43FA-8189-8B4F49922696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be13f8f54e6cdd49feb173cc54dd59a7a8a3f429","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f3eac74035be53e7d5789519a47f914de7b4d8","datavalue":{"value":{"amount":"+0.9140629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$A38C5AB7-C12F-46DD-AC81-255F3B83E5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55de0d0843227789b90c392b99e4d59429269a40","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15d2047c351bcb681699464b6203630bd19995f","datavalue":{"value":{"amount":"+0.9119754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$265C2436-453D-4E1F-8157-C5FEFE3D881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fcd75b7ecaad7f8548dde21fd7d0201185d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812973,"id":"Q4812973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8408cd2386d452a9136f9dcd916fc9cbf0ebdc","datavalue":{"value":{"amount":"+0.9116672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$3191AFBA-7F18-4016-9892-B61C7DF9B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d58088d4fefb84eb703cbec22bd3576275afc44","datavalue":{"value":{"amount":"+0.90506834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$6E12A3C9-C424-4595-BA49-97B0E5A0CF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4015c7edd08aa302dde3b18ed9e10718a9b625","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730959f85738a79cd511bb01cf88612b661ac0a5","datavalue":{"value":{"amount":"+0.9005223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$E9BDC55D-9096-4935-8B17-201A50A6F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5df26af8858c7f89f0c823ae3279e1f9f8cef74","datavalue":{"value":{"entity-type":"item","numeric-id":5096353,"id":"Q5096353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dcbe1f379c3311bed65f35bb574e6c8ce1e5ecb","datavalue":{"value":{"amount":"+0.89484024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$A2EE37B2-FF9A-42F6-A189-344DB697E58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9384d301adb94b0448b78e947fe4261d45d08","datavalue":{"value":{"entity-type":"item","numeric-id":4283249,"id":"Q4283249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014d262bcf831f9e82d3ba91f9e88b318d7380b7","datavalue":{"value":{"amount":"+0.89448977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$F5C1FA35-BF33-4384-B51F-8D58D22C7D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16632bb991e4fa09fd1ed9d6135e8f9ad7a6eee","datavalue":{"value":{"amount":"+0.89244175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055829$0D2F7D55-57F2-4B71-B144-87CDFE0191BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055829"}}}}}