{"entities":{"Q5941755":{"pageid":8118557,"ns":120,"title":"Item:Q5941755","lastrevid":47660221,"modified":"2026-01-02T09:02:10Z","type":"item","id":"Q5941755","labels":{"en":{"language":"en","value":"A general framework for automatic termination analysis od logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1637072"}},"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":"Q5941755$D64E4FF3-4CE6-4ECA-A492-040FA071C202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"080e81fc12488bbd86831b29b623e7483d26d4b3","datavalue":{"value":{"text":"A general framework for automatic termination analysis od logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941755$5EE6AAC5-7976-42AE-B8A8-8A27F9AA34C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cf003f0cbbc34136e97f13cd71cb76dee83741d","datavalue":{"value":"0977.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941755$2790F293-7BEB-4134-B025-0F73D425EB2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941755$F439D4BB-63F0-4E85-A824-DAEAEDAF78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a6b0042e4d417c15b4bba0512b9a768c4f3c005","datavalue":{"value":{"entity-type":"item","numeric-id":199248,"id":"Q199248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941755$627A8C4D-AEE9-4224-A892-6DE6808BD797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec7ecaad687cc8171e152c9caee9b9b75cd7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":199249,"id":"Q199249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941755$FC93BA1B-5BC0-4FB1-927A-C367BE0C2447","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":"Q5941755$7A350446-5D32-4816-B8AF-C8C6EE105548","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941755$2D39B53B-0C1E-4969-B8E1-C9D8597219FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e42f77e6bc23737c831f0dab74893fd923637345","datavalue":{"value":{"time":"+2001-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941755$0E1527A5-A840-41F9-8883-7739CFE91329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941755$3370BF01-2927-45F3-9990-145A3C828274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c3c747440b6e61e5ad9ccf8eeba4772e5e4fef7","datavalue":{"value":"1637072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941755$C2656C68-B0A6-4D25-BBB1-1D41E84065C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3844e72707b9301754894bdfbcdfdb672e0039fa","datavalue":{"value":"automatic termination analysis of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941755$36ABB747-8E7A-4DDC-85BB-BA8CCD01BC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a18b880112f946cee2a355d258795f66a825e6e","datavalue":{"value":"TermiLog system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941755$72FA9F5D-4BD9-4EBB-8F3F-119CF504D4E2","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":"Q5941755$FD015D25-0836-4A7F-BF5C-45E1D83F7B4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3a02a03cd73d04353b07bcbde6cd12f80647fee","datavalue":{"value":"https://doi.org/10.1007/s002000100065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941755$5270674B-5721-469B-BAF3-4C87BAD591F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c07f6bf924561a33b48babcefdf058d5004718","datavalue":{"value":"W1834328158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941755$96F0CE03-D7D1-42BD-8394-DA19D0914601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d95560493c09de095b5bff85b25bc2c44f98f853","datavalue":{"value":"10.1007/S002000100065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941755$21DBD378-8C61-44F0-B42A-74073E4C52DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874c06c5a9c268f90ed41d2dab1c0ebf5321057a","datavalue":{"value":{"entity-type":"item","numeric-id":4499242,"id":"Q4499242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31092cf13356eb8c88d04aef8b956aa0d1dc4ed4","datavalue":{"value":{"amount":"+0.8903411626815796","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":"Q5941755$D8AEFC0C-CBDB-4B85-B296-14AE64E9FD3D","rank":"normal"},{"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":"31092cf13356eb8c88d04aef8b956aa0d1dc4ed4","datavalue":{"value":{"amount":"+0.8903411626815796","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":"Q5941755$032EA6D7-6A2B-4446-96C0-2E1847485C18","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":"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":"Q5941755$054F6DDF-7BC6-4BA5-BFF7-92DBDE577618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e598e2af73b9e22f30ebbeb05359c4b1d7e745f","datavalue":{"value":{"amount":"+0.8551560044288635","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":"Q5941755$FDC48978-7B40-4E94-BE7C-2343A40D2AB0","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":"303f901aa6facbfde02851045a9c6948c86f3bbc","datavalue":{"value":{"amount":"+0.8536671996116638","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":"Q5941755$70660DFF-B2B2-4DFC-A273-7332EEA465B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941755"}}}}}