{"entities":{"Q5111902":{"pageid":7141476,"ns":120,"title":"Item:Q5111902","lastrevid":53742254,"modified":"2026-01-25T15:47:08Z","type":"item","id":"Q5111902","labels":{"en":{"language":"en","value":"One-context unification with STG-compressed terms is in NP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205330"}},"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":"Q5111902$839D0595-1607-4E47-A81B-C6D71B4A0D40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46526f41c9e85bcf8af43360a3021e0ba3470960","datavalue":{"value":"1437.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$304E2F60-6792-48DC-8010-2D9A832DB58D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8f70552d1b31441d1cb7c4310ca4b03021147d","datavalue":{"value":{"entity-type":"item","numeric-id":2351262,"id":"Q2351262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111902$B7BCCAAE-9872-4032-9082-B00C3BE0372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2fa382e71217a50c0f4fe1ba1af2f57a2bcb70d","datavalue":{"value":{"entity-type":"item","numeric-id":1041588,"id":"Q1041588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111902$6035B290-35F6-46FF-A2A0-47F095D3B5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111902$CC0A08A9-F7FC-4D13-93AC-FFDDC8CFD7B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111902$D48DB6F9-4405-4406-B7F5-EA645F7562CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$FED6A198-15B7-439E-B121-5D37EA3D16FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$3004DA7F-34AC-4BB7-8778-D3D69A620FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$54EDA31B-720E-4098-9FC7-D22314D4F1C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a03837f33c53bbca86a98b0bab48117aaf0d5be","datavalue":{"value":"7205330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$4E512781-9907-4FEB-8EE2-FFC76E25B806","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3748b41846b19cb2793ebddd0e732e3514a65894","datavalue":{"value":"term unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111902$76175023-FB7D-4231-A1D1-9235CB27EF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111902$55D26041-C5E5-4D2D-936D-291A0FADEFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f75e8f430718e0f2a1042e291cbf21500b20b","datavalue":{"value":"grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111902$5C3450E2-2F58-41DB-ABDD-B5CA1C186F88","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":"Q5111902$7509DD2F-7A13-4F7D-9956-E018491E7E4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e557b92009938f5a5082154765bde8a9c9e89ca5","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/rta/rta2012.html#CreusGG12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111902$B7BD55F7-B226-40C1-9ADB-1CC269B8661D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb46338429c8cbb59794043cfe060d4079968baf","datavalue":{"value":"W1836750303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$649DB576-5799-4BD1-B387-41A9F83D4D4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4abc0c06a6701962b4aa6a6c2b6dc2b43e78f778","datavalue":{"value":{"text":"One-context Unification with STG-Compressed Terms is in NP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111902$80BB2054-FC53-403E-B852-6EDB0150F7BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1104ffe0c95e10cebaf781f8d3ad98a75c1e8d07","datavalue":{"value":"10.4230/LIPICS.RTA.2012.149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111902$0B5B83BE-DFEE-4413-B5E5-30C41C19CEDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f05f5c493fdebe1b7bc2cdaa8678a9ddf10f03","datavalue":{"value":{"entity-type":"item","numeric-id":2946645,"id":"Q2946645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c12eb69b7f349d8c6d370fbc11c8189bd87386","datavalue":{"value":{"amount":"+0.8634260892868042","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":"Q5111902$EA11D79A-411C-4B85-B301-41D5F726AA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61426580a50b09e03a7292a3215ff7eaba17f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":3636835,"id":"Q3636835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d667a1e153b284c4811437a93c58d51ab2079d","datavalue":{"value":{"amount":"+0.8409487009048462","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":"Q5111902$6D1585C0-C8F1-4899-9EB1-B328004C9E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07252461bd4412ceca216df4c1b0fca36ed6de8c","datavalue":{"value":{"entity-type":"item","numeric-id":5389071,"id":"Q5389071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3183e984ea716179cdf92cacae04e30e02a24c61","datavalue":{"value":{"amount":"+0.8251064419746399","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":"Q5111902$250FCAA6-B0FC-4D56-8B13-208146E49ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ff77bc6e1f5c4d90fe79c77f8133b2fa8db54","datavalue":{"value":{"entity-type":"item","numeric-id":5215468,"id":"Q5215468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c156334b927eb71234b10b0b209d6b17f2d7464","datavalue":{"value":{"amount":"+0.7899009585380554","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":"Q5111902$F2C5FEFB-7D90-465D-9622-A17D1CE7252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0cb6b7c20480e9fd1eab46c34fc208f5a2d30d","datavalue":{"value":{"entity-type":"item","numeric-id":5351971,"id":"Q5351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47562316539f8089e553ef3fec202cbbbc9c5abd","datavalue":{"value":{"amount":"+0.7881799340248108","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":"Q5111902$71EB22D2-1DE5-40E6-AC4F-23CE6B8A1B7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111902"}}}}}