{"entities":{"Q1090100":{"pageid":1100852,"ns":120,"title":"Item:Q1090100","lastrevid":66912129,"modified":"2026-04-12T13:41:32Z","type":"item","id":"Q1090100","labels":{"en":{"language":"en","value":"Toward formal development of programs from algebraic specifications: Implementations revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007698"}},"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":"Q1090100$17A995F3-885B-4131-91B7-A88BA4149275","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc1a0f6b4c61199dac28841e8a1df37dfd20c4a6","datavalue":{"value":{"text":"Toward formal development of programs from algebraic specifications: Implementations revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090100$C5AC0383-554E-4C55-8320-4A73120F2687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67f56e9cacc9917c31b4d4213565968e2f52affb","datavalue":{"value":"0621.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090100$5BDA0127-C0CA-4C4D-8FAE-3BEC5BDE10A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a59731ff93ec3484c7d515a16f49e8650bf77a7","datavalue":{"value":"10.1007/BF02737104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090100$5AAEB0A3-0589-4ED4-B905-01AAAAB1EB82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$DF3F9BA0-014F-488A-A9EF-6E0338AC56EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$3B4BC4A5-076C-4AD1-921B-0D0A987B059F","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":"Q1090100$B8863A41-DBF1-43DB-8912-823EE1F207D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1090100$C3925016-04E4-4F32-8BF7-2429A9493A73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02499c2e4e35a4a24ed71e44610602a35ce4232c","datavalue":{"value":"The program development process is viewed as a sequence of implementation steps leading from a specification to a program. Based on an elementary notion of refinement, two notions of implementation are studied: constructor implementations which involve a construction ''on top of'' the implementing specification, and abstractor implementations which additionally provide for abstraction from some details of the implemented specification. These subsume most formal notions of implementation in the literature. Both kinds of implementations satisfy a vertical composition and a (modified) horizontal composition property. All the definitions and results are shown to generalize to the framework of an arbitrary institution, and a way of changing institutions during the implementation process is introduced. All this is illustrated by means of simple concrete examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090100$9E248B3E-193F-4E0D-9A5E-811BF3F2EF06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090100$02527E98-081D-4F23-84E7-5E8C09E71527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090100$33DE2185-97A3-4E64-BA04-D365AF18CFCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f06f49d8aa6af07937221540493b8ccf730eab40","datavalue":{"value":"4007698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090100$058FBB96-1D32-4DC4-B4B0-F2BC830A907B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dff70263ceb6a4e8bbc837751e2759bdc837419","datavalue":{"value":"program development process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090100$CC43E6FA-0B4F-4F55-81C5-A9C91BA1883E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090100$E52D6F18-8528-418E-8F7C-0561AF2A813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11654f881f3346a94fa5a5820bdf6dae644cf5f5","datavalue":{"value":"constructor implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090100$9978EA02-7036-434B-A062-86890D3B3BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b029bb9ae5bda512288bbf9a1ed9ba7d7bdc5237","datavalue":{"value":"abstractor implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090100$34B7FF48-7B3E-4690-B21F-B323137A8CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090100$C9B44177-D03C-42D1-BDD0-A73334ADCB69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$437888D4-67B9-4208-84CE-4D1228409B4A","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":"Q1090100$A8D3E385-A0B2-4FC7-99B3-8E4072AC2B6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$2400E6A4-6BEF-4DB2-865D-1F7518C24AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204fe5142cf49553c59ea9374e2d7177cf6cd422","datavalue":{"value":{"entity-type":"item","numeric-id":3677154,"id":"Q3677154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$A337F7B5-C9F9-4BF0-886B-320A792990F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$1A526B49-FC0D-45E3-8F79-FFD64C500D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f43d0211f7e17ba253c0ab9a739eb489b10d5d","datavalue":{"value":{"entity-type":"item","numeric-id":1157137,"id":"Q1157137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$F5D4B838-88AA-425C-93FB-6368C45BAF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8793ae731c44f49983566a899e398179e6800545","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$F6EDA61F-D6BB-43FF-8763-296D30921FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1e65078ac556e120790c1619c520cc83c6ebf7","datavalue":{"value":{"entity-type":"item","numeric-id":3695436,"id":"Q3695436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$346113B4-146D-4DF5-BFF2-ACB9511474FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839654c16ca8a6f2e87e45cf7258a92c536a3e2c","datavalue":{"value":{"entity-type":"item","numeric-id":1079358,"id":"Q1079358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$F063F25D-989C-49A2-A05C-99BDEF62D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$7102F22D-D8A4-43B5-8D38-221AB71CF1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$6DEB680C-4321-4D5F-A079-10F84EA7566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$68CD99D4-965B-4990-9EC1-B8EEFE1F1C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$BBE212BC-24FB-47E1-B63D-56DE5F833AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$39DAB2F7-1164-4D8C-A6DC-7BB889F12CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa54499fccac17f5e6494c378336ebfab7b5b6f5","datavalue":{"value":{"entity-type":"item","numeric-id":3917479,"id":"Q3917479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$549A92C3-5070-483A-AE5B-AD03CC2406CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$5B249046-58D4-414B-B275-63857A17C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ee2ab2bfe369cc3a73971160f426fcfd3db215","datavalue":{"value":{"entity-type":"item","numeric-id":3341871,"id":"Q3341871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$4691B34C-F2EA-4C2B-B21F-75AA3E52EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52efcbbe11513c685db1a2de3c5505e7a27397a6","datavalue":{"value":{"entity-type":"item","numeric-id":3947104,"id":"Q3947104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$09E69417-539E-4103-BFF0-D0BC6811D79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$D90E987D-8C59-4BC2-BE32-BF927CC52845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e182eb40d684fddf2159734e8fbee75a0fe49dc","datavalue":{"value":{"entity-type":"item","numeric-id":3906461,"id":"Q3906461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$C8C19EDF-C6DB-4751-AD4E-2B6892113AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$AB336A8E-335E-45F2-9A21-4B7A8FF67F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94ed1966146509e4c807f693ee51c1a63a3a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3667933,"id":"Q3667933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$C63623C1-9A16-4A4F-B98E-B0655023A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c017de94be929303e103db5a7762532c2f6325d","datavalue":{"value":{"entity-type":"item","numeric-id":4749185,"id":"Q4749185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$79B08D66-B499-499F-B0BF-A0FD3BD9F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$0D946727-B191-4771-A189-1977E33C43D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f802e7e6bc6c2862293d40c4b1969d8ec0000208","datavalue":{"value":{"entity-type":"item","numeric-id":759478,"id":"Q759478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$D0F215C3-EF2D-4AC9-9DA2-9D47C546C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$287599EE-7C03-4D30-982D-E0127F0F2649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01ed8b5a37204cef6ea0de4534fe7bad8dcf3e4","datavalue":{"value":{"entity-type":"item","numeric-id":1059404,"id":"Q1059404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$A61F7DC5-E419-4FA5-9975-88E313D3833B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d504f8f758d30af6cf41a7818010f5320c73d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4723263,"id":"Q4723263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$91052E58-7F0F-4D66-8630-057959521C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$7A19D380-D007-40B7-ABCB-20F1F547EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$664603F3-4320-487C-8A71-6329F8B78E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$5724E205-4F82-46D9-BC6A-EDEC67301809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$9C488C31-B85D-40EB-837F-8A215FCC1A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acb866116ce642b1507d26463a95419186f8fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1067767,"id":"Q1067767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$5964FA12-D96C-467B-8BE5-F34F7990EB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70c1e34050dcd0b61ce5a07aebe8c29e58c7b21","datavalue":{"value":{"entity-type":"item","numeric-id":3964001,"id":"Q3964001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$AD4A243B-E08A-4A97-AE8C-E107C67B1D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c453694afbb2a29f9bb63157923aeeb492b3d74","datavalue":{"value":{"entity-type":"item","numeric-id":3668830,"id":"Q3668830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$1ADC3C5B-019B-4709-A78A-0622862EDCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$D723AB72-34E9-4A8E-9FFC-8EA1AEF6C48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$4B9E394C-2AED-4BE9-9931-EBC56D5B2EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$D6A637CE-FCB8-4DDE-808A-CF6836E611AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$CC61E43F-4C82-4BCD-8B64-49BAB1342C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc83a444fdde5137cc75bbe38167adb6918404","datavalue":{"value":{"entity-type":"item","numeric-id":3686016,"id":"Q3686016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$5710EB1A-19DF-4F7E-AFAE-4DD51C81D65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dbb4e440c2c0a440372140a7aa1bfa2a146dc3","datavalue":{"value":{"entity-type":"item","numeric-id":3677150,"id":"Q3677150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$9DC0E5B6-6727-4095-B430-18369511F221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$8AAEFEC6-92B8-4D65-986F-74F8EFD2CAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$053C9EFD-69A4-442F-A574-8065A4604E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed02b6f45911852ba270ab1808591e625342545","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$ABFF3D58-053D-486F-AABE-5B9BB68F04DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4253d384646b019f04280faeb4984e28cdef49e","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$2E08C4BE-ACE1-4B00-A6B2-934FCCCCB3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a935f40a8549239df21483c21192775b71045f7a","datavalue":{"value":{"entity-type":"item","numeric-id":3345753,"id":"Q3345753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$D073F673-5079-422E-ABD4-BB4F826C7A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e9eda5633627f3277aa943a0eb055885cf8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4725720,"id":"Q4725720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$214880E8-54C5-48F8-AC23-93CE97950711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd1521b09c28288aac5eba941cf98ad93dad22a","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$20F329FB-DB27-4320-9802-0696935657A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62461d4c2275b5c15065872b300e8488669b9d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$B551F177-B2E4-4AE2-98A4-29CD33A92736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e16f53aacdc2272655a20338ee20ff055417e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3954805,"id":"Q3954805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$31498245-13B0-40CB-9B08-68280B09419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$FD802286-0B35-400D-89C1-FED210BED023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$86D7B6F1-2E50-4781-9D49-8875645DA435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$68AB95CE-EF38-4B12-85A1-CDC7FBB05A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4e5491ead234a25f1a1a9f48354930f36a962e","datavalue":{"value":{"entity-type":"item","numeric-id":3687694,"id":"Q3687694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$F225380A-C47A-44A8-BC2C-F98073785129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726ad54e2155221f4aecf305e14ca849d6a3136b","datavalue":{"value":{"entity-type":"item","numeric-id":1161277,"id":"Q1161277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$EEF5BD92-DE66-4702-85E4-9F8E4E1515CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b7f189eb7f5e56515006b2399dc063811b0064","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090100$CFF7D830-45BC-42E8-9172-67A814B325C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8acf93caa08eadf0e72b1a4294f1ef169b6e838c","datavalue":{"value":"https://doi.org/10.1007/bf02737104","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090100$6ACDFCE4-69F9-4643-B950-FDC7932DC060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a36a5b61128c3430932c5d16d1ec8fd3dc2080a4","datavalue":{"value":"W4249644839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090100$E3B94F69-03CC-46AD-8336-55E85F4B96DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62d6c3f29c932c3b884649594c8f43fc822e23","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8813c13c7e244cb0d8176aa8a1019abb85ee46a8","datavalue":{"value":{"amount":"+0.9963902831077576","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":"Q1090100$BB778C37-EF62-4DDA-BE0E-B9337C2DFFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56eadf349942bffa987f68b35f16ff67e645c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3723680,"id":"Q3723680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889d5c36a35a17c3a62ee298133698480077bffc","datavalue":{"value":{"amount":"+0.8306527137756348","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":"Q1090100$CF5CC04C-6E7C-40F0-8E88-9E9939A4E94B","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":"4d671deecd1c2bec0e77d1bff9e5a669d866d36a","datavalue":{"value":{"amount":"+0.8173758387565613","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":"Q1090100$687288EF-F2AE-4169-A93E-EC11657A28EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614330730c2a1e47d95f3d44168323a91573962","datavalue":{"value":{"entity-type":"item","numeric-id":3707387,"id":"Q3707387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ed3c4ba9e04d075f2ee697c2c22670ae1c8d8c","datavalue":{"value":{"amount":"+0.816460371017456","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":"Q1090100$EA784FAC-B258-4FE9-9EFD-C1E813CF6C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64e0723d0382945f0fca295fe1f451178b5a2b0","datavalue":{"value":{"entity-type":"item","numeric-id":3780424,"id":"Q3780424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76da91e6fec46d4d95ad63193135bdaa96236447","datavalue":{"value":{"amount":"+0.8082757592201233","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":"Q1090100$FC410A92-A40E-4399-BA90-5E3206956AB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward formal development of programs from algebraic specifications: Implementations revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_formal_development_of_programs_from_algebraic_specifications:_Implementations_revisited"}}}}}