{"entities":{"Q796979":{"pageid":798827,"ns":120,"title":"Item:Q796979","lastrevid":64406496,"modified":"2026-04-11T19:39:26Z","type":"item","id":"Q796979","labels":{"en":{"language":"en","value":"A constructive method for abstract algebraic software specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3866563"}},"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":"Q796979$91B9145D-F6D6-492F-8C02-9FED8764131A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bfae5fbc3937ee1756937d12fd5704adb5797cf","datavalue":{"value":{"text":"A constructive method for abstract algebraic software specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796979$E933A515-8EDF-4911-B9D5-208A854E6C32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc5833cb7b1d8dd0cf3bf155e0e200fe65a9c8d2","datavalue":{"value":"0544.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796979$E6D98B6C-2011-4BC2-BCAA-3635FC1CEF2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2557086a35b2f1cb58fd04d0dbcb69314bcc929","datavalue":{"value":"10.1016/0304-3975(84)90062-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796979$CAAEF159-5E82-45D8-93C4-80123CD5AB81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d28a7c6d612d7fa2f707b4b7d70ac99714fc6e0","datavalue":{"value":{"entity-type":"item","numeric-id":796978,"id":"Q796978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$7B14CBD2-FBE5-4AA8-A4F9-C65D67492C15","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":"Q796979$F3250682-889E-4BB5-A339-B6E155F6CAAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q796979$5B834A1C-1A50-4ED1-9E83-4FA7066982BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796979$304FBEED-C677-4E30-9FB0-C91597248425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ce40e0512fb1855ce7782bd9ae95c9108e2acb","datavalue":{"value":"3866563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796979$09765A83-1A8E-4EEF-99C8-3A18AA4FDC91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31245ee705cf4fd5a08ec468bffef3869bd172fa","datavalue":{"value":"algebraic axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$B987E238-B0C9-43FB-A762-EA1D125CD9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402a02238e515a48f1aa350cd718a5f6a113c3ff","datavalue":{"value":"canonical term algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$E3FCC20E-E184-4630-9F59-DBC65AE02438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c603971d6f9270a3d68158c73e9424ec2487cd90","datavalue":{"value":"recursion schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$1CF9A8BC-ADE5-4C79-BC28-9A5AF3460478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2c7f75b50d9a87f4d5c47dbc8e05ea7f91ad00","datavalue":{"value":"abstract algebraic software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$5266C661-B51F-44DA-9230-7940D35947CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$E79BD094-DBD1-4F1D-B268-8C28D342C428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$4C6588E3-4657-4984-BFCE-8E4E3A100D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aeb1b22c5cb124be58695141af861eff11c242d","datavalue":{"value":"structural recursive schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$8CED1821-ED18-4EB0-BFF5-17F5159F7E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q796979$5F0A7B5C-0FD2-4F04-93CE-0713DF4217F3","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":"Q796979$1393C909-F4F1-4FCF-B66A-F128F2C1E564","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562e54b2dde7629551517c847296f6c592b8705f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90062-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q796979$E76AE641-6495-4B71-B328-8577A6B67961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bb0c0e75c7f06f0c5c3bc5d455b35541585bd19","datavalue":{"value":"W2017125301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796979$CD466C2B-FBB2-4FEC-A578-E0F9C81EBE69","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":"Q796979$AC36A592-0CD4-4766-AF48-F66719720ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22be3409468ad5c6b0ab8a8a8f099ed034290864","datavalue":{"value":{"entity-type":"item","numeric-id":3217583,"id":"Q3217583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$3CCA45E7-19D7-4106-AD8C-8D0D99C12E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f0f87fa003fc86f84c772dc3053954d363a163","datavalue":{"value":{"entity-type":"item","numeric-id":3208066,"id":"Q3208066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$44696256-9BEB-4E65-B53B-9B3C76A580BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6162a47706be814c34042fd00c7c48b95d112be","datavalue":{"value":{"entity-type":"item","numeric-id":3662597,"id":"Q3662597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$72DE68A2-199D-4EE1-9175-81F3FB167690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d985acbba1091791c2db126431eec46feb100e20","datavalue":{"value":{"entity-type":"item","numeric-id":3969852,"id":"Q3969852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$5D95AEF4-6D37-4F84-8984-C381C7D025E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0b4cdc5995817d8a21881faf985410d5709801","datavalue":{"value":{"entity-type":"item","numeric-id":4198051,"id":"Q4198051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$23FC2EA0-20C8-48BA-8186-FF6B16FDC584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f904c95c0d92245743da945568bf01164bfce64","datavalue":{"value":{"entity-type":"item","numeric-id":3875328,"id":"Q3875328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$8345A8F5-94AF-4068-80DD-FBA39746B3C9","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":"Q796979$F65ED91F-5EE3-4E2E-807B-2A6D6B516473","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":"Q796979$4E22A0AD-E505-4822-B1EA-E222F6C10855","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":"Q796979$F22DEE9B-F7F6-41A5-BD17-49C464F5E141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8ffb67b00ea8cbeeaf44ae8b6f3bc27fbc2d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5618896,"id":"Q5618896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$9EB4EF4D-5446-45C9-B9F1-6E36A0F20005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6344168d2864225527e96304f70312b37d2e6917","datavalue":{"value":{"entity-type":"item","numeric-id":4160388,"id":"Q4160388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$EFF711F5-8EA5-4F11-A806-6CA094A9BAD2","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":"Q796979$5552887E-D8DF-4740-94A3-852684A770E5","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":"Q796979$31CD743C-A477-44D6-A1D7-663941560EC4","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":"Q796979$EE4A4828-21BB-48A5-819D-7C56BF00750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7271a43a9b61da56e09afc244aa4046805d7f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4160385,"id":"Q4160385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$8506EC0D-F5C1-4454-9F62-2FB0135ADADB","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":"Q796979$58D299C5-F2E5-49E5-9701-F6F9FC049914","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":"Q796979$09CA6B56-7DE9-485F-9DDD-5BC6147400BD","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":"Q796979$E9504260-250C-4DDB-8F2E-7579EF36EA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4374b915f33ccabe7bb9f6d8d42cc28e82909","datavalue":{"value":{"entity-type":"item","numeric-id":4063610,"id":"Q4063610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$B1418DAC-40EA-4654-899F-830202859B4B","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":"Q796979$A76ED186-DBC7-4D02-AB3D-0DE45F6F500B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$279E5333-0B93-439F-95AF-B44753D89263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31794eefda5c06e14c9e08a5f315cd85d5b4404","datavalue":{"value":{"entity-type":"item","numeric-id":3925867,"id":"Q3925867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$AA33A46B-5471-4B1F-91FB-0A2C79CEA37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb0549c3a3d0d3d5e8b91c6155ef4172cd3848d","datavalue":{"value":{"entity-type":"item","numeric-id":4182497,"id":"Q4182497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$A954C202-8575-4280-87AF-E907D7955141","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":"Q796979$04D58880-21F6-414B-8330-4459C8C66B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d8f06840d5b431e7d94dcf17462baab1ece29","datavalue":{"value":{"entity-type":"item","numeric-id":3932287,"id":"Q3932287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$DA264A17-9467-4CB9-B5EF-FE6244C5992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04dcc42a0c5967d05cf5c1a1df8921772a87b299","datavalue":{"value":{"entity-type":"item","numeric-id":3660895,"id":"Q3660895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$D38D3187-7925-4CB2-AE09-41258D2FD397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f5f7f66378af973224e264ccdd4b43fec6cf46","datavalue":{"value":{"entity-type":"item","numeric-id":4743710,"id":"Q4743710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$319218C2-DCEC-43D3-9B50-BC430B5BB146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7986ef655eaf204f149dd433f2a3e84c15ddbee","datavalue":{"value":{"entity-type":"item","numeric-id":3910517,"id":"Q3910517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$B3414F79-E0FB-4FA6-8B9C-0DFB86F4D878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e358a32fb2258b833e94e9a2123a76904d1b11","datavalue":{"value":{"entity-type":"item","numeric-id":3932288,"id":"Q3932288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$4AF2BFC9-EE12-4E58-9908-4003DFB09F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653438d7947829d6714d81187175e2433c8365a6","datavalue":{"value":{"entity-type":"item","numeric-id":1234591,"id":"Q1234591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$71B69D07-B9B1-4BE1-ACC1-AB2C1C9BA7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f524d35123721fcaa1bcffec07bc906cfe14da","datavalue":{"value":{"entity-type":"item","numeric-id":1252032,"id":"Q1252032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$6E91F379-53A3-4AE4-A668-308A330082F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b953cb2cd1a42b9069e57d498e21a22c77afbe","datavalue":{"value":{"entity-type":"item","numeric-id":3868738,"id":"Q3868738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$00740018-A5C3-4D37-84C4-A79055A385C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a597fd22037151e0c8055849861a47db3ea8e851","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$D6F2A865-F50E-4BF7-A021-23CC15CF8CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e66884a32289d3e378e73547739ed6bd32238e1","datavalue":{"value":{"entity-type":"item","numeric-id":3949956,"id":"Q3949956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$03A7380F-4BDD-4481-82F7-C97658B31F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d3cd96fd4ad92cecf31ed20f361a790694b8e9","datavalue":{"value":{"entity-type":"item","numeric-id":5402549,"id":"Q5402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$1248F3DC-88E7-4E27-AF8F-75AFA46BECF4","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":"Q796979$5403AD18-B691-4C4E-9410-6A32BECD04F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8838a587d5217a763c9cba94af9c637cd4a22e97","datavalue":{"value":{"entity-type":"item","numeric-id":3923582,"id":"Q3923582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796979$B15408E5-8094-48E8-8B45-3ECDD36E67D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabce0322601db384186dbb144c4bf8f3178fa34","datavalue":{"value":{"amount":"+0.7859928607940674","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":"Q796979$5096928B-4DC3-49D1-8F18-28DFF6E9EA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89349b10e94890687c2bab7b4abe36fe6b0127ae","datavalue":{"value":{"entity-type":"item","numeric-id":4212721,"id":"Q4212721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36dfcee47a435fd711476a38ae213a988ab05f3","datavalue":{"value":{"amount":"+0.7598638534545898","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":"Q796979$DE9B6692-DC84-4706-A4BB-597E85B22BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc06282cb0fc9a525420919b18192db3c6bd865d","datavalue":{"value":{"entity-type":"item","numeric-id":3345751,"id":"Q3345751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073dc27a13e64665f50e3d120a114aca8205e5ea","datavalue":{"value":{"amount":"+0.7475630640983582","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":"Q796979$2DB7E8C9-2F20-433E-844B-6E23F12FBA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0600d7cec67342dc489859d936dc6b428c0864","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ebbfa3e0b17b165750b3ea623c24a8ebc8cd7a","datavalue":{"value":{"amount":"+0.7432297468185425","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":"Q796979$4AA2DA63-F2A8-4FB5-9566-2E2ED992F629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307e6ac7e93efb510efa8f9db70f3ce5d9a4fab6","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569fc081a01ad6bcbb2a425788b10aa8041cd251","datavalue":{"value":{"amount":"+0.7412728071212769","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":"Q796979$3D08860D-F239-486F-957F-AFBA03A9E0D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive method for abstract algebraic software specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_method_for_abstract_algebraic_software_specification"}}}}}