{"entities":{"Q3656884":{"pageid":5686790,"ns":120,"title":"Item:Q3656884","lastrevid":49857289,"modified":"2026-01-11T09:00:12Z","type":"item","id":"Q3656884","labels":{"en":{"language":"en","value":"Automatic Abstraction for Congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658437"}},"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":"Q3656884$6062C193-E219-4E1A-BDE4-127105653346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94aac33e800efdda2795c39524fbb99798cc1209","datavalue":{"value":{"text":"Automatic Abstraction for Congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656884$997CA950-CDC1-4C32-B1DD-1C97CE9E690D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5db85d3d8ab8cfcd3a10b072b26f724bf3b4f3e5","datavalue":{"value":"1273.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$A8DA2405-2B0E-4E38-A6FB-BFEAC6815763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"743637571de55640c98deffa161d8f2658330d9c","datavalue":{"value":"10.1007/978-3-642-11319-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$6A617354-2E29-4428-8099-A37ABD476427","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656884$40B7AAB4-3D8A-49DF-9F63-6602F8F66F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656884$42BA2CBF-1200-4B03-8843-82B1BF2F4D4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656884$F63BF8F7-EF78-4256-9DEF-B6A7D015B2A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656884$66496DF7-C0E8-4832-A356-368331F6D7AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0adebd5fa5f5b237dc3cfe0aedeeecac572b49","datavalue":{"value":"https://kar.kent.ac.uk/30704/1/vmcai.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656884$190A3A24-B85A-441C-A5AF-D7966A616564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$29E40B84-7070-4870-89D2-55E86D9C2994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$187DCE14-6F56-49B5-8A12-698FDA199D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$062C8137-4EFC-4A96-BCF1-96ED3515B0AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51738856a41b8da0975765bc839f983f1030dccd","datavalue":{"value":"5658437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$E9408374-DB87-4D7A-AE43-293F84ED11BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d36cb2833ef55e3902357ba5151b274563db3607","datavalue":{"value":"Q57665009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$078A4958-2CA1-4121-9F6E-28E340434106","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":"Q3656884$5DE572F2-51DF-47D9-9B8E-F37AD2903365","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfdbc132c6e018959e46bf452b16a71a8422b805","datavalue":{"value":"W1605468179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$9C431D47-5A4C-4A73-B4BB-54FD130A0E0B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e3cf3d168b35d181872cac0a4a993e1dc19197e0","datavalue":{"value":"conf/vmcai/KingS10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656884$81E76729-5F0E-4DB8-AE40-0D66FDEE7E82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf7ff753c6ab8b34bd2847ab5fcffd9ff0b5961","datavalue":{"value":{"entity-type":"item","numeric-id":5187868,"id":"Q5187868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4142e7d2d15a3f153d34c89ff4a3ae4f1e62d2c","datavalue":{"value":{"amount":"+0.8855492","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":"Q3656884$8BFDCE86-5D32-45D3-B9B1-23532A3D4D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede66d60886dcde4408bcc9cc9978196571bf42e","datavalue":{"value":{"entity-type":"item","numeric-id":6535199,"id":"Q6535199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538963ffbc6553a68b603162326ccd5c169f1dc8","datavalue":{"value":{"amount":"+0.8809426","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":"Q3656884$91FDB3FF-4D2A-49CA-9BE5-B128F97B2677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2956acbdbe54113a2ce780f06803ca8d04c1f41","datavalue":{"value":{"entity-type":"item","numeric-id":2723409,"id":"Q2723409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcb7b9ebadefbd378600a74884225b037bfb361","datavalue":{"value":{"amount":"+0.8759351","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":"Q3656884$E507D3B6-343D-4157-BA3D-E6AC3A9875DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd40460bef7592e9f11c579ff25795b0835cbe7c","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05da1897e581198e4eaf20324344de6670a38dc6","datavalue":{"value":{"amount":"+0.8738027","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":"Q3656884$B2B8DC3B-48FB-4583-BB93-FD2358FFB6CC","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":"b8f831045ef693a83ee7a34faedd2209ff0e6a1e","datavalue":{"value":{"amount":"+0.86967605","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":"Q3656884$AA87133A-A80F-447B-9362-8BDA2B6A55EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c0fa32272ee5aaed6e97c598c02cd5c96550df","datavalue":{"value":{"amount":"+0.8693074","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":"Q3656884$6B58C2E1-02B9-4B04-B967-0E8E0D3D2A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b924f33539a420787b9c1bbc73132b6e70028d","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc2806238ec45054930584a7dbdff77cad709f3","datavalue":{"value":{"amount":"+0.86590046","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":"Q3656884$6FB929FD-886F-4CFC-AAE1-759030970B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739c9513b8fdb87c5ba056d95a097148e536dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":5902363,"id":"Q5902363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8065d7764232e5ee1ceb231e7d3654c91451b9bc","datavalue":{"value":{"amount":"+0.8625487","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":"Q3656884$E423B425-A0F5-4B34-9453-12FCB90A7759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f40161b7ea620b0b6d235dd33e8048e995b88a","datavalue":{"value":{"entity-type":"item","numeric-id":3678693,"id":"Q3678693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc2c4adfdaca0b7d12673bf7e14e070b6883b86","datavalue":{"value":{"amount":"+0.85997534","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":"Q3656884$9DE17B2C-A68A-4E07-AAC1-D9EE1B0E0224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9014b1e034c37ee575b27b6ee528d7cc5d97b431","datavalue":{"value":{"amount":"+0.85896343","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":"Q3656884$00E8E7AD-73F5-4BDE-A580-3E9E3C1A8618","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3656884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3656884"}}}}}