{"entities":{"Q6854397":{"pageid":20623024,"ns":120,"title":"Item:Q6854397","lastrevid":84263102,"modified":"2026-05-14T09:00:57Z","type":"item","id":"Q6854397","labels":{"en":{"language":"en","value":"Wanda -- a higher-order termination tool (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163148"}},"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":"Q6854397$59245492-1AB7-4CD3-8197-B51BDAB3E1B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20ba91e450340bc329d253486ba8ed03654998d2","datavalue":{"value":{"text":"Wanda -- a higher-order termination tool (system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854397$ECC7F5A4-878A-4F6E-8B74-0F6A6B29CC93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37cff10bd538d577cd386ef03697653a59b827bd","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854397$DFAEF43B-A3F8-4F98-B201-D9E877FBA40A","rank":"normal"}],"P16":[{"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":"Q6854397$1E739156-3AC3-423E-B621-8D18E388CC4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854397$D8321224-9275-43A3-9D07-E7D388CA09D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854397$18635F38-D557-42F1-B823-0FF7A2125A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854397$2EE286B5-BFC9-4EC2-B9DD-CFBC824A33D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854397$2F057850-722F-405E-BBC2-31A16C29580E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f62336302c3e7be4530d1b7a174465c08b39631","datavalue":{"value":"8163148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854397$104A937E-84AC-47CD-BBDA-64C2DE5641B4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$D8D5B611-65D7-451B-A8C1-A5A5C9287593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a97032ae79aad315618a7a484896779e7f49e7","datavalue":{"value":"higher-order term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854397$13ED8C8F-D3CF-4F49-B2D6-679158034736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854397$71F75DC5-212D-4F5D-A042-F8E7A2330C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72677197119fc19b24d494dca7ac30fa6e7ff5f","datavalue":{"value":"automatic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854397$13914FB7-A64B-4F19-B04A-398FF38488D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6a08ffa52495c26f6beb58394c8f929d8d2fc4","datavalue":{"value":"dependency pair framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854397$0A87EF21-B758-4684-9AF0-78DE7B6D704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f72490e3df97b80c60063a5d921435f6a090f403","datavalue":{"value":"higher-order recursive path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854397$4760D1B1-878E-48FA-B128-CAE400E1BDDA","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":"Q6854397$09D724DE-7901-46E4-B019-4BF2780AAD36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb1005dcbae3aab565d3cf54a29fa0d7f31094f","datavalue":{"value":{"entity-type":"item","numeric-id":3655195,"id":"Q3655195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$C12038C2-73E1-4C68-A18F-D4B11B138C79","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":"Q6854397$F6F90CDC-6D80-441B-8741-216F1D756B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26583a0948b43428dfca4a799ed6c2e952e9b27c","datavalue":{"value":{"entity-type":"item","numeric-id":5901560,"id":"Q5901560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$EF36396D-A6EF-4C08-979A-4D9FDCE2F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233dfe42cf26367619cfadc069d894fa4a12e740","datavalue":{"value":{"entity-type":"item","numeric-id":5958292,"id":"Q5958292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$BF51311C-313F-46E8-9818-0574D316E977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58811399841cdbd355a9449d21565b49ce61c7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3540166,"id":"Q3540166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$49D6BDBF-1309-4F6F-8094-369ED9C34943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b26c575259babbdc2685e1d9f50e90d82b34e13","datavalue":{"value":{"entity-type":"item","numeric-id":2996192,"id":"Q2996192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$1D5CE3FE-E19D-42A1-A170-7CA24BC14A2B","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":"Q6854397$592CEA01-7A9A-4BC4-9522-D1B664B0F3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$1E5986F3-F0D1-44F4-A5D8-FE59D11161BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee69feb87337d10f198fd9cd05eafdb4073760f","datavalue":{"value":{"entity-type":"item","numeric-id":2908495,"id":"Q2908495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$87202CCF-4D8B-4A83-942F-12EF2DF52FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f471f788912cdfff520a8ac13be7b96bbc1b92e0","datavalue":{"value":{"entity-type":"item","numeric-id":4537515,"id":"Q4537515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$EA8BDDAC-9385-40DF-91B1-E110AD32D410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5198a245fea94b307475af5295dd4f6eedd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$5D4BF68B-6572-4D7B-B58A-4842BA0D8D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b5cae0e8870d6282bb3cd450252c37824fae62","datavalue":{"value":{"entity-type":"item","numeric-id":3172889,"id":"Q3172889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$EB292B88-B9B9-4BBE-A340-C65862416E47","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":"Q6854397$D04ECCBD-C971-4620-B08F-5EBB14CD7FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c1fab0dcd611981ead48659bab621bc74a441c","datavalue":{"value":{"entity-type":"item","numeric-id":6070806,"id":"Q6070806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$BA80E480-264B-44C8-B4C5-5C1177B973F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$C7F97E05-13EC-45AF-B0B1-AD5708F72729","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":"Q6854397$E9485BA2-2A12-42BC-B6E7-83127882C643","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":"Q6854397$C2C0B722-E47E-4E58-8D93-9ADB173BF26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$81C54716-E74A-4FC2-90FA-34052D732931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e88b96adfc7b847ce3bf4c667a245057dae5c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$0A09F385-D893-4153-8229-F855EB3643FE","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":"Q6854397$E67BED2D-91FB-4E17-8F9B-412F7D54A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343c2e91efa2c8f3a1c767f0f3d09ccc003f8942","datavalue":{"value":{"entity-type":"item","numeric-id":5757933,"id":"Q5757933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$95C5C2E5-F395-4580-9FCE-97A3533BEE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b99965e0e643d8e7f753c3055a6b6a371bf5a5","datavalue":{"value":{"entity-type":"item","numeric-id":3014941,"id":"Q3014941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$35143249-3985-4A4E-A6EE-AA43541794E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be83cc1c2cdad85479f7ddfc52806e285e2629da","datavalue":{"value":{"entity-type":"item","numeric-id":5505590,"id":"Q5505590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$61A7DFC4-3464-47C9-9B00-86B10392DD87","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":"Q6854397$03DD7F0F-8079-47B4-8263-940A3D5020FE","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":"Q6854397$665DA2B9-55EC-49A0-8DF0-B88666F1ADBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$2B5355C7-A4B5-4B8A-81A7-5EA33B628E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$BC5413A2-FE80-4D45-B247-D09C0DCFF3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cb4459e9550e8e794652e6fd91a1b9970f2692","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$A410689B-42DC-4D09-8548-68D0FB9BC3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9836b3358a57b040509aa2773b587777940123c","datavalue":{"value":{"entity-type":"item","numeric-id":6085974,"id":"Q6085974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$2B37EF01-5B05-4F0B-B52E-2E00588A5F77","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":"Q6854397$B7291E44-ACBE-4E92-9B28-D41A49EC7E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8191cf0bfbb217d8b509ce0cb8681f64b916ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5111915,"id":"Q5111915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$7CEDF7ED-5FD0-4D57-979B-E27A5D102B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$0A359E25-FC9F-4036-A5BE-89DBE76C1CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$E3A18F5B-9C27-45C6-92A8-98C69936708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854397$17FE406A-4000-443B-AA87-759E4E77954C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wanda -- a higher-order termination tool (system description)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wanda_--_a_higher-order_termination_tool_(system_description)"}}}}}