{"entities":{"Q3455762":{"pageid":5235162,"ns":120,"title":"Item:Q3455762","lastrevid":80691197,"modified":"2026-05-06T16:46:52Z","type":"item","id":"Q3455762","labels":{"en":{"language":"en","value":"Efficient algorithms for bounded rigid \\(E\\)-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519935"}},"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":"Q3455762$98CB4309-BC6E-4064-9C64-842FD7CBA863","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bb040158b707284f7952f9361baf68da94266d7","datavalue":{"value":{"text":"Efficient Algorithms for Bounded Rigid E-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455762$B9C22926-A971-45EA-9E3E-0C1BC3773861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94cce65ccfe01ee6a7795ec06f9f90430faa9ec4","datavalue":{"value":"1471.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$E1630028-1175-4CA0-97AD-C209C0C1B76F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66609f7e780164f566c5cf9119c9286b4710ce28","datavalue":{"value":"10.1007/978-3-319-24312-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$DC182657-23BB-4BE8-8ECF-17AF7E27FA5F","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":"Q3455762$4ECD8C53-E11A-4410-980E-0234E8AA7C56","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":"Q3455762$8917AE0F-20E1-4C9C-97EB-23EF1B522689","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455762$33AB4ABD-0922-4EA6-8D1A-7F8F0FFF629D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455762$381C095C-9F1A-433C-825B-12F15E5C8102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$674BE67C-4291-4B5F-8E7F-3ED4B246A931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$FECE507E-6CD2-47AC-90C3-DCC30DA4575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$1E5A895A-662B-4315-BA3C-174128C6D914","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bea0c4c577624105a10b4646f76bbf5b1fcee57","datavalue":{"value":"6519935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$B3F7EE7A-87F2-45C8-935D-4A5BB99E16B2","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":"Q3455762$F3D55EAD-7F9D-40DA-98B5-1E915D5AD459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfd843c8dff6ad8e2813eebcd0f71d7d338c1445","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24312-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455762$DF4D05A0-27FD-4C5E-9D41-3DA5D91F43BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8fa82baef7669e21ad37e127dc0f84f6cbb1857","datavalue":{"value":"W2195777310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455762$358290C0-CEF7-4A5E-82AF-F0009F3825CB","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":"Q3455762$BFED38A2-E040-4FB8-846B-5DB95FA44F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a6ff6ad0ae77ee3e6bb8d91edc6d1647a309d5","datavalue":{"value":{"entity-type":"item","numeric-id":3454123,"id":"Q3454123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455762$FE467F1D-E32B-4256-99A7-6892E0D48AEB","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":"Q3455762$26B9D970-77E1-44FD-A90C-8AD2EAF413A1","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":"Q3455762$97A9A573-82DF-4983-AA3A-F349B257D7AC","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":"Q3455762$F6C983D1-2262-4956-91CC-A4FC9C5121D0","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":"Q3455762$5A4D6EE7-569C-47F6-90F9-54A8E39BFE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455762$37EE28EA-2958-4576-9698-9CBD4B9659D5","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":"Q3455762$B2B4B58B-15A3-4ABD-8E81-05A7AF76E7C3","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":"Q3455762$E7398B49-72B1-4B39-AF9F-7B345A8DF146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e09e78c03182ddccc8515798a059c7aec069a5","datavalue":{"value":{"entity-type":"item","numeric-id":3454123,"id":"Q3454123"},"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":"Q3455762$2A93FC29-194B-43DD-97C4-8BE611852D04","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":"f8982609f21137cbb2007a780f522d4099fe584a","datavalue":{"value":{"amount":"+0.8820130825042725","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":"Q3455762$79F5F662-3FF8-49C7-A936-EBAEC1D1E9BC","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":"f1069a0c0e29641cfecaed1f55997fa6bb236d9b","datavalue":{"value":{"amount":"+0.8724364638328552","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":"Q3455762$C0C1A186-99E3-47D8-AB33-B36BDD67CE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2092003298a8b1d9154b15e0eb131af1ecdc0e","datavalue":{"value":{"entity-type":"item","numeric-id":4282607,"id":"Q4282607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd70a7ba15b5d027798638ee3b753935635a69a","datavalue":{"value":{"amount":"+0.8411557674407959","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":"Q3455762$7C779E61-0414-4D78-80E6-40E9AE031BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95285eb430b07962ed87c982fea9e805e38c4508","datavalue":{"value":{"entity-type":"item","numeric-id":1960540,"id":"Q1960540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb0824fa85e7264896e7a727c6ddb357a761fe7","datavalue":{"value":{"amount":"+0.840534508228302","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":"Q3455762$BB18FC91-33D0-4F5A-9311-D9BFF353C28E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient algorithms for bounded rigid \\(E\\)-unification","badges":[]}}}}}