{"entities":{"Q3527303":{"pageid":5557207,"ns":120,"title":"Item:Q3527303","lastrevid":87311057,"modified":"2026-06-04T11:21:57Z","type":"item","id":"Q3527303","labels":{"en":{"language":"en","value":"Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347567"}},"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":"Q3527303$CD1964E2-4BF1-4507-9BF1-17E15ED49C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d88f243b1c95a91126b88e3c7474cf7d7ec87ebf","datavalue":{"value":{"text":"Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527303$D9FFFDB3-C051-4D99-9CE0-6FA924D73D27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b68802b2e92c0e419f4abeab718f6ed9b02b1084","datavalue":{"value":"1151.68444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$EA37C045-BB52-456B-B4A5-971186C83DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2fd9a7102993a288361aba13cc8d26215b78b84","datavalue":{"value":"10.1007/11805618_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$AD171CEC-F24B-4330-88DA-E1117135A3DA","rank":"normal"}],"P16":[{"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":"Q3527303$FBEFCDC0-409A-4F7F-80B0-0D994DB2DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ee990ff2340f0bbcff6c70b6df29ebeaeba03d","datavalue":{"value":{"entity-type":"item","numeric-id":438536,"id":"Q438536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527303$C2B8A9AA-3DBA-44C3-8BA6-8964ABC10AFA","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":"Q3527303$C7CCD385-B6E8-4A40-8096-8836A41306DF","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":"Q3527303$7FD3371B-A9E9-4F75-B396-CB77EAB6D617","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527303$2C7347C3-B27B-4973-9491-75FA1B9A7B1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527303$ECB22F4D-16FF-47A0-A605-5FE414929FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$AE56076A-128E-4DE0-9E6B-346DE00C7C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$BA80B636-674A-4378-B0BD-BC990BB7E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$0B725A2E-F7D8-478B-8FC8-DE51E723B03B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a1554cb1ff8bd023b26c4f219795f5c97826f3e","datavalue":{"value":"5347567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$3E1777EC-F947-452B-8EF8-2D6CF2B7DBB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527303$3E0E9684-EEAA-4CBE-A2B0-632C0188CCC3","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":"Q3527303$DB63A32A-A72B-44D1-BF3E-E3AB337DF806","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":"Q3527303$0CD854C5-CD69-49FD-97A4-B0C5656DE541","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2339bed95a37ccb60e1ee179baf8c502f1daa4a2","datavalue":{"value":"https://doi.org/10.1007/11805618_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527303$63749201-8DA7-4A0E-BECE-609234D863B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7104e956bc179bdf924fe0db362da587fd60fdf3","datavalue":{"value":"W2168393711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527303$37ADF988-77D6-4E4B-A302-F6F4D7F90816","rank":"normal"}],"P1643":[{"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":"49911abcbe2a86715eecf8befa63d2802b99d949","datavalue":{"value":{"amount":"+0.801405668258667","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":"Q3527303$A791FB6A-BC14-4103-9506-18F37D52ECB0","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":"ebb6e4842e61af3a9ff2db07370b81b51587efde","datavalue":{"value":{"amount":"+0.7986816167831421","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":"Q3527303$0E200A4B-718A-4DC7-B6FE-048F51BC5F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ff85aedf7bcb3290bb1db613ed687a81ba89ae","datavalue":{"value":{"entity-type":"item","numeric-id":5191108,"id":"Q5191108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576f52777867112df44644fc3ce65821c6155715","datavalue":{"value":{"amount":"+0.7924307584762573","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":"Q3527303$324EB586-4D18-46A4-9931-DC81B3CEE93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4158cea25c12969a4e5e602560ef98cee1218ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781de9b0b3078b5e0668ed83192d0c20c6608f15","datavalue":{"value":{"amount":"+0.7918357253074646","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":"Q3527303$85289D3B-9281-4FC6-8534-616E06F3F196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72412cf213d0a26a443d290b652adb3dd8876c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15ed324b63b6bf867df12da57ab3778d2fe2247","datavalue":{"value":{"amount":"+0.7843025922775269","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":"Q3527303$A15F9E8F-515F-422E-9B3F-E28BA08E1FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages","badges":[]}}}}}