{"entities":{"Q5504590":{"pageid":7534150,"ns":120,"title":"Item:Q5504590","lastrevid":50547212,"modified":"2026-01-14T08:54:44Z","type":"item","id":"Q5504590","labels":{"en":{"language":"en","value":"Termination Analysis of Logic Programs Based on Dependency Graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496624"}},"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":"Q5504590$ED8CB42F-3194-480F-872D-A3E7A1AE57FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98015a133283079e186ba3b333ae91010f206cba","datavalue":{"value":{"text":"Termination Analysis of Logic Programs Based on Dependency Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504590$95128C9C-DF30-47A9-A389-451B7F13197A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a75854d7029ad1b0368a37134c0f69bb05d36c3","datavalue":{"value":"1179.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504590$EE593704-53C3-41BE-A5E6-3369D14E7F08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c514e347a6075625eeac6290f1f21d6048e77ab","datavalue":{"value":"10.1007/978-3-540-78769-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504590$804AFC46-194E-4D7A-96C5-840345AAC0EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e36c83958d69fae5dd9cfa269603953e2fea55","datavalue":{"value":{"entity-type":"item","numeric-id":3087807,"id":"Q3087807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$08E1A5E1-0F42-4C1E-8F4E-C9AC5DEF73EF","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":"Q5504590$C92C6FDC-1D76-4C64-A348-A045F111C9BE","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":"Q5504590$90D68469-829A-4614-8476-50318CB59CAA","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":"Q5504590$E8361459-D002-4447-9697-3BA9E34987DA","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":"Q5504590$B6FAD92F-BC93-4B46-9683-6510E1554D74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504590$23BD6B91-E101-432C-AFB0-E3A093FCCB64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504590$CA83864F-EF37-4FB4-B3F5-01E9860F7576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504590$2EE58DE4-2BB7-42AD-BBF1-E420DF18E614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88a555b518cee1c6f1048cde628bed6975d10a86","datavalue":{"value":"5496624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504590$570CAE85-7D8D-48E7-A51F-885EFE1C1A2E","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":"Q5504590$F743AE23-8838-4483-8C24-F27974CC3174","rank":"normal"},{"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":"Q5504590$053B86AE-A15C-4AB4-BA58-9DC654C3E005","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":"Q5504590$DEC761B6-CFE3-420D-86A8-D60BAF6F5C02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f259604c4705c9dc070a2171527ca3391c090d61","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78769-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504590$8ADBB1D2-5B1D-43BA-B4B0-F238B1A921F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30c160597244da0bda1c4e5695eb1cd9cf48c545","datavalue":{"value":"W2111739714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504590$25A8C515-F32A-4E96-A4A8-21418D8D1ED4","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":"Q5504590$20618470-20F5-448A-A7C1-032587C31065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$8A529C10-04AF-495E-BB0C-6878B791D3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77099e8294a56c28c21eeb213a420a5c3b4af060","datavalue":{"value":{"entity-type":"item","numeric-id":1318707,"id":"Q1318707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$1F25033A-2337-455D-9F04-04CDABA17EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$D91B062B-3FC7-41A3-900E-1E2D9A9BF23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$FE37462C-86E1-47E4-A73A-2AC5F995CC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d0179a38a081bffd4fbdf405b40aa1e228c8cd","datavalue":{"value":{"entity-type":"item","numeric-id":5688890,"id":"Q5688890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$ED013EC0-8384-43BD-9FF0-594A6E0493E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1dba62fc2c5ac29ce107f70fa8cf31a2dc505d","datavalue":{"value":{"entity-type":"item","numeric-id":4707739,"id":"Q4707739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$532A5FA8-417D-4582-BDD3-517755499465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$3C3253D8-3755-4137-BFB0-6D6CE0747171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf35d8ad10a2efeaac0d7afd81d2b3ee6efd37","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$B13B34F8-36F8-4E27-9C85-EF41B563792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc36fb9d1df9b1a35a34c2d566116093d5b604b3","datavalue":{"value":{"entity-type":"item","numeric-id":3613435,"id":"Q3613435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$E731A395-3256-41D9-B60C-1EAC41DB828A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$FD1DA888-C737-46DB-A9CE-32B9BBEDC739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$3012FC93-0102-4C82-A5A8-CDF191022B1A","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":"Q5504590$A89B1B0A-0B06-4BCA-A604-0AB9F17082C5","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":"Q5504590$AEB3C2DF-6D28-40E1-8BDF-3DA9EA744677","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":"Q5504590$4F4E99A2-91C5-4394-90C6-C3525CEE45F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245e2c144d2e7cbcc9ef39e10d0138294ef4a59","datavalue":{"value":{"entity-type":"item","numeric-id":1272602,"id":"Q1272602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$861CC7B0-F265-4B8E-9BC1-AC00BD38C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866329e622ae9c42939978c38ec9f1b061288e00","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$01583F84-87D3-4EE4-9476-BA4E54A2BA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$B78DD778-D413-43A0-B738-F67F321AFBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b040ec544fc613ad61a95f012a9ad2330240f2","datavalue":{"value":{"entity-type":"item","numeric-id":4673545,"id":"Q4673545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$DCE47001-3EA6-40ED-AB76-53E8D71A1430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6730550a11c6a1243c11c8b5e1cd605627b493d","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$8B028FB5-9124-407A-8281-019F2A6F460D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce917b966191fcc55cb06979ce350d12396960","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$753CD870-9EF9-43EE-BEB8-F8EE88396BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$AF9CBBD5-37EA-4993-92DB-0E5D3FF1B601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7025b242d2e0b571a0a74c4db8bdb30375fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$7B48861B-B67E-429F-ADAA-5B0E5EEB09E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee8d08af278d5175f8b634d1aaf204daca32132","datavalue":{"value":{"entity-type":"item","numeric-id":2573795,"id":"Q2573795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504590$D47C551F-0F0B-474E-A4EB-6CF5D0EDEF22","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":"717514fb0b219a375a4537aecc54a98503cfa6e4","datavalue":{"value":{"amount":"+0.8822516798973083","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":"Q5504590$6008EC88-896A-47B1-8001-2D51625B15AB","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":"aa68937c19b8ad0d478b0602ad02de5c415f4a36","datavalue":{"value":{"amount":"+0.8570944666862488","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":"Q5504590$FD9C7B2D-FD07-4AB7-A711-1E5F8E789B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf194a08d302e010b5662dd861acd55ba1d05c8","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b28fcc9a042f4e1dfbc7ad93de3fada2139305","datavalue":{"value":{"amount":"+0.8567131757736206","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":"Q5504590$674C07F2-2546-4067-A2C6-B81A9C924ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4210ededdbd74bb5091bd7e9879f5bf4eb1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4452617,"id":"Q4452617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515a71fab3048c75e9ce76261fb8a05b35ac9e53","datavalue":{"value":{"amount":"+0.8070685267448425","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":"Q5504590$AFF038ED-647B-4183-8B5B-D13C8C45EA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cefc19d9c01d74945daaddaddb2d07a92300e81","datavalue":{"value":{"entity-type":"item","numeric-id":5688890,"id":"Q5688890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfcca7ca474ee2fc7e75b5c181c38a4d83995b3","datavalue":{"value":{"amount":"+0.8055042624473572","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":"Q5504590$92AF15CD-9D3A-46D0-96EA-DEEA7A3AB793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504590"}}}}}