{"entities":{"Q3585154":{"pageid":5615058,"ns":120,"title":"Item:Q3585154","lastrevid":58214868,"modified":"2026-04-04T06:35:37Z","type":"item","id":"Q3585154","labels":{"en":{"language":"en","value":"Automated termination analysis for logic programs with cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773232"}},"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":"Q3585154$EFD3823C-CD07-4968-B6C8-936A51FB2768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db919a56874662d4bf34ebaab50df5f3b7f7c83e","datavalue":{"value":{"text":"Automated termination analysis for logic programs with cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585154$6960A968-2229-42CA-BC91-B84670066067","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0902cd47c7ce55471dff0b9fa1f359c628e3046","datavalue":{"value":"1209.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585154$2BCF78F8-ECF4-4282-8C2D-E834ED0D07B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6cd0dfd8fb9abf69c75247f0be85f5adcf613f6","datavalue":{"value":"10.1017/S1471068410000165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585154$C1E309C5-D389-4986-9F53-27C434F317AF","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":"Q3585154$5B34FB1C-33D2-462E-8718-3E5693D5E130","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":"Q3585154$E425CFA0-EE32-4073-A07A-64FEA71DBD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d502f8409806637c1bdf4f049fbbcf18c395dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1647968,"id":"Q1647968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585154$C96D5D9E-BD4B-4539-AA8F-E65AEEBCE28B","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":"Q3585154$A567449B-5BFF-443B-B94A-8CDD947AADCE","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":"Q3585154$1920DA15-6D8F-4D5C-9914-121000E87995","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":"Q3585154$FA83357D-41E9-4D53-A436-42766BFC626A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585154$4269AC61-D415-4961-BCB1-B4A04FE2FFDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dc09c3929350462167ca4cab28d3e34bff4ab7a","datavalue":{"value":"https://arxiv.org/abs/1007.4908","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585154$34A950DB-901D-4BF3-92CB-AC3A75A4F60E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585154$07636F26-F64A-4DD4-B7D0-E0BEC7A42E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5e39d6c0c9fb0aa497132dc80fa1bb100fe4e0d","datavalue":{"value":"5773232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585154$5345F317-43BA-4DAC-BF95-227D25654415","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76088e609c82d21dad7165d8a00619e3b66c92a5","datavalue":{"value":"automated termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585154$5A2F43C3-9F2A-4B08-BEEB-3174737E01BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585154$18E952BA-BD12-44B9-AB27-74D3E456AAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a08b73c78a12c4e3ae9cff3526692393ac34e2","datavalue":{"value":"definite logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585154$2ECDE31B-ADDF-4F47-B126-A269CCCAB9D9","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":"Q3585154$74CDA7F7-9049-4416-9D0A-0B6F388F60B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67fbf047f172ea33cef723628da56bc8e9d36955","datavalue":{"value":"W2128219525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585154$1FF3C1AA-D75D-49E7-81DC-E218377AB2AD","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":"eb071a9bca43698da475e502ce0eacddf674f3a6","datavalue":{"value":{"amount":"+0.9435224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$D536E17B-CB57-40F9-894C-D4AFAFEE6C46","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":"db46980f8256bd0999a012145f1cac98aa6d7589","datavalue":{"value":{"amount":"+0.93327665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$A25D4AF9-35FA-4765-AB20-A62A9D757C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e80f5269b4cd49789d722384d205d2df9dcfc30","datavalue":{"value":{"amount":"+0.9131204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$B3206D52-3EEA-483B-A141-D3D0ADACD6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6fab90b83cc9d742f06497c53e78be9c5c408c","datavalue":{"value":{"entity-type":"item","numeric-id":3003493,"id":"Q3003493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6695d83c7fe6e5cb2e314b62f791ba39a8e08ff9","datavalue":{"value":{"amount":"+0.90509415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$79F714EE-E92A-4AE7-9318-BBBDDB06FC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33754bdf5767264205b654ee9b2bc0cb23873a86","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d262c07e10756f25904c9d6b57f279d0197e32","datavalue":{"value":{"amount":"+0.9038799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$E6C7264C-FB4D-497F-B52F-2163BA15CCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dfec6cc7c1b55c7aff1f98e8cfbff05da12d49","datavalue":{"value":{"entity-type":"item","numeric-id":4779112,"id":"Q4779112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d408a451ccc104ed957351e4982a3491c5ad61","datavalue":{"value":{"amount":"+0.8956487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$4ACB9B57-E105-4205-927A-8029F06403FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcce8ece0bc881a6adb213fe2643a1bfe9ee3bec","datavalue":{"value":{"entity-type":"item","numeric-id":4306397,"id":"Q4306397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577a82d595cb958cd1ff00ef6261c643989b8f2e","datavalue":{"value":{"amount":"+0.89290255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$5EA56C39-E55C-4A85-B055-46A8F9B68BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06184aae9cf0ae0c1dfb85910908f1e7805a09a7","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb68a3061365bafab21a7024dd6d58f05ad45865","datavalue":{"value":{"amount":"+0.8920831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3585154$E9A15222-70D7-4044-A0C9-53C55A060A96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585154"}}}}}