{"entities":{"Q3922137":{"pageid":5952042,"ns":120,"title":"Item:Q3922137","lastrevid":87810551,"modified":"2026-06-04T12:53:47Z","type":"item","id":"Q3922137","labels":{"en":{"language":"en","value":"Derivation of Invariant Assertions During Program Development by Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735105"}},"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":"Q3922137$DEFE2230-2A7C-4EE4-884A-F14B42ED7013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"256af21084ac150926ba7a300f794a6e38ced16a","datavalue":{"value":{"text":"Derivation of Invariant Assertions During Program Development by Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3922137$50BB9902-DFE1-4926-B5ED-D0601F2E5DA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c83ef3c38463bc635ad1e945e92e0f269b730f8","datavalue":{"value":"0468.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922137$89D98192-C53F-4635-A732-E3F5DA6ACCD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f10a42cdd2e506a9b76a0cd417221aa972e4651a","datavalue":{"value":"10.1145/357103.357108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922137$4F55C332-DEBC-44E1-8E34-28415150C22C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922137$CE875807-E083-4CAB-B760-1DB214FE3042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cea051d05f9c82cd45fe09a993a2a5ee175b6ff","datavalue":{"value":{"entity-type":"item","numeric-id":578890,"id":"Q578890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922137$1EF2F595-C39E-4018-8542-D8DA3C7F24FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922137$A58EFFEC-AEE6-47C7-AA1E-69A00C5AD43B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3922137$AC6DC090-9F54-4442-A9B6-9D3820728E09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922137$72E5FEB5-D818-45B9-9CB9-9A538B00B290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51716653f8906545ce8e698b47afab17140a9dc3","datavalue":{"value":"3735105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922137$A9CD9B56-B1A1-4153-BDD3-25430CE1A227","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$680A9C0F-DFCA-4B3A-BAD2-1606250FD477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$BB226648-623E-480F-ADC9-AC704EDECE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$1B9270D3-581E-4F29-8434-4875641EAC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$F99C68E2-8ACC-4EDF-988C-EE8E9A9CEB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$B7B0F529-8113-4F7E-BA60-EF311401CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fff7ff198d98cac4abd69d6f52f938217f3099","datavalue":{"value":"recursion removal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$E609A9FD-D340-4A2D-8ED9-EA36A359DFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$9ED8F5B6-9238-4622-9E0E-4C2E2172CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$9EE7C6C9-647A-4A12-AA3E-AA76342E780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922137$86EB2320-C27B-460D-8C25-0FCC6CE4B6F4","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":"Q3922137$898D788D-3489-413A-B723-53A2778A6A59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c401f6c980b26f34467f4cb6354ee7aa052aa16a","datavalue":{"value":"https://doi.org/10.1145/357103.357108","type":"string"},"datatype":"url"},"type":"statement","id":"Q3922137$AB7F4D12-DE61-453B-9DA1-81B235F5C22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"488da41f9d7c9a84d74ae18428a2604cda85a8f2","datavalue":{"value":"W2059976750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922137$DA8CDF2F-B665-46AF-A9C0-F3D3DA67CE54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derivation of Invariant Assertions During Program Development by Transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derivation_of_Invariant_Assertions_During_Program_Development_by_Transformation"}}}}}