{"entities":{"Q5892493":{"pageid":7930405,"ns":120,"title":"Item:Q5892493","lastrevid":58613304,"modified":"2026-04-06T00:26:31Z","type":"item","id":"Q5892493","labels":{"en":{"language":"en","value":"General bindings and alpha-equivalence in Nominal Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897357"}},"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":"Q5892493$74A59C94-1E16-4F28-B1AD-84B8FA4F8E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eb9a80577cb26befb1b6733b0b7fbaf97aef2ce","datavalue":{"value":{"text":"General Bindings and Alpha-Equivalence in Nominal Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892493$4E03B7E4-B490-4DD0-9646-60BDC17C36D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaddcbc2e2a421f87306060ac80fb8b0b71ffa7f","datavalue":{"value":"1326.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$9DB6712E-B09F-46AC-8E6B-1E98097B8EB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ce114999de524efff639e9f449239ab81a8a3e","datavalue":{"value":"10.1007/978-3-642-19718-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$9869A0C7-70C8-491E-96B0-E67D6BE5CF2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$3DF924ED-7570-4CEE-AD51-5AEF26D48FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$277BC70C-E13F-41D1-81EA-289825BA4E76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$353996AC-F5DE-4F42-B350-ADFEEF4DF29D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892493$C57897AD-0A90-45D4-A9FD-1A4C830EC50E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f77015029e8fa9d0d5afe9a2e6522153b3b03e8","datavalue":{"value":"https://arxiv.org/abs/1206.0136","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892493$6CC2D80E-CD3C-4B98-83F8-1F43B0726BDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$B2E7F514-87A2-43BA-B9D4-B40B47C7619A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$70412A8F-80FA-4EEF-8472-70E9CD6F03A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d88df67efbb70ab2e8b75cb7d81e9689fe9dc7fc","datavalue":{"value":"5897357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$06061079-6214-4A80-BABA-389006707C82","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90a6920d46c2c722b7ebe710f28c7204966c48aa","datavalue":{"value":"Q108482189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$FED47790-3641-47A2-BE49-628B0D6F286A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$369A1DD1-ADA3-4692-8558-6AB98076C77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c4c1126d2e4aefe4cff937dd992e10025c7d4a","datavalue":{"value":{"entity-type":"item","numeric-id":40287,"id":"Q40287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$8457EDD4-7781-40D9-8E9A-E4EC9821AE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$D6328B94-F2C1-4EF6-8B55-FA537FA06E4B","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":"Q5892493$838D861C-C343-41B7-A35F-FB81EA804C86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7088113ac232cb63cb93181fdcf48e6e67a23ce6","datavalue":{"value":"W1495561703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892493$A805C1A9-79A2-453C-826E-706933C505EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b040b9410e9e6b60a43059160b34ea75348e624a","datavalue":{"value":{"entity-type":"item","numeric-id":3558328,"id":"Q3558328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$5E1EFE4A-D05E-4621-9EBD-7D6DAC486847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab63358c2a9806af600f7f743907818a47bc22e","datavalue":{"value":{"entity-type":"item","numeric-id":5895110,"id":"Q5895110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$DB3D9049-F5BF-410B-8AC3-A9F0CA0BDFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$F6023EBF-BF7C-4DE6-B356-DABEA26EA580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e024e43b5522fbebf813f4ccd0044d40737b537a","datavalue":{"value":{"entity-type":"item","numeric-id":2936781,"id":"Q2936781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$083F0F53-5B24-4113-9C5D-260F5795EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c55f09c39173f168f9ee166ab49eb8e620c679","datavalue":{"value":{"entity-type":"item","numeric-id":5477651,"id":"Q5477651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$653DF8D7-22D4-432E-8B25-E725A3AA5C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7e549f0fba6b332f88c2b3d15bc37b5e90f37a","datavalue":{"value":{"entity-type":"item","numeric-id":5747640,"id":"Q5747640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$290D622D-6F52-4237-A35F-20295C34F44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac049ffd629fecbffadc2b98758c8b3e8c0de662","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$BC61D4E7-A5E9-4464-BCD5-D7085A50101C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$68DC92BF-E277-4CF1-B4B0-F0938AC9269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b913550218aa589bd609f48dfab72a983f8bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$47059CAE-5A10-40FD-AF98-226AFD02B032","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":"Q5892493$EBAA4999-9AEB-4A1F-BD97-EDBA237E72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afff082a6dc69faf74ce9d16730e700193201fbd","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$69DE9D8E-07A1-4B9A-AA1F-C139076EBF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a37d46eed0861d3cef1d05ad4dceb687abd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":5189646,"id":"Q5189646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$7920EE7A-8C3E-4E48-AA92-0CC43E307547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dccdbb6fa19cb81346a7b093ebc4768c7c2f275","datavalue":{"value":{"entity-type":"item","numeric-id":3189858,"id":"Q3189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$C147CD4C-7054-4961-A2FC-AFC66E11A6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$5B959211-A5F4-4252-8E1A-2E1B343FAF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e88d6c4a2b7a9f9d75e62f94b4cfb593c1b78d","datavalue":{"value":{"entity-type":"item","numeric-id":3400637,"id":"Q3400637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$3BF6A9B8-B6C8-421B-A1C9-C48099EB70D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$F7DF40A6-EE2E-4C56-8811-17E865284619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455355a9794293f543b7bf16bf2d2d8b9e273478","datavalue":{"value":{"entity-type":"item","numeric-id":3522034,"id":"Q3522034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892493$765FFB1A-FEE0-4CC3-A032-BF1D6CF982F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b403893b3853ccc2d56f9e150dc2696721cc1178","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a25e04b6625e570b838b8d607f8a777b0c1463","datavalue":{"value":{"amount":"+0.9970956444740297","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":"Q5892493$0179A715-4C54-4F03-BFDE-159F4CFFA571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8121b45f5a2121f5d02e937ed3d255985aa611","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3162d997f72c307ea31eaf9d4f083d4e64c1604","datavalue":{"value":{"amount":"+0.8210576176643372","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":"Q5892493$1BB9AA15-EF37-4536-89B0-3B7DAF7875B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5368256d2506400204555ca66175ed942dde112c","datavalue":{"value":{"entity-type":"item","numeric-id":3100205,"id":"Q3100205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa780d14a2fe93664844fce34376a80fcb8f50e","datavalue":{"value":{"amount":"+0.811659574508667","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":"Q5892493$A1E45911-1538-4F66-8881-4596D9237F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7e211299ce00a98c8197ac854eb2bb7a7b76c1","datavalue":{"value":{"entity-type":"item","numeric-id":5747640,"id":"Q5747640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1d2447911a25caf4e1a3a00654b12f40855dcf","datavalue":{"value":{"amount":"+0.8017712831497192","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":"Q5892493$24325F4E-899B-4B89-8312-CC951EC3B449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f23bd8f14cd3dc4a69dc7cbc44b7ad69b77fd6e","datavalue":{"value":{"amount":"+0.7984538078308105","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":"Q5892493$3559EB7A-C471-4EF2-94FB-B4AF626470CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892493"}}}}}