{"entities":{"Q1176783":{"pageid":1187532,"ns":120,"title":"Item:Q1176783","lastrevid":67041708,"modified":"2026-04-12T14:31:07Z","type":"item","id":"Q1176783","labels":{"en":{"language":"en","value":"A rewrite-based type discipline for a subset of computer algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 12491"}},"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":"Q1176783$B9F367CB-C63E-49F9-92C9-CF3EB4455D49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfe5c555a9248a3eaa13a85c05bdbbb466a5fba1","datavalue":{"value":{"text":"A rewrite-based type discipline for a subset of computer algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176783$15797772-399D-4D3A-9616-300E073542F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11c733218aa7f92d402eafd5aa5959a6602877a7","datavalue":{"value":"0739.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176783$AFB63D0C-27DA-4274-86F2-0971750DB606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1710103e6bb31f4bd4b46a9f84c2b2ed1830996d","datavalue":{"value":"10.1016/S0747-7171(08)80110-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176783$6BDE8E4D-0C11-4833-A547-786F16515E94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$B3F335DA-4070-421F-8837-76635FA99F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176783$D7E83242-5BE6-4905-A494-30F553E957E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0af13e249bd95d8220272495c6db72bef00133ba","datavalue":{"value":"This paper is originated from computer algebra and its main features are the use of terms of an order-sorted algebra to denote polymorphic types with properties and the use of rewrite rules to define subtyping relations. The type system aims at the contradictory goals which must be solved simultaneously: static type checking and the possibility to omit typing information. A solution is to use a type inference algorithm, which allows the system to compute statically the type of every expression with no typing information provided by the user. A basic idea to handle polymorphism is to denote types by terms where a given set of functors denotes the construction of more complex types from simpler ones and where variables ranges over types. A type system into which polymorphism with properties may be expressed, and where subtyping information is given through rewrite rules is presented. This system uses an initial term algebra and a presentation (an order sorted signature and a finite set of subtype rules \\(l_ i-r_ i\\)). The rules contained in a presentation are used to derive types by ``rewriting''.   In this system, unfortunately, the type inference problem is undecidable, but the authors show that when some not unreasonable restrictions are made it is possible to get an efficient semi-decision procedure. Many relations with other work are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176783$DE2C5180-EC11-46C9-8E6F-00969EF7576F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"850715937341d072522c2b6dfe4fd00f3d07e86f","datavalue":{"value":{"entity-type":"item","numeric-id":689296,"id":"Q689296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$C7DC5E88-0A14-4BF4-8710-ED8C14FA19A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176783$05D8B721-1DEA-4A5E-AFF7-CA608F22D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176783$AD6E9875-802B-4BCE-8604-303249821AAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd8e75dce2624a6f86fc19fe40d7edbea24195b3","datavalue":{"value":"12491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176783$92EF11E5-E84F-42F1-8266-CE092DC35BBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590732bc9b140779fd7429b1974efd0e31852d28","datavalue":{"value":"order-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176783$2C6103AE-4ECB-4ACD-BC9F-6B63C110A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176783$CCC4315B-F24D-4DD1-95D1-496AD0F2DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176783$69F62F16-3577-4EF3-83A7-25E07D8B3C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$EAAE666F-AB1E-4E9C-B4C3-8BDA3B51708E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$E72ABC73-02CD-46AD-BE6E-046A820DDC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$3FE9EE9F-FB66-44C3-832D-A90A399E35FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$1F0FBCF2-BCC4-496C-BEC2-22680BA624C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$C4A17763-C57C-4C50-862A-F18EDD1ABDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73344fec5a3e7672fdf15a995958e245a1dfa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":13950,"id":"Q13950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$78A581F1-5BFE-4769-A254-B4CB02CD27C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e33638c86f3c05d458e62c0a83dcc72f2a0d42ef","datavalue":{"value":{"entity-type":"item","numeric-id":13189,"id":"Q13189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$486D48B0-30B7-4E1B-8DA9-EFFD097D3BC1","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":"Q1176783$0519CF7B-500F-4E4C-AA8D-12C7C81D5814","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7817693711afcca6d13573f7f2623d2dd24666a8","datavalue":{"value":{"entity-type":"item","numeric-id":3713559,"id":"Q3713559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$3BE76857-4003-41FD-BE13-70702924751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d21727a68dff08dbb2e70eb16a0b9c7deae479","datavalue":{"value":{"entity-type":"item","numeric-id":1176783,"id":"Q1176783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$A4FA18A4-C1B6-44B6-BC7E-9F5F58A81DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$99577F8F-C150-46DE-BCAC-6BA118B8B621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$30C7D8CB-1316-48B2-BEB0-71526A8D0861","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":"Q1176783$B33DD895-E822-4B8E-9DF7-4B9975AD9F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$45AF72C7-A363-402F-9F3A-4B5FD6A2F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$C1A3610D-1524-4397-AF8A-E45A98C5AF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9ffe52ba89a0dadd1e1e57878b5d204af2330c","datavalue":{"value":{"entity-type":"item","numeric-id":4723321,"id":"Q4723321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$56184402-8081-4EAA-A4C7-955475E40BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$109EBB6A-25A8-4BAB-8B7C-AEC1CB54CEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbeaee82e2d22dcbceca8a7a0c2001f5a8c9cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3490936,"id":"Q3490936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$95F00019-A45C-4DA0-A47C-D50FE6FE2FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c170fbf7b2655b8472aa46a5038af4789127c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":1819942,"id":"Q1819942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176783$7E10789E-2EF1-4086-9B70-9E19FD930390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaec44bd1c91f8b77980442de2aa049a643ee4af","datavalue":{"value":{"entity-type":"item","numeric-id":1895401,"id":"Q1895401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecf9b4d54f61b86dfff6f9c64e5e7afc8c5a9e5","datavalue":{"value":{"amount":"+0.922176","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":"Q1176783$A81765D5-FAB5-43B8-8E40-4E25527AC936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5fc84df065ea961925d80b5c14cbba80d5d3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5881172,"id":"Q5881172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d916b0d7042eb4386aadb9ab54795a9e947678","datavalue":{"value":{"amount":"+0.9015258","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":"Q1176783$C975B84E-0EF9-492F-97A5-568AF2F9B519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0042015b41786e044dd99deff20f6e3f5bf51d99","datavalue":{"value":{"entity-type":"item","numeric-id":4265397,"id":"Q4265397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af075cd07345012cb51db1e5ce6f6b0f6f3bd35","datavalue":{"value":{"amount":"+0.900199","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":"Q1176783$B5A225FD-7A00-41F5-B735-6035A65404DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ab4e1e073147b6c08198472359175dc79e489","datavalue":{"value":{"entity-type":"item","numeric-id":4917199,"id":"Q4917199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8df74f7b60e58787709e0c1049455933218037","datavalue":{"value":{"amount":"+0.9000789","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":"Q1176783$FA37E2E4-B90C-4BEF-89A3-59C723B048D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f46a373e0d9a245b51976713c5ed4c224e67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4376069,"id":"Q4376069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dd645c4f5c6d52751100504954a3c6a9814c7a","datavalue":{"value":{"amount":"+0.8885763","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":"Q1176783$45D7B1B5-EB98-4763-8685-D609409AD590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb174c10ffa67b3f5e9fa7cc3d40b3c90ce7009","datavalue":{"value":{"entity-type":"item","numeric-id":1579057,"id":"Q1579057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dd645c4f5c6d52751100504954a3c6a9814c7a","datavalue":{"value":{"amount":"+0.8885763","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":"Q1176783$99F6EF94-075A-4627-B182-66C03376794E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138128b6ef749c5b83de26dc2d96493081e97eb","datavalue":{"value":{"entity-type":"item","numeric-id":4518868,"id":"Q4518868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5803cd151b19c6381183e486db8d453cfa423700","datavalue":{"value":{"amount":"+0.8866538","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":"Q1176783$D57E66BB-2F55-49E3-9753-F8245905E068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d456b94293befe11b645e1ed78e138fd7ac64a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822dfaaa0f541f38319f3ad3b97ed09061cb0cfe","datavalue":{"value":{"amount":"+0.88152695","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":"Q1176783$5EDC479F-C840-4CD0-AC24-E8A7EFE41E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a99c356a4206bbafa5dec23032d09a95b23b61c","datavalue":{"value":{"entity-type":"item","numeric-id":4858947,"id":"Q4858947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822dfaaa0f541f38319f3ad3b97ed09061cb0cfe","datavalue":{"value":{"amount":"+0.88152695","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":"Q1176783$48127989-3071-4E9F-A167-ADCC25B1EA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42808a161fe6902106a77106d0ee554c67dc7553","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cea69403ec5443a24d9ce1fe8dc79d1dc628535","datavalue":{"value":{"amount":"+0.88086104","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":"Q1176783$8E0733E3-1892-4F69-865B-369189DC5BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewrite-based type discipline for a subset of computer algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_rewrite-based_type_discipline_for_a_subset_of_computer_algebra"}}}}}