{"entities":{"Q2843930":{"pageid":2854650,"ns":120,"title":"Item:Q2843930","lastrevid":51807887,"modified":"2026-01-20T03:49:52Z","type":"item","id":"Q2843930","labels":{"en":{"language":"en","value":"Lifting infinite normal form definitions from term rewriting to term graph rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201793"}},"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":"Q2843930$69C4AD24-AF83-4181-A9A7-066601C8C3A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30273bc23ff5e1bd0c49125cc1fd657dfcc62eab","datavalue":{"value":"1270.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843930$17C491BD-78C5-485A-815D-D09ACE872ACE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843930$9301E12D-E361-4AE4-9102-035022BBC2D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-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":"Q2843930$EAC63D40-B11B-45AC-9D52-429BC9712DBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c7572d97a2bdc61109ed2a8a3f75add3b1572b7","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107005488","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843930$111D3806-3ED5-44FF-AAF0-09B7E4753660","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843930$1C87C493-727A-4529-950D-48F8ECEBEC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843930$0243A66C-654E-496D-A382-4695B2F04377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843930$0D89AF56-EA88-4CBA-9F1F-A18FA714AF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84fd26d1b9e5e547d00a0d75c89840dd2f593861","datavalue":{"value":"6201793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843930$84A85A96-01AA-49DB-9771-77CA07BDED87","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":"Q2843930$5BFB003A-0189-4CCD-8F92-2813B374606E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6bd99cf37c89ea4ee6b984088590768fcec8bd1","datavalue":{"value":{"text":"Lifting infinite normal form definitions from term rewriting to term graph rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843930$8C58A5E6-6A50-4E74-8257-496E67969EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3310851aa24514bbd28e1e11371d473f5432cb","datavalue":{"value":{"entity-type":"item","numeric-id":672235,"id":"Q672235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a42f290b75b17bf613639ba5c2f5c119948aa8","datavalue":{"value":{"amount":"+0.8275707960128784","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":"Q2843930$B6EBD50A-ED3E-4191-8C84-00ED1B96EAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41aaa57fe30511832972547fc629c35640b6da70","datavalue":{"value":{"entity-type":"item","numeric-id":5881271,"id":"Q5881271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a293f1b724cc8c751486a271ae2668b02abbd9e","datavalue":{"value":{"amount":"+0.8055763244628906","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":"Q2843930$AFE96674-9E55-40C4-87A9-04771FED96C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a2118a6b2bcbb8fad1a79b434f4422bb6a0c35","datavalue":{"value":{"entity-type":"item","numeric-id":4205073,"id":"Q4205073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4bfc4313fd10a78ac9c60006b5e1a011d8d50a","datavalue":{"value":{"amount":"+0.7928258776664734","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":"Q2843930$C9FC6A74-5BA8-4E73-B727-03E06477DA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a4f832c9d474e682f661372f61df5b36763ca","datavalue":{"value":{"entity-type":"item","numeric-id":4035244,"id":"Q4035244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea4267ee74d93948597d9e1eddc7a6a52dcb384","datavalue":{"value":{"amount":"+0.7822566032409668","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":"Q2843930$4D5FFB96-C837-413D-8B24-26910AFF57AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20680439dab42b72b681f0d4d36aff89c54e32b","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe116f1030de74a028ffa520831b3ae9b91dd722","datavalue":{"value":{"amount":"+0.7821651697158813","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":"Q2843930$45749C7D-213B-407F-ACF7-4F0E3BFA8881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843930"}}}}}