{"entities":{"Q6560170":{"pageid":14171325,"ns":120,"title":"Item:Q6560170","lastrevid":55692421,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560170","labels":{"en":{"language":"en","value":"Rewriting with extensional polymorphic \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869526"}},"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":"Q6560170$5DD2A6C2-704F-4A49-8BE2-305AC2E185F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a64d294d746940172b7bf1b2b23c2853f514452a","datavalue":{"value":{"text":"Rewriting with extensional polymorphic \\(\\lambda \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560170$9D3F61E8-DE9C-4A90-A609-77667A1BEF51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb7b413d4d263b0877df1d590bfcf03b792f7b82","datavalue":{"value":"1540.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560170$DC8E5D45-2ED1-49E0-AC8B-F6598CD9A6F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14c012dae6e4142d020f70c19ee9dbf052c0d29","datavalue":{"value":"10.1007/3-540-61377-3_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560170$634F9E67-1113-44C4-9C7F-38BCDA6C9B3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$C23F22B9-738C-48F5-AEFF-E7E739088D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$8F35B228-6DA6-4F6F-A93D-B90911F168A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560170$6A524556-69D1-45C1-8824-AD5066D77BB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560170$0E63A4FF-B074-4C78-B7DE-20BAC3A261A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560170$AF31B131-DC2A-42D0-8335-1B5A70D068FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560170$9CE610E4-65EB-494D-9208-8C1491E3343C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a478cda62f3bd55c170a9e23659730a8935ef7cf","datavalue":{"value":"7869526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560170$408848E6-5864-4E4C-9439-57C0F8D2722A","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":"Q6560170$ADAE46F0-1DC5-48F2-B69E-83F259CAF494","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$A2E2E764-04EF-495D-A2A6-7D43EAE00308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$BB7CB9DD-0ADE-490C-8285-1386BD473374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed163fa47586d6760e996c78b547299a8e45c4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$7D2CC18E-6104-4CCD-B661-25698012BFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318da55de3f531193a364d562784327d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$49D1265C-09B6-44CB-8800-8997584BF98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbc1c92f9569f25eda43c06e11022416e14d982","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$644B4F62-A469-4F2D-957D-59903240C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e24ed999fd744e0d577df406311235aecc7c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3024832,"id":"Q3024832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$98AA8778-6B2B-496F-9791-DFBDCA538288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$86A26EDE-7502-4E92-967C-16C8D2B4355B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560170$97DF5D85-A57A-49EA-8D76-88A6E4FE534E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a3833fc9f6f9573231f8da51476628663a1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3024832,"id":"Q3024832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f1e46c246edacd263da0d14112610883458b34","datavalue":{"value":{"amount":"+0.8709906935691833","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":"Q6560170$4760AAFE-3B1F-448B-9B45-4CB0A050DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4e46f0c184edd1b971c1e028e8fa2baed0481d","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817c574b761181ce91f49d71e35d0d3c6412ae85","datavalue":{"value":{"amount":"+0.8262525796890259","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":"Q6560170$7857A122-C790-49A4-97AF-4CEC52FCC0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67575d50545002225cf6dca799a8968297df436e","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289ea57ca7e9239013b7fec508a4dfee2776516d","datavalue":{"value":{"amount":"+0.8192062973976135","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":"Q6560170$122A041E-9A1A-4A97-A2AE-6863C0794FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a620e9d6d3dc11105b7574dad7a89a64a3815f","datavalue":{"value":{"amount":"+0.7915288209915161","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":"Q6560170$8DC7B094-2EFD-41AC-9666-24DDEF9DB373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b230c0744f5b19d0bcd5fd5fcaab9057fe478","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911241c2835d90a6e21ab12d2ac1546fa95c2d44","datavalue":{"value":{"amount":"+0.7888036966323853","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":"Q6560170$A0D43DD9-82C7-4534-835F-6E78BBEA60C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560170"}}}}}