{"entities":{"Q4914419":{"pageid":6943998,"ns":120,"title":"Item:Q4914419","lastrevid":91603193,"modified":"2026-06-04T23:35:46Z","type":"item","id":"Q4914419","labels":{"en":{"language":"en","value":"The recursive path and polynomial ordering for first-order and higher-order terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155656"}},"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":"Q4914419$481AFD86-6BF4-4BD0-B167-647C3E35C923","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e051f0082c53bbb59e07fd76470f9f646a7f7e9","datavalue":{"value":{"text":"The recursive path and polynomial ordering for first-order and higher-order terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914419$CFAE96D0-22AB-4EF6-9008-5F6E187CBFDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7958ca39bbdca98d22268834ea262d6ece381da3","datavalue":{"value":"1284.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914419$53396C19-C7D3-4943-935B-46A1A3C5799D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914419$CE486B11-3993-4400-BCEB-3D7EFE0C3556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f18c2b247eb825a22ef1ac6c7e11ce559c2677f","datavalue":{"value":{"entity-type":"item","numeric-id":438573,"id":"Q438573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914419$260D7066-8C70-4C90-BCB6-20CB64B680AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914419$55F28610-24BB-47E7-AAD1-1C2404FE800C","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":"Q4914419$C88EBA16-A437-4BD2-AF7C-BD03ABD15B10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-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":"Q4914419$E99E3132-4FAA-4DC6-BCED-284FAA68E379","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914419$D7C2D310-C24F-4C2B-9E13-3560E8AD7B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914419$50A65427-795D-4AD6-9025-38BCF433FC40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b3e479633086f350b4e69f33ed89bd5542beb6","datavalue":{"value":"6155656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914419$4146F34F-B744-41EF-BDD9-8E146D746836","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914419$51D1605C-8293-4A7D-9379-3021ED2EFB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914419$E9FBE994-A282-4AD1-99A6-1E6BA41B11DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914419$5D246459-4A76-47FB-BDD7-F3EB6F35A84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914419$28ABFA6F-3CC9-4854-8B3B-E89E67AF7872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fdf7e49c11598990d3e6385d95cb4e5490ec8e9","datavalue":{"value":"term orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914419$34450BCC-2A60-4827-A7EA-4D97E51659E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914419$E2ED4551-B144-46A8-929A-EA4E3C99CDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914419$BBAE4277-8551-48D4-A303-007107AB40DE","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":"Q4914419$D52BB49A-0804-4CD4-A652-05FC6B5A73CA","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":"Q4914419$F44D788F-D8DA-456B-89A1-770F3233092B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ffc3657447beebbabb2ca4573f35bb9bcf2c3d9","datavalue":{"value":"https://doi.org/10.1093/logcom/exs027","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914419$C26BB853-E8E5-49E3-A23D-610BECF45F1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d559eeea0008edf2255a7888e2b3420d9cdbaa0","datavalue":{"value":"W2071764772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914419$53818F9D-74D2-4700-8566-9D972E0DC048","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98c3b5cfed61fd868327a8100dd34b0438748781","datavalue":{"value":"10.1093/LOGCOM/EXS027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914419$9BA892C1-FC35-4971-B58B-5C79152358A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914419$CC689534-3379-4E3B-A407-92CD63B9FC68","rank":"normal"}],"P1643":[{"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":"38e2af5690b986cbf5050dc5dcdca29117f66665","datavalue":{"value":{"amount":"+0.8302900195121765","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":"Q4914419$F1210762-A429-4A9F-8B3D-ADCE6C7FE9E0","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":"15f36c44eb44ccafc868c252a73df9fab0daf39b","datavalue":{"value":{"amount":"+0.8153308629989624","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":"Q4914419$EA503552-5F71-4621-9361-18353F58C237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a53e059b0d006a54802813dd980f3811286fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2996192,"id":"Q2996192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9996f48290f1232b7bd7c6902ccce519691883","datavalue":{"value":{"amount":"+0.8031739592552185","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":"Q4914419$47EEB785-337B-4CE5-A855-BA0F64EC1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0c61e6fd01e935344860ee668c18458e006fba","datavalue":{"value":{"entity-type":"item","numeric-id":2988386,"id":"Q2988386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593b193c44503c1fcca9c0d20c1cd14b2cbe06d7","datavalue":{"value":{"amount":"+0.8021678924560547","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":"Q4914419$DF716512-D3F3-4A8A-914B-EAF18822F43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da9db7bd545f22301ad588b7db34dbae68d6e52","datavalue":{"value":{"entity-type":"item","numeric-id":5505590,"id":"Q5505590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26abc4f247b229b60a12b4d45e774a4a3fb0a80a","datavalue":{"value":{"amount":"+0.79643714427948","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":"Q4914419$0F99C1FF-0AA4-417E-9D70-82E0448A0441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The recursive path and polynomial ordering for first-order and higher-order terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_recursive_path_and_polynomial_ordering_for_first-order_and_higher-order_terms"}}}}}