{"entities":{"Q2946769":{"pageid":2957489,"ns":120,"title":"Item:Q2946769","lastrevid":52347776,"modified":"2026-01-22T10:12:31Z","type":"item","id":"Q2946769","labels":{"en":{"language":"en","value":"Normal higher-order termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483259"}},"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":"Q2946769$836BB07B-C48A-42DE-A5CE-66A1C4F260D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39ef177a03f5ecdf30e7141225a9a1ca08b8cf5d","datavalue":{"value":{"text":"Normal Higher-Order Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946769$8A2444B0-A747-4D70-8EF1-F37C27BF55E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40dc7aa92f0d360c41ef1d6dc913f8d10016b03d","datavalue":{"value":"1354.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946769$7C221293-3AC1-4F40-A353-3A1E3BC3226C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ad5083c8a3976ef0c9260edc6b8778d7219747a","datavalue":{"value":"10.1145/2699913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946769$F672DA01-0B5C-4C14-B2E0-362BB7F3AC84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$68F9815F-C079-4B5A-AEC7-B3ABC282EA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$FDD3B661-0EAB-4111-AE60-5119D8826708","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$C7395490-BB15-4F64-88B7-AFC3F9B62B46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946769$5A2ACFAD-F501-4401-BF1E-E3BB3A4FB98F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97d61333d15c285db481a9bb633a1f529b5737f5","datavalue":{"value":"http://hdl.handle.net/2117/79284","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946769$407DF35B-4335-4C6D-BBB3-25FD57D33476","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946769$0DAB2136-F215-4D53-885B-EE959E7CB81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946769$9C1431E6-C571-421C-8737-F0487A0ABFCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"776609439c2cb44fdb46b6a8ad540f22a3048b1d","datavalue":{"value":"6483259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946769$CD10AF64-BC2F-497D-8F97-B2C260E03A7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946769$FBF486B5-0B0F-411E-B760-35C317ECFB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4adc1356c7ed72cc19b81ada62118689b9f1ef97","datavalue":{"value":"higher-order orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946769$C4350DA3-8D55-43DC-B439-1D9B41DE19AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad642d2813eee2a994e43b3b9490128acbb130e","datavalue":{"value":"higher-order patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946769$DDF16FE4-C005-4314-B778-A8598C11C883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946769$975F4B2A-DA8A-49F3-B1B0-03288E4DDEE3","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":"Q2946769$F83A084F-21D6-4717-A34F-022017ACC882","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35358f7f7e30575e02d22666871b475c773596b8","datavalue":{"value":"W2137965931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946769$A3D9F24B-E223-4658-A6FC-76E966FC1987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed0a1903cbd2ca4dd63e0361da9396bc8ee07dc","datavalue":{"value":{"entity-type":"item","numeric-id":3608812,"id":"Q3608812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$B78FCD96-3820-431B-AB0E-A6133FA48A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14408ce3bc4d32d31c1f710f161db7f09add187","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$341CC0DD-00F9-4038-A41D-F975ACBA06DC","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":"Q2946769$3D6BC130-4433-4A1A-8DDD-D2C1BC9D7FEE","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":"Q2946769$23BFAF49-E8D9-4EB5-AF7B-471F916620A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9d6dbb16c02d7c8c1e5718ea395889808bbb9d","datavalue":{"value":{"entity-type":"item","numeric-id":4914419,"id":"Q4914419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$6590A4AE-4479-4428-994C-57823AF03E2C","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":"Q2946769$498625FB-1F37-49B9-972F-C86B5B6AAA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$603ECEC8-3440-446A-BDEB-8E277A7B9A32","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":"Q2946769$450F13A7-75B0-42F1-A3A6-70ACF019E302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$9D876F96-6582-4431-BEA5-C9D9AAA6C52E","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":"Q2946769$EC2087B7-64B6-4436-8827-8A0703E38CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$BE3A4099-968B-4528-B53D-4A778E3739EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$A12EA245-DF65-45FE-9320-8A4BBD1590E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5caa1963409882f291bdd862dfad9c1f478a91e3","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$DAE5C30F-B611-4A0B-B807-4394E72B0C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6476dfd88c72a0f923de2fd86bcd0837d9a7ef7b","datavalue":{"value":{"entity-type":"item","numeric-id":3527310,"id":"Q3527310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$778CFC2E-CA22-48D5-998F-AA20C58AD29C","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":"Q2946769$7144782E-1D26-4356-93B7-59057BD98FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60af476512aad671eca473b4037bddc4837c3457","datavalue":{"value":{"entity-type":"item","numeric-id":5389082,"id":"Q5389082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$65384EC9-EE96-49F3-AA59-5FAE1E53862E","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":"Q2946769$6E85225B-56A9-433D-AAD1-D5DD788D65DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a3ad609b1c317d69e08e452a14faabeab27771","datavalue":{"value":{"entity-type":"item","numeric-id":2508306,"id":"Q2508306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$6A238C20-0E01-4881-87BF-0F144D51AA25","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":"Q2946769$4F8C8939-3CD8-44AC-B350-AA84D6B28BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946769$EBFDD08D-8991-4986-A1DA-0DF8DA52BAE9","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":"Q2946769$2365B9DB-4695-4337-9956-41C7770BD3B6","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":"Q2946769$23374282-4705-4787-A42B-E7F1D72B532D","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":"Q2946769$27A4F4D1-DCA9-4EEF-B5E6-727782149657","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":"Q2946769$844DA372-51F9-4A84-A1E7-DD53649D2FBD","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":"Q2946769$62A580DB-0B46-4E1A-82CE-90DAD6F21700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ed57f1f8aeb92172bdd35e2d98fc0a6e28a9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3527310,"id":"Q3527310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef8bb4f5c27bc7c13c4c9cb0b2636724a0da344","datavalue":{"value":{"amount":"+0.9287265539169312","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":"Q2946769$354DEDDB-D9E8-469A-BAFC-D6B8B2138A30","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":"66073bc327bc2aa967998dfc46ab865301a2ccd9","datavalue":{"value":{"amount":"+0.8868404030799866","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":"Q2946769$30157518-7FD4-401A-AC41-2BAACCC79AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdb450072f0a21d1b2b7da535dc91202feb50b8","datavalue":{"value":{"entity-type":"item","numeric-id":1275015,"id":"Q1275015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9200a1f05c8322a64008c2f19f8e6c39ec9920be","datavalue":{"value":{"amount":"+0.8496597409248352","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":"Q2946769$E547B621-774B-4AF8-94C1-7D833A898150","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":"9eb44d5436add8f78a0463d27165fcc824e2100e","datavalue":{"value":{"amount":"+0.8463830947875977","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":"Q2946769$A57A2655-03F2-4BD1-B8C0-CDDD8B62E71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f000fc31c1bab55c3a4a6f5c543789864c6d5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5055855,"id":"Q5055855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeab2d55d5cf4dab44a551b3c39d6e50792919b","datavalue":{"value":{"amount":"+0.8455619215965271","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":"Q2946769$69C95C9D-94B4-4018-B848-8AC8FE2BC4C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946769"}}}}}