{"entities":{"Q2804945":{"pageid":2815683,"ns":120,"title":"Item:Q2804945","lastrevid":52524980,"modified":"2026-01-22T21:14:38Z","type":"item","id":"Q2804945","labels":{"en":{"language":"en","value":"On the role of names in reasoning about \\(\\lambda\\)-tree syntax specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578015"}},"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":"Q2804945$E28071E2-116D-4DB3-9060-CA2A3C1D8066","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad71944dcc10c776d7c3e2d2780b81eaa90721eb","datavalue":{"value":"1337.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$D07DBFF8-2A17-4FFD-A2E1-4E91614C0C79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$7685DA8F-7703-42A7-AFC4-3C4759D1ADAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$3288A19C-5544-4C84-B528-AA441D111691","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804945$6D29C1E5-A7DD-4B42-BC7C-02CF9CA74AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$F80DADF1-708B-4E17-B5EE-75CBC2A2BF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$99DEFC2E-F52C-40EF-AFE2-D42E534EB8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$E6F19955-0908-41F2-BAF5-2F086FFF741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$438A6D9C-3CEA-4EC8-A3E8-88392C45AFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4099c5e1424ec48b86c447d67f7ba9dc0579777d","datavalue":{"value":"6578015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$D5551188-8AA0-448D-90F1-641D48494A11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f3350743d20e78a6748a8182abb0dbc224ee9c2","datavalue":{"value":"generic judgments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804945$6B10F345-CB3F-457E-8823-3DF6C56492F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9182eabacc23c0edd734d66fc3f2fce427ef1e0b","datavalue":{"value":"nominal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804945$66E273B7-8FBE-46A2-A394-C1C5BB79F4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804945$95A5235E-FAB4-45F4-8F85-1A769501D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804945$E33769AD-FDB6-44D0-92A1-2E8CBFB5EB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804945$569F23AB-FAE8-4BE2-909B-E1CE3F675933","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$49B58F6C-3245-4846-8AA5-1927B95C5C0D","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":"Q2804945$ADB0FDB4-9413-4395-920D-184D082252C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02915c3bd30fc54d48c8c5a6d531820ee7d2a621","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.122","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804945$066C3F97-7912-4CA9-BE41-8275DD8B7378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82577186e018181dd4b3486404c7d8b47817d0b3","datavalue":{"value":"W2054675474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$9F447C3B-56B8-4E32-A997-42CE42DC858C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e394dcd5feafbbe828885b5e48c98d20a9ce2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5703876,"id":"Q5703876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$BBDB4389-4105-4D7C-B6D6-8E91C4B0DD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$2D20A9CF-DAA8-48ED-BF0F-4BE667725586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f561e03eada0310062330e19abf990ad3b984","datavalue":{"value":{"entity-type":"item","numeric-id":2804943,"id":"Q2804943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$64F51EF6-D578-4673-8331-D7C58615AC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$D6C4472E-CD44-431B-BB1B-624D3B76505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$724C1F8F-C70A-4F7E-A498-48664370D07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$A946A8F6-4025-4577-B8AA-7BCBBEBA9267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$85297E52-140B-439E-AF87-6BF0E06499F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$50FD8BC9-04B2-45AC-9AF9-69A31C03C80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c193b2b170f7626fc739837cea7c223c4266fe6c","datavalue":{"value":{"entity-type":"item","numeric-id":853738,"id":"Q853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$70DF2F83-431F-40E2-88CA-AD3DEA29B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$98C0F64D-9C3A-45A9-B883-86DAF4EE76EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$BFADB2E5-D8C2-4118-ADB3-CF205883885B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5529fc59fde090e80519f64caa2fc1f892f31635","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$323D3B5B-73E7-4E04-A825-83F0450434F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$53F436EC-E649-43C4-AB88-A19E2DC86CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$BA58AF16-0147-4D79-9B07-48E6A1A0F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a25d0974c4a14532cf07d54fb4d393c25f726f","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$F37DF972-9286-4DEE-B53C-5B0C8D610932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd006f3345398a4d91af214b14ed05f4807fd835","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$81DD83C5-09B1-49E5-A88A-86C9567B27D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$94FB6503-A3AF-4D34-A7A4-4BCDDA88DD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804945$EE72931D-CB00-4A7B-98F6-09E97B35BF36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80ed1dc71ec9e4c5a81101cdc21f1112d88cd7e1","datavalue":{"value":"10.1016/J.ENTCS.2008.12.122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804945$268831E6-909E-4E71-8B40-35650E10EE94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f64b36ad00d3ee475c18ace64ab7c7d57a084a29","datavalue":{"value":{"text":"On the role of names in reasoning about \\(\\lambda\\)-tree syntax specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804945$4287F3B0-2B6C-4F65-A671-7A7B4411BE6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bf10d5ad78b7314c398ed94a0d07b67b9ef773","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbb99da79fd301966dd3ed02d6c766ac482027e","datavalue":{"value":{"amount":"+0.7640265822410583","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":"Q2804945$FF9CCCE7-B5A0-4D7C-B106-6F16DE4E3AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbaaf8baf99b547b684dcbd479e3ab8e8283f78","datavalue":{"value":{"amount":"+0.7610625624656677","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":"Q2804945$7B7FEC76-499D-463C-90E0-BB276B4D382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff600b854b9e27dc40c3c4faf547c87037a453b8","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fcd88844e3b7e58671b884909f953f36ae56e41","datavalue":{"value":{"amount":"+0.7424254417419434","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":"Q2804945$B0D70990-9DCE-4F59-9DB4-0506653249B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2def8b855a3343460dfb20f0a835f5e03c169d","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2760c45060057f8bc84e9a244082f2d71edf7c1","datavalue":{"value":{"amount":"+0.7418907880783081","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":"Q2804945$55F75E7C-6BDE-47D8-BCED-E0546C7286BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c05d8ceb30fb7dee16c2d6c4f9b7a6d009e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68695e95aa1f9a154fefda1120fc9d4ff0608e16","datavalue":{"value":{"amount":"+0.7391695380210876","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":"Q2804945$8434DD82-CFB9-4603-B582-AF9D915261F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804945"}}}}}