{"entities":{"Q5267429":{"pageid":7297005,"ns":120,"title":"Item:Q5267429","lastrevid":52826951,"modified":"2026-01-23T14:25:36Z","type":"item","id":"Q5267429","labels":{"en":{"language":"en","value":"On proving left termination of constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729806"}},"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":"Q5267429$F17839B1-0224-4742-B6C2-406B1459BB94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c9ccbc2bd86c1597e955dee70f1f1f5d79a5300","datavalue":{"value":{"text":"On proving left termination of constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267429$FB91E589-1FA4-4BFE-8065-DF806CB2DC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d71823386a3e9049bf1cb62a882c143bc3e63b47","datavalue":{"value":"1365.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267429$69DEADEF-924D-4489-BA18-5875FEB636B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cecd8e4c1e5b120f5ab6a93d425b4805c224be72","datavalue":{"value":"10.1145/635499.635503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267429$BAE69BAB-867C-4B86-AF58-D57586704837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267429$C8D1D8F6-6CC0-490B-A4CF-0B24F541541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267429$B87670CA-2109-440A-9303-1B1E906A035E","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":"Q5267429$BF483BA4-2DB8-4F6C-8D9E-FB2D1B838518","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":"Q5267429$28A58856-34D8-4160-A54C-DAB564477374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267429$4DF523A5-B234-47D7-828A-B996FDE835AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0220643cedb16dfa20c43f3e843efe5dfa08d31c","datavalue":{"value":"6729806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267429$3EA1F29C-B25E-4AE1-81DB-39F913A08B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea8f77a1c296ccec0943fd56709eb57fe0a8c3ff","datavalue":{"value":"automatic termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267429$F4CE7D4D-F394-4FE4-85EA-FBD873A6F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267429$D16C333C-B228-4F59-A7D1-8B7C853D56B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"822946d2c76d594de20ff716cb81399dbe670709","datavalue":{"value":"left termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267429$7DADE584-96BA-4177-916A-B41C76EC5860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee8e2323a9334a5eb8e1acf503c5a2ed2d2353b","datavalue":{"value":"termination inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267429$9333CEC2-4AC3-4599-8DD7-FC8CDE1478A8","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":"Q5267429$F191AB3E-A7F2-4C2A-9125-EFA06967969B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bc0ba989cb4191af4fb68491080ed6568761cc3","datavalue":{"value":"https://doi.org/10.1145/635499.635503","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267429$8A96A487-994A-4494-8C87-70F94A27AC9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31c0a5404a479fe3749c212d9fbb7e3ecfe865e4","datavalue":{"value":"W1999783590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267429$7D528491-A931-4D07-B80B-78E3D77E1D5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eccbe6f91af37eacbb8cbdd66e57e9338a03ce2","datavalue":{"value":{"amount":"+0.9097849130630492","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":"Q5267429$D8ED043B-DADC-4A1B-B443-2B9DFD14BA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dcd30a32cb361babaf579c6e625f6cb34f1918","datavalue":{"value":{"entity-type":"item","numeric-id":5466573,"id":"Q5466573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860f852d02ed75832e2666c653c64879fc5b9896","datavalue":{"value":{"amount":"+0.8432620763778687","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":"Q5267429$A998E31D-4F87-415C-BA1F-A45474CD37C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ba9724e95b8afda62d40b34f6c4b60d82932ad","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b83b775447a282c62f896c22f1831c1dabc5b06","datavalue":{"value":{"amount":"+0.8027441501617432","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":"Q5267429$D061B33B-77EB-4CE4-B44B-8530E2DF0A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e835cb8ce8c147df68390707c75433f15f63697","datavalue":{"value":{"entity-type":"item","numeric-id":4245935,"id":"Q4245935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29687bc3d913245d533d60afb0e480c8339ed52","datavalue":{"value":{"amount":"+0.7985227108001709","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":"Q5267429$37D47413-2476-4C38-B90F-6E0720ED390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbaf149280ddd0521d9f96e3a9026b27529fb8b8","datavalue":{"value":{"entity-type":"item","numeric-id":4385452,"id":"Q4385452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90dccf9637bc6f1c859a20bfaa7e9fe66145e5c","datavalue":{"value":{"amount":"+0.7938209772109985","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":"Q5267429$ABA92503-23A3-41A8-B2B0-606CC8788AC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267429"}}}}}