{"entities":{"Q5015098":{"pageid":7044675,"ns":120,"title":"Item:Q5015098","lastrevid":54171791,"modified":"2026-01-26T09:48:06Z","type":"item","id":"Q5015098","labels":{"en":{"language":"en","value":"Unification modulo \\(\\alpha\\)-equivalence in a mathematical assistant system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441503"}},"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":"Q5015098$AF24D02B-A5C4-4DDE-B43C-59272D5EA2DE","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":"Q5015098$53B6F35B-816F-4EC0-BD3C-96C37F7B9C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015098$5C3AFA8C-703F-40D8-913C-E116EBBBEADA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea929fd963b2c4ad3be295ac81e444aa0a33de1f","datavalue":{"value":"http://www.viam.science.tsu.ge/Ami/2020_2/6_kutsia.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015098$6025A33C-D9BC-4090-8169-46B95B35BD10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015098$2E1F3A6A-4416-43A4-97A5-B6DCD23D5802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015098$C6B19D04-1E8C-4AF8-826B-AD9C7F2D2DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ca21e0cc091cd908b4d143d2e5184ad1570c239","datavalue":{"value":"7441503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015098$72B5D357-40C5-432B-BEDE-638B0D4B2D0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c5842fc75f88baf3bdcfc85343fe1958900932","datavalue":{"value":"permissive nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015098$98AB96CD-2617-4092-8987-8EB9C972E50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7a95cd9d37c827953764054721de832aacff0e","datavalue":{"value":"\\(\\alpha\\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015098$DB413B73-FD4B-45D1-BAEA-14825BFA94B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18709112475363868a4aa6db9b4072fd6b8ea09f","datavalue":{"value":"mathematical assistant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015098$C091185D-EDC6-4DB1-9737-420CC6F97908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37db48fc50878deb5298f058e27a669b8c15ab38","datavalue":{"value":"Theorema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015098$8F2C4C10-C0AF-4264-9FD7-4806B3FDB36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a069bf71dd772dccf5032759f2b359f2626efefb","datavalue":{"value":"sequence variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015098$D06AC72C-7B36-4B90-891A-4CB702AE0A33","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":"Q5015098$2FCB72EC-85DC-4CC9-8442-0FCB39364598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff9dc2cdf78c7ac621b84a10918455404fa6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1671156,"id":"Q1671156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5488d5dfff36c2c246006cf1b0477359ac8fb00a","datavalue":{"value":{"amount":"+0.7871429920196533","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":"Q5015098$BDF75C2B-C28B-4D90-A2B6-27570252B7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb26fd57ba03d1c1cf952580b653de89ed52847","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501ae329986f7d782ea7ca33987fac79e4c24d2a","datavalue":{"value":{"amount":"+0.7735594511032104","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":"Q5015098$0AB7446C-0D03-4E5E-8A6E-B767B96AE200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573b75eb45203ed3c3ce40bebf671446845ebab2","datavalue":{"value":{"entity-type":"item","numeric-id":5292662,"id":"Q5292662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cd4b4e734e3f6e80ce6331634687f49f5029f5","datavalue":{"value":{"amount":"+0.7677456736564636","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":"Q5015098$E62F9880-AF49-4635-AEEA-981BC1B1E012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c661d4ded762d73531c259c9f7f4f319ae0f0390","datavalue":{"value":{"entity-type":"item","numeric-id":1744440,"id":"Q1744440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e122c496a635fc53d5de3a695291b299bc90ac09","datavalue":{"value":{"amount":"+0.7620084285736084","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":"Q5015098$3690A7EA-129F-4473-AE70-D366F2ABE385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7532c6e676fa53537b370a06409ce75cff320fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ea30a3649bacbdb61e06cf37039f4b67c967d1","datavalue":{"value":{"amount":"+0.7586710453033447","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":"Q5015098$7EEC21C6-37C1-4ED8-9140-EB5BAE91EB48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015098","badges":[]}}}}}