{"entities":{"Q3003493":{"pageid":3014217,"ns":120,"title":"Item:Q3003493","lastrevid":51255020,"modified":"2026-01-17T11:36:09Z","type":"item","id":"Q3003493","labels":{"en":{"language":"en","value":"Dependency triples for improving termination analysis of logic programs with cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900393"}},"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":"Q3003493$7BB3C976-473A-4560-A536-ED5070D3E41E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ed4dc55cb2f6d5c2e98760f86e2b22b5a4f34a","datavalue":{"value":{"text":"Dependency Triples for Improving Termination Analysis of Logic Programs with Cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003493$6CCFFEC8-6BDC-418B-94F8-FD8C3E1F7294","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"217c144c97e9caa7ac9b4577ee39e77ac6c03a18","datavalue":{"value":"1326.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003493$40F67A6F-DC70-44E4-99D7-737EAB6CDCEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67f684809fbc01d589f2b0a1ff6e48160f166251","datavalue":{"value":"10.1007/978-3-642-20551-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003493$0A9B9547-DC34-4D19-8615-F1307FBEAFCC","rank":"normal"}],"P16":[{"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":"Q3003493$CF9E6E64-5AD8-4BCC-A8B4-C0BC37764AB5","rank":"normal"},{"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":"Q3003493$E06BFE59-F112-4503-9ACE-D4A0D8D2E4F8","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":"Q3003493$9FC66171-A380-4627-B009-68ECA2D8F725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$AF465634-CB7F-4EC6-A624-5CD2F746698B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003493$D6BCB395-EA5D-4E22-8DE3-F0E7EE7294A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003493$DE3F7CBB-753A-4661-8154-9A5C3AEAAAF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bbea37faa2d0e5454a04fca16cc6bc9bbf56e6a","datavalue":{"value":"5900393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003493$B397F5B7-B7FF-44C8-94CE-1756313971D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f397c52f37228d72babea7f4da967604853d803","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$890EE984-7073-4D61-A276-52835EEF9834","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":"Q3003493$FE2FE8FD-B1C7-445A-944C-4A08717751C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"249ef739a8856ebdad7abf30aa47a409ebee128a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20551-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003493$EC1BC0A5-61D7-463B-A1BB-FA7C916B9744","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90f5eae526c7085da1ca25527d8f52d61d6ffbf3","datavalue":{"value":"W2123968982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003493$C3D20672-1061-490E-B1E6-4CB22FE2DC3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$D1F33782-3ED0-412E-B9A4-3C7B0134D911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb9c6cd37893258384b0a55e5dca1ea33216750","datavalue":{"value":{"entity-type":"item","numeric-id":5475787,"id":"Q5475787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$C9E5F605-C7D2-4973-A325-901CAA729D61","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":"Q3003493$69EB81B7-7CD5-4BE4-802C-6ADE7EE73D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b04d879384c9f6a672f4aa95bd5e2c3644f200","datavalue":{"value":{"entity-type":"item","numeric-id":4873717,"id":"Q4873717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$53DCB525-0198-4C87-9D7D-CE3B21323A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02ff547cfaf7e165513cf8f07ad1a1e28baa67e","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$5E00E91D-DF71-4BC8-99A6-40392259AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$EE480293-2E54-4727-8850-75BE121F53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$9FE0B0F6-ADDC-48D1-A231-5AF571092927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$5B6C576F-89C3-4467-ADE4-8AB4EE404D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb01e27bc97bff97fba9528fa89381d2b8ab8f01","datavalue":{"value":{"entity-type":"item","numeric-id":4452593,"id":"Q4452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$7F0606AC-1D8F-4D4A-A0E2-989C61CDC636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f703c7690d7b827346ac8203d04aa0ed24d063fc","datavalue":{"value":{"entity-type":"item","numeric-id":5437651,"id":"Q5437651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$0A5C033D-70A0-4481-B03B-D1B0B1F68AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f166014263cbd84cbbd95272df8e1e95cd9655c","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$22BC1216-05BD-44AE-878D-0973838E1697","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":"Q3003493$139ABCAE-9EEC-4DA7-A1D0-DA2EF5726ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49ab163f1f16305d44fd2dbcea1b2c6c47b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$C3C004F1-3B94-4D85-B793-F7CFB29DAB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3de5dbd50053cb4da1e586fef658a0f16bbc6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3558284,"id":"Q3558284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$2E2E60BF-17C1-482E-AD34-1A0EF8FE5E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239a5ad48880ac4ae8c8ab05a5afc8e6e25db418","datavalue":{"value":{"entity-type":"item","numeric-id":3585154,"id":"Q3585154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$15746498-7D1A-4F50-8390-FF157B9A5DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96c2512d3b5b2fccc04d49b867027372fe8841b","datavalue":{"value":{"entity-type":"item","numeric-id":3370573,"id":"Q3370573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$6A1C335B-6B5B-4911-B080-D48C396270BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003493$57BF0EDC-38F7-421C-B3DB-38FB98729AF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34623c7778f65f761cb9528efe1a521fbbc7770","datavalue":{"value":{"entity-type":"item","numeric-id":3558284,"id":"Q3558284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e20b644427d6e9581475365ef3ad34a542f08c","datavalue":{"value":{"amount":"+0.8554044961929321","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":"Q3003493$F2E1AE17-CB7E-475D-A3EF-F90E269F40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8796ce8bf058683fd40cdab776c9fe2377727c33","datavalue":{"value":{"entity-type":"item","numeric-id":3585154,"id":"Q3585154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd6938ce076c5527afb1d894eee4417ca0acdd4","datavalue":{"value":{"amount":"+0.8463541269302368","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":"Q3003493$D9D5ABEF-C4D0-4498-A083-FBA8515EEAB6","rank":"normal"},{"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":"b727f80e9991c30fdf85366f9d588677a2e2d324","datavalue":{"value":{"amount":"+0.8106370568275452","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":"Q3003493$CC9F38ED-AFD2-4E57-BD50-E0FD5FF6C235","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":"175a14ac95ee34c927e9eb28da5729221db601a2","datavalue":{"value":{"amount":"+0.8053087592124939","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":"Q3003493$A5186744-32A8-48EB-9976-7145E9729607","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":"30ea7c64b794a246278bee552bba8706599215ce","datavalue":{"value":{"amount":"+0.7943020462989807","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":"Q3003493$E2FBAF2A-F90C-4900-9C86-5D2EFB0A878E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003493"}}}}}