{"entities":{"Q5387854":{"pageid":7417428,"ns":120,"title":"Item:Q5387854","lastrevid":50366381,"modified":"2026-01-13T21:58:30Z","type":"item","id":"Q5387854","labels":{"en":{"language":"en","value":"Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279539"}},"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":"Q5387854$7C07D177-FC44-410C-B647-CEF061A2E8F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9498a8278f45028c78ea72ba414d69f7b840e46d","datavalue":{"value":{"text":"Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387854$C5FD4954-65F5-43CD-BF5B-E74028FDB7A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7bd16b2d7811161b5ba0297677d18f5c6fb1adf","datavalue":{"value":"1143.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387854$42624904-C576-4831-844F-579EB3C40F17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dc7685864be9e876c057129b03fb3fbf9efee50","datavalue":{"value":"10.1007/11591191_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387854$CD41F10D-E8BB-4F22-8DA3-F92EFC692F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38294c3226d3792efd0f0a6334adfdf20cdb195e","datavalue":{"value":{"entity-type":"item","numeric-id":1951608,"id":"Q1951608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$DDEC30F2-8B51-4115-9AE7-3DDF10774A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dfade05e6e771a85343669f4902c8e7da4c9095","datavalue":{"value":{"entity-type":"item","numeric-id":305083,"id":"Q305083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$CE7B7BE9-E57E-4C10-B072-B0D7132D630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa22db60fe052097937d0d11058ce80280a94fb","datavalue":{"value":{"entity-type":"item","numeric-id":1931908,"id":"Q1931908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$040BFA32-3613-4F87-85D2-C3F1AA4754FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$6398E308-5E4F-4C04-A63E-0070A3121CB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q5387854$3ECAD162-2B83-43A8-BD8C-15F62B5F81C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387854$CE9D9D03-EAA3-4F69-8452-DCBA402F9ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387854$65E30746-68E7-47BF-B700-3952DE3CBCAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ab102bd1f3af65b2ba8e724b1d08e5b820d4fa","datavalue":{"value":"5279539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387854$53B0FC72-6868-4975-BDC8-25AB4353E82D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$7F96D6A1-0028-4E3D-94DC-77F15E102460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$06E2A341-7739-48E8-B3AF-58024CB9C77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387854$2912C0EE-4645-42ED-82B0-D4E6469D016C","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":"Q5387854$7B1D8F8B-D0F5-4653-93C2-36E023FCB7A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28fba55b1ab2540448882be52d046ca73a42face","datavalue":{"value":"https://doi.org/10.1007/11591191_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387854$6748920F-DCA9-46CE-85E2-9C6804E1590F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37bc3d2006de0034de0d38f328d045546c8aff18","datavalue":{"value":"W1586257880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387854$82718B42-469B-4B1E-828B-12F25344B2CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8c5a073b0d56fd44a79f48ec4fa897b67d4803","datavalue":{"value":{"entity-type":"item","numeric-id":5313002,"id":"Q5313002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61f7364bbeeb0601c6d99cdbc875fec42b09aca","datavalue":{"value":{"amount":"+0.7251195907592773","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":"Q5387854$9C237340-4C95-42B5-979A-9086B4DEBC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8da30769ee0bf991601e0428f66c15b4fffec","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45433bcf2a56f2df0c7fb3be75059b702188d1ce","datavalue":{"value":{"amount":"+0.7189264893531799","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":"Q5387854$7066D1BC-44FF-4700-8B66-A2C7ECBBDB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28130594f5693826e9dcf9b4195d7ff11f26a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2789055,"id":"Q2789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46e1be88797aac780aad669bd7c871e956b4a5b","datavalue":{"value":{"amount":"+0.7148023247718811","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":"Q5387854$F604A374-75C2-4EEE-8D9A-ECBA0808FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aecf97479ecb2e0408151dcb2ea4fcdfa025448","datavalue":{"value":{"entity-type":"item","numeric-id":439944,"id":"Q439944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e71948787fca96a31ca07a210f52c0583a4bbf","datavalue":{"value":{"amount":"+0.7146441340446472","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":"Q5387854$CCFC281F-A6AC-438C-BAE8-141CB067D756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3b07360cba833e3b52bd12f75610c7bf1124fb","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed2c65e56fec58daa5d3ccbc490cb1f35b73a85","datavalue":{"value":{"amount":"+0.710401177406311","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":"Q5387854$C6E0D405-C44E-479F-B9AE-EF3FC1ED5DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387854"}}}}}