{"entities":{"Q2424890":{"pageid":2435633,"ns":120,"title":"Item:Q2424890","lastrevid":53461724,"modified":"2026-01-25T00:11:00Z","type":"item","id":"Q2424890","labels":{"en":{"language":"en","value":"Projections for infinitary rewriting (extended version)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7073282"}},"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":"Q2424890$60AE7510-4644-4E59-83D5-A6B25BB4045F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa9c7515aec35648c3176ee4f15b0f066cd3901c","datavalue":{"value":{"text":"Projections for infinitary rewriting (extended version)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2424890$4BA0C9FC-73EE-4C43-9E59-42C9D9D8EABB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"185d9c53ae45a1ae8db9dc2d75718f5908197737","datavalue":{"value":"1423.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424890$255EA419-9F67-4EEF-9C56-4F4423234CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94e217cd8d9c96a0d0d37f7634467644cf2ad52","datavalue":{"value":{"entity-type":"item","numeric-id":683742,"id":"Q683742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$FA0EA326-3DCC-43F0-86A3-DF719D77CD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$9A0663AC-0DD2-4CF6-8F28-DD2AD3E85BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5348b39bb43ee09733fb8b9f52c0a9b9a953475","datavalue":{"value":{"entity-type":"item","numeric-id":220712,"id":"Q220712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$ABB26B9F-BE12-48B3-A73B-76FBAD59CFF5","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":"Q2424890$4F0911AC-E42A-4738-A065-EB74CA18E295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32811a0eefced7079831f67220d5dfb015d0445e","datavalue":{"value":{"time":"+2019-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2424890$EA84667B-1245-4AE6-88DA-5FB4775C24DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424890$6B3E07EA-0F7A-4B79-BB79-0A30A076250D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e16a1373f5f2560e8180cbb1d22f29b3397f4c9","datavalue":{"value":"7073282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424890$569D6D88-042A-4664-8F97-BB9D6D7BADA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51709807060a92d3933fc4d53293a6a68ad4085c","datavalue":{"value":"infinitary term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424890$47C9C1F6-68EE-47EB-865F-1E9AED138D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1f66f838ab6c659c40577faeda90140c2435bc","datavalue":{"value":"proof terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424890$AA33BF9F-6E77-4AE3-9BFF-0C113B7E3DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a35f04d99dd3724edb37e2370352c4734d61e426","datavalue":{"value":"permutation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424890$3CA2932D-C9DC-4B7F-8B36-EA95ABC7505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424890$565776A0-531F-477D-9E59-9DD5CB66C598","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":"Q2424890$7A5D50D3-5BF2-49B3-B3A8-C25AEC0AC4AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88550a370d16f6826a49c160add8164b01d3196f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.02.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2424890$9BCD06CC-4C80-473C-B7B8-7DFEF6A5F932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da61ea33b19c1851c2b4da1b000f62f50c10b8d6","datavalue":{"value":"W2918454531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424890$F3360813-8E54-4A38-A929-A39E253836F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$930AEC48-DE28-49D8-93BB-85247898C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$77B13117-0F4E-45C2-BAC0-A27AA3E8AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$B565DA38-A86D-4EDF-A7C5-82A8CFE980D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$E26C20A4-51A7-4D54-B9F9-A90504D8C49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb68979a165a0a6e449d49076b17283d50c5b7df","datavalue":{"value":{"entity-type":"item","numeric-id":5277876,"id":"Q5277876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$3245E1E2-D9A4-430F-8C8F-C7785814D1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e732c53b12b893204d0ba7cbe2f395c7aeeaa6","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$2DD0FFE7-ABAE-4ED8-81C1-6BC6F854FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5bca3c53ab8c805e0c434b21043b58b8435d8b","datavalue":{"value":{"entity-type":"item","numeric-id":5111906,"id":"Q5111906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$F91E4546-B70F-4B1F-B997-10770969B31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$8F78321A-321E-4A95-AC93-01C2F97645BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e2338b7c806b48af5129c7f0771362df0f7c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5170824,"id":"Q5170824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$CD87C1D6-73E2-421D-8E06-1D43517E9836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f97358bc6ee63911f9f7acefb1e70c9419d9d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1744449,"id":"Q1744449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$746D15C8-0824-453F-8900-960BBF2C916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424890$74374D77-AEFB-4156-82E8-47BEACFAA98B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"21c9bb58093c62e9669bb895568887d00b34a06c","datavalue":{"value":"Q128293075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424890$96C8B342-4A0F-41F4-8C04-EB98EEFDB700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b068077a01975f24915b4df809a980b332f436a3","datavalue":{"value":"10.1016/J.TCS.2019.02.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424890$1429A927-B7B4-47E6-8565-010BFBA088B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ba26def4304d961f39c168bcbc832bc6289777","datavalue":{"value":{"entity-type":"item","numeric-id":1744449,"id":"Q1744449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e690d82f6520c52b2d40a2d4029001ec2129af","datavalue":{"value":{"amount":"+0.9969871044158936","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":"Q2424890$E157D3AD-95D5-46B4-B7F3-40A179C68AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9784fc600fb67b4b96830236fce75733ee5e9714","datavalue":{"value":{"entity-type":"item","numeric-id":5170824,"id":"Q5170824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0253443633514ac1dad8b2b655eea1f83bd7bbf0","datavalue":{"value":{"amount":"+0.8573235869407654","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":"Q2424890$981AC33D-A8EA-46E1-8BE4-6EAC98F49A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe38337a8b6c3a895faa3b553dbbdfba7497fc77","datavalue":{"value":{"amount":"+0.801723837852478","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":"Q2424890$055A393D-6BFA-4C8B-AEDC-068E610E59B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2e1abf50daa2e213f5b62126533a265d17e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":2376981,"id":"Q2376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba549b7e9d7396e9007492af641a429bdf4aa1a9","datavalue":{"value":{"amount":"+0.7894477844238281","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":"Q2424890$CEBF2ADB-C780-41E2-ADA7-2918DD77AF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914cc90c8f5ea78b4632b47dd366756e6b31072e","datavalue":{"value":{"entity-type":"item","numeric-id":5208870,"id":"Q5208870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95660fdd800ddcaae6f41ea3359043f9a175ad8","datavalue":{"value":{"amount":"+0.7889620661735535","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":"Q2424890$1B1DF3AF-9A98-4110-8EBC-BC466F6B4BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2424890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2424890"}}}}}