{"entities":{"Q2888507":{"pageid":2899232,"ns":120,"title":"Item:Q2888507","lastrevid":83711525,"modified":"2026-05-07T10:03:22Z","type":"item","id":"Q2888507","labels":{"en":{"language":"en","value":"Modes of convergence for term graph rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040184"}},"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":"Q2888507$B107C4B3-6353-48FF-AB61-0FF15C4A43E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6acd1adf91ba6048c0192060c8d8734c20d1353f","datavalue":{"value":"1238.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888507$65CD5CF4-B08A-4DFE-A107-CBB0A0AEAB6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a098a82586885fb00f729a714facd549f64055ba","datavalue":{"value":"10.2168/LMCS-8(2:6)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888507$52D5111D-6CAD-45A5-A078-18B0D5B1C08D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888507$551A677C-13C7-483D-B614-2088D5392925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888507$AD5EB5E3-50A6-40F9-A678-1AD78AEFF368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888507$3F3DBFD1-ED3F-492E-B9D9-F0E494AA53B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888507$DF0E3EBA-00E4-4218-A9FC-28AFD0A36AEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c1688fb8c15a462c816a27f075e7a9342666f4","datavalue":{"value":"6040184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888507$8A32043F-DFE3-496B-9B18-6BD1307F8067","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eace8dbec38ec66fa156644db5e4adb455df6121","datavalue":{"value":"term graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888507$4DFDC0E0-2442-481A-9370-4D420A717759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888507$F723FF56-36E0-46F7-8BFF-32C69327FE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda41adc453c45a375111b646597f1154ba456d5","datavalue":{"value":"metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888507$CCA96B97-8565-40B6-9896-0717CDBA2DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888507$3B326329-4DA0-4A8F-A73A-A660DCAC3B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888507$003749D6-1B4B-4D65-B0DF-86829A3751B4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"19ca9dc90d2daaf975452a12dfb664f7a0ee26ff","datavalue":{"value":"Q58061608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888507$F227FC2C-147F-45E1-8B8C-FDC57BCDC4C6","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":"Q2888507$84A8C649-8671-45AC-98CB-1CB2B62DC95E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33019a2ecaeb832ed3ce2852c3cac5892cdf3cbf","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(2:6)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888507$628E0192-E7E3-4955-835B-F7A2FD7E101E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72f470f726c52552f26d4237a6c222b955b9fd60","datavalue":{"value":"W2764235762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888507$435CF0AA-4BD8-40D0-9069-BE70BDC65A9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afc587c496aa85bef25c7afc6cbb616eb07e3097","datavalue":{"value":{"text":"Modes of convergence for term graph rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888507$57627B61-714F-41BC-91EC-8421E8846D35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973e1a13d24f23a6cadfa382d497a582c05432a1","datavalue":{"value":{"entity-type":"item","numeric-id":5389078,"id":"Q5389078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3093305018d2d72d02819e93c892de00f8df4fa6","datavalue":{"value":{"amount":"+0.9910843372344972","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":"Q2888507$9A602019-2241-4926-A759-BEF1C36EF9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2643637ea941739e70766e8a470f2f8d7bfe2d66","datavalue":{"value":{"entity-type":"item","numeric-id":4585010,"id":"Q4585010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad8a163bf900229e1e306001d93652f05ec61f2","datavalue":{"value":{"amount":"+0.907135248184204","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":"Q2888507$C8A7A461-F426-438C-B90E-99B9096546D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5598ee8b4b27ef75188452446c37c748b9f195","datavalue":{"value":{"entity-type":"item","numeric-id":5111897,"id":"Q5111897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62dcb4c709aabb553a397343cd7791dce017b789","datavalue":{"value":{"amount":"+0.8669098019599915","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":"Q2888507$18FCFFFC-8122-45FB-A9D7-5954523D3CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55d14aed5363e0fb687ea97e0905233b016724b","datavalue":{"value":{"entity-type":"item","numeric-id":3388523,"id":"Q3388523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f500041c6217c81fcbebade783f4f8fb6ec93ec3","datavalue":{"value":{"amount":"+0.8550876379013062","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":"Q2888507$1EC96F90-F49B-4E6E-B95E-092ABCF1231C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06851ee1242a606e87709f0e1667c71aa1abb85","datavalue":{"value":{"entity-type":"item","numeric-id":4964701,"id":"Q4964701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd20ef70e3e53a4f76fa7d839cbbe187f9af215e","datavalue":{"value":{"amount":"+0.8190221786499023","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":"Q2888507$F4364C50-A164-4E43-A7BA-A8FA555E46A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modes of convergence for term graph rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modes_of_convergence_for_term_graph_rewriting"}}}}}