{"entities":{"Q1582389":{"pageid":1593129,"ns":120,"title":"Item:Q1582389","lastrevid":74291553,"modified":"2026-04-14T19:22:18Z","type":"item","id":"Q1582389","labels":{"en":{"language":"en","value":"Managing structural information by higher-order colored unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1513271"}},"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":"Q1582389$88CBC663-EE45-4245-88CC-8A14D2819555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8035d975a0e5c46403fb17778bad6e30319ae67","datavalue":{"value":{"text":"Managing structural information by higher-order colored unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582389$0738DEA7-4F1A-43F7-BFA0-15FBCF30BFDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc2cfe81062a9818b4068a1c40dbc9c34cf0ac24","datavalue":{"value":"0959.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$D3BF07A6-D030-4700-A31D-5284F18424E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8e08a3e8b004d5bb4aba9ee2c91873773ea945e","datavalue":{"value":"10.1023/A:1006282725324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$60364FE3-6F41-4C61-9946-34CD7E597AAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582389$F88F70A8-BD59-4F52-815F-C39BD1EDB5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582389$5BB231C9-7862-444B-A57B-8A4809895C4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582389$DCAF3864-A96F-4F20-A7C9-3B074BB61F63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582389$D9052627-9FC4-4AC2-A40E-666D8258A5EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$B5032808-65FD-4364-97E6-435DA8E64269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$B2685CBE-415B-4A38-AA31-6A3A2FD840E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b844e5214e7770b775d8debd803b0d0082aec040","datavalue":{"value":"1513271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$CFFD2CBB-761A-4573-A454-80841D322220","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea6c94bd1b73e29927386203059660e47589ada","datavalue":{"value":"simply typed \\(\\lambda\\) calculus with color annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582389$196395EB-CBD4-4C88-B731-2953B377301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582389$784FD4DA-22AA-4235-8556-A8D7D14D866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401b5fa6537e533147642c2b5c81f6b73ef9b2e2","datavalue":{"value":"formalization of coloring terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582389$D627C437-1467-48E6-876A-F92A103842EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd23f1ac15738884d4f597ff06d742c7a60a96","datavalue":{"value":"rippling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582389$5C483C00-C90D-4579-B5C4-ADAA6AF4EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582389$40EDDF14-D792-44A0-AD57-41E59425E20C","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":"Q1582389$9A802F1D-7C32-4038-A924-E9C3E9629C26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe15fcbb0b4b7bde1ef2c9d7fa1343bb598b636e","datavalue":{"value":"https://doi.org/10.1023/a:1006282725324","type":"string"},"datatype":"url"},"type":"statement","id":"Q1582389$F83A74A2-35F2-4877-A5BF-7AF6C27246F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab3d7789e2e43c6312690d236c1aa643e4ebea98","datavalue":{"value":"W1602983059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$085FFB73-0E6D-4EEC-AB7E-EE79C7B43793","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c6299abe4c4bd4ad038b7e1bb94162a113247efa","datavalue":{"value":"Q57389430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582389$5DE221C1-86D7-45E3-9068-38BDA1CAF305","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c96a18c240f93911be8e6b1a11d91073a171525","datavalue":{"value":{"entity-type":"item","numeric-id":5234713,"id":"Q5234713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666eadc20f375d465b8f27c8ca3266f7959675bf","datavalue":{"value":{"amount":"+0.9310538172721864","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":"Q1582389$BF6094B7-D63D-4661-91CF-AC155C2FDA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbc84331b16dfa5ce4f84eb5b27783b7534d355","datavalue":{"value":{"entity-type":"item","numeric-id":540694,"id":"Q540694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d370b71c4b48d23073813ac5934bec5e002cb7b","datavalue":{"value":{"amount":"+0.7710593342781067","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":"Q1582389$9ED503E8-1BA6-4D1F-9B5E-221C8ADF3E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7350440adc65afd101108240b617d27ec4780b","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4f3334f7702d6b30abbe05f62ab2c9968cb4d2","datavalue":{"value":{"amount":"+0.7592737674713135","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":"Q1582389$A7CC358D-EA9B-4E8F-A886-77D103D550A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a89a7c13b6470a95b012a7f5ee0837e0223f6","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a8487d4e1e6ae41b4ded455078705960d3b5a8","datavalue":{"value":{"amount":"+0.7409135699272156","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":"Q1582389$87381C17-86F7-4B7A-8783-5BC856F577AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58008fa9e843b740103517488e6a1855d7482e65","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a8487d4e1e6ae41b4ded455078705960d3b5a8","datavalue":{"value":{"amount":"+0.7409135699272156","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":"Q1582389$4C9DD7DC-D64D-4BFD-B960-CF1A94C0A276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Managing structural information by higher-order colored unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Managing_structural_information_by_higher-order_colored_unification"}}}}}