{"entities":{"Q5874188":{"pageid":7903739,"ns":120,"title":"Item:Q5874188","lastrevid":97570532,"modified":"2026-06-05T15:01:50Z","type":"item","id":"Q5874188","labels":{"en":{"language":"en","value":"Solving word equations (and other unification problems) by recompression (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650816"}},"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":"Q5874188$77689665-D2AB-4D70-8A47-F8CDC015096B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"956ccad67dc502dfc66055868e0a535a76df3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":248925,"id":"Q248925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874188$AD4D8B57-DBF0-4D8C-8AF9-73064C25C1C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874188$300A9117-BA74-4842-8E05-EA476A7A6EE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874188$453A2E37-CDA7-427D-9CAC-33463F995043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874188$ED6F3955-8C43-418A-89DD-0F4CC9EAA566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e84033dbb030a3843c3094040c3aaf5f2afb2a8a","datavalue":{"value":"7650816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874188$C7EF704B-797F-42A7-A321-CBF7B5B59D32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec88b17705f549dda74785088c03a5cce48ac7d","datavalue":{"value":"word equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874188$383B413E-827C-4FB7-A9CB-3C4ACE084C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860522228ae06ae28bf4edb68d858f5087c2f70c","datavalue":{"value":"context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874188$C45A73A1-4B37-439D-85F3-49DDC7DB500B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea8792ea790a4ce907e5d70a3335e785a962251","datavalue":{"value":"equations in groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874188$00FA62A1-388F-4D58-A5FB-D70CFF202FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874188$59A55D66-5AAD-4440-BB88-AB380D7353F8","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":"Q5874188$2A71E000-49DF-422D-861C-9EE0B71934B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0d33c517a42875a15d3972465888ba54265ccd5","datavalue":{"value":"10.4230/LIPICS.CSL.2020.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874188$184E320B-0A0A-436D-A19A-903F8E9FDBA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9d1962f2eb6901a257b7fd0ff230f97979239","datavalue":{"value":{"entity-type":"item","numeric-id":5300826,"id":"Q5300826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d4d6288fb8d23dd7f314f9dd281bb1764a6b98","datavalue":{"value":{"amount":"+0.9087951183319092","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":"Q5874188$B3F8421A-F8FF-49B9-8A25-1F377442BB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75bb3881fbc8ba7892e73e140ed7383c69e17336","datavalue":{"value":{"entity-type":"item","numeric-id":2957887,"id":"Q2957887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03164b7d1ac9bc59eec8636efdf46f65a38e5f9","datavalue":{"value":{"amount":"+0.901460587978363","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":"Q5874188$5C31EDBB-A307-4BFA-8B61-5AA0615BEF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3399d2a0a6a124901ef10f9fe0dfe5284306518e","datavalue":{"value":{"entity-type":"item","numeric-id":3177761,"id":"Q3177761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199b64f388c0198e6fe839b729ab2e58ba20af94","datavalue":{"value":{"amount":"+0.8996443152427673","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":"Q5874188$97480B5E-A525-40A2-A897-6F9E120E937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a377ffef9f0d43b071f6c76d61cc68e81603f390","datavalue":{"value":{"entity-type":"item","numeric-id":782556,"id":"Q782556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a68525238871101bfe49b6f010eaa69712bce38","datavalue":{"value":{"amount":"+0.8932115435600281","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":"Q5874188$5BA71AE3-BCB1-4492-B084-66CFB71951FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8e9fb93e5f2c201c2015884d2ba8ed70b63cce","datavalue":{"value":{"entity-type":"item","numeric-id":2237894,"id":"Q2237894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54919a0eb815158304832aacdffd39ba57860fb8","datavalue":{"value":{"amount":"+0.8778755068778992","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":"Q5874188$432C8542-E4C1-4B8F-86CD-556FEFA86E09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving word equations (and other unification problems) by recompression (invited talk)","badges":[]}}}}}