{"entities":{"Q2490118":{"pageid":2500861,"ns":120,"title":"Item:Q2490118","lastrevid":49824361,"modified":"2026-01-11T02:11:39Z","type":"item","id":"Q2490118","labels":{"en":{"language":"en","value":"Building small equality graphs for deciding equality logic with uninterpreted functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5021203"}},"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":"Q2490118$ABF52DCE-E4D2-4026-8F83-697F99A19532","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39688748ff9f1e58241b54aab563c578b3852067","datavalue":{"value":{"text":"Building small equality graphs for deciding equality logic with uninterpreted functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2490118$A5DABAD8-7136-49C9-B447-B5779AC1D73D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a8d924281309b81ce18f00c9d8de310a6eb88ca","datavalue":{"value":"1093.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$738D5103-C838-470D-8177-4A938AA49FB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e5f75a0d54975ee52ada1a4f4fb54297ec3b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":202474,"id":"Q202474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$F4DD4C5D-5741-4181-B5DE-A427415E13DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$41AEEA4F-443E-407C-8ED9-39003705BE3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$8ED0BDDA-3624-4D90-97C8-72FB2C2E2F24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-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":"Q2490118$9D5E08AF-9597-49A2-A559-021AD0D2F60A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$01E39F1A-A84F-4B4C-9A40-B3974893C77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$AC5AE051-C75F-4716-91F4-21DFA009759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$8B42E1D4-9579-45EA-B401-28EDC430D7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$0265E816-FCA5-43F4-BEDA-B8D009A5709F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$2BCA41A1-FA4E-41B9-B24E-29BC29E9B9EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3e5c83bdfb0db3077e4ee72b9ae571332c88849","datavalue":{"value":"5021203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$6DBBA5C3-62A6-4EE5-A9BB-556A2DB92B20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9f41ce850287c99b9563a2346a12ab72daa4b8","datavalue":{"value":"positive equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490118$305F5F78-9ACC-4118-B5B5-0DFF56E5424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490118$70ED0A9A-5397-4D31-8637-D95FF93F930E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$E59997A2-CC99-48E7-9017-12CE33F34859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$C9E5A9DE-F60A-47BC-8596-C9633C75821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$4CC18638-48C8-470F-9691-3770D5ACDBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"706b836ded631890309d36fd6a192776a6af2364","datavalue":{"value":{"entity-type":"item","numeric-id":25288,"id":"Q25288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$FC11CBED-BAD8-4B81-A9FD-4A603AED27C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040a8483cf79deba3a2eb66461dcc90b466cac47","datavalue":{"value":{"entity-type":"item","numeric-id":33420,"id":"Q33420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$01B2653F-8567-4980-8C41-3EBBA484FB67","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":"Q2490118$DFC3757A-4567-4FFB-85FB-4C54582661F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dacc8a109a2d0f0c49e862a52462f61260727fc","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2490118$B5E5A487-344B-489A-89FE-2709E47D5BD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57be805eb865fbd9eabb2c09aaf02b9508cd3ff7","datavalue":{"value":"W2020092346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$C02301B4-33E7-4A32-900B-A2641FE1FE41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$7CF910FB-6C6D-46D9-A667-A962FDAFACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71dd5571a3c1c99537e11b357ad1449f45692c1","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$F9F219B5-0DC4-46DC-98BF-34D0DCC445F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc71ec79ab682a2437b8f7373d5a54c44417af","datavalue":{"value":{"entity-type":"item","numeric-id":4818814,"id":"Q4818814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$6F080101-B815-4E5D-B747-D3E4DBC3AA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc85061b2e01b3c39004d0ba311d60367a81324","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$B716E0DC-1C7C-493D-A95C-E935C03A63AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534cfa2da099476694e6e32aa658441dc34d268c","datavalue":{"value":{"entity-type":"item","numeric-id":2754075,"id":"Q2754075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$37CA8135-0102-4F2C-8B6D-1643CC1D0408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$A832AE0A-2D0D-4356-BB2F-57FCDDECAA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e126d7bd7c2e5801d6bab93c4bc91a314be0dab","datavalue":{"value":{"entity-type":"item","numeric-id":5312896,"id":"Q5312896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$401E1511-D52A-4DDF-9EE7-D209AA4F3FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d202b001b8ed36eaa43fbe0e48d77bab7ad85a","datavalue":{"value":{"entity-type":"item","numeric-id":4553256,"id":"Q4553256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$4942D265-DA65-4D1F-B488-2B4AA8D08A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50923a35276d4ffc47e783225d5f8a63d53e475c","datavalue":{"value":{"entity-type":"item","numeric-id":1870209,"id":"Q1870209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$31CB99C7-3640-4449-9F95-B40AB200F8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddaf9b843a1a8c7eb162d261432795eb58becd51","datavalue":{"value":{"entity-type":"item","numeric-id":5308385,"id":"Q5308385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$CBF5F59A-E347-4CFB-9489-B174588BF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"991ac21545d55e33054a32161d4696ec2df1036c","datavalue":{"value":{"entity-type":"item","numeric-id":5312932,"id":"Q5312932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$A7ADD856-E5D5-46F8-8D3B-B4237C47388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$81E6C293-286B-4752-B2EC-36933AE65FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35838c32d188bd66cc45703c606789db71b97ead","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$E9951E13-F7C5-45D3-B2AE-EC357AB3C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c630f243330e480767be66088a5b4e2ed5e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4818813,"id":"Q4818813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$868EE7D8-7490-409B-BE7B-D77E21D1E2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ed520730ccf1ef4b3d8fb0eaf81f9d95514b93","datavalue":{"value":{"entity-type":"item","numeric-id":4474229,"id":"Q4474229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$84CCEA3F-9282-42AC-8E65-547D02D55AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddaa035eaea71f6f5775f7cf4d681b2ff556d38","datavalue":{"value":{"entity-type":"item","numeric-id":4551144,"id":"Q4551144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$DE0A0048-8BBC-41DD-B270-674F389D911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfd62865a78026bb5cdd8ce719227f1e763aff7","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$DE613C5E-C60F-4EFE-BE2F-86634D597D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f867cce24798a9766a69dda40241755f44eaa9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4553255,"id":"Q4553255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490118$ACDFB0B7-7285-4BC1-A9CC-0CA6CC697031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3978e41c02e17b19606840cbe30d4e5d8dff273","datavalue":{"value":"10.1016/J.IC.2005.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490118$9A80D8D1-7677-4E5E-8570-44994DF143F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ff28f912233e13c04e1a77b8f4755f186ce46e","datavalue":{"value":{"amount":"+0.8558949828147888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2490118$CF395BF7-09D3-4BC2-9BE7-B86F7AEC493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35f42e1e6814427281a6456b4cf35094d80750f","datavalue":{"value":{"entity-type":"item","numeric-id":1870209,"id":"Q1870209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d8de9966a2c2226d4826ecbb2bb73ff4f7d001","datavalue":{"value":{"amount":"+0.8558142185211182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2490118$6B19D024-8E7D-4251-9F9E-F8F37099D9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c44ddc2504705de0153963c93d5e9486016eaf","datavalue":{"value":{"entity-type":"item","numeric-id":4551144,"id":"Q4551144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372b149a7e9d9e262fef6f78d31e003e7b7959c4","datavalue":{"value":{"amount":"+0.8548765182495117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2490118$2BC20D28-D09F-4687-A890-281BE853442F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5bf26dccf8f9d6378c88be589f2bf961246287","datavalue":{"value":{"entity-type":"item","numeric-id":4474229,"id":"Q4474229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c489a93dcd6997394bd1256ec64fc96a701476da","datavalue":{"value":{"amount":"+0.8548761606216431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2490118$05E4C1B7-85A7-4899-9F11-30C687281AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0e2cf5477f2f41a737b623a7da3e7a847dabfe","datavalue":{"value":{"entity-type":"item","numeric-id":4818814,"id":"Q4818814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5387cecdf4dab65c83b117c4de64c3782be439","datavalue":{"value":{"amount":"+0.8355064988136292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2490118$1676031C-1581-48A4-860B-EE6DF0C9BE76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2490118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2490118"}}}}}