{"entities":{"Q5277759":{"pageid":7307334,"ns":120,"title":"Item:Q5277759","lastrevid":58524102,"modified":"2026-04-05T14:30:26Z","type":"item","id":"Q5277759","labels":{"en":{"language":"en","value":"Defining functions on equivalence classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744003"}},"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":"Q5277759$B847B693-588A-4AFF-80A2-2DB73A012570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40480d6e8058a22efe5fbac62559782dccb5d73f","datavalue":{"value":{"text":"Defining functions on equivalence classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277759$36468F9D-997C-4701-A3CF-2F01A68DF451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd82d07e053562fb4817ce2b18d21808d195097f","datavalue":{"value":"1367.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277759$5EBB50F4-B465-45F8-B50A-ECEDD71B056C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b0bd0fc24a686b0208d0b4613be6d5feb3d6d1f","datavalue":{"value":"10.1145/1183278.1183280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277759$C279912A-588E-4DDB-B5B9-F5F89217A188","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277759$47D7B661-A489-41C1-8D6B-6EA671743E6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277759$137BF3E9-E85C-4E4D-AD0C-E0E0E3AF9A23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebe315dd77dc1b3df8dfa337c6388555640115e4","datavalue":{"value":"https://arxiv.org/abs/1907.07591","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277759$10C1FE86-1499-4B6F-AE3E-496320D5CBA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277759$0DC21892-4CA2-4104-BBE4-1A3F586545C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277759$B7C2D2FE-AED0-4CAE-AA6F-8918C5B82EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"788636bdd3356687ce68cc4122c8d611e9055310","datavalue":{"value":"6744003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277759$9E273F98-0687-4158-A551-D5D1C05DDADA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1413856faefc21fbe403cafe86436fc7cc4906","datavalue":{"value":"equivalence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277759$C7F2C679-C407-44FB-9205-701FAB6F0203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"296c14cf1ad34c4276b26b303aafd573d1beb545","datavalue":{"value":"quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277759$D55FBD4D-89F1-4413-A9F4-77706B0ABE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277759$72728256-6647-4D21-B142-446BF41CB467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277759$65D45D65-899B-4348-A5D3-ACD4A3BC3C40","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":"Q5277759$7D51E3DD-C9C5-45A9-B109-86EF6FC9F5F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63a64049b152bab107c528971f28dedfc124d6bc","datavalue":{"value":"W3122722170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277759$295BEBC4-DA9A-4976-9E66-ADA6F7BB9778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f8fd060fca228f040af6a635ff66aa0cfd3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4583801,"id":"Q4583801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5f8b42c96beb315f579a960a44525dd733ecf1","datavalue":{"value":{"amount":"+0.9135404","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":"Q5277759$F0F0F08C-88A8-4F6F-8B7B-251D147D0D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19057daf575911b8a1c21955c1f870e88466310f","datavalue":{"value":{"entity-type":"item","numeric-id":3699071,"id":"Q3699071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507737f5047c630136f7f9b4f51dc8e49b70d916","datavalue":{"value":{"amount":"+0.87937945","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":"Q5277759$46ABEC5C-AA92-45C2-B6E3-22169F4AC2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7e529f7e7d72d87e2ace1d0e039bfaae9b4bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4730236,"id":"Q4730236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507737f5047c630136f7f9b4f51dc8e49b70d916","datavalue":{"value":{"amount":"+0.87937945","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":"Q5277759$CB9AC36F-E947-4FC5-9D30-D33FC82C4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1345eff2445590596f6b6abae67912829e2716","datavalue":{"value":{"entity-type":"item","numeric-id":3989639,"id":"Q3989639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b238ccdbdf81079f3d3a24c3368fc68aaa0c98","datavalue":{"value":{"amount":"+0.8760947","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":"Q5277759$3E3F076E-A615-4A84-BBBB-EBEAC06DA8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056a3134bc0e583653e859a490d8af62da09de81","datavalue":{"value":{"entity-type":"item","numeric-id":3768821,"id":"Q3768821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a8fa8b3b3498bd84150f582c0d39cf568dfe9f","datavalue":{"value":{"amount":"+0.8714529","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":"Q5277759$ADCD2DBE-C5C4-4E59-8E46-579E30E7491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e51d9cf64d796d77f216a5da165d2d88eb5abb","datavalue":{"value":{"entity-type":"item","numeric-id":657335,"id":"Q657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28413db7110fad53059291ad161fb1f40f08898d","datavalue":{"value":{"amount":"+0.8637601","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":"Q5277759$D6A576D6-F288-44C9-8119-A6D37F802438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d17ab91640a09a255929df5f7e36f775f31ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":1686126,"id":"Q1686126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277bd5ed5daea9ad25adaef2eae812b560169b62","datavalue":{"value":{"amount":"+0.86252993","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":"Q5277759$BCBBECEC-3FA1-41FD-A285-1AF3E7EC2F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef4da9c12b690ae0d1ab5437ddcf77e6053c9a3","datavalue":{"value":{"entity-type":"item","numeric-id":3534470,"id":"Q3534470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bb14bb2815d2d0008df280953e9680a8fe8234","datavalue":{"value":{"amount":"+0.8614998","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":"Q5277759$1251E7E2-CB5E-4845-8974-F7D506E79ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79625f5e02bc586f8967eef28a67901b8a0fe576","datavalue":{"value":{"entity-type":"item","numeric-id":4011747,"id":"Q4011747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bb14bb2815d2d0008df280953e9680a8fe8234","datavalue":{"value":{"amount":"+0.8614998","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":"Q5277759$3BD5BFB1-A55A-40FC-970A-50871B93C261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277759"}}}}}