{"entities":{"Q5261523":{"pageid":7291091,"ns":120,"title":"Item:Q5261523","lastrevid":91980581,"modified":"2026-06-05T00:33:48Z","type":"item","id":"Q5261523","labels":{"en":{"language":"en","value":"Equality saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455618"}},"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":"Q5261523$A15B22E3-6A84-4F8A-9F22-69C71CC03921","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5149c826eeea54fdbf8f07c182b27a4bbba1c4fb","datavalue":{"value":{"text":"Equality saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261523$09073B8C-7D9A-49EA-A7F6-17E1B1691F3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f5e09e810fca3e46db40f6ed7ca40b396791be9","datavalue":{"value":"1315.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261523$A1F0C4D3-E1A2-47A0-9DF6-65355CDC27D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8739f8027a956c1e0bdd009fc2ad72cef9e83e28","datavalue":{"value":"10.1145/1480881.1480915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261523$094C7C6A-B652-4BFD-9BBA-8CF95DB30494","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cedc905037796f3b5c2afbe906428aa3fd6b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2133167,"id":"Q2133167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261523$E805586A-80BD-4BD9-8756-10D1322BA136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a69c4e6a7876c53a1e884c0bc65c63b69b020bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003311,"id":"Q3003311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261523$E95C83C0-F39F-4E62-9F25-C0AE719DF606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a056d864cceef7628b31881ec6ebd73dc2f9eed","datavalue":{"value":{"entity-type":"item","numeric-id":1791177,"id":"Q1791177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261523$CDECD83D-2F65-44DB-936F-D9FC81719107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6bd6ae1f6c331e949512524b8ba032cb5932e49","datavalue":{"value":{"entity-type":"item","numeric-id":3003312,"id":"Q3003312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261523$0C929229-6463-47DD-A3DD-1ABDDB8A7ABE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261523$5EC347E8-FA58-41F1-9F74-4635F6E7F523","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261523$61592F98-2984-48D5-9EC8-CFC0C0D37EFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261523$5D1DAC2E-993C-49FC-B0E3-A3F7CCF5681A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"496db50eca21a90179a70f21c9f4e601d1304515","datavalue":{"value":"6455618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261523$B8EBF3AA-0B76-4EC4-AE19-6B2EDA16A249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b98848df60ce95ad627877db21dd883ffbd16e","datavalue":{"value":"compiler optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261523$6ADF8FFF-7C53-4871-BB5B-2136956A2ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed89bf91967dd7c6a7c8ea4f7c58086c35c0930","datavalue":{"value":"equality reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261523$F4EDA14B-395C-407F-9564-5560984C1AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa75b0cf12c21394129a09cf91fa52d44d00338","datavalue":{"value":"intermediate representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261523$0A05136C-2FD2-4DB7-B281-70193BEEA6EC","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":"Q5261523$68E8E607-E0F2-4449-AD22-9E0FF07F5E75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e54d61c9e16efd4988dffa23157fcf78182605c","datavalue":{"value":"https://doi.org/10.1145/1480881.1480915","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261523$3799866B-DE74-471D-8176-96B828726E28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96f5b664f7ce3e8c16ede9fbf0762b82ce7d2392","datavalue":{"value":"W2152397470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261523$22FD3BA9-5E1B-49EE-805D-C3D00C3B2342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0d4eee0085e77847128e1d5e3ae8d541f3de2","datavalue":{"value":{"entity-type":"item","numeric-id":3003313,"id":"Q3003313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q5261523$05F1D31B-C07E-43DD-8276-A4BDD98D655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d070c094b0d1817f7372ff15e428be296c6890","datavalue":{"value":{"entity-type":"item","numeric-id":3200487,"id":"Q3200487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbfd63943ca3e89e277e22f8be4d7a50442a2b4","datavalue":{"value":{"amount":"+0.9158282","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":"Q5261523$44CCBED1-191A-49E3-9057-F815708A3327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1051b88b1cb287abf7ab0a47d1201872a8e5b022","datavalue":{"value":{"entity-type":"item","numeric-id":1411507,"id":"Q1411507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768a595fede777956eb3af3ae650e56a58c9098a","datavalue":{"value":{"amount":"+0.8791524","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":"Q5261523$5CC579AB-EDE4-42F6-BE13-427A5545463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f705327e9020c1aa0ba08aad72d70a5672decfb5","datavalue":{"value":{"entity-type":"item","numeric-id":3790952,"id":"Q3790952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9009f09827323319b3d6c2e5f877824295bb27b8","datavalue":{"value":{"amount":"+0.8719569","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":"Q5261523$B6D7DB89-ECE5-45A8-9685-43FD7A8EA306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6562373b2585b1397c05d041b8a3f0ebec8f885f","datavalue":{"value":{"entity-type":"item","numeric-id":3405292,"id":"Q3405292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357bd1cd07ced361da06c11da30a71eb4df25d03","datavalue":{"value":{"amount":"+0.86981845","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":"Q5261523$FA9FB58C-598F-4AEB-8B96-B3036122B329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c1c6fdaf805fd7665b1c1207c534bcee2b9439","datavalue":{"value":{"entity-type":"item","numeric-id":403013,"id":"Q403013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637e51bdfaf6e2152d544000257ebeaac0dc0fdb","datavalue":{"value":{"amount":"+0.8675032","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":"Q5261523$F97AA3D6-26D3-4238-8C12-23D6C4177424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23142a34bad11fc7a85aea55972b173fe752a754","datavalue":{"value":{"entity-type":"item","numeric-id":2710390,"id":"Q2710390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c28639cade32dda52c490c0056fc64d407c417b","datavalue":{"value":{"amount":"+0.8569899","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":"Q5261523$A062626C-A20B-49C1-9B07-A76B47BA33DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7691620a7b9fecf97369c0f2c4990f404e5cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3216445,"id":"Q3216445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d561b94a31dc66554d1ad7601aa983b36ecebf65","datavalue":{"value":{"amount":"+0.85515827","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":"Q5261523$28CEBFF1-7525-4915-BFBD-43B929BD3EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc6d56a05cc32b9fc0bc50552834128a16685e","datavalue":{"value":{"entity-type":"item","numeric-id":380463,"id":"Q380463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7b6070592ef536f03516c1009ca43aee1ee92a","datavalue":{"value":{"amount":"+0.8525324","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":"Q5261523$FC6C1AB3-DB28-40BA-8991-3445020A44D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1672ae2c349e611bc0cbb263f323c481c7801607","datavalue":{"value":{"entity-type":"item","numeric-id":4210326,"id":"Q4210326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7115d913c85eeb2f3903dca87c7d75aa82535e6f","datavalue":{"value":{"amount":"+0.851425","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":"Q5261523$04801871-0C80-4057-A60D-5D415E1C19D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equality saturation","badges":[]}}}}}