{"entities":{"Q1095646":{"pageid":1106398,"ns":120,"title":"Item:Q1095646","lastrevid":69826797,"modified":"2026-04-13T10:36:46Z","type":"item","id":"Q1095646","labels":{"en":{"language":"en","value":"Crypt-equivalent algebraic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028880"}},"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":"Q1095646$E3BE2FFA-EC57-4ED6-83F1-544DF2C53A85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"631fa4761cb5595881a6d9624fd36bc41978da74","datavalue":{"value":{"text":"Crypt-equivalent algebraic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095646$41D73359-6705-488F-AD45-8BD9C76510BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8816ef093dee699118ba7bab20f97f9e75fc8a7","datavalue":{"value":"0632.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095646$355CE778-D8DD-4F7F-A8C3-BF19E22E6AA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a86a2458d62ffe6e938c880c81bea89b999dd8","datavalue":{"value":"10.1007/BF02737100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095646$2C0D77F5-57AE-43FB-A714-EE60B477599A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$63591ED2-47B4-45B9-8DB8-6281B89F4A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"779dd450fbb3bec7b06692b98a0285c659102cc1","datavalue":{"value":{"entity-type":"item","numeric-id":768017,"id":"Q768017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$F625DF98-FE07-4E93-9157-A8565B840C04","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":"Q1095646$97CB638E-0A02-482D-88E2-D218F0270A06","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":"Q1095646$41DF3FBE-0371-4DD2-B1D4-DD3579CBF8E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9b23df3ca9ea62481faf75f2f007c9b325c5506","datavalue":{"value":"Equivalence is a fundamental notion for the semantic analysis of algebraic specifications. The notion of ``crypt-equivalence'' is introduced and studied w.r.t. two ``loose'' approaches to the semantics of an algebraic specification T: the class of all first-order models of T and the class of all term-generated models of T. Two specifications are called crypt-equivalent if for one specification there exists a predicate logic formula which implicitly defines an expansion (by new functions) of every model of that specification in such a way that the expansion (after forgetting unnecessary functions) is homologous to a model of the other specification, and if vice versa there exists another predicate logic formula with the same properties for the other specification. We speak of ``first-order crypt-equivalence'' if this holds for all first-order models, and of ``inductive crypt-equivalence'' if this holds for all term-generated models. Characterizations and structural properties of these notions are studied.    In particular, it is shown that first-order crypt-equivalence is equivalent to the existence of explicit definitions and that in case of ``positive definability'' two first-order crypt-equivalent specifications admit the same categories of models and homomorphisms. Similarly, two specifications which are inductively crypt-equivalent via sufficiently complete implicit definitions determine the same associated categories. Moreover, crypt-equivalence is compared with other notions of equivalence for algebraic specifications: in particular, it is shown that first-order crypt-equivalence is strictly coarser than ``abstract semantic equivalence'' and that inductive crypt-equivalence is strictly finer than ``inductive simulation equivalence'' and ``implementation equivalence''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$48E327DA-42D1-4767-B654-AB618C6D28A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095646$70BACE36-B0A7-49BB-9E6B-DDDAAC3608D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"457feba996706f5f7b675c9a061dee4157d7f307","datavalue":{"value":"4028880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095646$D527B0A4-407A-44EE-8158-5655C1CE3BA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054157b48a35ae7fea10dc59f80cae054511438c","datavalue":{"value":"semantic analysis of algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$F84779C9-8EA8-4D95-97CF-15D78BC15036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62cadcc78fb78781f60679b3a403bae7094834b","datavalue":{"value":"crypt-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$033853A1-97E3-4E4B-BCE7-E0656987B9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1c25a6b52200ca0573a7778ab337bf97b333d8","datavalue":{"value":"first- order models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$EB0BD695-1BE1-4D53-96E4-CA28A9908888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033aabff0f0c4b88d3bb8c884164ec8462c2ca6e","datavalue":{"value":"term-generated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$6A15F3BE-B685-40F0-BBD6-B9D99EAC5B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$BD4FADEB-2EC9-4947-8A56-D00C4ECAF1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5f541786650999fd81ea96dbf93e1e537e8efc","datavalue":{"value":"positive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$5B90C0D4-892B-4516-B7FA-16C9364755F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"391b113a1f560b7cf0628b1d10e47130e7094524","datavalue":{"value":"abstract semantic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$AC2D5FD1-0BE6-418A-8703-62016BC56AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8614005c1f95d886f1bcef79c1e0f5d0a29dfd75","datavalue":{"value":"inductive simulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$C161D745-C72E-436E-B9E2-BBF6D3263724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa2ec144e0a4e65d84839d47f26238340d87a2b","datavalue":{"value":"implementation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095646$F95EB407-AB37-42E6-B23E-186667BD69C2","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":"Q1095646$7EDF5A50-B06D-47EA-BC24-2A88239F25E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcee6c84e9331eb414de7a5dee6a2dd582369033","datavalue":{"value":{"entity-type":"item","numeric-id":3912001,"id":"Q3912001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$BE38C646-F44C-4234-8EA8-DC18CC2F90E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21530adc5cdbfe51861ef5693dddbd394bd6240d","datavalue":{"value":{"entity-type":"item","numeric-id":5902688,"id":"Q5902688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$407AECEB-292C-4362-AE94-CD28547936D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce55656d21d5b61018d20fd360948cf534ed9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3853107,"id":"Q3853107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$5F793C53-5458-4931-A1D3-49C28D7FFFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$D7C97F9A-1D28-4AC1-A2C3-5D533E442B3A","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":"Q1095646$D74BA0B0-F89B-448D-A9D9-6099422A5318","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":"Q1095646$55FB75B8-9A82-42C4-BD91-FC9E71938650","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":"Q1095646$5F492715-CAC4-4057-ADB6-E523F680D5B7","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":"Q1095646$9388A185-3BF5-4168-99BC-9574BDEB096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$46F3E343-07D8-435A-A726-4222B412C52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$32FB1128-7E0D-4FCE-9821-1D6AF4A1CD96","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":"Q1095646$E30DA49F-A9D3-413D-84A8-E417CB2DB28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$EF1EC021-F78D-45A4-9728-6DD2CBDF8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2097df8ab7b084e00f36c006345d9ffd8e84713","datavalue":{"value":{"entity-type":"item","numeric-id":5818498,"id":"Q5818498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$C237C4D3-E484-4DF8-9616-D98BF63BFB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$9BEDEE9D-52EE-4D05-8C2C-74FCA003AD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445c392cdb06b265f97c4170c6ff368f5985cddf","datavalue":{"value":{"entity-type":"item","numeric-id":5775784,"id":"Q5775784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$83CD8523-23EE-4765-A6E8-9AD285414D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$1B784292-9D0D-4D90-B16F-AB484A1C56DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"773cba5b62c6815c695bbd736ee12b1a020c75b9","datavalue":{"value":{"entity-type":"item","numeric-id":3920623,"id":"Q3920623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$74B5B99E-AE8E-4E4F-A0EA-4F7930D3202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70a427ac3a914d94cb519f0a4331a40c1ad0424","datavalue":{"value":{"entity-type":"item","numeric-id":3757375,"id":"Q3757375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$E57AB44C-7043-4A7D-8D8C-4A03EC2A5B5D","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":"Q1095646$680D57E3-5025-4DD7-B4EE-347A24F60E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$1BC03BE6-5882-41EC-B31D-386A10AC208C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$23D8AA04-C9B8-493F-A550-89DAA58F67CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$53D53F0F-3EA0-4BD2-819A-2AF69FD2FA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb020e51eeda1d03050defbdb772396e409a80f","datavalue":{"value":{"entity-type":"item","numeric-id":3883462,"id":"Q3883462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$B5CD3AB3-4635-4093-BCCB-9FBA195E745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77f2e9aafcfe3d583d9c09d0768e0534ac2beee","datavalue":{"value":{"entity-type":"item","numeric-id":1050767,"id":"Q1050767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$8C19A2EA-62E9-414B-898D-5E8FD6BED2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2746add1e4e3729aaba4247aefc02e708519cdc1","datavalue":{"value":{"entity-type":"item","numeric-id":4753867,"id":"Q4753867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$631AEFE4-22E9-468F-8B77-1B14C78378D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095646$EE48D82C-46FE-46C4-A9BB-94624B1DDA03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a51cf79d277f49dd43d34045c8c84d8305caea28","datavalue":{"value":"https://doi.org/10.1007/bf02737100","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095646$48071995-C600-485D-A194-5CABF6EF44B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d2ccf02d09c53b102bcd5bcb93e351e59287b78","datavalue":{"value":"W4254372009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095646$C9E26730-384C-4C56-9EAA-31E0B996DC1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eccb792ebeb18bc43a48bf5e11bdcf474cd3b65","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6a94a1415462a26fac757d902684bc0aa5bd59","datavalue":{"value":{"amount":"+0.7702763676643372","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":"Q1095646$9CF0FBF5-500F-4048-AD4E-8A3D749A3057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2592b0e27a6511ec7c3bfa0980939598934031","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267222b97664bb4884ddfcca5f6a313cf9a9a4b3","datavalue":{"value":{"amount":"+0.7287800908088684","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":"Q1095646$8B7902E1-D67A-4FB5-93CC-72D7BBE5538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba273455e7bd090fafcd55ff85e13a8d870075d7","datavalue":{"value":{"entity-type":"item","numeric-id":4702595,"id":"Q4702595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25413ed4702858c037d18fa6307f467fa9421fd2","datavalue":{"value":{"amount":"+0.7258356213569641","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":"Q1095646$A56E3EE3-1230-4A49-84F7-635A972F0BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caba3d98ead09dc3d2045676bb82ec5268b81a4","datavalue":{"value":{"entity-type":"item","numeric-id":1607118,"id":"Q1607118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25413ed4702858c037d18fa6307f467fa9421fd2","datavalue":{"value":{"amount":"+0.7258356213569641","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":"Q1095646$07C1AC1D-C301-48EE-8CFF-D9702BDD981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e29a19c0e9dcdb5c586b64c973ac7868d4c691c","datavalue":{"value":{"entity-type":"item","numeric-id":4503969,"id":"Q4503969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd0c95cc63e76c55ae5f5a5718f76c6bf416e3b","datavalue":{"value":{"amount":"+0.7258329391479492","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":"Q1095646$4CE580BB-6EB1-4E17-A79D-DB05F630CA43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Crypt-equivalent algebraic specifications","badges":[]}}}}}