{"entities":{"Q2849600":{"pageid":2860320,"ns":120,"title":"Item:Q2849600","lastrevid":51829238,"modified":"2026-01-20T06:13:14Z","type":"item","id":"Q2849600","labels":{"en":{"language":"en","value":"Nominal sets. Names and symmetry in computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210247"}},"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":"Q2849600$8B922588-FC05-4659-8FE8-A9A1F6152802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518ff55707b608fd10a83068ca6b678a354f8964","datavalue":{"value":"1297.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$D4E156C7-1EDB-4A0C-964E-93D11B934AEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f26b35440be2d38885a16a7dd9eba960027a4f0","datavalue":{"value":"10.1017/CBO9781139084673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$4BD424A8-F461-44C2-9A78-24FD44A5F523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849600$3E8CD527-836F-408F-AB72-B68980434C12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8fa67e57597c5d021d880560712cfcef304abf5","datavalue":{"value":{"time":"+2013-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849600$568F92DE-AC0C-46B8-918B-3F1DCBD27EC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$BF4742AB-A7FA-4021-B55B-2F6785FE7C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$81CA5E91-1411-4E6E-AE54-8A83FCFE720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$EB2B0648-766E-4A9D-9B59-86D93FE6DCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$20AC90A3-0559-47B1-BDFF-12B017AC823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$E3F4721F-54CD-4C18-8840-774040E3BF82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"834d46ce7b13c58ba68e96459c84a26f261c1ec5","datavalue":{"value":"6210247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849600$7A6A8AA6-22FB-47A8-B785-A3B65E4725BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527015b819629f50d5bdba50abd49fc7ff5c544a","datavalue":{"value":"names","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$B2BE471C-DB17-451B-A313-F9B9A07ECE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"265af02b2bf0d9e90e4bc858238a2c21ebdf9566","datavalue":{"value":"abstract names","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$659AF073-7894-4094-B55F-AB47824779C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ce0d50ef2d3fddc856fbf9944536f0e151c35f","datavalue":{"value":"permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$341D97D3-D87C-401F-BBFD-E3B21081C40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c9e904a9c2a363cfe8abc5399301ce8b59fef3","datavalue":{"value":"fresheness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$78843D8F-8291-4A34-ACCF-7CF0D75C9A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db192e2783c223d7a09d71ce6911a6c737b56e3a","datavalue":{"value":"name abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$80719385-5020-4678-9044-2297E5F0F136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec5e00fbe8cd9f196232c140bc8943af93019c5","datavalue":{"value":"orbit-finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$6564F822-1E43-4BF7-ACDB-265ADFBC27F0","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":"Q2849600$E60B860A-6823-4C58-AB90-C9567B3AA62C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a80781fbaf3aeb52be766a3b45f5bef9ec0329d9","datavalue":{"value":{"text":"Nominal sets. Names and symmetry in computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849600$8ED6A629-9854-416E-9BF3-D388E5257FF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da67404d4eb5a5a065691da0a8e6865f359b8363","datavalue":{"value":{"entity-type":"item","numeric-id":6545369,"id":"Q6545369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849600$0BE8F21B-CDB5-4A21-BD67-E03F552F6EC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e3e3d9bf68703a9004e760bd3e36fc2b6506bd8","datavalue":{"value":"This book deals with the use of atomic (non-structured) names in computer science from a rigorous and systematic perspective. To this end, the theory of \\(G\\)-sets is developed in all its details, allowing to introduce the Boolean topos \\(\\mathrm{Nom}\\) of nominal sets, where concepts such as freshness of a name, name abstraction and orbit-finiteness can find a natural and rigorous setting. A precise comparison is also made with other partial attempts in the same direction, that occurred during the years to make rigorous the concepts mentioned above when used in sophisticated situations, both in mathematics and in computer science. Here, the author is not afraid to use all the means provided by category/topos theory, aiming to set at the right degree of abstraction the concepts he is interested in. In this way several important topics, particularly in logic and in denotational semantics, are rethought and placed into a new perspective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849600$C95FFB2D-E905-41D9-A6F1-EB16AC76E981","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bd8c91b20d989f47b6d5b40572fa0e13a50d9a56","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849600$3134B827-5FE2-4B76-9F09-D3E079E462E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d896fe085dd9c8adfb3ce645c162e3d9563296e3","datavalue":{"value":{"entity-type":"item","numeric-id":5410500,"id":"Q5410500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36a769d7c99b81dddeb916626c1c99045b5ea00","datavalue":{"value":{"amount":"+0.8010028004646301","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":"Q2849600$60D77890-22E4-4C1D-9D4E-8DB8A7B8BCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4319122e2170a2b8bd53f1d22d6f17284eb5a8","datavalue":{"value":{"entity-type":"item","numeric-id":2453579,"id":"Q2453579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54e76e4e017b10faf2b0c25fcdf18f63177c3dc","datavalue":{"value":{"amount":"+0.7650035619735718","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":"Q2849600$9DE16CC0-DB8A-4FA3-81A7-AAEAFB634FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf89000b142dfecf282eec75e95349f131f34","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97b1d058827e97fc40b6a5034cf3538d1dd10bb","datavalue":{"value":{"amount":"+0.7616263031959534","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":"Q2849600$47681D3C-4A88-4F7E-8AE8-A733613F38BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cadba6ab6fe1144fd32449603c23911adb581e","datavalue":{"value":{"entity-type":"item","numeric-id":5053424,"id":"Q5053424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0d44252f6810b2034c729f94f07b14f7ef5d62","datavalue":{"value":{"amount":"+0.7572805285453796","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":"Q2849600$8129717B-B496-40DD-A3AA-D67C39AB886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3774073da3bfbd10184e3b3d7fa824e1ec3da4fd","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa5331d74628f7de0583428200aee6193864ceb","datavalue":{"value":{"amount":"+0.7461878657341003","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":"Q2849600$DF245E1E-E8E1-4659-B57F-F013E568E4AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849600"}}}}}