{"entities":{"Q5286030":{"pageid":7315604,"ns":120,"title":"Item:Q5286030","lastrevid":46344987,"modified":"2025-12-24T14:56:24Z","type":"item","id":"Q5286030","labels":{"en":{"language":"en","value":"A UNIFICATION ALGORITHM FOR THE \u03bb\u03a0-CALCULUS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223394"}},"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":"Q5286030$7415BBA2-61F7-4386-995C-441C13F65F21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb254fe09789c5bbab20ae46ccca6d9a9da5d73","datavalue":{"value":{"text":"A UNIFICATION ALGORITHM FOR THE \u03bb\u03a0-CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5286030$AC025021-CE73-4611-8068-0ACCDDA375AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94ed9e878330a238a131529880bf6672f6fabd97","datavalue":{"value":"0784.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286030$6376EBD6-DFD9-470F-9F07-7C9124B9F799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55d3f07de112320d352f9b7f3a594213e9f82cc3","datavalue":{"value":"10.1142/S012905419200019X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286030$532D5560-15CE-4F48-BBBD-569A1CB8B41C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286030$234CBEB7-E230-46ED-B221-A6825A890E5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5286030$8295CFC6-B437-4555-B124-8AB4EB5CC6CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286030$884539B7-12FF-478F-9FC9-6535A694F85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286030$FA126685-0895-47BA-8DE8-F862119DC747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b694835ad767fe090e427a64d4169400129fe476","datavalue":{"value":"223394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286030$BA41B78A-B3A7-4BB1-B1A0-67A9662609CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286030$0852468D-BA1F-480D-A189-2A63F0BE9D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286030$A32C7C39-1EA0-4537-8361-C747818C72BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286030$1F1CEF98-8530-4D0C-8A9F-9C19C7F2753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286030$ADAFB360-40D4-49C4-BB63-4C14E54F2A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30ac6e06a2a88feac7ee1bf71e687161e1581f","datavalue":{"value":"contextual categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286030$CC9ECA73-062A-4779-921D-222174E1C187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286030$0289BA5F-0813-4C28-BC7B-36FC98DED248","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286030$DD90891A-DFF4-4993-86B1-37B2B657486C","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":"Q5286030$A427A723-5922-4609-8B4A-E21DD6823632","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb3ce01fbe42cfa3d40695cb774b8cc439b0490","datavalue":{"value":{"amount":"+0.8849038481712341","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":"Q5286030$2D4CD84D-38C6-47C6-98DF-C92E0495F7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26dd8434bc9ac7a97d9ac1ce9ea14a0c6b519eda","datavalue":{"value":{"entity-type":"item","numeric-id":3007654,"id":"Q3007654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7ea3f36e977df420a309e57aafd0c90cb3cb21","datavalue":{"value":{"amount":"+0.7831107378005981","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":"Q5286030$BFF6B1EC-7C56-411E-90E0-F203D73EB392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce87e1e4581922017d2f5560c916cadcfe98fc","datavalue":{"value":{"entity-type":"item","numeric-id":5055872,"id":"Q5055872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c32233fa8c4b75eedf88e642e1b692cd9145f44","datavalue":{"value":{"amount":"+0.7801792621612549","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":"Q5286030$EAF7A15A-7A58-40CC-9FFE-DD0361F4FF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f7d17077f45e8a662c2379f4d67d8dc07455d3","datavalue":{"value":{"amount":"+0.7782024145126343","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":"Q5286030$3431EA55-5C1C-4B62-9B09-781CAB3D76CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb365a5be43980699e4ccd2c54c58af74a822692","datavalue":{"value":{"entity-type":"item","numeric-id":1362142,"id":"Q1362142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029eafea743f89efe75bd712a964f4c4059ff68a","datavalue":{"value":{"amount":"+0.7736331224441528","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":"Q5286030$96BFD127-1D23-455F-B407-B6D77D6CD377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5286030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5286030"}}}}}