{"entities":{"Q5389145":{"pageid":7418719,"ns":120,"title":"Item:Q5389145","lastrevid":100962443,"modified":"2026-06-05T23:33:28Z","type":"item","id":"Q5389145","labels":{"en":{"language":"en","value":"Order-Sorted Unification with Regular Expression Sorts."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027900"}},"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":"Q5389145$27933D7C-B13D-4E95-88BD-007483B0B566","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69432f568e86abafbdae1e036b9c4830baff77c2","datavalue":{"value":"1236.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389145$ED53C8BA-F0A3-4D85-B34A-20868D17D876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aae427d987903b086f7261fd1e4d8ee37a346c","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389145$86E625FD-EAB4-4CAD-BD20-200A3E6D5AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf970c552e83833ca420bc4e0574174b2fcad709","datavalue":{"value":{"entity-type":"item","numeric-id":351993,"id":"Q351993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389145$4C04791C-4874-49BB-A014-3ABE4C5EBB2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389145$141F19CF-0E53-4431-9B20-0EC8123DD9A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f4142c5f6ba98c0a3a5bdd86e2e09741925785e","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_031c.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389145$CC9278D2-E88B-4157-8E44-5F7B58C90DD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389145$6A1DD4D5-205A-49CB-BC32-323DB62F03E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389145$B5B8DE21-ACA0-4E15-A858-D81512DD2EDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d70227e60598d8ecfe37963d3c3ca4a7ec89f7c","datavalue":{"value":"6027900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389145$7F48096A-1CDD-4554-9DC4-A1B9BFDFFA2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389145$F9ACF142-734E-4C3C-B4AC-D51BC2852775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be66603713d3da92b1d4b716da3eba7ce72a2866","datavalue":{"value":"sorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389145$60419C68-3700-4621-BBF3-55BCB827819A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389145$1ECE9EF2-3663-48FD-BE62-CCD48C46A527","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":"Q5389145$6ECFCF15-E2D2-49A3-96DE-ABEED7CCF8D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"851031fb1b153bdb61c493b09976f30c7d392a39","datavalue":{"value":"W2126363312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389145$A937549D-6DF3-446C-9825-C655608C0193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0699c50ac8f624f40f56467007118a25e5c9673","datavalue":{"value":{"text":"Order-Sorted Unification with Regular Expression Sorts.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389145$C6BFA8D8-A06A-4884-92F9-D71FA36679C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7159821dc3566b5866ffd20652a4f92169982e1a","datavalue":{"value":"10.4230/LIPICS.RTA.2010.193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389145$AE655176-02DC-430E-AD0E-B85D635ECF35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e614a203a2002cfa2500ed4cebf27d93c0c73e","datavalue":{"value":{"entity-type":"item","numeric-id":741252,"id":"Q741252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c6b4430e3d7330665de4189d1ea734553655e1","datavalue":{"value":{"amount":"+0.9637588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$75B654F5-C95F-4BE7-9418-D89415E164E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c3356a6b67234d78ca0df57e082652071416d","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f777f688650d98a0da1116f601906f2660cd20be","datavalue":{"value":{"amount":"+0.8958653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$56EC3673-C936-4B58-A9C3-47ED2B02BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9551b399a65f07760eecc0001d23d07c07269f","datavalue":{"value":{"entity-type":"item","numeric-id":3297778,"id":"Q3297778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852f0dc17f7f791ef61af0479ce3efcbd3515ad4","datavalue":{"value":{"amount":"+0.8648765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$C08C894F-8052-497A-A4F4-548454F756B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8611e26bc56b6b2b6ad51d5616ab4bdb08098d63","datavalue":{"value":{"entity-type":"item","numeric-id":4035249,"id":"Q4035249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2fdc7e0412c64d3e82085d9eb2d0ac34175c79","datavalue":{"value":{"amount":"+0.85740376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$E407F166-7F72-4E1A-810B-E3F658843D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29eab37222cc185de757fd00c34900b62fc35218","datavalue":{"value":{"entity-type":"item","numeric-id":2105413,"id":"Q2105413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1252f36c600d52eddcb66f308c7fd261dc80e8","datavalue":{"value":{"amount":"+0.8306841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$E64F245F-EB22-4D71-89D8-C3BAB3C5F18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a474766c742bbc18b0e740cfac1d93e0179d9039","datavalue":{"value":{"entity-type":"item","numeric-id":5140763,"id":"Q5140763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1252f36c600d52eddcb66f308c7fd261dc80e8","datavalue":{"value":{"amount":"+0.8306841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$7F3A484D-62B2-4C17-8351-B23153B84CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97b574713ab288a63a6bd490cb56569762fd3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5146826,"id":"Q5146826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5243aa2af96a9d892434531a83e7da372ca4c23","datavalue":{"value":{"amount":"+0.8306192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$D7CB260C-DDA0-433C-918F-434398E1BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f926eeffb952d703e5ddf7c1e06b385ef96cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4365057,"id":"Q4365057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63e06dc290f5dbd404483d459d7bf597666fd04","datavalue":{"value":{"amount":"+0.826391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5389145$94E72BBE-1D4E-436C-98CE-1CC49F17A11C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-Sorted Unification with Regular Expression Sorts.","badges":[]}}}}}