{"entities":{"Q5351971":{"pageid":7381545,"ns":120,"title":"Item:Q5351971","lastrevid":100961462,"modified":"2026-06-05T23:33:20Z","type":"item","id":"Q5351971","labels":{"en":{"language":"en","value":"Two-restricted one context unification is in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767609"}},"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":"Q5351971$038B4937-08A6-43BC-B410-3D3994EA992A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f153f536d96cc761fb6adb4b9bc9b186d97dae4","datavalue":{"value":"1373.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$B7B06C99-616B-4C37-97A6-F37D6DAE839E","rank":"normal"}],"P16":[{"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":"Q5351971$4F9AFD3E-C40A-4A84-B6D3-BDDFADB7C2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351971$85393F26-7E6E-4435-8D63-0F802F07B866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351971$6782E316-C06E-4E72-A18D-73FC9D511542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351971$26319C46-2B84-4A06-8E5C-2149D9603B45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$9BC6A475-31D7-49BB-9822-471759181A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$71BEADB9-BA6D-4456-A044-4BE76DEBFD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$448BF31A-1CC2-4BC4-82AF-B9B0676835D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$1CD52209-D00E-45D6-B133-1EDBC5D5699C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186b69c7a081d49ad72561704ae054076f2f1211","datavalue":{"value":"6767609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$3281C5A9-E2EC-40D1-B0E7-7AAD9E0663C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860522228ae06ae28bf4edb68d858f5087c2f70c","datavalue":{"value":"context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351971$9CD989D4-0840-421C-AB30-5C21B7FD86F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90200d6275680b08dd1574737ccbef35792bd4e","datavalue":{"value":"first-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351971$92449A0F-3310-4D56-AE7F-019DDC69625F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351971$115226AF-4743-4E6E-B2CB-67D7E6C183BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351971$6401DECF-B186-4EA3-A0CD-0D06A50D8387","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":"Q5351971$1706ADA1-4CC8-4D2D-B06E-1CBFBE8EB452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b16b8ddda96b6f7c21723ae577dcf41c517737d5","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/csl/csl2015.html#GasconST15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351971$614DAAAE-CF79-492D-909B-E220D44DD53C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0720a881c80cc486ba37a5d9a0c2e9cf7b53ee2","datavalue":{"value":"W2310194302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$4871D63A-7860-484D-A043-2529A15A7EAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af2d8df7943e04d8d8191ad483725cd2a556ab8","datavalue":{"value":{"text":"Two-Restricted One Context Unification is in Polynomial Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351971$169D9B31-C2A8-49E6-B506-A29681DD06E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aad1e5c49819bc5cff497b7d26858a9b10e781f4","datavalue":{"value":"10.4230/LIPICS.CSL.2015.405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351971$0D913250-1BF2-4ABC-829F-2FDE08C4E86E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847f0fcd459a591d2ee6b520c89e5542ef282de1","datavalue":{"value":{"entity-type":"item","numeric-id":4635831,"id":"Q4635831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f44e44662e86abe09134b1d7be5191e9e13cf88","datavalue":{"value":{"amount":"+0.8891226649284363","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":"Q5351971$16EC6A6E-02D0-45DD-AE29-35C6B0AEEE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8067bd7fb8e2d0892ca91a478cb63ac6c89df699","datavalue":{"value":{"entity-type":"item","numeric-id":1041589,"id":"Q1041589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7bbd78e089393cc0bb01530daf62633de1429c","datavalue":{"value":{"amount":"+0.8043659925460815","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":"Q5351971$7A338B2D-2C76-415A-83D0-05B9222B103D","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":"a9daefe31e106d5428731d110db6042dd7301b5e","datavalue":{"value":{"amount":"+0.7999200820922852","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":"Q5351971$4142AEE5-85E2-432F-8E4F-D7A2B8A3F655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a5cc69e2c6bcf32b74fa54a62c78372c5ab2","datavalue":{"value":{"entity-type":"item","numeric-id":5111902,"id":"Q5111902"},"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":"Q5351971$B12CF35D-C148-4BDB-9AD1-2B4E635F6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52716670a78dbe7e8a72cd42032e010001d7ac54","datavalue":{"value":{"entity-type":"item","numeric-id":5394611,"id":"Q5394611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf67b6cd7ffa46e573baa711a75f0a44c8e49118","datavalue":{"value":{"amount":"+0.7671611905097961","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":"Q5351971$156639E6-9CF1-40FB-B7E6-F5328F44190F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two-restricted one context unification is in polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two-restricted_one_context_unification_is_in_polynomial_time"}}}}}