{"entities":{"Q2870325":{"pageid":2881045,"ns":120,"title":"Item:Q2870325","lastrevid":79620212,"modified":"2026-05-06T14:20:26Z","type":"item","id":"Q2870325","labels":{"en":{"language":"en","value":"Using CafeOBJ to mechanise refactoring proofs and application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247707"}},"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":"Q2870325$47CF841F-79AF-419F-B95A-B59B957C7A53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f191070ce0e84c609cde7c833718109e775cdb4","datavalue":{"value":"1279.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870325$850A0E3D-C7EA-49BE-956E-E93613A8682B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee286127bb7527943c63bf668f59fd37f0a75ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2870324,"id":"Q2870324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$2DF6529A-0FC2-42C5-9D3D-B46B4F9EBF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5168cea2ed78f90cc472637ba6fa26e3a8e1f0a0","datavalue":{"value":{"entity-type":"item","numeric-id":428865,"id":"Q428865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$8C2D2946-81A9-4597-A964-6AA0C82CE1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ec6aeb87dd43b6589d1b4b4ab415e8f71df8c","datavalue":{"value":{"entity-type":"item","numeric-id":1887668,"id":"Q1887668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$274B66A7-19A9-40E7-AE0B-34C1928C3FD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$A9E772B0-CAAB-43E9-8CC1-19B776EF9AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870325$27266533-956D-40BB-9ACC-E324D4B78C5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870325$77BA458E-08CA-43BA-9D9A-02BE80C38CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870325$01B5AC6B-E9FF-4B1A-9305-C6008FF1F0AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502412df9d79b30a01af762daa0f081412af4329","datavalue":{"value":"6247707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870325$32DA2B89-2515-46C1-A136-64D863BFD46A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870325$CFD3ACFE-2F63-420C-BABD-5245693121A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6beed7576087e6862bcb53c15e4edfa0181a3d2","datavalue":{"value":"refactorings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870325$0C47D3CD-C88C-4C69-9AA4-FCC9D4F3CAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870325$6710F18A-708E-4E0B-B966-49CAA9EDE44B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$2FA4FDCE-56B9-499D-A337-62F52830178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$D9038012-FC86-469D-944E-CD41824D6632","rank":"normal"},{"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":"Q2870325$FA3195E4-66FE-4FAB-8CA1-EF973B13C06C","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":"Q2870325$53A09CBC-BD66-4B40-876D-07EEB93C2A90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2292e799345f66733223c05e50c2eec09b12241","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.03.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870325$F36E88E8-556B-4988-A2FD-71ECFA7A2A38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3196fc44a292bebdbb4cd31a173ef178aac0ddd","datavalue":{"value":"W2064351041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870325$66F5B0BF-439B-4225-BC3E-4C40A3C61A73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ba20a3fea3d896aa4605e544cc77e7e12ada1","datavalue":{"value":{"entity-type":"item","numeric-id":3122689,"id":"Q3122689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$101CD3CD-21C1-4C60-9520-97C31CE8BBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d06874ea7c0efacbe8adb9ed2fc817e30cbc5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4493905,"id":"Q4493905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$76E30DCF-9694-4498-8826-D4031C922176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236593319d58503d4d32a23310c68958d0bd8a83","datavalue":{"value":{"entity-type":"item","numeric-id":1818306,"id":"Q1818306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$9F79C48A-C906-470C-A6ED-D67A346528F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$3736BAC9-A06C-4D68-9883-C021EB1E6345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3832b0c7d5dbd4a20b3b3c5eae088a1374ce93","datavalue":{"value":{"entity-type":"item","numeric-id":4708513,"id":"Q4708513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$AEE314E7-5E7D-4F21-8464-913D086D6EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$E670680E-0D40-4C47-8718-3A2FB6B188F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$6DD634CE-85C8-4243-B542-B9080873EE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf500aea7232732e877161c13e011d38c9a03a2","datavalue":{"value":{"entity-type":"item","numeric-id":5935936,"id":"Q5935936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$5A011FBB-E771-479B-A35F-97C4F6EBAD55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99e85727bf73e3b0e5fb3f7b2434ba1984730d7","datavalue":{"value":"10.1016/J.ENTCS.2007.03.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870325$32A7C874-6B9D-4E4F-80F7-2FF1A85CC691","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f010496b4d6a10cdad341aff8f9c8eb5c248577d","datavalue":{"value":{"entity-type":"item","numeric-id":4409149,"id":"Q4409149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c6e624cb44a7490495c064610f187fe7076541","datavalue":{"value":{"amount":"+0.87672925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$AAC1FECD-B220-4459-B972-86BB4E623CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c714f87690a89e1a13166cf2d658c3024e8cde0","datavalue":{"value":{"entity-type":"item","numeric-id":4988643,"id":"Q4988643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ffc74b5b48332d4cfef61353475622d1d64eae","datavalue":{"value":{"amount":"+0.8527261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$E02B3EFF-B73C-45CE-A96C-763094946E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23b47417aec6b3e53e1078e52ff2767b17de979","datavalue":{"value":{"entity-type":"item","numeric-id":4418593,"id":"Q4418593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1395246ce7dab966da64c91234b34bbb005069cb","datavalue":{"value":{"amount":"+0.84609413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$634173DB-804D-4FEF-B376-588FEA575930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebe44927d9ef3870fd64d91c107d51874bcb1e","datavalue":{"value":{"entity-type":"item","numeric-id":2037935,"id":"Q2037935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2173909b95453c249fc8ac0671f24f0348224b","datavalue":{"value":{"amount":"+0.82791233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$70FAF872-0922-4022-BCA1-16AED666F4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4697e35a29eb033ce61d01130aff3b086a815d26","datavalue":{"value":{"entity-type":"item","numeric-id":1929233,"id":"Q1929233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9ce6eb4738f5bdf584f21af264251fe1780ab2","datavalue":{"value":{"amount":"+0.82452965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$5BDE0B91-63C8-4D50-8B32-0DEFF2C12D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0adc704aac04a47d7c25a55aaba558d368bbad","datavalue":{"value":{"entity-type":"item","numeric-id":5256348,"id":"Q5256348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4eeed666b6a4a1ad7c498751714362c0b70547","datavalue":{"value":{"amount":"+0.8220037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$82B30020-D290-4859-B4C1-3721C78D0E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec2e9f667591313662906106d6db4a8b9ec06c","datavalue":{"value":{"entity-type":"item","numeric-id":4738435,"id":"Q4738435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679fb4e502f8a8e90212146b9bdd69cb464503c6","datavalue":{"value":{"amount":"+0.81409466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$92A8693C-5F8F-4797-BCD2-5F59F78CBF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ce37cdcbfcc7383350983ee8324db8eca7d07d","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c5c5feb726405e6d4845ee0ed5834ad6610779","datavalue":{"value":{"amount":"+0.8140848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870325$66DA445B-58EC-4B69-9456-8F413651EE10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7992a42acaaf5a6b4c7d0f0cc9430f22ecb3fe0","datavalue":{"value":{"text":"Using CafeOBJ to mechanise refactoring proofs and application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870325$8B3BD041-C035-4C60-A2D1-1849F0F9686A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870325$7EFE502F-BE2E-4F06-A410-7EBCFF9BD9FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using CafeOBJ to mechanise refactoring proofs and application","badges":[]}}}}}