{"entities":{"Q5089009":{"pageid":7118585,"ns":120,"title":"Item:Q5089009","lastrevid":55415296,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089009","labels":{"en":{"language":"en","value":"Dependency pairs termination in dependent type theory modulo rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559275"}},"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":"Q5089009$FE993061-0E78-4A3A-9D81-308E3BBC3315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$48ADB4ED-FB2D-4D7D-9C78-06D02D2D4A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8faf04c4e0645647cae036e6ebbe6c573d289ba1","datavalue":{"value":{"entity-type":"item","numeric-id":5089008,"id":"Q5089008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$71482BBE-2E24-4F88-A421-ED7F134B44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$B99F9499-F49C-4C4F-8B74-037A12D6B12E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089009$B910C6C9-A823-4031-AC44-8ECE5700DF8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f7f7fb278f98da51f6c351b75c4edf501ae8f07","datavalue":{"value":"https://arxiv.org/abs/1906.11649","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089009$2F7BCEF1-B752-4912-A93C-A8F744FC6810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089009$70DB9AC8-022C-413A-999D-6CBC97A5304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089009$26C02DDE-5C1D-48CF-88CC-0E92886C7EC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6c8c1311b03653ff0213d0ced18915c9659be48","datavalue":{"value":"7559275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089009$8A72E105-BC2F-471C-AD1E-47567305E888","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089009$65AD6917-EAFC-4030-8F23-72B30F7199AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089009$85C434D8-71B7-4044-9357-85C92792128D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089009$CC9EB368-BFC9-4E7C-9325-9345167CC20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089009$53809A9E-F5F1-48BC-987F-4B9164155D7A","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":"Q5089009$836BE30A-5587-4B59-B604-357ABAE19C20","rank":"normal"}],"P223":[{"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":"Q5089009$06C1207C-9144-4DD9-A2CF-89DFCD30BCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$A995820F-A879-42CD-B914-DD676A39B8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6aa3e3851825ce947035770e997710fa99c398","datavalue":{"value":{"entity-type":"item","numeric-id":4657751,"id":"Q4657751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$8D5C38BA-9BBF-4058-9B0A-E57DE0F157C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e903923785f11d6473791a8ccedb18f2347c5f18","datavalue":{"value":{"entity-type":"item","numeric-id":896904,"id":"Q896904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$E85EFC58-1FDF-4962-A47F-B31FFA5DAFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16590cfab60f996f59743add00386479a8fd1b24","datavalue":{"value":{"entity-type":"item","numeric-id":4577817,"id":"Q4577817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$D73D31C2-D805-4751-975D-3A44F06371EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4beb2ae3000e9030d03769ff8ccdb77dc22d44e0","datavalue":{"value":{"entity-type":"item","numeric-id":5959585,"id":"Q5959585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$6B5ED631-5F54-42FE-851D-E12F24163314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$8290E426-C9B0-4561-B85A-83D2DAF76525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$67B7416F-99CF-47E3-B24B-D8B1FF6E1971","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":"Q5089009$AFDA53DA-F1F2-4FD6-B5B3-E6067D537710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$02E2193C-0D23-4209-8BF3-0CA4113AB7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$D1B61330-AA4A-4AC7-86BA-37546352707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$15DC7DBC-7297-4C83-A0E7-1D0F3DA0A1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d28e15add49d7c190251d1a8da498542a9d962","datavalue":{"value":{"entity-type":"item","numeric-id":5404477,"id":"Q5404477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$BE258D56-F291-4FC5-891D-180BCC0E9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81efc7cefbda4dcacc3e834753ebf33f8a172d17","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$0D47B9C3-503E-4391-A335-ACC8DF8B93B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1507b014436739ddf72574a01f77b5789b74e61e","datavalue":{"value":{"entity-type":"item","numeric-id":5277844,"id":"Q5277844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$5D41E878-6D44-4E6F-AB68-645A5BF47D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$F00BD2F4-B189-4317-BBBA-A5F8E39FFA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dead37c7e2ad54d906bfbd025be830cf225e481","datavalue":{"value":{"entity-type":"item","numeric-id":2460908,"id":"Q2460908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$1E5EF744-11EB-4894-8DBE-50B04B294531","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":"Q5089009$65ECE9E3-EBC5-4564-AA45-CBE6A7C29F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$EAB7015F-73E5-470F-BC3F-7F98BB5BE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$8169E9DF-E410-4644-B647-64772E507424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6901370d867e80c26af665e60dcf6452ab9dc4e8","datavalue":{"value":{"entity-type":"item","numeric-id":5389088,"id":"Q5389088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$3BA8382F-F09B-41FA-9425-B4DD3891FFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9921526a786e42a43beffe992b99dad14d7b7b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$59C85F5F-ED31-4E23-AA9A-8DE2C5981C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$50C1E3A0-14DA-457A-B2DC-58C6148D708B","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":"Q5089009$F8112F81-0CFA-4925-AC38-6CD4BA5E285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089009$D0F27FC4-B35B-4A9F-9891-409655A4729D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5cc33e5082af658a29f9b83ee08d962a1b1a463","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089009$AB8D9392-EB48-43E1-9B24-0BB5677F7F13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da05ed7d9ebc2fc80066bb8eda805a91e70e673a","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e283f272fcefc16239a8beba85f3f843c780d0","datavalue":{"value":{"amount":"+0.8350369930267334","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":"Q5089009$174F81DA-7F4E-410F-820A-CF1EA788B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625717c1daa95a2161a3d23de2089221a2cc8061","datavalue":{"value":{"entity-type":"item","numeric-id":5277844,"id":"Q5277844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fbd26f213b65efced818304d17084ebd911cc3","datavalue":{"value":{"amount":"+0.8300861120223999","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":"Q5089009$160420DF-A47D-4145-ABA5-4A1C554B9E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4bddbfda6a313ea0e388bdfc266f16e2ba2271","datavalue":{"value":{"amount":"+0.8195784091949463","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":"Q5089009$C76796AE-0552-497C-B894-EE800D54D00E","rank":"normal"},{"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":"d2c1848336b5ee0c10d7947bf8d517bef4d3ee0e","datavalue":{"value":{"amount":"+0.818237841129303","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":"Q5089009$BFA43B1C-E796-4427-9331-0C917EF8F675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001a44078ef4b0792bc8a54209b48d355b9084c8","datavalue":{"value":{"entity-type":"item","numeric-id":5901560,"id":"Q5901560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2297aa5f9fe0a56dac52c0f430a2c9c059ad5dc","datavalue":{"value":{"amount":"+0.8111029863357544","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":"Q5089009$25B77326-913A-4C16-94DC-001E27DBF903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089009"}}}}}