{"entities":{"Q1113664":{"pageid":1124413,"ns":120,"title":"Item:Q1113664","lastrevid":42885516,"modified":"2025-07-15T17:30:21Z","type":"item","id":"Q1113664","labels":{"en":{"language":"en","value":"Laws of data refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080887"}},"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":"Q1113664$3E4D0BEC-78F3-48AC-9AEC-CE9EBD31A68F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07c2e0da2c1d08f97243a4a8609a61c01d7a1342","datavalue":{"value":{"text":"Laws of data refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113664$0DFB4FB1-9CDF-4AA0-9FFB-0EB0BD6811D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f6333b436a0128e059c81277ec4f8480dcf1b50","datavalue":{"value":"0661.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113664$CE563816-21B0-4D73-81C5-2F18CD01F08B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb891ece4818441cde8911c125cbd2b830b8c8e","datavalue":{"value":{"entity-type":"item","numeric-id":199021,"id":"Q199021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113664$83DDC242-5DF9-4A64-9902-D0ED4173F499","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113664$A42F7653-0FD1-4966-9A63-91D8548484A7","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":"Q1113664$5C1C3FB9-1EE7-41C0-AF33-AA092051C3AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19af6a31a74516141e6c8f12ab9c9a153f25b933","datavalue":{"value":"The underlying philosophy of the method is that there is no semantic distinction between specifications and programs. A specification notation has more expressive statements and richer data types that are expensive or even impossible to implement. The programming language is the implementable subset of the specification language. Data refinement is viewed as systematic piecewise replacement of more sophisticated data types with simpler types. A new formal definition of data refinement is given and a set of laws is derived.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113664$6F05DF69-C907-40D6-98F1-83021C0E7F0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113664$172DA84C-30DA-470B-B2CC-EBA8CA146C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113664$C947E0E4-31F6-40DC-95F8-13F6A59B3303","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1d9bbb6d1ebf381077625c1b3deaa41b37dde5d","datavalue":{"value":"4080887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113664$853527A6-59A3-4184-8C11-6B591B4E226A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113664$E4CD5903-709F-427F-8AFB-6762B9A56A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113664$93A63EFB-A90B-416E-8E26-2E74BA1D6DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113664$FDDC3254-9371-4707-93A7-030B7B018EC0","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":"Q1113664$7F6F5480-F85B-4A8D-816E-A8CD298A8BFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2709f45a31094db63617867a7a53b68486483a72","datavalue":{"value":{"entity-type":"item","numeric-id":1323380,"id":"Q1323380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5a4b1c7c6fff69002272a54789671e1244c3ea","datavalue":{"value":{"amount":"+0.8386242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$874800B1-D550-40C2-B123-6FCAB7F03784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9b923ffdf0d9c2364931d8dbe2f3e66c99a191","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a389e427d12518e73c4c2e4251b05f93b54675","datavalue":{"value":{"amount":"+0.8304744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$B985BCB7-E1AF-46CD-9FBC-CDE4C2428ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb8d9c26551135aed1bfaf0a93c7d9f891b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":911246,"id":"Q911246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba4b881e9105e098547bcc48ec0832d8d9b9956","datavalue":{"value":{"amount":"+0.8256977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$FEDB6548-3759-4270-B541-E7445CF38CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d09b4c2ca1a5235d547cac847a7239a331ce66","datavalue":{"value":{"entity-type":"item","numeric-id":4885874,"id":"Q4885874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e5f86e342527ab2730a85d2e7e2b3940d7320c","datavalue":{"value":{"amount":"+0.81370944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$0EEE89F7-D1B7-4AD5-A115-3772698A72AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f48fec313cb6c6b644f396488c22135ddf4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1373852,"id":"Q1373852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19f8f737825a7d95257894af9e9d02ee3aba43d","datavalue":{"value":{"amount":"+0.80967116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$41EAC2BA-A3F8-43C7-8C00-B54CCD9A97BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3cab9145fe636dd07bf40c6178d63f99688957","datavalue":{"value":{"entity-type":"item","numeric-id":4307633,"id":"Q4307633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bd85f5dda089820b2946daf0f4a356562d6114","datavalue":{"value":{"amount":"+0.80570114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$643933D4-CF8F-4457-B9EA-6DF015397BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a0fa7a9240216178ef1025e889bb9eb011fb6b","datavalue":{"value":{"entity-type":"item","numeric-id":1567199,"id":"Q1567199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1031e28948daa85a24c6f62faf0e7c8a2efed7d","datavalue":{"value":{"amount":"+0.80569506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$796AB96B-62A3-46B6-B45B-2030F88602BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b5108b239f69fdaf11e384fa5fd1068d10c0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2994495,"id":"Q2994495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee23a969414f51cfc94bf288535e97364fb125e2","datavalue":{"value":{"amount":"+0.80148053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$5C2832CE-06B3-4A70-80E3-696E24C2C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4ceb1e6a1602cb2bf10cbccba820040af41d42","datavalue":{"value":{"entity-type":"item","numeric-id":5887529,"id":"Q5887529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8c541714db7914de7fa1cdd4978a275bb36501","datavalue":{"value":{"amount":"+0.7983309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113664$F0E11912-3BEE-4A0C-9E07-753A2651F9FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1113664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1113664"}}}}}