{"entities":{"Q1123587":{"pageid":1134336,"ns":120,"title":"Item:Q1123587","lastrevid":49297408,"modified":"2026-01-06T22:25:33Z","type":"item","id":"Q1123587","labels":{"en":{"language":"en","value":"From informal requirements to a running program: A case study in algebraic specification and transformational programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110069"}},"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":"Q1123587$679EB6AA-9588-4FA0-BCD0-F38B541C9331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"741a1d193fbc36ff4635b0627474415698414506","datavalue":{"value":{"text":"From informal requirements to a running program: A case study in algebraic specification and transformational programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123587$610ADB6A-4D58-4369-A1EC-9A01440F0538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a63e473c0881a7756785470c068f9a044fbec65a","datavalue":{"value":"0677.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$759BDF44-2654-4DBE-8C62-BF3175929D9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7b5ceb6d1203d543259fc49134c955ebe869494","datavalue":{"value":"10.1016/0167-6423(88)90034-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$9F47F805-0707-4A6F-84DB-EBE214903CCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123587$CCBEF19B-FEED-4F3B-BBFA-84F2A6356648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123587$2B544994-DE0A-41E2-A21E-C0C067B6DF83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$F6970F75-5EAE-43C4-A548-3C47E16C993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$630DB133-A0B8-43DB-8230-24586DB72C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$6D52CC41-E31B-4E11-843F-6BADFA4E1D1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7da1ca8a105e6e6aeaac1bf03dc700ae5f8f7e56","datavalue":{"value":"4110069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$2F2198E0-5020-4D98-8923-2D7344AFE821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856d81674fadb166bc3691e9cfb55f7d7d36bf7e","datavalue":{"value":"Munich CIP project","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123587$8D804F82-2120-4046-9670-43ED136A6133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123587$A040769E-B616-4251-870B-49B6BDA849E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544dd6cf222dd3d6adc0310d00b2dfe4a91d88c9","datavalue":{"value":"transformational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123587$3D07755A-9A70-4652-B507-491991541A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123587$312E8C9B-909F-4E6A-BD5D-44401BE202C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74a5b1962c271cdc39401b58268ead0f38cb6e48","datavalue":{"value":{"entity-type":"item","numeric-id":1233309,"id":"Q1233309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123587$67722544-E771-4DB8-8AB8-C04A1290B635","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":"Q1123587$192DB301-57CD-4B77-B22A-39D00D271BE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69d8bfa2c01dcd8fc4f449be6e5e79feee97605c","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90034-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123587$D0953888-F6A7-4652-8225-1B5AF28A9CCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"453b8f5c0fdf15aa9e5e6735bb8b41e3ffe38442","datavalue":{"value":"W1994341142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123587$D0E32F90-DFC2-436F-9906-BDEBF07A1E89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37193d9eda48b36a2244c1fc74c2af5957fc142","datavalue":{"value":{"amount":"+0.8093014359474182","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":"Q1123587$F31B11EB-EFCE-40FB-83A0-AFC82C055A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0de39c6f11010bc3b22247a640132b2700c4da7","datavalue":{"value":{"entity-type":"item","numeric-id":3996676,"id":"Q3996676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86c4721178c2de460a8c78c00ec239c581bbef8","datavalue":{"value":{"amount":"+0.7899699211120605","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":"Q1123587$45D2EBF5-E395-4E67-90A7-B5BBC9D46695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750cc1a42ad0287899f8ac4b7dc422627623575e","datavalue":{"value":{"entity-type":"item","numeric-id":1899896,"id":"Q1899896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86c4721178c2de460a8c78c00ec239c581bbef8","datavalue":{"value":{"amount":"+0.7899699211120605","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":"Q1123587$EBD51557-B9C7-426B-AFB0-8A31F6EC501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ca8840e5358709ccdbd3bd9abc41594bb630d6","datavalue":{"value":{"entity-type":"item","numeric-id":583876,"id":"Q583876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe11aec43cecd29da5230e1afc224a236c2f584b","datavalue":{"value":{"amount":"+0.7606494426727295","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":"Q1123587$80F08A0D-19A7-4EBC-9FDC-2C95FAD78146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdc20cbc7435370cb8a3fdaebe58b8f1106679b","datavalue":{"value":{"entity-type":"item","numeric-id":4390387,"id":"Q4390387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e53748fca877bf35c653b34de3bbfcf185117f","datavalue":{"value":{"amount":"+0.7581422328948975","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":"Q1123587$12FAAD55-E890-4C26-8B5C-0CE8DC0DF419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1123587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1123587"}}}}}