{"entities":{"Q1280915":{"pageid":1291665,"ns":120,"title":"Item:Q1280915","lastrevid":67223121,"modified":"2026-04-12T16:11:14Z","type":"item","id":"Q1280915","labels":{"en":{"language":"en","value":"Computing congruent closures on terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1262978"}},"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":"Q1280915$78C9997D-79A3-4D39-9E75-3606C2C076D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df8e4c7e477afed38386278d0fe4e15f38acf833","datavalue":{"value":{"text":"Computing congruent closures on terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280915$FEBECABE-F43C-4E6F-B7C7-019CEEEAC286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60d778e6025259e799758ca45bbf4765b26b7cb8","datavalue":{"value":"0915.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280915$E3B1D692-9092-4162-B29A-56F9EA603BE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8a89273d64fc524c5e97ac6bca2f6b2bcbde0d9","datavalue":{"value":"10.1007/BF02733112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280915$4DD9CC7F-F8FE-4908-B0F0-E91D6EE85284","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280915$90E3036D-F459-44D2-A4B6-4C05C6CA85E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280915$493B8E73-5138-4C90-B44B-23FA4DE51186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-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":"Q1280915$9B550E2A-92E5-40BA-BAD1-47751ACFCEFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280915$4EC2CF90-1A96-4665-88C6-2D9E91AD932D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bc11d9542ba83acd38a72fdc2b31171cdcc70c4","datavalue":{"value":"1262978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280915$4D6A1660-4967-4518-AF1C-DAD96B85A523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280915$EA6A6F35-1C56-4356-B6F9-02D3C45C5757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280915$9123003E-C187-44E9-9EA2-86E36035B888","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":"Q1280915$F482B05F-5C19-499D-B23B-A04192E44B63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280915$8DBC8042-0C88-459C-9458-D345A413FF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8ca8cf51ef97c1a3e57118457a1da4e8c18ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5829025,"id":"Q5829025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280915$87A6C34E-89D0-484A-993D-057823F9CD83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afe0aa39e3a39c95b219fad3f48adb7e5f74a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5464694,"id":"Q5464694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6279d667ff30121b1d5a0188f20ce46684d7f23","datavalue":{"value":{"amount":"+0.89770097","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":"Q1280915$90A567D1-9A17-466A-9B9A-E29D4708B5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1384a9fab658cc5ae74d46a211c4fa5e1a1383","datavalue":{"value":{"entity-type":"item","numeric-id":3172897,"id":"Q3172897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d23169c6ffce378c11e8a4ae5155fdf320b9e45","datavalue":{"value":{"amount":"+0.8923079","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":"Q1280915$85EC9CF8-F592-4AA4-BED1-4DD7BD83100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533a8b77e8a99e85fa42a571379c69b8c18274f3","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002366ab4eed442b737d878e8faefffa11d683b6","datavalue":{"value":{"amount":"+0.8722081","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":"Q1280915$E08E7AE4-4372-4ECB-AF10-1B14E0C76995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d636620ae76c9ae5d1a9e9a8a0a9b3efc8d05432","datavalue":{"value":{"entity-type":"item","numeric-id":6064021,"id":"Q6064021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3a7dd7c841dfb6d7dbbae47d52d646688d9d2d","datavalue":{"value":{"amount":"+0.8709189","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":"Q1280915$C041D8AC-F811-464F-9BE2-A1980ED62F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30337d26ba6b5d33cb4176f2a080ff9d9c543f8f","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f2c5f8c6f3d5a5feb493b0c05cd45ab4f96697","datavalue":{"value":{"amount":"+0.8656605","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":"Q1280915$3BDAA61C-3D3D-47BF-96D3-94CEA668900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003eb6e6a10d86419d74d48f76d4c083b7b6b731","datavalue":{"value":{"entity-type":"item","numeric-id":5703869,"id":"Q5703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee9831b1166d75091e0e016331c8b1a5ec60f84","datavalue":{"value":{"amount":"+0.8573619","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":"Q1280915$CA97BC0F-3423-4D5E-B40E-6F1E422A0848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5656aad5075ace406a1a2865021c7f52e8abcb","datavalue":{"value":{"entity-type":"item","numeric-id":4372441,"id":"Q4372441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35094679c6c480eacc4d421d45ed41a7d21d439","datavalue":{"value":{"amount":"+0.8567995","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":"Q1280915$861FE024-3866-4CE6-AEE4-96F02E3129B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964291d33e7ee7f9ada3362798b29165f3211d86","datavalue":{"value":{"entity-type":"item","numeric-id":2755353,"id":"Q2755353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265363c55f53c1a80abce914908cc7c26c4ea72b","datavalue":{"value":{"amount":"+0.8566475","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":"Q1280915$381F11E5-5AAE-407C-A4AD-6A66162CAA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aac66ff7f362af1d6f155f2418609ef0b82589a","datavalue":{"value":{"entity-type":"item","numeric-id":5028308,"id":"Q5028308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5965277be31a38ee0480391ee357755cae6db1","datavalue":{"value":{"amount":"+0.85546005","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":"Q1280915$0E32622C-12AF-440E-86DE-C1A1B1A822CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5140a9c0589b238dec733936bc8171146d47d9aa","datavalue":{"value":{"entity-type":"item","numeric-id":3303931,"id":"Q3303931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a03c45bb0f7d2209394ca817c9dd61f72d1cf4","datavalue":{"value":{"amount":"+0.85476834","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":"Q1280915$ACEAC9F9-B71E-4892-AD73-B2BEA9033214","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing congruent closures on terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_congruent_closures_on_terms"}}}}}