{"entities":{"Q5267437":{"pageid":7297013,"ns":120,"title":"Item:Q5267437","lastrevid":58509942,"modified":"2026-04-05T13:01:23Z","type":"item","id":"Q5267437","labels":{"en":{"language":"en","value":"A dynamic approach to characterizing termination of general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729814"}},"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":"Q5267437$8F3DE5FF-4E0A-4C29-91E8-9ECC710CB9E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f222605043baf45304e3749ac154131c9dd82d8","datavalue":{"value":{"text":"A dynamic approach to characterizing termination of general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267437$C1EC7140-9FC4-483A-A5F7-44816AF96723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"801090dbff00d03101f5742d2b3e49cda27e0d23","datavalue":{"value":"1365.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267437$56A8D5EF-0F7C-4BA8-A70D-351809F0D8C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8981248d2848dc91526664be21393710da752c75","datavalue":{"value":"10.1145/937555.937556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267437$AE4B0709-2256-44D7-8E78-E0B4292CEFD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aa445cb4aeb46762e37cc5b8ab558742cc3a460","datavalue":{"value":{"entity-type":"item","numeric-id":286398,"id":"Q286398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267437$414AA505-FFCF-4722-8224-B13E2EBA5A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267437$AC44211C-BDFE-4137-9CB7-5FCCA3311995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9b7d651f1efa21fa167889604f4c1b276297e6","datavalue":{"value":{"entity-type":"item","numeric-id":645082,"id":"Q645082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267437$88093731-67F3-4D91-A6DB-12B912817D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3aa8141da2bdd128994691a17489f61e670a5d9","datavalue":{"value":{"entity-type":"item","numeric-id":608623,"id":"Q608623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267437$880EB9D7-0690-4442-97C8-B77A2D3F3B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7d502f76a5157c7ee09a87e3b0df5f704be87c","datavalue":{"value":{"entity-type":"item","numeric-id":204840,"id":"Q204840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267437$0C96CCCD-B6EC-4228-B5A2-87DD89CC569C","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":"Q5267437$946A3698-FA65-4BBC-AF91-BEE67C9C3A7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-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":"Q5267437$A89670D2-0022-4C28-943A-E4784EB3C3D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4559d7c2ed6ddb12e3f0a8c6330859718efa67ef","datavalue":{"value":"https://arxiv.org/abs/cs/0204031","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267437$137EB8F1-047D-4983-B3E5-7E133101CA1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267437$EDD6FCD5-BDA1-465D-9C8A-39F529DC0D51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df5f8d9084dbc7eb4bb9a2a96beaa8efa2e799d1","datavalue":{"value":"6729814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267437$645A0734-376D-4DC2-861D-2905FF4048AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267437$1FC6DD0F-2176-4443-ADD5-000112C77128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267437$9975D065-F0CD-4756-B7C8-1B430206D14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5385ef2f8203e53d4e6d78c890bf7fd0ec504330","datavalue":{"value":"dynamic characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267437$43B04AC7-1764-40EB-A9FB-86384419155B","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":"Q5267437$23C347F8-ECFF-4C64-9BF6-0DD105B065C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e4be5d2cea82b9a5021b967fb90346619500fc","datavalue":{"value":"W1976132254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267437$F86B2860-4932-4085-BD66-B3600F3002BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52927b34c42b1912cc6a6ace664bfcb513a96ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5712539,"id":"Q5712539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a15af06f142e608c0171aefb7d2976d8cca81c8","datavalue":{"value":{"amount":"+0.93164253","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":"Q5267437$110C0333-CD32-457A-B09E-6EFDFA511F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1444783c9ac9302affe54c66fbde18d77c92914d","datavalue":{"value":{"entity-type":"item","numeric-id":4386947,"id":"Q4386947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecd940636bb7300e6a59bfd3acbf6a7369f68a4","datavalue":{"value":{"amount":"+0.9238","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":"Q5267437$CDCFF5CF-5ACA-4D09-A7FA-A1F0E1AA467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b18d472ac45abd0df1c2cf0650e49ec36ec49ad","datavalue":{"value":{"entity-type":"item","numeric-id":5452190,"id":"Q5452190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafdb44e736629d8221323a8bc38f42976f8c405","datavalue":{"value":{"amount":"+0.92065984","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":"Q5267437$A24807B6-042D-45DB-98C6-74BE0AA02B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73f1b7d1e00ad4570ce0bd85dbcd2d050c4c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":5313208,"id":"Q5313208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef83afc77608ed5f8042d8c2eb0bd12b66ebfd55","datavalue":{"value":{"amount":"+0.9170548","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":"Q5267437$DD49D7A7-8024-4139-9CD5-187690D1FE0E","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":"a0c041f4a2c152752e175edbcd4f5dde31cbf659","datavalue":{"value":{"amount":"+0.91576254","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":"Q5267437$2E78AE47-EA85-47F2-BFF4-5505470C5750","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":"fabbf37831a03b2471ac3c5eff19bc6caa57e6c9","datavalue":{"value":{"amount":"+0.91252744","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":"Q5267437$875F8644-79AE-49DF-ACB9-B5A93EC62835","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":"2a5793406e0b033c743fc33f57588ac61b3e86cf","datavalue":{"value":{"amount":"+0.91062266","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":"Q5267437$12BCA3D9-1E89-48E9-9C2B-2D56D6584072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa857fb35342c294bbfd0c298358f4cbed70eb5","datavalue":{"value":{"amount":"+0.9100386","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":"Q5267437$620C0E1A-23CC-4D2B-AB3A-68855836EF54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267437"}}}}}