{"entities":{"Q2460908":{"pageid":2471651,"ns":120,"title":"Item:Q2460908","lastrevid":50216051,"modified":"2026-01-13T13:26:08Z","type":"item","id":"Q2460908","labels":{"en":{"language":"en","value":"Enhancing dependency pair method using strong computability in simply-typed term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5212875"}},"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":"Q2460908$409B2AF3-1302-4915-9400-D8CDC69B604D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7e936d30bd753151a3825207a7cc6ce6803b792","datavalue":{"value":{"text":"Enhancing dependency pair method using strong computability in simply-typed term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2460908$A96A87C1-0C72-4799-9A30-DFCC48093D9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb7eb469cad3f86b88b69261e81a05b701ea52c4","datavalue":{"value":"1125.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$8FAFF330-063E-49FF-818A-9D5661B51F72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99ebf995e2960222fcc64f49e967cc925521266f","datavalue":{"value":{"entity-type":"item","numeric-id":2460907,"id":"Q2460907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$E52568CC-B2A0-4A4E-A91E-9409A05B7003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$27338B25-A663-4071-987B-DA6CD26B3CED","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":"Q2460908$4D12E9C4-CAEB-4969-BBF5-57FAEDFFB167","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"806ce7a5341bdedb9ded78965f199921fbebfc0e","datavalue":{"value":{"time":"+2007-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2460908$50606BF3-BF43-4F2F-BF33-989AD4D7FACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$5843104D-D259-4FA6-8F67-75DEC1A65C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$0C0F2BA8-BF9F-4914-AFBB-F163450AEB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$8387AF47-D31F-4FED-B886-8753D47CB27D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f93eb97ab8c15ac5fdf6f76a53c187a830f6bc3","datavalue":{"value":"5212875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$D244EC8F-BD70-4414-B5C1-49503BB04616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460908$A0FEFDF7-0B54-48F0-81F9-486849AB88F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32abfe3216d1fbbc87b82a0d645bb8a6b78ac107","datavalue":{"value":"simply-typed term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460908$CE7292BC-77B7-4BF9-8842-BB0AC2A6C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09860282e7fd015e0e3a8b686ae9cc58bb23f7c","datavalue":{"value":"plain function-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460908$0CFC6AB2-689E-445D-A05C-55BEA6E29D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338be0a54d5517286768661e66fda74e0ecff5d3","datavalue":{"value":"dependency pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460908$F1825BA4-6262-4719-B353-8E194B0C9067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca0e17ede6b2681b2b4a1266f44e89c26b1c12f","datavalue":{"value":"strong computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460908$77C7E396-A565-4E75-AD4B-487FF6209DB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$F0CA90D7-B04E-46D2-AC63-220B2C938E13","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":"Q2460908$25397A70-DCAA-480A-95B4-8ADB6E8525F1","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":"Q2460908$25D73D93-1EEF-496B-B6E0-4B8E4E7EE0DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd5a234f5a173ef9647e5dbef1f91474ed3ffa9","datavalue":{"value":"https://doi.org/10.1007/s00200-007-0046-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2460908$77B036CD-365C-42B8-8B40-5B2440FEA47B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8b12135870030f9455f056a9f4c34a94b9f7725","datavalue":{"value":"W1978279608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$F6E5E262-16FC-4B1F-A0FB-E445E3244F9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"747b114bb47aeba164f346a98f19a4fedb6ed817","datavalue":{"value":{"entity-type":"item","numeric-id":5902358,"id":"Q5902358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$D64D7D39-FC28-4554-B2AF-89B8A3E48ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fdd40f32c6c1bcf8aa85b978eccf8461572324","datavalue":{"value":{"entity-type":"item","numeric-id":5703843,"id":"Q5703843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$3573B335-D5A9-4686-8DDB-7668A8D48C67","rank":"normal"},{"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":"Q2460908$6F9EDD05-A460-4BBF-BC1D-5E32F3645C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b21e5a5186c3d39ea689c9c82bfc2c17a0b611","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$797A40C9-8D41-4F03-BC3B-AE3C404E6000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$334AF529-F1BE-43A5-A511-E835D7CA7C9E","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":"Q2460908$1613C0C6-FC81-4C19-A112-D80114E1EBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47717bb5dadf44e591440e0fca8e5d160b3165e0","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$B8379962-A3C5-4769-8479-E8221ED84287","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":"Q2460908$7E7A5941-A7A8-45AD-987B-72C9AE03EC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$81042040-8ACE-4C0C-9AE9-6226D93C4D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$FEBE0051-4E02-4CFE-8FB4-003C096A78DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$AFE92617-6D82-4DB6-B766-DBFF0C809779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$AA2E6063-3A08-4F61-B553-576348FE887F","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":"Q2460908$B35F1C59-C2D8-49CB-BC12-3A23FD178AF9","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":"Q2460908$8B6EA433-D139-4B95-8B36-2B3DC1560111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$6D039C96-CB03-4FCA-996E-261952501845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$8E0CEEB1-D4C1-472A-B9DE-5C81D46FC126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e61c05725fd10ade5bdbfed8ada2d720d5480","datavalue":{"value":{"entity-type":"item","numeric-id":2778883,"id":"Q2778883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$BAD77154-7278-4042-8D16-13AEA6D4E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$5B89C45B-9DB4-4980-9E69-8097CA9D7B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$C3F176BD-A478-44D8-9FE9-653A16127855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c36a48e1bbe926e801935edbcccd22f5ffd1e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$80FBED6B-FFCA-407E-97FC-35C46D29F689","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":"Q2460908$0E63738D-315B-4EC0-9AEE-6EA63A1E49DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7a16bc99edf7dd1ee8087cc081df8601fdf294","datavalue":{"value":{"entity-type":"item","numeric-id":5901561,"id":"Q5901561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$D713426A-469D-4CA5-B61C-CA86CF813959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde40e4f7fbe4e78cd18259f483b68d970099939","datavalue":{"value":{"entity-type":"item","numeric-id":4293532,"id":"Q4293532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$93A00847-1FFD-4C0D-9C87-6CAC5385CEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460908$0448899A-9D78-48FC-A146-4D525B26AC6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09085c286650e815229d7b35bf1fb5ff48d5f447","datavalue":{"value":"10.1007/S00200-007-0046-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460908$71061FAE-FB22-4EB8-A435-5F8FE986374C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fabe2b121ce6f3ac0f92de4eb2a17a4f561055","datavalue":{"value":{"entity-type":"item","numeric-id":5703843,"id":"Q5703843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15e5e298d66387937c737eec60aa78356534a1f","datavalue":{"value":{"amount":"+0.7997061014175415","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":"Q2460908$AF84F5E4-5F48-4882-B20C-BAE759C8BD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733b6d14176e9cfa7c8272ac91728276521fb59b","datavalue":{"value":{"entity-type":"item","numeric-id":3655195,"id":"Q3655195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f90d3ba9a07beac404968c5770e69406c2129f","datavalue":{"value":{"amount":"+0.7750342488288879","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":"Q2460908$96C90030-2A57-4229-9198-126BFD38157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f656f1bd9377305bae00ec61b961be1e8fe7189c","datavalue":{"value":{"entity-type":"item","numeric-id":3608787,"id":"Q3608787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c360b157d49e5a2eaeb21435a472b43cc5340b9","datavalue":{"value":{"amount":"+0.7551495432853699","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":"Q2460908$A1EB223E-387C-4DAE-BF37-C99F00E208F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3add3fd27834f90d60520da4b18c791992cdb1","datavalue":{"value":{"entity-type":"item","numeric-id":5389088,"id":"Q5389088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4f1f988eca504146a6e2b251765aa6d0d526e5","datavalue":{"value":{"amount":"+0.7500933408737183","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":"Q2460908$4FF83C30-9691-48B4-A57A-7DC1BD8B6348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab79369f1fc0711a12842c699c026f3c423a21d5","datavalue":{"value":{"entity-type":"item","numeric-id":4447246,"id":"Q4447246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f81772a4598a31420341bd66884abd6a41b0e6d","datavalue":{"value":{"amount":"+0.7478737235069275","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":"Q2460908$C235FEBE-5CF9-4697-9B0F-8BBB07DAF822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2460908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2460908"}}}}}