{"entities":{"Q2369034":{"pageid":2379777,"ns":120,"title":"Item:Q2369034","lastrevid":72620799,"modified":"2026-04-14T06:07:52Z","type":"item","id":"Q2369034","labels":{"en":{"language":"en","value":"Algebraic-coalgebraic specification in CoCASL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020443"}},"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":"Q2369034$B8CA607A-6196-4667-9208-420D01D8CC4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b12c62c8e2c8e854ae3d76886300a0645103ad3","datavalue":{"value":{"text":"Algebraic-coalgebraic specification in CoCASL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369034$0FDAC96E-A6C2-49B9-8B45-9F8DCE28B144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"013a3a2be6766045654b29f974cac8368d14f32f","datavalue":{"value":"1088.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$AA07904F-E635-4BF1-9C58-86013F25712A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$2EC4B052-1864-41A8-8140-71DFEA20F1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$4801DA0D-B887-4A11-948E-6BABFA09C722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$D69220DE-03DC-4ED1-8250-BCC87DDEE6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bba2c9af0018b72d43bc0848f9ccbfe551f17e2","datavalue":{"value":{"entity-type":"item","numeric-id":585249,"id":"Q585249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$72399E43-AC04-44A3-87E1-372E8DFB05F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$3EC43B1D-C15D-44A9-8BC2-67EE6697F7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369034$791CED0B-8999-4D94-9396-EC0D80ADCCB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$977D0D36-FC24-4A20-9520-4D6039623578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$84771554-F5D2-4E7C-BDBE-8CDED23F161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$88253941-BB07-4B1C-B8CF-101962DA92AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$AE7ABB9E-009D-4261-ABEE-EC91CDF6B189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbee9c17aab5c18d1295ff5c51f90cfed36873e0","datavalue":{"value":"5020443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$993A19DB-3A48-4D48-9EBF-CE9461346F85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369034$F71A3446-1C34-4D4B-A299-6C4257893973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce81e641acf3041cc5fd1854ccca978d4493521","datavalue":{"value":"Coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369034$61E7B6F9-CE96-4218-8BFF-AD9939F6E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369034$435574F4-8CB3-4778-A620-CD3C7BFF934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa26151fa3ecf38aac5df67c7cebe0e2b3bf032b","datavalue":{"value":"Casl","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369034$E4AE5F2B-15D4-48BE-8DFA-0A79ABA94F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369034$02F7E996-0E42-49FA-A49B-09BF3990E01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369034$25079483-489A-43AE-B46D-CC381C53C424","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf62e8a70e4a3cf002b062d3c3bed8846887366","datavalue":{"value":{"entity-type":"item","numeric-id":15889,"id":"Q15889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$21E0E430-EC8E-4238-ABF4-71DB05186C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$3E08E6D2-09E6-4462-A213-6D2D2EF5A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$1511A155-30D7-4D0E-848A-39A93E900063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$2C4E0EEE-158A-42FC-B890-8C33187B1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$67B38BB4-44FE-46D7-9B52-F3358F3F8408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$5CAF1CEE-855A-4F5A-8188-620A5534DB38","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":"Q2369034$0A72CB7A-45A8-4C76-97CE-9EACBB4FC78E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fc1edbdfa4b6cf8299eda901ac540aa437c9517","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2005.09.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369034$AEF89F95-739C-4E7C-A520-7874F6BD7A81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76a02b3f478ead376b6d3ed4b62c3634f9e5149e","datavalue":{"value":"W2129099885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$7D83F3AB-FF5D-4075-B2E7-18F9B14CFB2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$D4325442-732C-4E36-9F34-EE5A91614E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$BD9DEFE5-571A-42F5-945E-F6C5CE6256FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b782c3feebe93265fa2f6a2a15a89ecd85b7062","datavalue":{"value":{"entity-type":"item","numeric-id":4742295,"id":"Q4742295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$6D3295EC-054A-46C1-A5B1-8AA3B3AC44B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$82E7C118-6011-4962-BBBE-A3BDBB543358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$110A9B94-21A6-4DDB-8B47-C6D6DA6F2913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebb05c6eb8c318e8a62358eee02d0809b73ede5","datavalue":{"value":{"entity-type":"item","numeric-id":4738215,"id":"Q4738215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$657FD495-00B8-44ED-9EFB-F470CC83E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$9FCF325B-C07F-4CC4-84C9-3EC51F8F11C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$8AFCC6AE-D694-4DF2-ABDE-F9ADE2B93949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fbec3fefb5470d8f02bf350e8c816ac7a4bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":4738219,"id":"Q4738219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$26D124C9-F4C7-4E9C-99FC-93963F41FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$B0BBD0D4-CDE7-4CB2-84C9-38C5D905CDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$549F9829-3212-4A7F-83DA-26C929F8A721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$0183525A-68ED-45AF-A3D9-5CA07C2B4ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$BDDCBF9E-9F86-46D8-AAE1-E64DAA8EF92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$764D439F-B211-490A-B73B-4FDF0B872CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$11EE62CF-D7F0-4FFD-9F87-AEB74F18C17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$53ACAA7D-9C68-497E-988D-C1A2DEF9A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edaea49b1e175e5643621be85862e04a37234134","datavalue":{"value":{"entity-type":"item","numeric-id":4738229,"id":"Q4738229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$D93C6616-895C-4025-9CE3-E3677EEC2600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$2FD0AD9B-3BA9-4069-A364-488899C09487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$09B73CC2-B441-41F7-BA77-DE01150FE4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$DBEA8ADA-6F9A-4486-853A-6E12565D8BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03532ad7569047d81ad504cfa00a2175b34186fc","datavalue":{"value":{"entity-type":"item","numeric-id":2729074,"id":"Q2729074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$8436C4B4-31C9-4E01-A674-2C1C20EAB428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$D3B507A8-4DB7-47DF-B6FF-D8EF953CD607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e1de9b27c2297fa9081fd122560bb29be6b9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900831,"id":"Q5900831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$E92E5405-2189-4F81-85AB-31078C35B173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$DFC700D7-4ECD-44C5-8DBE-761E3A88951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4af05e544e8b4fde458a0d4a253ccf27c1d5c75","datavalue":{"value":{"entity-type":"item","numeric-id":2763651,"id":"Q2763651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$0AE1B9E6-5774-418C-99E3-80BFAFA04666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c10a827d2af24fcbdf825a50f1eff9d38a2cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$B8DE4E12-21F7-45BB-BD18-DD63DD811678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$0F55BEB1-A0A4-4E52-A02F-6F5F98BA0754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d33642f7547ec0544aeb75a907ab49c3e2e2b27","datavalue":{"value":{"entity-type":"item","numeric-id":4256314,"id":"Q4256314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$64705A98-4A4D-4A9A-A8A9-469D54A9BB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$BAE9E0A3-ECC3-454E-8AAB-18E2160B0407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad436140f6598668d2527bd687a5eb84a271d185","datavalue":{"value":{"entity-type":"item","numeric-id":4222954,"id":"Q4222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$F7631C0A-3410-43C7-8CD8-BFEE20588C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238c4f72da93f3fcb3e970041b596b01cae688b8","datavalue":{"value":{"entity-type":"item","numeric-id":2767179,"id":"Q2767179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$DB90B56E-2A64-49F9-9596-F30A771E3D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$A3DBFBBA-2B18-4474-BAB2-801429F802CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd12d3c941aebdf1148feec0d827d5a629995b46","datavalue":{"value":{"entity-type":"item","numeric-id":2722035,"id":"Q2722035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$F78CA4B6-0FF5-406F-9213-0AF146B34FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839d9c4721dd3b45a5b4f895ed31e1e3261636d4","datavalue":{"value":{"entity-type":"item","numeric-id":5900832,"id":"Q5900832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$89339A18-688E-493B-9EAB-67DB6BA000DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$E6238783-FB83-4C02-9B8A-E70137FC7135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3c90c8a8b85fe11c0d0ffd25418ac6997d4e83","datavalue":{"value":{"entity-type":"item","numeric-id":5306026,"id":"Q5306026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$C72C1FE2-C01C-4C75-A06F-9E9A118B8863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a6c9bfea2753836640bc505c6bd2092f7b8928","datavalue":{"value":{"entity-type":"item","numeric-id":2709810,"id":"Q2709810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$B60B305C-AA8E-43BF-857B-3B8968855F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$A5399DD1-8229-43C6-9F8B-F2C7DF577689","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":"Q2369034$CFE91D9E-F486-4E2F-99C5-13AC22FE6749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96400b649fd7bcb3605d4b1ac946d830f79ee49","datavalue":{"value":{"entity-type":"item","numeric-id":2842564,"id":"Q2842564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$E410352C-27B2-4CFE-ACDA-97B0D6CEA73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd5c1baffd52562a65fe696dce1be9ae1e4d30","datavalue":{"value":{"entity-type":"item","numeric-id":2769594,"id":"Q2769594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369034$871EAC29-A7A3-4E09-8528-5BC293B2CB2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e538463129f4104448064d2beb4fec44c7f32c9f","datavalue":{"value":"10.1016/J.JLAP.2005.09.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369034$A7B65124-08A3-4244-A78A-A3C819C08BED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dd559bd528844559f1468d9d8a124ef38bdcbb","datavalue":{"value":{"entity-type":"item","numeric-id":5900832,"id":"Q5900832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12348cbfaea1c9ab816a4f893ec6b51d1e749087","datavalue":{"value":{"amount":"+0.9844322","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":"Q2369034$E54A5D06-2141-46F5-9E5C-9E6B17A139D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca7aaeed9eb9e2ea2083a4a9929f17464bd9685","datavalue":{"value":{"entity-type":"item","numeric-id":4499311,"id":"Q4499311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c47c585c13c3d6cddec8d2674c6c4011547785","datavalue":{"value":{"amount":"+0.93089634","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":"Q2369034$31650B1B-BB2F-4310-B4DC-9E596A3F90AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a221533aab40513f2bd012249dcece64517dee90","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d23ea817b18d65b04b430a24d6e602be10fe54","datavalue":{"value":{"amount":"+0.91540825","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":"Q2369034$F21E76B3-E2BB-4BDE-8556-1DD49802D4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86a084303b7579c13304d8499b8935a3941f449","datavalue":{"value":{"entity-type":"item","numeric-id":4738219,"id":"Q4738219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3bc539020bc9b5f4f54e1570edd561eb7db9ba","datavalue":{"value":{"amount":"+0.9085759","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":"Q2369034$F9BCE145-E281-4A55-BEB9-06DE51FF19D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc34beb55dbba749ab13c98b095af348386a3fad","datavalue":{"value":{"entity-type":"item","numeric-id":1791188,"id":"Q1791188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c145054c910789ce0d3cd80cc0cadd313ea9a6","datavalue":{"value":{"amount":"+0.8999017","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":"Q2369034$0F942C59-3569-47BE-847F-4231DAB12494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cf8b0db6a23b172da9a9459498ad2a216039bb","datavalue":{"value":{"entity-type":"item","numeric-id":5505507,"id":"Q5505507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fd98e81cc3304fc2682c71c49927fb787a4c58","datavalue":{"value":{"amount":"+0.89950216","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":"Q2369034$94B31F2E-9E34-4227-A090-3702F8A83538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c821737bf667f080b8c998ad42ced81a5b05ddcb","datavalue":{"value":{"amount":"+0.8988781","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":"Q2369034$ECE7FEBE-3FFE-4C86-8E30-BD3D60168A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3560a43408b5554698ae3a733e4665cacf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f6ae193c5869cf0b154a8508c460a57b8ab90b","datavalue":{"value":{"amount":"+0.898878","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":"Q2369034$28F523E5-5F02-4419-947E-99BC07DB8B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65de444bcc1e650020f4e0071ff46d762f8a3f3e","datavalue":{"value":{"entity-type":"item","numeric-id":1295554,"id":"Q1295554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1bbcd4ce956637ceb73cfc2f22d21f60a198c9f","datavalue":{"value":{"amount":"+0.89856577","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":"Q2369034$74B73A41-41EF-4F41-97FD-9EBF8F5CDE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a464af9d0a75eab232264b9bc71a3cb17f6591","datavalue":{"value":{"entity-type":"item","numeric-id":2888486,"id":"Q2888486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136a14202bc450fa8bdedea498e4769ad935394d","datavalue":{"value":{"amount":"+0.89590967","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":"Q2369034$C8335CC6-7686-4BD2-9D2A-95C425F10163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic-coalgebraic specification in CoCASL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic-coalgebraic_specification_in_CoCASL"}}}}}