{"entities":{"Q1895401":{"pageid":1906143,"ns":120,"title":"Item:Q1895401","lastrevid":69392289,"modified":"2026-04-13T06:41:38Z","type":"item","id":"Q1895401","labels":{"en":{"language":"en","value":"A type system for computer algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 786277"}},"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":"Q1895401$746A755C-BFA2-4035-88B4-D0BF60847F99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e78c3288aa8a6ff805894b6e551f70a7e3dab72d","datavalue":{"value":{"text":"A type system for computer algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895401$05AECFD2-E6BD-459D-AA25-3FF7710AD944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"582a2be9187e27287b7b6477265899cc86b17aec","datavalue":{"value":"0836.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$C2130CBB-81D4-408E-AA1B-337A2B677C6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebe463c2bfe49cd91ca102409c9beaf6ba9ef08","datavalue":{"value":{"entity-type":"item","numeric-id":1895400,"id":"Q1895400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895401$F0DAFE97-31AF-4639-ACE2-E2EED2239750","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":"Q1895401$B5ED778C-AE7A-4AC8-BB9B-3CB965335447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d0748a4d25cfb37a1cacfbead02ac546f0ecda5","datavalue":{"value":{"time":"+1995-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895401$B3B7AF9A-98C7-4BA4-80D6-E0FD3CD0C80D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$EFD05A05-A1EB-4A2A-9923-897D8D446268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$BADB3695-0592-40BD-85B2-A9BAA7114165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$A7F482AD-3327-491C-904A-C98427802116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f43acd0fff82c94d73c09385a7d9832a14126b6","datavalue":{"value":"786277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$ABCDDFB7-CB96-4407-82F7-469B36C01369","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895401$A15F2B99-EAF8-4680-A354-6DEA4F4CEF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c037efb10f72365302542c94766967c78c186f5c","datavalue":{"value":"automatic inference of type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895401$73F039E5-7A99-4972-8C17-0AF7265F6DAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895401$CA1C3A12-0953-41AD-AAAA-8DC84AC9D668","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":"Q1895401$204E829B-6C6C-4F7A-9893-F6EE73B6DACD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1a65f6538b4c714bd0019362bfa649adcc2ce08","datavalue":{"value":"https://doi.org/10.1006/jsco.1995.1006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895401$A8703C11-426A-45FD-B89C-5C0832BF692F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cda62a66b73edb34c95e98f2b6cd4f3f09c6dc27","datavalue":{"value":"W2013072751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$ACA328B5-74EA-4664-97DB-C49DAF96ABB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61d4747148decd48c7c1ba18405859a0b908d83c","datavalue":{"value":"10.1006/JSCO.1995.1006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895401$9D0BE0ED-82C1-4FD1-982D-3AD3EA624CCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fa860d9b241040f2b94fe318d71add66e86ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1176783,"id":"Q1176783"},"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":"Q1895401$6E57EE4F-A6A3-47A6-8627-158F03783B07","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":"7feb9bf6807a9f9986b1b46de2e6d36cef19223e","datavalue":{"value":{"amount":"+0.9214313","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":"Q1895401$04CE677A-256C-4B56-A9DD-D79FB13F1D93","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":"9d264cf3e37cc4b98ffe0cade10448ba596dc48d","datavalue":{"value":{"amount":"+0.9134557","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":"Q1895401$47DAABB5-16A0-41DF-A869-CEAF076C5931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8c89061bfe71fe903cf3a559ca8528d9eabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4536341,"id":"Q4536341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bf768c4f4c5e1ed4a1470e520a59e0a41f901e","datavalue":{"value":{"amount":"+0.9133354","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":"Q1895401$E20B7C07-8323-402E-BF84-6AFD8BD94FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abd49b285ed70a4a417db9e9c22d4cd33b80095","datavalue":{"value":{"entity-type":"item","numeric-id":4297109,"id":"Q4297109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d048afa937d0ae778386e457ab7ae8b1cdce1f5a","datavalue":{"value":{"amount":"+0.9127927","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":"Q1895401$96F736E4-7088-405B-B441-13CB4A34F199","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":"20e2109ae5df123e3f7a42c8ab9520c21b0d5498","datavalue":{"value":{"amount":"+0.8981458","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":"Q1895401$F1D96577-A013-4337-B43F-1B5F5BE5DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b54d2e4ce2c200793f0843b9819e37e712be975","datavalue":{"value":{"entity-type":"item","numeric-id":4855021,"id":"Q4855021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b6f65f6cbf6e3e4558d58b1e7fdec9fe01cc26","datavalue":{"value":{"amount":"+0.8898138","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":"Q1895401$7B7897CB-01B7-4BDC-BF9E-F285B6620632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f73c4fdcdd1f727c007db26e20f4b1ddddf3de3","datavalue":{"value":{"entity-type":"item","numeric-id":3434624,"id":"Q3434624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c51f43b4b5664ba7376c0db0789c663242564fd","datavalue":{"value":{"amount":"+0.8897722","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":"Q1895401$D844E702-EE8C-431A-94DB-33BEF4DB1B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f7f2653c1c069b65293ef5df1b88da555328a4","datavalue":{"value":{"entity-type":"item","numeric-id":1780408,"id":"Q1780408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde46b110fed81f5b05943139ef2749e2a1a1fb5","datavalue":{"value":{"amount":"+0.88872457","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":"Q1895401$9AC68883-9FE5-4BE5-A77A-429D8ADC3F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type system for computer algebra","badges":[]}}}}}