{"entities":{"Q5111915":{"pageid":7141489,"ns":120,"title":"Item:Q5111915","lastrevid":53742287,"modified":"2026-01-25T15:47:10Z","type":"item","id":"Q5111915","labels":{"en":{"language":"en","value":"On the formalization of termination techniques based on multiset orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205342"}},"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":"Q5111915$504CF638-495D-486E-893B-F6D8C006F594","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a796a8849e0720f2633ec4cb760077502d683ab","datavalue":{"value":"1437.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$FF6A1519-B6A6-4919-BE74-E7DE324980B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111915$3904F229-5265-4B4D-B258-870DAA547CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29e09eb296efe01dc61f7179a7202bfa91ca6089","datavalue":{"value":{"entity-type":"item","numeric-id":5019017,"id":"Q5019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111915$3CF08D25-2364-4CAA-B878-C5DE6088C59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285123987aa9e1ffbf687d76a0608e8864735cea","datavalue":{"value":{"entity-type":"item","numeric-id":2305422,"id":"Q2305422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111915$866D1A40-0832-4129-9956-CF2832C16704","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111915$EADBDDCB-48AF-4B2A-BFBA-7126B80FEA08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$9A314D79-A42A-4DC3-9909-ACD2A14FD2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$B99A9F84-4554-44CB-9F76-D983674646A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$6835C074-01DD-46E2-89D5-40AAD243F991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da51c0eab04edd151b028dc6986b220c93015b5a","datavalue":{"value":"7205342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$B02A179E-D108-4C5D-B393-3202407E5E99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111915$F4626AD1-487A-45EB-8EA3-8EE6D6AF2EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111915$B5086DEF-52C8-4FFA-B40F-0EB58D1AF0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111915$D2E3DF56-ED90-45A7-94E3-6A46A41943B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0d06dd40bbeda9457a88b4a275dbcb69589a2b","datavalue":{"value":"multiset orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111915$17A2643D-8DC6-450F-A6A6-8477EEAC58C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111915$B9D073DF-4275-4AB7-A294-FECB29BE6150","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":"Q5111915$4AD1080A-5296-47D2-95DE-394746FF5527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8727c7d25f5f101c1df0c3992dcd6c6fca70c80d","datavalue":{"value":"https://dx.doi.org/10.4230/LIPIcs.RTA.2012.339","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111915$908A4857-AAE7-43F0-BAD7-71F6621BCC1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c5604cf77f62f6d082d63840a5fabab62b65024","datavalue":{"value":"W1533854855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$3926F745-6BD0-4364-82E3-A4CFCA890A42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa75abfd3a4323972a625c4657faa247bb70933e","datavalue":{"value":{"text":"On the Formalization of Termination Techniques based on Multiset Orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111915$E84A3823-CB08-4BE5-A06D-A533F9879F55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f7341aaf2044bc360a96e39b9376a429dddd773","datavalue":{"value":"10.4230/LIPICS.RTA.2012.339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111915$372E504E-241E-40F0-BA9F-326979ECDE98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8548302075b3340a5b54acf4973210d76d8c7483","datavalue":{"value":{"entity-type":"item","numeric-id":4846999,"id":"Q4846999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6c4c9d2a48ef093118f16c0a76976df77984e7","datavalue":{"value":{"amount":"+0.7599806785583496","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":"Q5111915$642A1F0F-F7DA-403B-AE05-9AC6F788F8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf00d78dba38081d710d62187402849bdd55995","datavalue":{"value":{"entity-type":"item","numeric-id":3024845,"id":"Q3024845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a1a1d07fc40243b7b299ee067c547191d021aa","datavalue":{"value":{"amount":"+0.756085991859436","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":"Q5111915$F4F7815C-7FD1-4A00-AD1F-DE02FE47D756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9270bc72fc26b80c8619c7d3c60dd7ad6813fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3523164,"id":"Q3523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76054d0d55ab2bc2f1e11c2c082081093749e5b9","datavalue":{"value":{"amount":"+0.7548778653144836","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":"Q5111915$3D7D9BA0-ECEE-40CA-9D43-0C58AFEFD21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52728b6561a77aca64d53821e6ef2f06b122d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1104349,"id":"Q1104349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d29f945e4776ed3bce4cb22548dcc0db74aea09","datavalue":{"value":{"amount":"+0.7509648203849792","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":"Q5111915$D12E845F-05EC-405E-A69A-4716C374ABB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fb242ebe2dc880119417aab0e10d51ee77c5fe","datavalue":{"value":{"amount":"+0.7496175169944763","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":"Q5111915$A7622071-321E-4CDB-8C75-9DAD6CEE9DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111915"}}}}}