{"entities":{"Q6535510":{"pageid":14146653,"ns":120,"title":"Item:Q6535510","lastrevid":55548241,"modified":"2026-02-17T18:36:46Z","type":"item","id":"Q6535510","labels":{"en":{"language":"en","value":"Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787534"}},"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":"Q6535510$3B0014D7-91A5-4084-9323-B38E4E9B3FFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d788089655037ecd848edfc63dc508421524b707","datavalue":{"value":{"text":"Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535510$CD5A0199-ACF7-4B85-831B-FB2AFF1787AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86cb3258ca630a8dc88b7c59f6e55d3341d76d2c","datavalue":{"value":"1545.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535510$419062EE-2B0A-4A03-9DFD-8734605F88C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83002fbcf99ac06da521a6b75b4aa944545cdd27","datavalue":{"value":"10.1007/978-3-031-36709-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535510$B4DB84BE-9272-4FD0-969F-C32BBF80583C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99b6894e19bc389a1dbc1034ff4e4dfd56bc4b09","datavalue":{"value":{"entity-type":"item","numeric-id":6198041,"id":"Q6198041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$565A07D4-861E-4943-99F0-494FEB60002A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$D363665E-B8EC-42C0-A222-5A59EA14C8DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535510$AEEF5557-DD2A-4A18-9A5B-23F730482830","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535510$CB1851E8-2CDC-4757-A6E4-4F6134228E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535510$506C8CB0-D144-4510-B1D1-7289FF57C127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33f882c82f780c8970e6e4acf2ce9c19914f66c8","datavalue":{"value":"7787534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535510$968462D3-A3E9-44D8-928B-011B47C4615F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e24743fa8b32b081f850486f1f91c3ac9b8602","datavalue":{"value":"double-pushout graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535510$5B53D34D-45F3-472D-BAD8-2F39E9B2BD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535510$6617B8B9-191D-40F8-B3A3-E830D988B07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc45332a8e25131f9a233069b95920f8e12f083","datavalue":{"value":"uniqueness of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535510$9A8FF20A-2677-4268-9EDB-1186B70BAED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535510$429CA0D7-25F2-4041-8DC7-598C1505E420","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":"Q6535510$60A50761-8017-4BCD-8829-2200DAB1E5CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$8A9F2CC9-37BF-4A05-8E60-6D47004702AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$5604FDEA-87ED-4979-B21E-831459706E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c07ca0f44b79afdbcfddae6ebb1219a48714c74","datavalue":{"value":{"entity-type":"item","numeric-id":5875357,"id":"Q5875357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$A8514316-C903-417B-B50F-C89BC56E8E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972cfa1f342f0308861531123dc14ef8f72b5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2358623,"id":"Q2358623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$FA79F102-57C4-4A59-9C86-BC5C5190BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$0180DFD4-E0AA-4DB5-A0F7-8EDD2A0C96E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36d7d97026cd553890bf8bf659121a9c590144","datavalue":{"value":{"entity-type":"item","numeric-id":4122833,"id":"Q4122833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$F2886F0B-0683-4F29-A707-4C8BB549DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127ee72d1d7ad2f1d389ea622790e729ce06b376","datavalue":{"value":{"entity-type":"item","numeric-id":3868784,"id":"Q3868784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$4493361F-DD1E-4D25-9FF2-C25E5ECA7EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$17B76F4D-1314-4C9B-B8E3-629DC1E371B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe8b98097136d65813da62e5a484a5f7126589e","datavalue":{"value":{"entity-type":"item","numeric-id":2762625,"id":"Q2762625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$ED3D5D21-FE51-491A-911F-702578D1BEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$93480A8F-D83C-4057-AA73-9B76E8406D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$290DAFC1-F34C-418B-8327-E84EBAD193BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de91b91539e6dce8e5fed1bf2118f8815976390f","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$AB7D885E-92B0-4305-97F1-FC2A4CC8FB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$B4BCE504-AF16-4DF3-A26E-98481188C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$51450F92-B7E8-43F0-8372-FF7D69BD4966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$7C323127-B299-4380-A991-1EC99346E93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5de220317fd709a7e63acdecfb92f5c42b492","datavalue":{"value":{"entity-type":"item","numeric-id":2280211,"id":"Q2280211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$F200F080-8618-46C1-9707-8349A0BF6E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20147f0be83a84cdf868f47b52906c90af53722","datavalue":{"value":{"entity-type":"item","numeric-id":5015376,"id":"Q5015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$BC32CD88-824F-49A1-8B73-538D4A28C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9c71394206aea9bb4901e11dd2a9fad0e915a4","datavalue":{"value":{"entity-type":"item","numeric-id":1215276,"id":"Q1215276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$4B974F36-7A9E-4876-B244-6F0300FA5BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dd6edf1e58018001107d2f709835b4d48d3b22","datavalue":{"value":{"entity-type":"item","numeric-id":6198042,"id":"Q6198042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$EDE18D72-0A69-43DD-888D-632009C9D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7ed3d7b7fd15c58ead30f44cff87ebaa43ba41","datavalue":{"value":{"entity-type":"item","numeric-id":4585009,"id":"Q4585009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$30C6D1F5-0707-445C-83A7-23012A3801B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8721145a13cff8f7dc8b33f656e2da5938bcc22f","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535510$4B1F6F14-32E7-4208-ADB6-57366613C7B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ffc7c40a4d82f5ad02c6606dc6862594212341","datavalue":{"value":{"entity-type":"item","numeric-id":6198042,"id":"Q6198042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc722b5c37d6e6f711ce5d0f185ccb165532f41b","datavalue":{"value":{"amount":"+0.8835079669952393","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":"Q6535510$D5D79B25-EFAE-45A2-8EDD-18B26295C04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81bce5a2e732ce4597f77ee4cd8a8ee5be58f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20710af4f49a8bf5c825dd990cc04c11d3cea0fc","datavalue":{"value":{"amount":"+0.7685778737068176","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":"Q6535510$A5828071-CB3F-4AE6-8011-2CE8C0F2E68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005232520771134680058c7ddbb399f79fb1a12f","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42923603e365cd69e2111b5d30487348a1fbdef9","datavalue":{"value":{"amount":"+0.7647658586502075","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":"Q6535510$E2A78982-C1BF-498D-B961-9B6A10D2AF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfac03e65b4479b3d4288ea593ba94ee520ce61","datavalue":{"value":{"entity-type":"item","numeric-id":2762625,"id":"Q2762625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e7fd1c4d47c05d370efe6bc1a37883800b554f","datavalue":{"value":{"amount":"+0.751876711845398","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":"Q6535510$646CC1E1-95F3-4E17-95C0-ABD9DDC4D74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc286ab1bc8464f5b163fff7440bdb9696395a4","datavalue":{"value":{"entity-type":"item","numeric-id":5096286,"id":"Q5096286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f9ecfaf0f3159132f8762ed3e654ea516335ff","datavalue":{"value":{"amount":"+0.7316628694534302","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":"Q6535510$320F6FA5-458D-4644-BB93-25B2F8C22707","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535510"}}}}}