{"entities":{"Q2946588":{"pageid":2957308,"ns":120,"title":"Item:Q2946588","lastrevid":58062750,"modified":"2026-04-03T16:02:38Z","type":"item","id":"Q2946588","labels":{"en":{"language":"en","value":"Automated termination proofs for logic programs by term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483098"}},"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":"Q2946588$D07D8A04-B4BA-49E2-AE02-099F903AF8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b2f59eab6b1c956dc33a6fe14e0d8ee8a019e91","datavalue":{"value":{"text":"Automated termination proofs for logic programs by term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946588$72CA505C-EC3E-4A42-A471-F7F4DCAAD144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a30c50f522e6a2771533e9c619323735e00f6865","datavalue":{"value":"1351.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$75C39691-BAF8-44A1-816C-031AFEC92766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07b880759acc019f68bd3aa886fa2656d3d48c33","datavalue":{"value":"10.1145/1614431.1614433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$B55165EE-C392-4800-BCF4-6FA039C1EB96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946588$002862D8-8D6D-4CAD-93BD-C136AA690704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946588$DA0B9C6A-3F53-49D9-9747-FF2398B19F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9024bd961b47c56bce1b473c968c94a7820ac985","datavalue":{"value":{"entity-type":"item","numeric-id":199250,"id":"Q199250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946588$29F7F41F-1181-409A-ADA9-43BCB83B0264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946588$A57013BB-1601-49E6-8DFC-335453DAEB46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946588$06F0C9E8-181F-4EE1-B371-55870784C828","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946588$022651F3-2C31-4DA1-A3DC-A0D35BD3AA62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"246b3cbbcf2086b3e551f371b00feebf184fa2ab","datavalue":{"value":"https://arxiv.org/abs/0803.0014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946588$7773BFCB-CBFD-469D-A503-5BCEC6889E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$998BE1DA-72A3-45D6-A6F8-FA38878759F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$DE35C9A3-33F7-47E0-9606-6EE0037F519B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9be3e2927a0e98a6db2d3a346606b8095d3d9fde","datavalue":{"value":"6483098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$C3340B01-E9DD-4F59-B2F5-85E48A7C9F8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946588$BA4DB825-4F6E-4BC0-BFEB-FEC526FD50EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946588$7F88CADF-34EA-48E6-84FC-6AAEC80E04BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946588$5516EDD9-FC23-4871-81C0-12801DD6B901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946588$6F99CE0C-53F5-4539-99BD-1E7CFB16AA74","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":"Q2946588$280405A6-F74B-4056-B308-A944032F29EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"296fc40bdebf93e5bd483454d6275df637b57f12","datavalue":{"value":"W2137327104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$42C44253-096B-40FF-8117-5CB47A1D14B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"698a978fe3377d3c91f62f1b4d051bf2ee8176ee","datavalue":{"value":"Q130867549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946588$1567DCCA-992D-4377-83AD-9C5781749B6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62960d73e0602301806b28cc3b262548e8afa61","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fcf3d523ee44599ee6d602ccfb63cea50e3914","datavalue":{"value":{"amount":"+0.9924812316894532","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":"Q2946588$1D3CEB89-1A65-4781-9F56-9C69396FC230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567b863fa1fa6f6d3f163f88f8159158a7e7d15","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21649545450f9bccf67af3db045e3779e58429fa","datavalue":{"value":{"amount":"+0.8901676535606384","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":"Q2946588$94D1F8E7-A712-43D7-A208-4412FA3E1D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b2cbb521f8e682ac208b48ef0a0ee8b5c7ca06","datavalue":{"value":{"amount":"+0.8673513531684875","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":"Q2946588$3429B67C-225A-4AC7-9AE1-CD75B4BE728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7716a6fe06545e9e584d2b6fd0fb653bcb44fe85","datavalue":{"value":{"amount":"+0.8620997071266174","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":"Q2946588$BC205225-7CEF-4CC5-A5DC-5A0877FBEA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8796ce8bf058683fd40cdab776c9fe2377727c33","datavalue":{"value":{"entity-type":"item","numeric-id":3585154,"id":"Q3585154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499056e220e70968ecae346add4d50965096d29f","datavalue":{"value":{"amount":"+0.8575886487960815","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":"Q2946588$F42306D1-6CF0-4C2E-B89B-F3B961DB924F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946588"}}}}}