{"entities":{"Q5089012":{"pageid":7118588,"ns":120,"title":"Item:Q5089012","lastrevid":55415305,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089012","labels":{"en":{"language":"en","value":"Polymorphic higher-order termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559278"}},"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":"Q5089012$ECBDDD97-7EC2-43F4-B2C8-A99BACD7E8AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6522355932f1e9a9cd2b2f5c6e08a7adfa3b7ed","datavalue":{"value":{"entity-type":"item","numeric-id":1663239,"id":"Q1663239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$9847BF53-6924-4489-9B41-9414F380FE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$EC82AF79-58E9-4615-9BC6-5433CCD1E7ED","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":"Q5089012$190B5020-50FC-4EC1-B330-B83B090006C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fbfa74f3a015e2ac93fa9664be4bccdfa00c7f3","datavalue":{"value":"https://arxiv.org/abs/1904.09859","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089012$5C115B3C-68B3-4C81-AE32-3D7E580AC979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089012$AAF60C75-EA4A-4A87-B676-0F3EA74CF658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089012$F808ED9F-5D9E-40CA-BD49-5F3FFEAEE545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6279608bf09d69e00e1c9fae7099458e9a14dbf1","datavalue":{"value":"7559278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089012$1C0AB08F-32B6-4707-98F9-194AED03E772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089012$6CA0F2DA-377F-46CA-B76C-0AE42477F478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089012$9C045F21-A305-4D4B-A21F-1E2F26F92BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089012$E8434A19-4DAD-420D-B889-4369A21A302D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15796d431e57463b26d4f2da913a40ab41040b54","datavalue":{"value":"permutative conversions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089012$0D0276AC-D5E6-4DDA-A69F-7C3A0885EFBF","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":"Q5089012$637152ED-F6AF-46B6-B2FB-14181BBBC280","rank":"normal"}],"P223":[{"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":"Q5089012$2F6C6722-3928-4AA1-B32D-9AA36028892D","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":"Q5089012$7B787EE8-614C-4DF7-9DC1-752CE6DB5652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a540460431463d4e471ca122624342d1248692","datavalue":{"value":{"entity-type":"item","numeric-id":5111441,"id":"Q5111441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$C1D5CAD1-B3FA-40E2-A1D5-8341C47E65E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a176cb8e13997c0970792df4a08fe30cfc54c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5271090,"id":"Q5271090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$B32F7778-8DC1-47CA-920E-CDCD4598B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1d433bcc05b79d0a7782a91a91c31e981497db","datavalue":{"value":{"entity-type":"item","numeric-id":5111904,"id":"Q5111904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$A686AD9B-8942-4113-882A-74AF65721289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$D6CCAFD3-1D35-4581-B782-A49C16D39460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$39A28FEB-6F6A-4D3C-A139-E833CB235B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b7209f4b03619262b4acd6cda904b19343dfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1648875,"id":"Q1648875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$723ADB45-F266-42F9-B737-2939A5A81CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660e372c2fab9f49c1eae2ff439d4932a3c2a6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5411641,"id":"Q5411641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$DEA02EC3-7BFF-44A9-9809-E70A01D83A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da79663fa6c445059603456269c9902280a33779","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$60B0BCBF-5125-4C19-810D-A80F3A04F445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18c54cd44e23331f1c3cb4a66569ae307189de","datavalue":{"value":{"entity-type":"item","numeric-id":2895471,"id":"Q2895471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$6C940D20-0B0E-47E4-AE4B-2D855E6923A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a19e7f29ae6d462eaccf58e83db93321967425","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$946864AC-7791-4115-A4E5-62079F18400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdbbb0e55701e4979c9b9da2040e2fcaa62eca57","datavalue":{"value":{"entity-type":"item","numeric-id":3127078,"id":"Q3127078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$29391408-B688-4BCF-96DF-7D4A383E2AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$3891456C-5643-4758-BEDD-CD7BFE6E30E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$EC5D2331-04DD-498A-ADD5-AFB40F8C2602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff84f3d3f37330062bf0e6cf37053817fea75636","datavalue":{"value":{"entity-type":"item","numeric-id":609763,"id":"Q609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$DA1483E1-083B-479F-B347-5B58D4A077AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35a78f28e85aecd50d587d9a798703b66a30ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3612644,"id":"Q3612644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$DC140754-1DFA-41F8-8E9B-AA6CAFC2B071","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":"Q5089012$3DBA37E5-52F2-43EC-AC26-0E283B28854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$50D8D303-0BA1-4980-9D60-40F4FD93C85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a08da25acfeab974424d372ebc069467b68e8","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$A670F84E-6312-40B4-8A43-E7B70FAE6DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5420d463f6c29cd2183e3e9f2077e01017260b56","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$FBD0F33E-08C4-4968-9A90-A7C397E570D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e76d5bc34c13f79bb02e7fd9d15e6be560854d1","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089012$88FE93BB-E9D7-46FD-A1A7-EE9F0B34237D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d34174c8fcf1ec68f9ecf87c4e97e903cf41f83","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089012$ADD7D0ED-E874-41F0-95B7-06E18D988DDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b614750f797f07b9ff2edd03752cd1b60221e2","datavalue":{"value":{"entity-type":"item","numeric-id":5111904,"id":"Q5111904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bf3b48d16fc5ec100bebe102c31b0ecd4ec476","datavalue":{"value":{"amount":"+0.8260138630867004","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":"Q5089012$EDF1E99D-0C00-46E2-8843-580769D524F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef9cf6987fdb38041d6207038228071299b8c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b360088ebf46b65a35d9ac7a0872d9b2240a8af","datavalue":{"value":{"amount":"+0.8213400840759277","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":"Q5089012$941A365B-8997-4857-AC81-3D00694B22B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad86fdcb6089030fcbc2aaa6f7986ee2ef787d27","datavalue":{"value":{"entity-type":"item","numeric-id":2946769,"id":"Q2946769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b575f6e9d8402b34db6d30827064aa22e8ef99","datavalue":{"value":{"amount":"+0.795276939868927","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":"Q5089012$3CF6B6A4-85E7-428C-BDD2-D59BFFBE39B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb40bdef5772e08ed6a52249aa64605bb86d964","datavalue":{"value":{"amount":"+0.7914031147956848","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":"Q5089012$4FB57F05-C7D6-4626-809D-EC2ECFA914C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3f45783cda7cbcf6cd35ce95ebae073e0ef531","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1e3ea5cbfbabe4d528cd9dce4dfdd02c879cbe","datavalue":{"value":{"amount":"+0.7647009491920471","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":"Q5089012$3EC9F046-0101-46A6-8F85-420601B93333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089012"}}}}}