{"entities":{"Q6560375":{"pageid":14171530,"ns":120,"title":"Item:Q6560375","lastrevid":55691974,"modified":"2026-02-17T21:06:31Z","type":"item","id":"Q6560375","labels":{"en":{"language":"en","value":"Proof transformation for non-compatible rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869787"}},"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":"Q6560375$1C300FCD-F7AC-4FDC-9B59-C7BD0048862A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c5531e067ef661d938c7bb7aa41df22f52e0965","datavalue":{"value":{"text":"Proof transformation for non-compatible rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560375$9C3DD7E2-521D-4E23-9D38-CA5BF4E003CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"191225847e7e2be85614de7ea7fd7a4e4472196b","datavalue":{"value":"1541.68451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560375$E9334F42-BAAA-4568-8F0C-2A7E40332C9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44c3cc401956703d11bfec0880b1fc9958ea14b","datavalue":{"value":"10.1007/3-540-61732-9_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560375$0F66BE94-E98C-4DAD-B1D8-09704A590D1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38d5739fde494a17fe0709a4206e28f4eb13c3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1350493,"id":"Q1350493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$A5638AF7-195D-4CB4-A0C8-C812E7F337A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560375$5BFC90AB-C53D-4F81-B9BA-CF84ED41708E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560375$BB7365B1-39AE-4067-BE35-22B364D9AA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560375$681A03B1-2EC6-4411-A7FC-42E3677F5CAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f62cc96fa40c223b31f6cc39f712d7d31a955a64","datavalue":{"value":"7869787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560375$90011EB7-CF78-44E0-B653-4BCD823B6915","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":"Q6560375$1FE48BCE-3F27-4052-85F4-AB7677AA0DC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$E091BDE9-B5CB-4313-886A-4D7AC0A9ED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa3cb4eed92e572c0b080c767bbb92340713510","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$8BCF0652-FE9D-4CF0-B102-7E6751FBF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49582f8ec584180cc897530585e03802107fc8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1098283,"id":"Q1098283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$284DDAB1-3723-4CDD-B6D9-4CBC18C8F6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$CFEF3F19-B295-4E97-9D75-5F4CB0E7DDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$D2FE7DC1-90BD-4AE7-93E1-4A7F3C94236B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5739371eef1d1f3a4bf80c59a2d9262a8f94902","datavalue":{"value":{"entity-type":"item","numeric-id":1350495,"id":"Q1350495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$8980563A-71F3-4F90-B9A3-397AF9A2C39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$917267B2-8F85-4C2C-A8D3-B4F6D5739551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$7E28BC8A-6788-40AC-B7A6-73830F6CD146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560375$BDF527B5-0DD9-4CCB-99E5-3586F87AAA85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426211327d42250a33d0cea29fc9cb6b3cae525a","datavalue":{"value":{"entity-type":"item","numeric-id":2879259,"id":"Q2879259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5783971c238783ef2683cbc76381388baff55819","datavalue":{"value":{"amount":"+0.7993798851966858","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":"Q6560375$1191F40E-FE11-426D-A8D5-0236403F36FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c7ebb1b4fb44fa8bf153fbde77cf76558a440b","datavalue":{"value":{"amount":"+0.7928708791732788","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":"Q6560375$C371640A-3FFE-437E-9189-368E0EEE6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d7b6dd95d067f47d109a6fc0fdfdc8535c799c","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce21ac6fe0d9e7e0345805ed29593f00196387f1","datavalue":{"value":{"amount":"+0.7848309278488159","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":"Q6560375$5CCF32E5-2006-4E68-8901-7FB601551F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133d20525d9eb5e7f24b8d3a2ad5d132c86efa74","datavalue":{"value":{"entity-type":"item","numeric-id":5111315,"id":"Q5111315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d9b4840e9b3519a9613a002bd8df3d1ac5b372","datavalue":{"value":{"amount":"+0.7650721669197083","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":"Q6560375$D48A7FFE-0CB0-4289-8E74-40F7FF328471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1c8784fa4f0a359093f719060d176faecd05b0","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24685475dcb207757afa3973d55c24aa5859e9a7","datavalue":{"value":{"amount":"+0.7644978165626526","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":"Q6560375$C5EDD5AE-BFFD-4F46-B158-4DBFD4854129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560375"}}}}}