{"entities":{"Q3591084":{"pageid":5620988,"ns":120,"title":"Item:Q3591084","lastrevid":50161682,"modified":"2026-01-13T07:49:03Z","type":"item","id":"Q3591084","labels":{"en":{"language":"en","value":"Automated Termination Analysis for Logic Programs by Term Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189213"}},"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":"Q3591084$76B85097-171C-4370-9D4D-7658683D2526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f986d88319a03289f122c9443b3c715afa9dd9b5","datavalue":{"value":{"text":"Automated Termination Analysis for Logic Programs by Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591084$03A69155-FD65-4555-8A19-00DA1B79E81B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b110413c5a4907afee6d929ec2a26656035d5cee","datavalue":{"value":"1196.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591084$8E33B7F0-C277-4D61-8B69-12067382A91E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"566c753de836d4e47c3726691d6e7f9927a40705","datavalue":{"value":"10.1007/978-3-540-71410-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591084$FC03CDAA-A005-4D2F-A463-9DB0F22D404A","rank":"normal"}],"P16":[{"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":"Q3591084$0901791E-7F12-4CA8-BD17-9329B1835608","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":"Q3591084$BB0BBDD4-5C33-4271-8B9C-C69CA2E55D28","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":"Q3591084$2191159A-E027-4CE2-9097-6792D3B1BC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591084$BEBD6AF8-DBA4-4E9A-A38B-AAEDAA20EBBE","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":"Q3591084$B21C6E1A-D63E-4607-A5B0-991279DD9935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591084$DABF12C8-C4B9-4172-9832-BB1A9F40DD98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591084$F03389DE-83AC-4F04-A734-FA12517B7B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591084$D4A2747F-BCAE-4710-B4A8-5B0E6A8E9BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd2e25e0c458784bf099abb555d2c4ff071b4c6","datavalue":{"value":"5189213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591084$14E0893B-D51B-4C4B-9937-AB96E04D01BB","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":"Q3591084$D6B6C141-66B7-4908-AD6D-4D3661D1D191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b601642d95ab8d2750bee07900fc4581ddfa4bb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71410-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591084$F9E02A56-6AAE-4DE0-9479-9154C6A3EBA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26021f71f433e60757a25c88170f1a0aa493a4ac","datavalue":{"value":"W1530752153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591084$E7BC6F5A-28D4-4E43-A798-501157360F6E","rank":"normal"}],"P1643":[{"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":"41fcf3d523ee44599ee6d602ccfb63cea50e3914","datavalue":{"value":{"amount":"+0.9924812316894532","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":"Q3591084$12B8B3B3-C3BA-441B-A271-2B4895AC081C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567b863fa1fa6f6d3f163f88f8159158a7e7d15","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6b1edbb21d9a30d0e8614b5e5e3e2cdfada3d2","datavalue":{"value":{"amount":"+0.882644772529602","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":"Q3591084$695A2EDB-FEC4-413C-8F04-30D9FACF3E1D","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":"3bb7a7439d949948d5e041872bee1ee90e3886e3","datavalue":{"value":{"amount":"+0.8584838509559631","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":"Q3591084$1B8652A4-E278-43FE-8B57-2D64AC8FE690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc0c9b7ff50bcc82335e18588361ba6656131a0","datavalue":{"value":{"amount":"+0.8526025414466858","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":"Q3591084$C6416F2A-C5D5-4E78-B587-12162D3A9933","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":"79ddc93dbd710263881d2d1cc416336d21f345a8","datavalue":{"value":{"amount":"+0.850307285785675","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":"Q3591084$1BDC1628-44C3-447C-A895-A606269BA34F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591084"}}}}}