{"entities":{"Q792753":{"pageid":794601,"ns":120,"title":"Item:Q792753","lastrevid":64375794,"modified":"2026-04-11T19:26:42Z","type":"item","id":"Q792753","labels":{"en":{"language":"en","value":"Implementation of data types by algebraic methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854399"}},"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":"Q792753$EEC0682E-EFC4-4BAD-A493-25E2D1CDC06B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bca6f25278c9d7d36e642db2df546be2c6ff504","datavalue":{"value":{"text":"Implementation of data types by algebraic methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792753$95F04FBF-CD26-4265-9100-911DC03DFFB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be9301497d80e76c1b201c8531679be291fbbb7","datavalue":{"value":"0537.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$2E520986-CC9B-4313-A01A-BC288A7EC313","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86b2ff6bfc854364d88df88ccb0356b35999acb4","datavalue":{"value":"10.1016/0022-0000(83)90045-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$DFF0C4B1-2C4B-4C14-8610-A07B35DBE6A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b50a810babd2d1e6df22113ba9b6982232c130","datavalue":{"value":{"entity-type":"item","numeric-id":792752,"id":"Q792752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$65ED14B4-E073-4320-8BED-003F8CCD3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f3d17dde2255cf0d5e0bd87a89e512588d50f0","datavalue":{"value":{"entity-type":"item","numeric-id":790605,"id":"Q790605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$6241E41E-FBA7-4CE7-9258-35A2F17F8972","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$9D8608C0-0B05-4ED1-9476-B21C00D11A08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q792753$4A0B20CE-2F3D-4F01-9845-B058D9205BD5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7b8d74487dc6366c5fc1474c9c2b0eda2481e3c","datavalue":{"value":"This paper presents a precise definition of implementation of data types, which are taken to be many-sorted algebras of a given signature (sorts and operations). No particular presentation (e.g. equational) of the data types is assumed but each element of the type is required to be reachable from the given operations. For each operation \\(w_ B\\) of the \\(\\Omega\\)- algebra B to be implemented, this notion of implementation calls for the construction of an operation \\(f_ w\\) on the implementing algebra A and the explicit definition of an \\(\\Omega\\)-homomorphism T from F(A) (the \\(\\Omega\\)-subalgebra of A generated by the simulators \\(f_ w)\\) onto B. The surjectivity of T insures that every element of B can be represented by elements of A. This representation can be multiple as T is not required to be an isomorphism and this implies, in the case of equational presentation of the algebras A and B, that F(A) need not satisfy the axioms defining B. Unlike other approaches, the operations of the two algebras A and B are kept separate and only the operations of A are allowed in the generalized G\u00f6del-Herbrand-Kleene schemes used to define the simulators. Sufficient conditions are given for such a scheme to define a (possibly partial) function using substitution and replacements rules. The notions are illustrated with two examples of implementations of stacks and symbol-tables, dealing with the cases of polynomial and recursively-defined simulators, respectively. Similarities with the approach by H. Ehrig, H.-J. Kreowski and P. Padawitz are analyzed and comparisons with other approaches are mentioned.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792753$357EE75F-C3FE-4362-821A-4230855AD5EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$3CA588DF-50FE-4C79-948A-CE0DD4E8049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$7B0DE03C-5967-4453-97D8-C66419989B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$1DD368EB-7581-4B03-9672-4DE9E35E6262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$13290781-8A03-45DA-AFC3-BEB11A765C43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8e0d1c268f05d2a02cce3823c29dcbdb292e0c5","datavalue":{"value":"3854399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$160DE14C-6A89-4486-92D9-C871395B5248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e7aea53538dc8b7ba5c0c612839122044b95e6","datavalue":{"value":"simulators","type":"string"},"datatype":"string"},"type":"statement","id":"Q792753$9DAF12F3-C2FD-4B59-BCC7-EE4C0130B2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e435a589f6b5cd01b75e2ead46faf7eb5e4cb1f","datavalue":{"value":"polynomial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q792753$D736F417-AA4E-4855-8073-8C96EE59C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf071a2ec35099ff59397ba8eaf2d23d19823326","datavalue":{"value":"recursive schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q792753$7673C235-C4CD-4081-A638-7B3A59A5A6D4","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":"Q792753$C5830A0B-C280-4F5B-B553-664A55C5834F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2088c9f38ea7d80b1461fe9add8b85f5526de3a5","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90045-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q792753$121B8884-DC97-4060-BEEE-CC46DF668386","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9e07ff59116845e60647b7c66bd2e05be0433b7","datavalue":{"value":"W2082083998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792753$FA450040-7598-4F1E-8903-94E80B2D59AA","rank":"normal"}],"P223":[{"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":"Q792753$40E1486E-450B-4279-8774-D0F0B78FCD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$4194F97A-3187-4741-8D92-B7F0188CF90D","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":"Q792753$F6CA2D6D-6382-4609-A4D5-97B612413675","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":"Q792753$411E07C5-2162-45CB-82B7-3FF99E3F8D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f748fd00b0db98771d085f7c976c3b27f2ef7470","datavalue":{"value":{"entity-type":"item","numeric-id":3928239,"id":"Q3928239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$415FFC17-8EF4-419D-B513-7922FFFF2EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b492e97b7a57f86c21885e66610f44cd788f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":1249593,"id":"Q1249593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$B6486422-81CF-4B11-92CC-1F4BFDEBA24B","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":"Q792753$190C8BC0-5621-44E7-BDE5-42D9FBBD15DB","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":"Q792753$356A9CBF-2BFC-48D4-B22A-A9D452D2C641","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":"Q792753$91EAF4DC-4D97-453B-8CD8-CD1FCF26A4A9","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":"Q792753$DCB05596-1123-4D4F-8E90-BF095FA2904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1740fd3aa646d62b8953dc05173b9d29d66697a2","datavalue":{"value":{"entity-type":"item","numeric-id":1158952,"id":"Q1158952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$872E2265-36BC-4A38-9E9D-BEAE90098317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bf89c3918592045fbb0255d03615ac07de7d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2532605,"id":"Q2532605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$D416D119-DBA1-4B8F-8E05-91F5663852F6","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":"Q792753$CEFF2FC9-9EED-43E9-A22B-18FB99012794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$D079F102-CBD8-4269-94BD-D5BF2086B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155dad1226a455a5721b39b05306420b53ecac51","datavalue":{"value":{"entity-type":"item","numeric-id":4362900,"id":"Q4362900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$2B0C866E-8BD4-416C-9C61-51E85EADDE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$A9854E92-3DC3-4B5F-964C-D4D72865005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff27e2fd0d34ba71c4515f993123af453fccc1e","datavalue":{"value":{"entity-type":"item","numeric-id":4199504,"id":"Q4199504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$1C526972-E157-4753-A0C6-B7EFFDE0620C","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":"Q792753$531D2141-2DEA-4F39-81D7-CBBB0D1141DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1c889623c4585b967fe1ca1e66074c17ac30e0","datavalue":{"value":{"entity-type":"item","numeric-id":3965556,"id":"Q3965556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$9BB8F2F4-9521-4470-B5E8-16FBB714823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$5C2F00E2-D268-49B0-B906-691F4A1E0F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70ed351e18cd3b7335ab963a99bdb32bde11580","datavalue":{"value":{"entity-type":"item","numeric-id":3877027,"id":"Q3877027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$277A89DA-FADB-4716-BC30-01D79CA25C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900dcbd0437c0f7a103179892975c259ab9a8be7","datavalue":{"value":{"entity-type":"item","numeric-id":1142573,"id":"Q1142573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$094F47D0-B53A-482B-A18E-F74CB53B1820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e87898c1343837d22ec6ea31592ef6d59fc68b1","datavalue":{"value":{"entity-type":"item","numeric-id":1157899,"id":"Q1157899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$C102CD45-2194-471A-9095-45F773DE0303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163e69448d39ad531e4cc97f8ffafd03a99ce660","datavalue":{"value":{"entity-type":"item","numeric-id":1393937,"id":"Q1393937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$38490469-B109-402A-8039-127C6C117241","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":"Q792753$CA485899-8DAD-4762-898A-650216E64F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf665bf2f0b9e1dc10920d6cef545ef5dde3941","datavalue":{"value":{"entity-type":"item","numeric-id":1251892,"id":"Q1251892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$651B13A4-13B5-4823-A741-D8E34C2D9686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$CFF19516-B92D-447F-83D0-65D45EAB3650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac4d01fdf564b7f717798066146a230aae1084d","datavalue":{"value":{"entity-type":"item","numeric-id":4766569,"id":"Q4766569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$C3FD3714-E296-4D5D-A834-4E1CC253E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384639dd0297f5f273f013e5c517a8ae258e7aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1243578,"id":"Q1243578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$89ADE368-13CD-43C3-9140-D108E093F7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205d922319971c0347e1a806baa74960fe4ef321","datavalue":{"value":{"entity-type":"item","numeric-id":1239608,"id":"Q1239608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$A759663E-5D2D-45E0-A720-433D97654048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bd32c43f80b4526740c56b9e5f69eb0bf94371","datavalue":{"value":{"entity-type":"item","numeric-id":1228350,"id":"Q1228350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$07BBE202-B2BE-46BC-84A0-A982F1D823A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedb8152d416af671d1c0c35ead4948aa4fef20d","datavalue":{"value":{"entity-type":"item","numeric-id":1169813,"id":"Q1169813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$062A1617-6419-494D-BCA1-67B98268EE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$9C0665D0-5D79-4464-B88D-ED47FBB2F83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12a9d5054eb283864eb6e1e0f33182f274918f","datavalue":{"value":{"entity-type":"item","numeric-id":4404415,"id":"Q4404415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$5408B52F-E251-4561-9253-2E825DE9A962","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":"Q792753$22072A6E-3A3E-4395-BA45-4F4AC8C82FD7","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":"Q792753$5A8AFCA2-54A8-4187-83C7-917F2E3949CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$F963ACE5-14D0-4329-89E1-CFAEC8BFD557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c13b7dc1ec9779b586f48b9496b9f2cc616b30","datavalue":{"value":{"entity-type":"item","numeric-id":3938467,"id":"Q3938467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792753$9AAE6D8E-5DB4-4142-902F-D7E046AA54A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3bab3c89ff28ff58917e92c638a55dfcaeb5266","datavalue":{"value":{"entity-type":"item","numeric-id":1079358,"id":"Q1079358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79250aed54a932011ee31bff02b15a32214513a9","datavalue":{"value":{"amount":"+0.7641386389732361","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":"Q792753$7A30FD32-AF4A-40DA-970B-76D46333666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da21b1184d93bbf84505ed042714106f62d81728","datavalue":{"value":{"entity-type":"item","numeric-id":4721634,"id":"Q4721634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30bab9bce61f950dd021fb7a26654995e3f4ab7","datavalue":{"value":{"amount":"+0.7638026475906372","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":"Q792753$68835167-696E-4F15-AAF2-A3C4B233CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0fbd9813c5d20ffd1430b71c4c81f1e890ca127","datavalue":{"value":{"entity-type":"item","numeric-id":4725724,"id":"Q4725724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f0cbc2efba633aa2b01b1fd889d536f6f54fcc","datavalue":{"value":{"amount":"+0.7556900978088379","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":"Q792753$3D555039-CCB6-4D99-9E1F-2150966C0FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48437decaee340a9ae06cd475a69ceb38306f89","datavalue":{"value":{"entity-type":"item","numeric-id":3785902,"id":"Q3785902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f829b7d06a3e1f6f7673847e4f94e75d79955b9","datavalue":{"value":{"amount":"+0.7553951740264893","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":"Q792753$389305B3-6110-4FA8-BCBB-777793DB32FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf36dbe354b88a561875e0ba50fa105f56be3e79","datavalue":{"value":{"entity-type":"item","numeric-id":3805883,"id":"Q3805883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0c63590dbefb7caa00f5bda37e866bedf19e1d","datavalue":{"value":{"amount":"+0.7538524866104126","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":"Q792753$96F35A0E-A4DD-4ACD-BB57-133F7287627A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation of data types by algebraic methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementation_of_data_types_by_algebraic_methods"}}}}}