{"entities":{"Q1284282":{"pageid":1295032,"ns":120,"title":"Item:Q1284282","lastrevid":70072536,"modified":"2026-04-13T12:15:28Z","type":"item","id":"Q1284282","labels":{"en":{"language":"en","value":"Lazy linear combinatorial unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271878"}},"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":"Q1284282$6C84789B-27BE-4522-AE79-8B21864C057C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3c8e9ef7b6d936961f35715061a49bd0686fcdc","datavalue":{"value":{"text":"Lazy linear combinatorial unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284282$278DCDE8-6B6E-40B6-A1D4-897796BFDE8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e11438668b979933d44acbbad6977a19ea8adc8","datavalue":{"value":"0920.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$3E97AF83-A6AD-4AD8-A567-53E8344A922B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7887cc0d8900047b69b9d6ddbb510a9af8b54867","datavalue":{"value":{"entity-type":"item","numeric-id":1284281,"id":"Q1284281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284282$E5B0EB46-7B25-45C0-AF89-224588FA840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c61fb4e1fd276e037687c74ca1b342a8ac6f0ee","datavalue":{"value":{"entity-type":"item","numeric-id":1208415,"id":"Q1208415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284282$51C9C23E-91DB-4149-8FDD-F9A88FC1A9D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284282$AF14C15E-459E-4E68-B432-997E8E48436F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284282$301BC6B7-0948-4AE6-8A39-B27B469C4B53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8e6d0f030ba517edfd6656f0f6bda12ad8618d4","datavalue":{"value":"https://semanticscholar.org/paper/b940c1c3db2ac94e9d0a466836272f55fb63a3e2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284282$F2285135-A093-4814-9CA2-2DA04D0EF903","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$281C1C22-4590-43C1-AB50-19B24FF40F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$C2A45A7C-9F1A-4F7F-A54A-9494CDFBB122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$9F83AC80-AA26-41D2-9E7D-7F99110498A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$1C01F893-8DEE-450C-B124-82FEB21DD34C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dcf1f14653b52ad507e9694d09c7fb0141fb0c4","datavalue":{"value":"1271878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$B1365240-D62F-4A57-97E5-D78D5B694FC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b1a75db88a2db7bd56dcebf1eaeee6e895df47","datavalue":{"value":"two-rule reduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284282$4F81E538-5A99-4F92-AA75-B3599CFD86F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a619c62254660cf9e2ddd395f3d1d865d2cf3585","datavalue":{"value":"lazy computation of unification on first-order terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284282$CB5DEA08-DB89-4B7F-A3AD-E338D32FF5C6","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":"Q1284282$4F51DA3A-3BDD-4B14-B9C0-5ACE117947EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"911b4f270de9ffe6b19e3c88c1a2df835077be96","datavalue":{"value":"W2004886116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$2F9CCA5F-5F7F-4E69-8707-9AF475724C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aecede9ffa700d7694b1ad01f1485709a93e581","datavalue":{"value":"10.1006/JSCO.1998.0248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284282$AF017BD6-85F0-4D67-A131-54E992AB3F70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf1bab982c15339270d4ab049304d1e2ff7e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":1105360,"id":"Q1105360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ceba4312f239372224083ee005d64a28c39970","datavalue":{"value":{"amount":"+0.7946393489837646","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":"Q1284282$50273810-3DC8-4946-9936-1ABDB65581E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4289440add1a175ac3f205d633a1585bbe7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fa52445573ccbefeb4957896317b5d7f0f74aa","datavalue":{"value":{"amount":"+0.7742314338684082","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":"Q1284282$E4053F51-9E46-4E16-87A3-B7135613F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca03a4a9e9ea5eaf893ee179e96fac28a0a9197","datavalue":{"value":{"entity-type":"item","numeric-id":3750143,"id":"Q3750143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf368ac1a73b773ed6e696a6c5fffb989233eb3e","datavalue":{"value":{"amount":"+0.7721348404884338","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":"Q1284282$72C6EB37-3A8E-4201-AA03-F40819090442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53df50a555a954244ad4366905f5221a79fc8e37","datavalue":{"value":{"entity-type":"item","numeric-id":1104776,"id":"Q1104776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8494ad668beb293cb740427abd87e2901af2f6d4","datavalue":{"value":{"amount":"+0.7689093351364136","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":"Q1284282$5B329924-5615-47F4-BDB2-9187843AD78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c04766fc74e7b761fc6fbd66093f207054377f","datavalue":{"value":{"entity-type":"item","numeric-id":3795215,"id":"Q3795215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fff5016ca3a54502e45fa33e581f8fc69daa40","datavalue":{"value":{"amount":"+0.7653892040252686","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":"Q1284282$16998D2F-9591-4474-B0E7-3A3B3BB279FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy linear combinatorial unification","badges":[]}}}}}