{"entities":{"Q1744449":{"pageid":1755191,"ns":120,"title":"Item:Q1744449","lastrevid":72418659,"modified":"2026-04-14T04:46:33Z","type":"item","id":"Q1744449","labels":{"en":{"language":"en","value":"Projections for infinitary rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862974"}},"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":"Q1744449$DC6E64CB-53E8-47F4-85F0-0FF55AF6605C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef3065b61a51baa66e404e05cc5705fd617a260d","datavalue":{"value":{"text":"Projections for infinitary rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744449$D1D316A7-0917-449E-BF31-DB9099562FBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c60b75e7d078c9dab88bcd70dd1aff67863c665","datavalue":{"value":"1394.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744449$FC735F0C-9D25-4CD4-B3AE-1CA3A4D27E0A","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":"Q1744449$B3BEB45A-14B3-4279-8D57-C870D0511A13","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":"Q1744449$2E7DF174-FFE9-4131-B1C3-9D573A4803F5","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":"Q1744449$03005E74-2B80-4564-82B2-46B219073850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744449$386985B5-B2F6-40FA-B5D1-0F1F4EA2243D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a3b943dd254fbad953f8d086977649f5b4510e","datavalue":{"value":"https://arxiv.org/abs/1605.07808","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744449$2FF62272-F057-4DA1-A79B-09D794E1CC9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744449$3B048457-9685-4833-976D-3556488B9972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39990e2544b30c5347c817d2c5e21053f7243cab","datavalue":{"value":"6862974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744449$7EA7955A-A869-4F24-A33F-4BE7E5941605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51709807060a92d3933fc4d53293a6a68ad4085c","datavalue":{"value":"infinitary term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744449$502C9509-3426-4926-943C-2D4AC64DA5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1f66f838ab6c659c40577faeda90140c2435bc","datavalue":{"value":"proof terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744449$43208833-0C80-4577-AD1E-614F42AD730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a35f04d99dd3724edb37e2370352c4734d61e426","datavalue":{"value":"permutation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744449$A31C9848-ADE0-483B-B401-EB192F18FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744449$92C0E3F5-4BC8-4670-9E9C-044420131462","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4db48a8a16e2183dbfbef147e8f2780ee514296b","datavalue":{"value":"Q113317594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744449$63CE1DD0-1F1C-47C1-80AC-B5B7847C7059","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":"Q1744449$0B03E44A-D555-4416-936E-DBFDD508B1AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11725556dd34f14ea9471caa7b7bf0ed68fbd355","datavalue":{"value":"W2403682454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744449$5A3EE0EF-8DAE-481E-8CBA-E72472863B45","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":"Q1744449$145A13C1-FAAA-4F72-B840-DA33DC4365D6","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":"Q1744449$99E6804A-A76B-46EB-B646-959E710EEA85","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":"Q1744449$1FFC03C9-0093-4FD0-9A18-0082DB53ADF1","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":"Q1744449$76AAF007-9CA6-41E0-A669-829206421D53","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":"Q1744449$74E27373-DDB5-4924-95C0-2DC5EFB1D728","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":"Q1744449$EE1E2FED-BAA3-43DE-98E6-E8C6EFE55290","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":"Q1744449$35953367-43EF-4398-804B-9FD18C599F2C","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":"Q1744449$B8337336-961B-4D91-BB2D-B91B20F4B1CB","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":"Q1744449$8D744933-E795-46C3-8392-CCDF19C04EC6","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":"Q1744449$F08184BD-B80F-41AD-9D83-9F90FD844EC9","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":"Q1744449$A4CBF1FB-5038-4DEB-867F-C90CF2D27A25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbd877ac7052d80a7c888c37fd47f28b68a11c60","datavalue":{"value":"10.1016/J.ENTCS.2017.04.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744449$A5BA2B6F-44F4-46C4-B267-290EC6CD714F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38df53b8605541130f67bf0b0610f7190a947415","datavalue":{"value":{"entity-type":"item","numeric-id":2424890,"id":"Q2424890"},"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":"Q1744449$8963971C-E47C-4336-A75F-CAF7068E9122","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":"4ebdc77dcf2be1cf73ef3839856ea62e61845a14","datavalue":{"value":{"amount":"+0.8511338829994202","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":"Q1744449$99DA4D0E-BB2B-4C5E-8F98-D4978092C392","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":"dacb4d17085e4219486dc6455c40081d3878807c","datavalue":{"value":{"amount":"+0.7941107153892517","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":"Q1744449$5694DB09-743F-4720-8BB5-35846A746CEA","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":"933d57323296417aad497ce16208ce25073fc50d","datavalue":{"value":{"amount":"+0.7847798466682434","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":"Q1744449$19AA671E-0836-4F0C-9C43-1BB0CEA79DB9","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":"fa061dbdec3dd22bb932915143cd3a6dc7516233","datavalue":{"value":{"amount":"+0.7827203869819641","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":"Q1744449$48CF86B8-BE49-4976-8A64-F6B25B6AD5A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projections for infinitary rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projections_for_infinitary_rewriting"}}}}}