{"entities":{"Q5410711":{"pageid":7440285,"ns":120,"title":"Item:Q5410711","lastrevid":41061358,"modified":"2025-04-18T01:50:54Z","type":"item","id":"Q5410711","labels":{"en":{"language":"en","value":"Automatic Termination Verification for Higher-Order Functional Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286396"}},"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":"Q5410711$E7295F63-AB89-48F0-B406-A544E07ED076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e1c6ae66a31b76858ca15df99947bdd7fe6ab1","datavalue":{"value":{"text":"Automatic Termination Verification for Higher-Order Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410711$F3146AA4-9483-461B-8AA1-F8021B12CBD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dc6cdd0f982d82e85d50c507deabe1518f58a0d","datavalue":{"value":"1347.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410711$B123BA99-7085-4D8D-8120-70D63C9B8AB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e27ee6e2e24a88016cf5d41a6f691efcbca89a","datavalue":{"value":"10.1007/978-3-642-54833-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410711$11F71522-26F6-4076-B4B7-7B6108EE40A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f0d3724ecdaf882b840aabcc348a3b08846bac","datavalue":{"value":{"entity-type":"item","numeric-id":1702896,"id":"Q1702896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$5B0E3DAD-4EA0-4B3B-A94C-44A057625550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$63905ABA-5F1B-4025-B2EE-CF4828A79E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$D0BD4663-B05D-43AF-B3E9-F874DD3B1E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$54651B38-4E64-45B5-82D5-D065493CC2AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$1D5F23A1-C306-48DF-B9AF-858229BF36D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410711$61DA7AF1-0C0A-45B7-9275-66C03C8413D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410711$4482B8C6-1B69-4D66-8360-60B4CBA4BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410711$DDBC42FE-4138-4A49-9E41-29E5C791B85C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e2dc8ef9da6b918ab077932707092be28a2e33","datavalue":{"value":"6286396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410711$74474F0C-48FE-4792-B8DA-17C783C02EFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$1C25726A-8184-404A-A66B-4AB63BE82F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9571a980e5821fda7407e6c3a929e1cfdaec4d40","datavalue":{"value":{"entity-type":"item","numeric-id":21846,"id":"Q21846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$81DC37E7-28CB-4601-BD25-288F2D0ABB93","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":"Q5410711$3242F03B-885F-4AF7-A319-64802D8FF11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$4A1F8353-4612-4DA0-B71D-29DC04BCB430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410711$30F704F8-2358-4034-9212-ED9439275592","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":"Q5410711$C99DF1A9-4DED-468E-94EC-FED6039FD407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c9025afa0337ec0482d84a16d0bfcedd52e5f84","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54833-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410711$1A759C20-56FC-4B13-8AE4-F66DDCD263F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ac3edd1acbac2cf5f78674f8440afb8c0f4e583","datavalue":{"value":"W161537417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410711$F7619D24-166E-4369-99DC-9C26875FC4E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da059b0b407c73761fda9006b99b226ceeb8e04","datavalue":{"value":{"amount":"+0.94484055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$B7767A8A-E283-4382-A2E8-A2A9A208B844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7db53ae5dfe42e2941ee36e1113e1a4338c18e","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728c3e5bb2c978e4ebba5e12308038331bd87677","datavalue":{"value":{"amount":"+0.92956567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$5758134A-EA2B-4F71-AC36-B71AE91BE48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daea1b39e98acdd0c050adf44ba6c69cb6b3e013","datavalue":{"value":{"entity-type":"item","numeric-id":2985774,"id":"Q2985774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5abe1daf905776e5ff07e2bebb90778117cf156","datavalue":{"value":{"amount":"+0.927578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$70CE43D4-D6C0-40ED-AAD7-5044B53BCA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623bef5fd20cb08240a7348419e8215edafbfc34","datavalue":{"value":{"entity-type":"item","numeric-id":5688891,"id":"Q5688891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a8377055f820526a098a10d77c13dab8984082","datavalue":{"value":{"amount":"+0.907119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$C7516A55-9628-4BA7-AD6E-BAF32886ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6503d76aff8a6bec8306e7255cf39a3e7a2c7d83","datavalue":{"value":{"amount":"+0.9039468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$0004C223-9318-4E05-9202-61612FB084D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb9b71b7753a29bfbcc51e9bb1e482c94fa1772","datavalue":{"value":{"entity-type":"item","numeric-id":4028372,"id":"Q4028372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57df2b827c2873588f82a5ac00d0cdfa17d3606","datavalue":{"value":{"amount":"+0.9005582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$64A208B7-3796-4BAB-B0E3-4AAD30B2EA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8553baafc8652e0bf1b3c167fc1e0be20516cef2","datavalue":{"value":{"amount":"+0.89832956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$90B66679-CB52-4EEA-9391-455AE31566AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b842f6c5c6f6cb13a80a9ee17335820078928091","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e413336b610cf8cf8a2f5f43a7d14d72a58704","datavalue":{"value":{"amount":"+0.8975682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$18A19940-DFA5-446A-A486-7F045154BB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964671cc3b279eebfb75d14d5c86abfb963eedd","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fefc0bc17db55e4a71e1046b4e0b1ab8943e91","datavalue":{"value":{"amount":"+0.89426094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410711$175DFD09-313C-48DF-9A25-13ADDA74F5DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410711"}}}}}