{"entities":{"Q5389142":{"pageid":7418716,"ns":120,"title":"Item:Q5389142","lastrevid":100962416,"modified":"2026-06-05T23:33:28Z","type":"item","id":"Q5389142","labels":{"en":{"language":"en","value":"Infinitary rewriting: foundations revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027898"}},"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":"Q5389142$2451C922-A3C9-4354-B1CA-C2447984D82F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddfa04f639ce2f5480df40e893dad57d6e59fe4a","datavalue":{"value":"1236.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389142$44C22D2A-DA04-47B7-8259-A488D58F79CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd081b6310e0fec087b3fd5ca1ae34286145f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":820945,"id":"Q820945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389142$DB2FC41E-E16B-413F-9256-7B916E36DB3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-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":"Q5389142$E9FA0561-A13A-4DBC-AB68-786978BCE71F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba9e509954433fc00b18f7fb3124ae3e15dd14d","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_84a0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389142$207DEECA-E7D3-4959-B8A9-2C74851EE413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389142$E8F6B688-2D43-4D44-A780-06CCDA6FA6B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c00ccda6c3f965f2a89adf3c23e3d85787f21dfd","datavalue":{"value":"6027898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389142$E24201A8-0217-437E-8D09-FECB9B51E59F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389142$B2F7E4B9-1B77-49B6-BCB1-D54488985934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389142$3FD00BC6-D3D3-4955-8D64-A8A6B8A413FD","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":"Q5389142$9926938A-E150-47F9-B5C8-FAE3E7FB3A22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05799d6d2df86418f7a9b120029bf1f07caf183b","datavalue":{"value":"W1566432966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389142$54864803-8890-48BB-8C8C-DCA5258A246D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdae5bd40642e30b8824b4e996343f32e8362bd3","datavalue":{"value":{"text":"INFINITARY REWRITING: FOUNDATIONS REVISITED","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389142$6C57E340-52E6-45CE-9C49-4CE7EAE6F397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a86b82bf5316afce89528b81b1bdd6fd2ec78df0","datavalue":{"value":"10.4230/LIPICS.RTA.2010.161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389142$8580D835-E030-44C7-93E9-431F1FA6375F","rank":"normal"}],"P1643":[{"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":"0bed2b00d4aeb1a83959283cc30e61aa9a983141","datavalue":{"value":{"amount":"+0.899955153465271","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":"Q5389142$1BA92173-DDCB-4487-9178-50A775407AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f6fec2d4c159b7b8d818a7a032bde98a306f91","datavalue":{"value":{"entity-type":"item","numeric-id":884993,"id":"Q884993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf36d1620b3fd97978ca400f4cf83fa6da238af9","datavalue":{"value":{"amount":"+0.8651977181434631","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":"Q5389142$33319D4A-24ED-46D3-A8DA-9735D8D6F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7f0a7478dce861b8090bac57a12bfb55d16785","datavalue":{"value":{"entity-type":"item","numeric-id":5901569,"id":"Q5901569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35f78b1e9213a69bd601186056e98e11e2b60d9","datavalue":{"value":{"amount":"+0.8637357354164124","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":"Q5389142$881878F9-F7D2-4C93-809F-9A307D1B25C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbc004b332a1c5c1e284820eea8899b239e53c9","datavalue":{"value":{"entity-type":"item","numeric-id":4254682,"id":"Q4254682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b892d77db82c7a87699136cefdd2ca641548bc56","datavalue":{"value":{"amount":"+0.8440147042274475","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":"Q5389142$54EC6D7F-F15A-46AB-B166-756C57CCE6C2","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":"c0b4d6a2d8efe6e6f3065bd8e1e129806585af54","datavalue":{"value":{"amount":"+0.8420960903167725","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":"Q5389142$B947FC5D-9FFE-41D3-A8F0-BC73D07A0502","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary rewriting: foundations revisited","badges":[]}}}}}