{"entities":{"Q6829932":{"pageid":15119479,"ns":120,"title":"Item:Q6829932","lastrevid":74370933,"modified":"2026-04-14T20:02:11Z","type":"item","id":"Q6829932","labels":{"en":{"language":"en","value":"Nominal unification from a higher-order perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483164"}},"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":"Q6829932$A9EED7BF-CAB4-47CE-A45C-5270725F56A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3196f0fa5192a1d90f83861d838837bc53884024","datavalue":{"value":{"text":"Nominal unification from a higher-order perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829932$3F6834EE-6B3D-4E45-A880-1B86A9D3ABAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e00f2249287b79dcb12f861b61840638a5c611f","datavalue":{"value":"1352.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829932$DF5F2E60-1952-44DB-8A41-8629CC23E026","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b729db0aeb5b96d7254e074872bcd265739af9ee","datavalue":{"value":"10.1145/2159531.2159532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829932$E554B618-8777-4EE3-9B7B-4453CDECFA36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829932$7DAD37A3-7E26-41DA-B8A0-9195858A87F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829932$872C8191-7266-4CC5-83DB-ACCF9372CFBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829932$3A5D71C6-454B-49B8-967F-2D04987D0671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829932$F75702FE-F03C-416C-9800-E1575D7C8383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829932$243B56F3-26D3-474B-8BBB-36919C713126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829932$B4F3FBEA-AC81-42DB-8CD2-43E11FFDA24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829932$86264F30-75DE-49FF-B4AE-029BBE4F5178","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b1543bbe7a8af455294e462b9919db9be6dfb49","datavalue":{"value":"6483164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829932$6D40573E-71DE-4ADD-A622-37BBC35200FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e1ff04662e4a19c81edf0f3978a4c1e1251ee1","datavalue":{"value":"higher-order pattern unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829932$CB776B9B-4141-4EAA-8CFF-8BF0405FB4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829932$0932D940-07E0-4F87-92AE-A2B18EBAC437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3332489c51441a79596b8aa3ff1b6630a2bead","datavalue":{"value":"nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829932$9453998B-D59C-45FE-A4A5-B354C11213B2","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":"Q6829932$3450AC98-4506-4B2C-873A-ABDC8C43A740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal unification from a higher-order perspective (scientific article; zbMATH DE number 6483164)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nominal_unification_from_a_higher-order_perspective_(scientific_article;_zbMATH_DE_number_6483164)"}}}}}