{"entities":{"Q1127337":{"pageid":1138086,"ns":120,"title":"Item:Q1127337","lastrevid":46712385,"modified":"2025-12-25T11:06:28Z","type":"item","id":"Q1127337","labels":{"en":{"language":"en","value":"A rewrite mechanism for logic programs with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189649"}},"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":"Q1127337$44C2662B-94B4-424F-A762-A9744CFB2EC0","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":"Q1127337$BC45407C-D214-45D9-94B4-A6DA2F7B3025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a276015cc94b034a861e1729b2c973524b46309","datavalue":{"value":"0895.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127337$4F7917C4-B82A-415E-B35C-D099080EAA35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf3f67806c947dc0808e26b5ff23ef6414a3c657","datavalue":{"value":"10.1016/S0304-3975(97)00146-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127337$1E84EF9C-5BD2-46B2-B42D-47FDC61D034A","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":"Q1127337$16CC09ED-30CD-4A7A-A384-8898CDFFC048","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":"Q1127337$62B16862-6005-43A9-A158-E5BEF60D6275","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":"Q1127337$50DA1E81-7E7F-4BDD-8149-244C7C587A3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127337$6D9282D0-187B-4B70-A52A-1B187624269C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127337$D96B18B0-52E4-42D8-8369-DC378F3F7C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127337$BFC13815-7878-4A92-A89D-235709B6E01E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41a8706015cedf7efcc19f03731f59c406ce4378","datavalue":{"value":"1189649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127337$919BEA13-2440-49ED-A925-F1BED05701F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127337$431A6C23-4B80-4156-9079-8DF3AAF1DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127337$DC01BA9B-A5D9-4965-A8B1-7D5DF056F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127337$B291F469-C612-4605-A849-ADE363160818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38bd767aade921fe41a6063c8152feec5f14f3b9","datavalue":{"value":"linear completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127337$61C4A00D-AC25-4C21-8FC1-885BCC509321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127337$161F1C1B-5E69-45F0-AB49-8BE96C0DE72C","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":"Q1127337$DF2C166A-BE4C-4156-8E48-239EF9BD459F","rank":"normal"}],"P223":[{"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":"Q1127337$6FA46629-8C0D-4D41-8571-FCB7A8BA55FA","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":"Q1127337$ED0E2B87-12FC-4297-A241-42428BAB473F","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":"Q1127337$5DBA8669-D0B5-44BF-928A-BE3268A081E8","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":"Q1127337$C7D70A71-9734-4BB8-9462-7BD7942F0087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017cc48c9a5e85a9124f5461f3b9157cc76de23c","datavalue":{"value":{"entity-type":"item","numeric-id":5096353,"id":"Q5096353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127337$53101A7B-5C61-47E3-A6A5-901C242ACBAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc203136d07b5870952a098d331539a4d11d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055829,"id":"Q5055829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899127fd755a1baa607725323a904a92da057a69","datavalue":{"value":{"amount":"+0.974864661693573","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":"Q1127337$9F6DF091-64A3-408A-BBFC-1A1B3FBE6D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bddf87c0b8fc0e14509f2da5ecdd88837d8524","datavalue":{"value":{"entity-type":"item","numeric-id":4340538,"id":"Q4340538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3778a9906671124977c756c7942269a3c66d5e17","datavalue":{"value":{"amount":"+0.8528181910514832","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":"Q1127337$61848591-1C8F-4882-B841-F1B634BB6EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f7a023baa30862b78e642630af08fd187940c4","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e130431cd6b89705ffcae07d86c40e77be6e2d7","datavalue":{"value":{"amount":"+0.8354776501655579","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":"Q1127337$BB40EF64-7C1E-45A0-8186-A5ABDADD8D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de8832153664664f76fbceb771e53e64b52e8bf","datavalue":{"value":{"entity-type":"item","numeric-id":4015955,"id":"Q4015955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f60d7f7c04f1bf113130ea869c7730d845daa2","datavalue":{"value":{"amount":"+0.8125569820404053","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":"Q1127337$9EBF7340-067F-45F0-A4AC-45A8EE9117FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1127337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1127337"}}}}}