{"entities":{"Q1318707":{"pageid":1329457,"ns":120,"title":"Item:Q1318707","lastrevid":70129974,"modified":"2026-04-13T12:38:16Z","type":"item","id":"Q1318707","labels":{"en":{"language":"en","value":"Norms on terms and their use in proving universal termination of a logic program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540859"}},"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":"Q1318707$35D69BEF-D038-4A36-8DDC-CB8292EE4F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85f6f52628e00d8fcbdfccd5ddc111d954b8824e","datavalue":{"value":{"text":"Norms on terms and their use in proving universal termination of a logic program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318707$FBA56050-F21A-49F8-9E0F-CEE599957893","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ea203ab47c834b1e9406cb2334822ddb1c6f6ce","datavalue":{"value":"0795.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318707$7F777F67-CA91-4D7D-8D60-2A03486A867C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90268afda63487813790f2548a02c786ca124122","datavalue":{"value":"10.1016/0304-3975(92)00019-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318707$A28DCB3B-01F0-4B43-ABA8-419F6E012947","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49831676bde814595cc9c4f24db449fd4c1e698","datavalue":{"value":{"entity-type":"item","numeric-id":1318706,"id":"Q1318706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$B98DBF25-F678-4EFD-8656-6C25937361F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$CEACFC94-26EC-448C-874E-0B1FCD8F2CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c65fdcb74774080f5ad7f459a5d7542d215b90","datavalue":{"value":{"entity-type":"item","numeric-id":609027,"id":"Q609027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$F3D05C8E-5139-4BC8-94A1-7E8F2C2F8CFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$B71F1B3C-179D-40DA-A652-5F63E7F15836","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318707$13AA1FC3-F6BB-450A-9A08-610DD2040A3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318707$3BAB7048-3480-4B96-99D6-821C6C55418C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318707$C58764C9-3B4A-43A7-9A11-9E900ECF5DAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"179e2ba25a59b1c49dfb1239917068f24afb25f6","datavalue":{"value":"540859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318707$9847491A-EB46-4557-A74B-EB87EAC483CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5acee39ae7f50a7cfeaf74584da8ec0c768fcc","datavalue":{"value":"semi-linear norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$16D67410-7BC1-4B58-B6B1-73EC24AA6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$E91D369A-B580-4E32-861F-352203DFAC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63659cd2f684a9f446876779137f81450675dce2","datavalue":{"value":"universal termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$B90BF526-DAB8-4AFB-AF73-AC60276FA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"245bf6869e3e33f3a472876ab9fc6e8280415f36","datavalue":{"value":"pure Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$CE1AE81E-530D-4900-B145-AEE953FA5F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72a1b24e6e892e72761de3a64781267ea5d944","datavalue":{"value":"proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$4B8EEB77-EEBD-4C1D-825E-E85BA76B4D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e2a402c3fec0265b4a0547487f87e31793dbfe","datavalue":{"value":"pre/post specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$E489282A-6245-4C1B-A816-5FA95E2B2594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e701e207ecf84fa9b1ac8f3fd1268423ef0a652","datavalue":{"value":"ordering functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318707$0EC99FF9-A3A2-41ED-AA42-455CE692B69D","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":"Q1318707$F982F4C8-D5ED-4B6F-81F8-16745ECA34E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$851C9BBD-3C50-4337-95F0-E323633443CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$8A523886-0125-430D-A3FF-B36546C29200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e2c5246172b5aa8717d5936f7b97d7076bc110","datavalue":{"value":{"entity-type":"item","numeric-id":3941433,"id":"Q3941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$C7711831-774D-4F33-944C-B7AA5A0BD02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec23c2cedbca993d6d20ae4992d574dd3364f15b","datavalue":{"value":{"entity-type":"item","numeric-id":2736363,"id":"Q2736363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$0F639B2B-417D-482C-BD3A-540D43A05275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d0179a38a081bffd4fbdf405b40aa1e228c8cd","datavalue":{"value":{"entity-type":"item","numeric-id":5688890,"id":"Q5688890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$D16A5A91-99A9-4CCC-8A01-4EA887698E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd38fe69edbe355b40165941e34e66317c8714","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$C8822507-9759-4BBA-ACEC-9B574DA6E407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0e2e6509392464c0e3bef27385ef4d4baa21d7","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$B00FA0C2-7B14-4597-84BA-69115BD66727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08660eb960fb992bf546d146b48be64180be461b","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$7CDC6981-298F-4348-8B89-B4B368B0A4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$E722DF28-CA8E-4D19-A242-41410CF2942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce917b966191fcc55cb06979ce350d12396960","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$164CBD9C-3FBE-4F54-99CA-A226FF5805CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2897f6e623d42d88f31934c697b59d9a50fbb72","datavalue":{"value":{"entity-type":"item","numeric-id":5688891,"id":"Q5688891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$9B0687F7-D981-419F-B691-A46E0AD37263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d58b4ac938735862879480a8769d0e2a4b464da","datavalue":{"value":{"entity-type":"item","numeric-id":4035671,"id":"Q4035671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318707$78F417B7-F363-4E8F-B712-9ED6726D5835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809eb482a213a4099f5d02912ddb4b302daafe35","datavalue":{"value":{"amount":"+0.8369671702384949","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":"Q1318707$55C18BF0-E25D-4BB0-B331-200C92D12867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddbccf58306fc150275ae477d54c3948e516264","datavalue":{"value":{"entity-type":"item","numeric-id":4808812,"id":"Q4808812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a4f192aa87aafe3edfdb766027bbf9f23e2c42","datavalue":{"value":{"amount":"+0.8262898921966553","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":"Q1318707$A009B8B4-8A52-4DA5-AD3A-069E62406A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9e6eac3c48ab2bc3460d70885994e889af819f","datavalue":{"value":{"entity-type":"item","numeric-id":4878774,"id":"Q4878774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7fedd2637214000f751153067a75a18055e0c11","datavalue":{"value":{"amount":"+0.8143956065177917","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":"Q1318707$8BBF57FB-D47C-4727-8703-49B670591C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c132360210247e3c99e83d560cb2923fc4f1afa1","datavalue":{"value":{"entity-type":"item","numeric-id":4364368,"id":"Q4364368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7fedd2637214000f751153067a75a18055e0c11","datavalue":{"value":{"amount":"+0.8143956065177917","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":"Q1318707$F665C81F-4BE1-4ED0-8BEA-20EA5C4D1B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96102f223a0ebb534412d9033baaed6d665e8a3","datavalue":{"value":{"entity-type":"item","numeric-id":5096221,"id":"Q5096221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edcdf896ccfb515540432066a667b57439582da","datavalue":{"value":{"amount":"+0.8062903881072998","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":"Q1318707$52300E3E-7F05-49D7-BFDB-3EA5778F5BA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Norms on terms and their use in proving universal termination of a logic program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Norms_on_terms_and_their_use_in_proving_universal_termination_of_a_logic_program"}}}}}