{"entities":{"Q4649732":{"pageid":6679313,"ns":120,"title":"Item:Q4649732","lastrevid":51593552,"modified":"2026-01-18T23:36:13Z","type":"item","id":"Q4649732","labels":{"en":{"language":"en","value":"A new approach to non-termination analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6105007"}},"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":"Q4649732$19A72B4F-136B-4810-A0D4-2C212C17251E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3d86f5112e36fdef3a02eec29cbb80f66883bd8","datavalue":{"value":{"text":"A New Approach to Non-termination Analysis of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649732$B066EF83-D524-4815-903F-F316F41C6F35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd7dcb5f7bcbd2d8668585761657e62df701ec2e","datavalue":{"value":"1251.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649732$0C6E53BA-E550-4D64-85C8-B7AEF13D2031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ae4117d78a282f4da5b011f2e1d00129285318f","datavalue":{"value":"10.1007/978-3-642-02846-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649732$65770D47-28CF-422B-BB69-BB3106772E48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f735a8e2276a5766f544e644ab5ee3540e997a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3003490,"id":"Q3003490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$DCDF3D28-F3DA-48E0-8477-256F5AA95ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$4D0B765F-4755-4DD4-BC1B-3083AA700526","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$E949E154-801E-4753-9049-A1130AAC7C6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c80839e4a0921a35f61ead63f84da81a31ae4c5","datavalue":{"value":{"time":"+2012-11-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":"Q4649732$5DDA535F-3B31-4BF5-AAA1-9D549E816713","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f36b9bda3fc0f0d4af7470181dba89a73a63bcb","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/243648","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649732$0F75DDAD-FD35-4FD5-8C23-2F907751EE2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649732$1C5C3181-EA08-47F5-9218-DCD6F1FA90CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4399f662b9882eb6bc703da783a1032670ef74ed","datavalue":{"value":"6105007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649732$B726B9EB-5FB7-4F5B-83AD-CAABCC31B8B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a56632ba4c75d8c4fe4d05389983032f7f9faba","datavalue":{"value":"non-termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649732$C07D196C-8ACA-4ADF-AA9B-C5A60AAAA509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649732$8F380738-4EFC-4A8F-A5D7-781CBADF5F7D","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":"Q4649732$8F96A76C-DA8B-47DE-A641-6DBF3F5B8C87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e61844498d4410609b3023e194385e3a86e0bea","datavalue":{"value":"W2144853448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649732$DEE605BB-BDDF-4FA8-8805-9ADA36DFEC00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1291ff7dea3833c0860370b71c8eb25d3ce89139","datavalue":{"value":{"entity-type":"item","numeric-id":4854006,"id":"Q4854006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$E16F162F-B6F0-40F5-BFFF-C20723AD2031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79312d1305ea6592b71f4c2c4d5b37eec1d1cd00","datavalue":{"value":{"entity-type":"item","numeric-id":5504589,"id":"Q5504589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$7B576134-2373-4524-91B7-4D772203E426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$48185D75-077B-4AD7-95E5-A19C6BD26E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b040ec544fc613ad61a95f012a9ad2330240f2","datavalue":{"value":{"entity-type":"item","numeric-id":4673545,"id":"Q4673545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$C9D3D6CE-39AE-40AD-AC63-B1E0B6CD23AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7025b242d2e0b571a0a74c4db8bdb30375fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$6CA6E0F4-6F1C-44EB-A918-66EA487FF17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e3cb7223083782a8dc36f4146dc55f0c225658","datavalue":{"value":{"entity-type":"item","numeric-id":3648357,"id":"Q3648357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649732$342029D8-B066-42AA-A436-3A49947DDF7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c658cf8c43026c035d383efeeecf87d13fd52fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3003491,"id":"Q3003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010d7918ee7dd5f2728e0d295e75b5e1ef26e947","datavalue":{"value":{"amount":"+0.843241274356842","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":"Q4649732$1ABBB8B1-EF54-4A49-AF66-C8FEBAF85BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ef01c391bffd62eb7d29ea1585e0e4596bba11","datavalue":{"value":{"entity-type":"item","numeric-id":3087440,"id":"Q3087440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234167687f30fd74fdff27a199318f9491aff66c","datavalue":{"value":{"amount":"+0.791020393371582","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":"Q4649732$2D2F62D8-52E2-44B6-BA8E-C917DC46F490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ac474efdaff1b0a7b8c011a45419400e14a68d","datavalue":{"value":{"entity-type":"item","numeric-id":4411982,"id":"Q4411982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96d099de336bf5843521abe661b77123c17b919","datavalue":{"value":{"amount":"+0.7839950323104858","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":"Q4649732$D295EB8F-17D4-4F94-A606-7165957066A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510ff608301ddd9705eb6af6329124ec69d95c15","datavalue":{"value":{"entity-type":"item","numeric-id":3648357,"id":"Q3648357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3a27ab739df062a3195859d224d552a8fd0dbc","datavalue":{"value":{"amount":"+0.775991678237915","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":"Q4649732$B06A87E4-0E81-4178-9098-0256B589D1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1473c83c7ae853c2664cf24c1f9260ea9c9e67b","datavalue":{"value":{"entity-type":"item","numeric-id":5398306,"id":"Q5398306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3826084368d6b4379c5947d29dbbc88fdb022eb2","datavalue":{"value":{"amount":"+0.7747658491134644","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":"Q4649732$2BBDF909-FE77-4D9F-8646-0B058118E40C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649732"}}}}}