{"entities":{"Q1080652":{"pageid":1091404,"ns":120,"title":"Item:Q1080652","lastrevid":66266256,"modified":"2026-04-12T08:38:14Z","type":"item","id":"Q1080652","labels":{"en":{"language":"en","value":"Structured algebraic specifications: A kernel language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3967896"}},"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":"Q1080652$FE3700E1-2023-4574-AE50-169BDE5DAC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f058fc2ce5bfddc92009158a2d1c38d17100db4","datavalue":{"value":{"text":"Structured algebraic specifications: A kernel language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1080652$522DFB86-FC0A-4F25-81B7-14865BD09A45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227877a3968b66b8e60bb6bffe6b77b231bef68a","datavalue":{"value":"0599.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080652$49325234-FC04-4BC7-80DA-0CE5A8D5BFE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a42b6e52e30401520e7ee320544fdc013948c47e","datavalue":{"value":"10.1016/0304-3975(86)90051-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080652$BA6CB499-395B-4BF2-AAA2-446BCB05D07F","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":"Q1080652$17D92A40-C919-4305-94C7-35FE12ED7639","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$1B4BC212-89C2-4BCE-837A-0BAF130FF677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1080652$382AE976-6707-43E0-A7C9-BA014CF99BF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"195febe47204f68074327abf62c4c62959aa1226","datavalue":{"value":"A language called ASL for describing structured algebraic specifications is presented. ASL is a declarative higher-order language. It contains constructs for building (possibly infinite) signatures, sets of terms, and sets of formulas as well as constructs embodying primitive operations on algebraic specifications. In particular, ASL includes a very general 'observability' operation which can be used to behaviourally abstract from a specification. The expressive power of these operations allows the choice of a simple notion of implementation which is transitive and monotonic. Syntax and two different denotational semantics, a 'presentation semantics' and a 'model class semantics', are given. The presentation semantics is used for showing the existence of a complete (semiformal) proof system for specifications, whereas the model class semantics is fully abstract with respect to specification expressions. Both semantics are related by a homomorphism. Moreover, computability questions are studied. It is shown that any recursively enumerable signature and any class of algebras which is 'pseudo-axiomatizable' in a recursively enumerable way are definable in ASL; also, every computable transformation of specifications can be expressed in ASL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$494CC02C-97B3-4EE7-9D8E-C1A4404D2679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080652$49D767A3-C108-468B-A497-AEA6A31C19DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8716f4504418ca8ca6da590788f031762d4fe8c5","datavalue":{"value":"3967896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080652$39D76536-C460-4A42-8BBC-B8D82723C206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf1c84419712355afc19081652b82e35eaf058ad","datavalue":{"value":"ASL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$99A25986-70A0-48CC-B302-EEAD6BD0065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ba9ee67d230d520c1696e94138e5a52112810e","datavalue":{"value":"declarative higher-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$D8504706-2E28-48D2-9977-DAB295FF690A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$6C1F9329-6306-4334-93F5-BC400E984675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$C7D5BA19-51E1-4AF4-9048-48A8FBF62607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9637d2aabc8146d7069183e68d9741438a2c37b6","datavalue":{"value":"presentation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$00CAF47F-3786-40AB-B66D-673B7B3C7837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea43337ce8e0e1c45e66d0c991e99a1f614885f","datavalue":{"value":"model class semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$FE800568-D5F3-4572-BD3A-969C31C3B7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996adfa33288345914964d92973bdcb25364b974","datavalue":{"value":"computability questions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080652$AB309EB8-AD72-4DF0-B906-09D4F978CF0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$E9A75893-8D1C-4F06-BFBA-09E892178A39","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":"Q1080652$449B7F21-74A2-462F-8D2E-46F89F2346F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e78b04fdbe7caf855fdfd8262141d6c02665d0d0","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90051-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1080652$BC581B67-ECB2-4420-9B13-0D3D77968252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5d0f6686c840dbeec66159b40bf3c33ec23f8f8","datavalue":{"value":"W2030096232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080652$34B070EB-64CD-4932-BA28-A83181FBFD0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$2CC2F599-BAFE-427E-B3E9-5DA29DEAB53E","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":"Q1080652$27171F5B-A083-445E-9484-E8E1C2AD4C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$BF9A3313-2580-41EB-94BC-68BF5E7D5B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$32BF30B0-8B47-4808-96D9-7F94547FD988","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":"Q1080652$483BBC6A-2CB5-471E-88D0-98B39FA7E7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$8857A96B-3728-4D4D-BD6A-F881A8D1AC55","rank":"normal"},{"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":"Q1080652$7970BAFD-0DBD-41E4-81E1-362F8BDAA0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc49be90f918f4a9695209f4f0b883586c06173","datavalue":{"value":{"entity-type":"item","numeric-id":3929011,"id":"Q3929011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$22BA95F9-C3E7-42FC-A81B-0853973BA9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3935805da31a6bee90d576c34d5bd3e537500c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3868737,"id":"Q3868737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$DC0DA26A-F212-41A4-9778-357158E9B929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe36e8e7def5fd7fab1acf025955918b9ccf3619","datavalue":{"value":{"entity-type":"item","numeric-id":3339264,"id":"Q3339264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$10384423-23E5-4EF5-95E2-B5C2DEB8541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$03EB6911-3A81-4DA0-9AC2-EC2E2A9F04AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2662a457ac36e9e8ece24ccd0ea761173889751","datavalue":{"value":{"entity-type":"item","numeric-id":3660885,"id":"Q3660885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$8EAC9E4B-0C25-4115-A2C3-D83C68EEE996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe2b4510b62eb6f7da558d828a5cce371d51f6","datavalue":{"value":{"entity-type":"item","numeric-id":3657421,"id":"Q3657421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$8E630E2D-3FE1-4022-8519-7FE5A9F33DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c31f2149a24128f0c1f2fac135e29b89346dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4190110,"id":"Q4190110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$7D80AAA1-45C0-4940-8C12-A1DF8271683E","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":"Q1080652$1BD82591-D8DF-47B8-8151-EF6A203837C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da60b1cbb0bdce1839789e5e6577b231b8d2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3871894,"id":"Q3871894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$CCF95CF1-CE2F-4AFC-A35C-CEC198981B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13e735ecadb9b74de534ffacd03448c58b84b7","datavalue":{"value":{"entity-type":"item","numeric-id":3954806,"id":"Q3954806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$CA904F5C-49A1-4B70-B99D-1072582A1E52","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":"Q1080652$339DFADB-AED2-4449-A21C-E25416AA3A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ccc5cfa3c1d8e6789270f814238e8b032a4e0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3662598,"id":"Q3662598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$7A0673F9-DB01-4172-A1C4-0F165E4F5658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dc313491ce2521ab8e3ed623df513f30cf223e","datavalue":{"value":{"entity-type":"item","numeric-id":3672054,"id":"Q3672054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$B4078D16-2825-422E-9325-343394BD5F81","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":"Q1080652$D4B76499-DE1E-4522-9CB2-191D3CCDACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$7ADD7B20-8141-4AC6-B04D-FA6E6C8714BA","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":"Q1080652$CE53D162-C8A6-4C0D-9E66-B4F1FC1749CE","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":"Q1080652$5678E2C7-71BE-4787-9144-F3CBC551CF42","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":"Q1080652$C3846D18-A00B-43D1-8094-56CFA794CA78","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":"Q1080652$7C0E7D46-BF80-4AF7-8DA1-D511F091490D","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":"Q1080652$CD52ED33-F44C-4249-8B9A-06397DEC4199","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":"Q1080652$0FA803C4-FCD5-4D4C-9C0E-68CA5089C76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b2148b0a1eb5eb3ee821b3d33df20d2a6e9edd","datavalue":{"value":{"entity-type":"item","numeric-id":3657407,"id":"Q3657407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$714C53A2-C2EA-4EC8-A736-2598824D8F31","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":"Q1080652$57F1099F-98C7-4330-A66E-1011FB242074","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":"Q1080652$6B350D45-B358-4AE5-879F-238F2A2A05FE","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":"Q1080652$8423AB91-723E-4DAA-9091-A757CBE07FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88611f33a1bf3cea41b284281a7a4d69934a2bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3943975,"id":"Q3943975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$CFCA3FDF-93ED-42D9-992E-320F0E81801D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$0D846C0F-F7C7-4080-B4D4-518108E22119","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":"Q1080652$F06D4B01-DBF3-4D79-BC5E-C78DAF755067","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":"Q1080652$DAAB0CCF-A09A-471A-B233-335DD9F28C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$36FBED42-49AF-4B06-8258-DB2FB90FB310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$6D84FC8E-23E8-4E08-B1B9-654FA83567B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$0A84D175-F887-4D51-BB18-2A908DB03E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4e8d326130bcb0b8a78ad9006b5a69e2c4773b","datavalue":{"value":{"entity-type":"item","numeric-id":3707384,"id":"Q3707384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$D5C1E252-E510-4413-B76A-CB3F935DDCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d1276f74b53421ae1c61a509a29e63460bf77d","datavalue":{"value":{"entity-type":"item","numeric-id":3891743,"id":"Q3891743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$9C3CE72A-4346-4541-8567-37702369575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57064dff6d8c801eaa4cbe8a91d55ce2cc76c5","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$C2CD752F-EBC9-4AF8-A802-EDA8D037AC69","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":"Q1080652$C63950C2-DB8A-4829-8625-050C4C8D97FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$384DA3C9-337B-4E87-ACB9-B991169B2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93ef96b0235e3fcf74db533a12ad83907830b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5723182,"id":"Q5723182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$070733D9-51F7-4DD6-A602-03A46C1C90CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$40DC661C-DC79-4BCC-8A68-AEE45E169C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27e8dcf39d3d5acc833958950f549d25a3444e6","datavalue":{"value":{"entity-type":"item","numeric-id":3960110,"id":"Q3960110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$6FE6A12A-F24D-4560-B0DF-78B92BF1EDD3","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":"Q1080652$E1A36BDF-E141-4B02-A170-DD8DE46EBE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31dde391ae86c7d3b0b217b1e9622bbec8c421d8","datavalue":{"value":{"entity-type":"item","numeric-id":3347269,"id":"Q3347269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$60E7ABD8-379C-4971-80F1-E40692EF84CB","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":"Q1080652$23E68DF8-63B4-41F8-8E32-255208926633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$716EAB2F-72D6-494A-BB30-F708365D9BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6360f0b173657d1fff8b4c3bd9661db44e92909","datavalue":{"value":{"entity-type":"item","numeric-id":3680247,"id":"Q3680247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$DD072484-11DB-4BFB-9F7F-0988ADB25B15","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":"Q1080652$64815C7B-E8D1-43B7-A891-161021F38919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de1979980a96aae976fdd3dd5d1c55bdedf6a24","datavalue":{"value":{"entity-type":"item","numeric-id":3339254,"id":"Q3339254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$ABB18AA0-788E-4C83-A6EF-6DFC5AC4A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$43D98267-46DE-46B9-8CFF-43337F0A7836","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":"Q1080652$163CE34A-89B4-42CB-A036-5585F6332C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c0c08c998a0a93f03ec352999bc5310d5a0101","datavalue":{"value":{"entity-type":"item","numeric-id":3920613,"id":"Q3920613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$DD2372F8-2559-4AEB-9F40-95BB8298A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$F9C7CB8F-93E6-4C22-A8B9-B6E6BCCEC53A","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":"Q1080652$D2F5945D-0F8D-408D-AF51-195754F49A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$2CF42444-E155-4125-87AF-C57668671DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d496736dbfc239d833d5ef76056355be3ab28578","datavalue":{"value":{"entity-type":"item","numeric-id":3042444,"id":"Q3042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$22E439DE-0681-4D87-94F3-5BB4CA3D14D2","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":"Q1080652$A69AE3C4-E657-4D6B-9D79-9CABD904C61B","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":"Q1080652$ED44F2A6-D32F-49AE-9465-438D77F6E797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$56FAD36C-2790-4764-9184-879F0B2E5187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$75A4A00A-A3ED-4618-950A-431C4ECC0B88","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":"Q1080652$5B5161E5-DC4D-4E25-989D-FC587039E840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$774A0CC8-B242-4F80-9104-659925A39D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$4FC917EA-7218-4C76-9875-B230748E031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$4E2DF72F-0F2D-4141-B647-61520F60970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b95baa492519ccfdc0b72a6bca33db189a5e71","datavalue":{"value":{"entity-type":"item","numeric-id":4176939,"id":"Q4176939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$4A83BD53-3E30-4C81-968A-96120B264B4B","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":"Q1080652$56C681D2-CAAC-4B5D-B394-B5686D4CB309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d135bbbfba26ccbb74f65607bb39b60363a124","datavalue":{"value":{"entity-type":"item","numeric-id":3660896,"id":"Q3660896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$36BADC90-EC1E-4B24-89BC-405B2F392675","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":"Q1080652$F0656494-B761-4C49-8D65-D2C6FCB9E1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1d22759dc3e1d2d1547a2cbe8ef2c19f3df9a","datavalue":{"value":{"entity-type":"item","numeric-id":3912057,"id":"Q3912057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$8ECC5FDB-BCCB-4FFA-859B-CB803960E205","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":"Q1080652$DF40F277-2440-475B-A118-E868EFAEB1C4","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":"Q1080652$21AF4996-F5BD-4EE3-8E80-E371969DE72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa16e6416dd6ba3cd4369c33aceab55f8a9279b9","datavalue":{"value":{"entity-type":"item","numeric-id":4184294,"id":"Q4184294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$8EE92F4E-8E65-4EFB-8695-38372320834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a4263da91799da38dd66031867c7e7f893c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":4195975,"id":"Q4195975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080652$C722CF25-CD45-40B0-B827-41F029322401","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":"Q1080652$49E37E17-B35E-4C91-986D-5E0F7711D483","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":"Q1080652$0C042BFC-CA48-4B08-8C49-933CE8B01FFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1780b3ae624ca214df4b6da8ece5eb84057407ff","datavalue":{"value":{"entity-type":"item","numeric-id":3725526,"id":"Q3725526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb2a6cb28b0ecdb7086be40ecb70af9828081c8","datavalue":{"value":{"amount":"+0.8584463596343994","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":"Q1080652$1D4BE60C-09A8-43B9-AFEE-633E5980379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79a28d41d070590e8e4aa0b337ac78d3f7320a4","datavalue":{"value":{"entity-type":"item","numeric-id":1391730,"id":"Q1391730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e767cfd6125ce72900295bc4935c9256ead100e7","datavalue":{"value":{"amount":"+0.8175715208053589","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":"Q1080652$BD697E78-3436-445A-8B23-BBCDC918C800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e98aab66baf748532bcfd39787d8dc40aaabcc","datavalue":{"value":{"amount":"+0.8134541511535645","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":"Q1080652$823D839A-ED16-4B47-95B1-20B52CDC88EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84611f95e8a1da65966c10d67fa08ddaef7128c8","datavalue":{"value":{"entity-type":"item","numeric-id":5256352,"id":"Q5256352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1eed181ee3c6aafe624818f329e44c2ceda23c8","datavalue":{"value":{"amount":"+0.8031887412071228","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":"Q1080652$7A85A5AC-26D5-424F-8016-3539A961ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7581e57bf5e5caa49d7ff5d29d502974c9796eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055918,"id":"Q5055918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eafc9206c6f94057535101c51904079063b162b","datavalue":{"value":{"amount":"+0.7927575707435608","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":"Q1080652$61B27A1A-3C90-41FB-8675-E8F3E0AC54FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structured algebraic specifications: A kernel language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structured_algebraic_specifications:_A_kernel_language"}}}}}