{"entities":{"Q3454123":{"pageid":5233523,"ns":120,"title":"Item:Q3454123","lastrevid":88240820,"modified":"2026-06-04T14:00:24Z","type":"item","id":"Q3454123","labels":{"en":{"language":"en","value":"Theorem proving with bounded rigid \\(E\\)-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515533"}},"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":"Q3454123$49EE5C8A-6BD1-413D-8EA0-3ED279E6E801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc15142d8297a87d1cc89a2ad441e7d0a7f42f2b","datavalue":{"value":{"text":"Theorem Proving with Bounded Rigid E-Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454123$20B8F9B6-1FB8-412C-BC4B-073455CEECCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1e28f0a8e50f579f139ac3201a67093ee10987","datavalue":{"value":"1431.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454123$2824B26A-54FF-4D14-B260-47FF77D2555F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a542e59007cf54b122b602f5e1b9c4bff33c36cd","datavalue":{"value":"10.1007/978-3-319-21401-6_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454123$B547A259-AA95-40FB-BC4D-84B393DBF521","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed4fbb2aa7f1cb1d6373378c85c273bf8475085","datavalue":{"value":{"entity-type":"item","numeric-id":1799084,"id":"Q1799084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$B3039FD7-D954-4F2B-B85C-4071A7B47762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$55CFD409-3016-4ABE-A182-1F0FF2E49560","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$4B8AFEAD-AE12-4E81-8543-162F80CC21C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454123$02FB203A-540F-438E-A9AE-DC54B57B65DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454123$2B68E7B3-E00D-4002-8AE7-29C230ECE3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454123$2C800100-E31B-419C-8ECD-97686FEC4FD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c34d0dd057bc5b86435085e25bb775b8ce05da65","datavalue":{"value":"6515533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454123$1E8D29A9-58ED-432F-97A9-7E54BFCD7BC6","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":"Q3454123$55501134-A475-4D0B-B54C-668FA7B420C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52daa12e76ad0389b8d59a2d194c16ac941f3da9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454123$A88FDA90-7B93-453D-9DF5-6361C0EF959E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04c00a91486487599a43736294e55430e64f5b10","datavalue":{"value":"W1419398250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454123$EE060B94-3B97-424B-855E-D978BC1316E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$A50975CF-72E8-4D91-94CF-0D8922EC5C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20a28bc016e176ffd0d442e4a0f474a1411cb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$2627F3CB-F9D8-4160-8177-AFE4D5862D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14bee60c1f73ed9cb8f6db0841f1eb42ba18203","datavalue":{"value":{"entity-type":"item","numeric-id":2753599,"id":"Q2753599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$F5F9E0A9-2A37-4AE1-AA9E-234ED7CC08D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb04700ed5e4dc9ae265f641db7ca870734b6df","datavalue":{"value":{"entity-type":"item","numeric-id":1382154,"id":"Q1382154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$3DBCF1D7-2756-4B92-86F2-B417831F6BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87030458893ce6a5226c20f4768389b71ec39c","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$AAF5E630-CADF-4286-985A-ADF90E120FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$220A4E5E-4AA8-4D42-9FE8-93E248185DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920941013986d0fe98de8d648b55f604839d6693","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$85AF5EDD-7C6B-4A78-8BBF-4080DD8B5690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$49C01DE6-20A7-469F-9169-A1D35D7D61A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04843464a3369615eab52a529e2b30351bdf49e4","datavalue":{"value":{"entity-type":"item","numeric-id":4412856,"id":"Q4412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$DF209700-4FA8-4986-B7EA-3ABEEEF4F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283c464ab58e6592359099b9e38bd4123cb07381","datavalue":{"value":{"entity-type":"item","numeric-id":5187860,"id":"Q5187860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$05589865-8F20-4481-8083-C3867537565C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$744B9B37-1233-4FF6-BA7A-51FAB0110EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c4f857cf4bfe9a86ccb0054651ce04fca385b","datavalue":{"value":{"entity-type":"item","numeric-id":2891467,"id":"Q2891467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$B6ABD3CF-900A-4289-807A-1E9B68B76540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31328a00fe56e6e7b5b14c0b2228fbb3731cde63","datavalue":{"value":{"entity-type":"item","numeric-id":2723421,"id":"Q2723421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454123$09EC1879-994C-46D8-BD98-26C55F2714A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c597d2a417ecc8869ae2023a5d8bab6d13786f","datavalue":{"value":{"entity-type":"item","numeric-id":3455762,"id":"Q3455762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27962efea31c03d04b6201198cf73e061ccb1208","datavalue":{"value":{"amount":"+0.9431216716766356","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":"Q3454123$27E00A09-7B1F-4ED9-92B4-CEB4C78EE025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753953f7db07760ca3abec1641aa9b092476fe7f","datavalue":{"value":{"entity-type":"item","numeric-id":2964448,"id":"Q2964448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee19f841b3d7df8444d16ba904218e96753c32c8","datavalue":{"value":{"amount":"+0.8934295773506165","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":"Q3454123$D72B13F5-4CAB-4A8B-950F-0DD257071E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf03038873f84b1040c7d5d8f59221454ef47a19","datavalue":{"value":{"entity-type":"item","numeric-id":4524789,"id":"Q4524789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a379b92e5deeacb91bf24aa7fc0f24fc4a6247","datavalue":{"value":{"amount":"+0.872509777545929","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":"Q3454123$9DCDCBDE-B8F6-4A67-BF10-DC30F222F3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1b3b067a55453e538e63d390e7f2fad3e740c4","datavalue":{"value":{"entity-type":"item","numeric-id":1961709,"id":"Q1961709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd8214b7b6d30ae58cc83f55b538a2ebe6b051a","datavalue":{"value":{"amount":"+0.850843071937561","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":"Q3454123$A3B0A2A1-9AEC-42E8-96CE-24BDB2168A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73bc318ed81aefab2b52cc85dbf72e15b81302","datavalue":{"value":{"entity-type":"item","numeric-id":1382154,"id":"Q1382154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa97f3817dcdb4e2c2de458bde1039b55694214","datavalue":{"value":{"amount":"+0.8433488011360168","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":"Q3454123$CD00D17F-0BE5-4B08-8C92-D99097F5D5A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving with bounded rigid \\(E\\)-unification","badges":[]}}}}}