{"entities":{"Q6610643":{"pageid":14221800,"ns":120,"title":"Item:Q6610643","lastrevid":42379884,"modified":"2025-06-13T22:16:08Z","type":"item","id":"Q6610643","labels":{"en":{"language":"en","value":"Supported sets -- a new foundation for nominal sets and automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918717"}},"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":"Q6610643$93F47EB1-EABA-4B78-8A00-D13B78FBD1C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3fbd2cbf1308304cce5a647b3f055778d051bf5","datavalue":{"value":{"text":"Supported sets -- a new foundation for nominal sets and automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610643$7E9DB256-947E-4000-8B86-3417A8A974FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbc9ea8e7764c41b8694e3ba2836a25f47044c4","datavalue":{"value":{"entity-type":"item","numeric-id":328656,"id":"Q328656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610643$9CAE6A2A-6D4B-4BA4-B7D5-DC227ABE579A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd8865887ed774f6229caf289dc334855c91553d","datavalue":{"value":{"time":"+2024-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6610643$ACE1F3ED-C857-470A-AFD3-2399336175F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610643$FEAADDA9-148A-4012-845F-9751294D638C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97702242b65abd1abd00229fee56acf6ca52d7ec","datavalue":{"value":"7918717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610643$DE62472C-4500-44FF-A61D-C330E19828C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610643$DA7A29A1-5C14-49BA-A07E-072BD89B75A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610643$8615C41C-F63C-4B87-8B32-A43E902B7855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f0aef52ead49cee53f222cf3961a3d301d47cc","datavalue":{"value":"LFP-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610643$45C86D08-8CC7-416E-A550-1350443B2DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24bd9605d9234241513543bd1b6c3874801075cd","datavalue":{"value":"supported sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610643$BB5682E1-A942-4405-B3CF-7466656E1A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610643$BF63D6A7-6959-48F3-9AC7-4DC74E78CCE5","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":"Q6610643$34BE544C-7065-4644-8292-A92FAC43671D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e210466a15f93b8a0d69281f74888f89de91d748","datavalue":{"value":"10.4230/LIPICS.CSL.2023.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610643$683F92D8-A2E4-4DF1-89F5-FC73568677FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6610643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6610643"}}}}}