{"entities":{"Q1893733":{"pageid":1904475,"ns":120,"title":"Item:Q1893733","lastrevid":46391823,"modified":"2025-12-24T16:56:13Z","type":"item","id":"Q1893733","labels":{"en":{"language":"en","value":"Redundancy elimination and loop checks for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 772334"}},"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":"Q1893733$A969AFA4-6228-465E-B41E-FA89575EA40F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffbe8d30264483beaa102ac26cd6544228de3fe3","datavalue":{"value":{"text":"Redundancy elimination and loop checks for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893733$2E03B3F0-167A-4DFD-95C7-1FDDA27ACCA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"527eb5a1e4f36fbe8646bf816159362b05c51d76","datavalue":{"value":"0834.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893733$23A526EC-5C68-4F1C-8028-C488E16FD15F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c3239efbe308ddfff410427570a671cbddac0e","datavalue":{"value":{"entity-type":"item","numeric-id":557809,"id":"Q557809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893733$CB79C2D4-8611-4FFD-B4CB-ECCB1C740B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48aaba96026301d3770e64fb97c672111d7affe8","datavalue":{"value":{"entity-type":"item","numeric-id":1827311,"id":"Q1827311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893733$CBC1568D-C099-417F-BA2F-65FE19DE3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48646ee0a88f542429d2244fe169e8b1fc98c1e","datavalue":{"value":{"entity-type":"item","numeric-id":1110313,"id":"Q1110313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893733$EF154C8B-2DF0-402E-80C8-0A70C68B13CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893733$DA67468C-040F-4FF6-A57A-70E3397A5CC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e89868b1c268f0defa51f67a4a63561a369e84","datavalue":{"value":{"time":"+1995-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893733$5546D166-3A88-488B-B89E-42D498C0FDCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893733$E1F8872F-086F-45A2-B8F2-6A1060D4B7DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca63ebf0faea12ee28fa1e2836054d5a0b1244e1","datavalue":{"value":"772334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893733$9E8FBB3D-5F06-4AC1-AC18-094B2CBB16BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893733$8863AF4E-EF62-4E59-8FB4-C5E7018CD9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974fa2216c591f5634224e0876b0c6af56a6fcc3","datavalue":{"value":"redundant atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893733$4805596E-8FB6-4848-99E2-3DE1EE4F84D1","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":"Q1893733$CD72EEBA-853E-4C8A-971C-6A9AE103781B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d7768bffb5d4358e16080af3b72b3cee8818bd7","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1082","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893733$8DC118C6-3921-4513-8057-28F6E99E5936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bdca18e14254d7b86a167d106a9baf525b13bfc","datavalue":{"value":"W2023204491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893733$DE9064AC-2270-4D8C-924C-E2E001070C93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37c49ce7f9bb4d6a9addff00b038fbc3ebf563a9","datavalue":{"value":"10.1006/INCO.1995.1082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893733$95FEC3B7-4F80-46FA-A58B-AAB37E27BC03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3178cc0e2456d9a9d37cf57f585f7412ff642b8","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7130b1b7a0a8d5e51db2400900b9400996c55f0a","datavalue":{"value":{"amount":"+0.844596803188324","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":"Q1893733$14FF5AEC-42DC-4BEE-A02C-357C19346094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb76fe1015bc32b21db6154a240f0cf6ad4bb725","datavalue":{"value":{"entity-type":"item","numeric-id":1199926,"id":"Q1199926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8c6915d2f82dcd79f47156bdff42e2f29cb2de","datavalue":{"value":{"amount":"+0.8286812901496887","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":"Q1893733$425651B7-FD61-411E-9B9E-8955CF354511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20000f5070c255ed190c8727736c7af936efb6","datavalue":{"value":{"entity-type":"item","numeric-id":4854006,"id":"Q4854006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ce77c1cf4fa2de50c1194030bc8c6bb62472c0","datavalue":{"value":{"amount":"+0.8189889788627625","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":"Q1893733$33149A03-384C-475F-8DB9-8EEFE7B33F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1893733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1893733"}}}}}