{"entities":{"Q3087440":{"pageid":3098155,"ns":120,"title":"Item:Q3087440","lastrevid":58105212,"modified":"2026-04-03T20:02:51Z","type":"item","id":"Q3087440","labels":{"en":{"language":"en","value":"Non-termination analysis of logic programs with integer arithmetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939281"}},"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":"Q3087440$B7F3ABC5-2D0B-4380-8935-CBD54902FB67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69b9a83fadee8a679f4c45f11307f4ac606082b7","datavalue":{"value":{"text":"Non-termination analysis of logic programs with integer arithmetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087440$B8CDAB08-B5EC-4F1A-A81E-DAD3DD414DD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"894c12d670f757ca169d813fc1e85cfe1116a9cb","datavalue":{"value":"1222.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087440$7A5A0E76-548C-4C75-8E17-C48EE32752D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e99a413b1af20ca480a2370508f3b2747afd6e45","datavalue":{"value":"10.1017/S1471068411000159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087440$ABADFE53-CCA1-45B8-BF18-1C2043DAD353","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":"Q3087440$7910C8F6-2747-4D0A-BD39-072AC1E938D1","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":"Q3087440$06552F84-335E-44BD-9DA0-69018DCD9707","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$B89729F8-2085-4B18-BC2A-AF01602EAADF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087440$967488D3-7F05-4DBB-A9D7-127F09649F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e5ad2f688e062b9ad4670a65329edf8598fc58f","datavalue":{"value":"https://arxiv.org/abs/1109.3256","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087440$9EE52B58-2763-4028-AEF6-B6B84B8EA85A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087440$7ECCFFC3-0B86-4182-ACB6-308A574D2076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce5aa661fe21089a05ebf9a7d69b1450761ce56a","datavalue":{"value":"5939281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087440$A6A7D526-660D-4002-9084-9ACE951D3944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a56632ba4c75d8c4fe4d05389983032f7f9faba","datavalue":{"value":"non-termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087440$5DFE806D-C84C-4135-86B3-F9506790AE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99b532a1032381434d638bfbbd30ca5840ac160","datavalue":{"value":"numerical computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087440$0D0B6AA7-8161-4C19-BFB1-75302ECBCC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5ef228b648f89f3f83340da38fc438482bee42","datavalue":{"value":"constraint-based approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087440$040EB4DC-63A4-4C6C-A7D3-2F7751796EAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$9BDFB7BA-6459-4998-AFC7-0C63DEAF9D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$C455746C-2CE2-47B2-BDEB-DB4E6955C0FB","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":"Q3087440$797BA20D-595E-4837-BF10-D5696399CEE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c61b3a266ce0b95b2ba3e58ade5e19e85b58ad5","datavalue":{"value":{"entity-type":"item","numeric-id":5267437,"id":"Q5267437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$147F666C-4421-45C8-A7CC-4C85B7956CEE","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":"Q3087440$75AE7303-E7A9-4A17-A0BD-A92EA1DCDC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46c3de07f9e8d29571fb9dc8d16b42e655cd701","datavalue":{"value":{"entity-type":"item","numeric-id":2996199,"id":"Q2996199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$9569F835-E55D-4D0A-A30E-73490567F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6145ffc82ea65df5ba274fc78a24812b87b1c2b8","datavalue":{"value":{"entity-type":"item","numeric-id":3087808,"id":"Q3087808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$34974AE0-00E8-4F7F-98C5-48CB23AF5E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087440$F76E56DE-4AC6-457B-9E7B-819E610D5BD5","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":"Q3087440$DF5A447B-F985-471E-9E74-929D36C31D17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad01c456b37eca1a5fa95f3d24214578c265376b","datavalue":{"value":"W3099640838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087440$A92FCB92-F269-4EC1-90DF-004C410273F1","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":"f8ff19bc27eeb648fe89d860ed0b85f94079d918","datavalue":{"value":{"amount":"+0.8351679444313049","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":"Q3087440$DA86B965-BF97-4FA7-81EB-9AB4469D7075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58839a2cf3aac3947a41a9a1de6cbeb0f7b07386","datavalue":{"value":{"entity-type":"item","numeric-id":4649732,"id":"Q4649732"},"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":"Q3087440$4573F191-7A91-4E5F-A296-2B343C4910B8","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":"f471fc5bc165d306558d839ca8f6f0e402b2742b","datavalue":{"value":{"amount":"+0.7846230268478394","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":"Q3087440$C9445AF7-463D-4F33-9AE2-C2D0B8F73D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e564691de7f9040156cd8409db89828c9cb15f","datavalue":{"value":{"entity-type":"item","numeric-id":3621267,"id":"Q3621267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebba13096dd345b1dda0d776dfbfb55ac2c92c5c","datavalue":{"value":{"amount":"+0.7846173644065857","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":"Q3087440$6E4E5312-CB4C-4AE2-A8E9-3C58D15E4F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d8f0d3c44ecb83e8a9e669053790cccb19f598","datavalue":{"value":{"amount":"+0.7821621298789978","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":"Q3087440$35399CE5-66E3-46F7-9115-4476340F2EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087440"}}}}}