{"entities":{"Q3408139":{"pageid":3418842,"ns":120,"title":"Item:Q3408139","lastrevid":88441457,"modified":"2026-06-04T14:31:58Z","type":"item","id":"Q3408139","labels":{"en":{"language":"en","value":"Completeness of \\(E\\)-unification with eager variable elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674829"}},"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":"Q3408139$EF8DB2C2-DCE1-48BE-953C-A9693E8B8343","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1cd29dba6ce93203d0340b5ab2acd0e6ad063ff","datavalue":{"value":"1273.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408139$5B9CAF12-0E38-4A66-B2C3-25CD97C37F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d0da10a71518197eaf1ae106c72317624a8a57f","datavalue":{"value":{"entity-type":"item","numeric-id":2374389,"id":"Q2374389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408139$C43F7215-71BC-4151-B111-DCAFF81F7998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3408139$0CC4F8B3-6BDE-430F-88AC-B07F7056F41C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408139$6833B7D5-DD26-4187-8B60-24E83C44033B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e80bb9ad7b06695630acfd11ac03dfd4e8e86bf","datavalue":{"value":"5674829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408139$7A255D6D-6F90-41A1-8CD8-4C9F2D39BED2","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":"Q3408139$49C7D0C2-598E-4CAE-940D-4BA2AA900F41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25892169c086853b5813dda09acea8d8fe4ffa8","datavalue":{"value":{"entity-type":"item","numeric-id":2778881,"id":"Q2778881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a549f39a13d2ec18db15b0b681700270e57843","datavalue":{"value":{"amount":"+0.8370644450187683","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":"Q3408139$7FB1D066-7B62-4D67-8CB5-593BFD6B1C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf4367f368197be4f8de61acc77e4f56dadd649","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79ddf398b65fab992e536f6d8085646fb5ee456","datavalue":{"value":{"amount":"+0.8123540282249451","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":"Q3408139$722632DF-87C6-4B33-BCD5-23774E15E828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e276291127ec4f840e691f95ecf99ea8a2e4d013","datavalue":{"value":{"entity-type":"item","numeric-id":2642468,"id":"Q2642468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c1ea9a9d5577d61b7b36ceafe52ddf2b91dc67","datavalue":{"value":{"amount":"+0.8013287782669067","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":"Q3408139$EA1944FE-42B8-4F54-AF03-71636F12E57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b5fc25fbadf6fe70dc718798799f157895146","datavalue":{"value":{"entity-type":"item","numeric-id":5210804,"id":"Q5210804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c064fb4e3f18b2d123405609d77a51419438b9","datavalue":{"value":{"amount":"+0.790520966053009","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":"Q3408139$36DF1D73-5B17-4AE8-8A9D-3B632D85BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f08ed4ddbed54098ea19fc87a166a3969cc5199","datavalue":{"value":{"entity-type":"item","numeric-id":5055788,"id":"Q5055788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5187ec2da1048638858869e6e69b4f606ca5b96c","datavalue":{"value":{"amount":"+0.77464759349823","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":"Q3408139$E136FC61-621A-4C52-9EC1-44A510FF1D97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of \\(E\\)-unification with eager variable elimination","badges":[]}}}}}