{"entities":{"Q6859912":{"pageid":20656105,"ns":120,"title":"Item:Q6859912","lastrevid":84252419,"modified":"2026-05-14T05:39:33Z","type":"item","id":"Q6859912","labels":{"en":{"language":"en","value":"Nominal tree automata with name allocation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158333"}},"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":"Q6859912$5F50029B-9564-46D3-8C54-1BACFC864D8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9780bba2711553986e769554de3781a3b73f493c","datavalue":{"value":{"text":"Nominal tree automata with name allocation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859912$847255F6-D216-4CE1-8888-2B5F520D7942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aab50e5d1588cf323bc7930ebfe6e752a68e080","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859912$3AE31846-1E2B-4D93-AEC7-15225252AF1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e824cf87f98caadb5f608d5abb1dd70da002ef77","datavalue":{"value":{"entity-type":"item","numeric-id":6492745,"id":"Q6492745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$5F68BF6D-B647-4B6B-AB4D-40DE8900CB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$E43675BE-66FC-4BC9-B6D8-7B288B285134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859912$7F5D43F7-5FBF-486C-BE07-D04348DBFC5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859912$5BD823A5-58F4-40FF-97F2-F229A8126A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34f9f0c6eb8c4b08eec8cd64506132e2b370533d","datavalue":{"value":"8158333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859912$B5DC6BCC-F4AB-4A1E-AABE-585D6C0E2CAE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$4338D738-96E3-45E3-978C-41FDC4175616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e57e10dbdda311ff1547a9403eff1427aa38a0a","datavalue":{"value":"data languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859912$3DAA7924-F293-44F8-8F3E-C95CF77CE4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859912$EAF0E3E9-EAE8-4FA7-B9FF-23CB7B4385B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff09f7b82a2a4af9d85ac81500deb2a97fb365dc","datavalue":{"value":"nominal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859912$594CB3C0-C5B7-4856-B415-118C65EFADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e6db1e50c95c848c638fd40e11601d294c9130","datavalue":{"value":"inclusion checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859912$DFA1E0BE-9529-4861-91A5-9843247E750B","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":"Q6859912$AED63240-DCC4-48F8-B82D-76A640A42070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$E64D37B9-3670-4252-94EE-9D53095FB489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$17DFAD75-C281-4998-8961-7854A8447000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$03F03824-98F1-411F-BADF-8EE3DE56ECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$8F3AD75F-F983-4629-BBC4-C26D77E4F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95751e7d64132f5dbd31e975b68a72435256f6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2938772,"id":"Q2938772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$0151E78B-1C07-4188-BEDB-A2358FB7F6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$4A2638FC-3701-4C9A-AE30-8AD670B80EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$B0ECCCF6-6296-460A-850A-28FC3E3B9EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ce30afe72127c359cea294013065496e27b834","datavalue":{"value":{"entity-type":"item","numeric-id":3000621,"id":"Q3000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$B78FB2A2-EE30-44F3-851F-0B0167698250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f6024f98f09d930280259eb2e75792af296173","datavalue":{"value":{"entity-type":"item","numeric-id":5326330,"id":"Q5326330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$A80F62DD-1161-4164-8918-F1F08F8DD1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afd666af0a1b11388408978b00fd6d2e3f578a2","datavalue":{"value":{"entity-type":"item","numeric-id":4649292,"id":"Q4649292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$99A4D9A9-C0AB-480D-A985-A03CBD881D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc6a1ebf7b8f67371d9304c7bdf643fd5071d730","datavalue":{"value":{"entity-type":"item","numeric-id":6168475,"id":"Q6168475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$DCD6F1B1-A5BA-4D04-8866-6EE71B675B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212c36989035a7b62a8e8fafba109a61eb085ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2075785,"id":"Q2075785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$E70B24FC-9609-4859-A2D9-6936A5CFFF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1020a9cc60788fbf01899fd4c58a9d2a1269d615","datavalue":{"value":{"entity-type":"item","numeric-id":2946637,"id":"Q2946637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$7C7C5938-2B3F-4E46-B91F-366115AD0483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$0516C09F-B256-4A03-8FF8-381386BE558D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906e4eb70b4fa4dc23564ae708b7e1f58a8f65b9","datavalue":{"value":{"entity-type":"item","numeric-id":2474534,"id":"Q2474534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$EF94131D-15BA-46A8-8EBA-BF0FAB92C9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e7465ca3c4028fb3a178530661b6974e88b32","datavalue":{"value":{"entity-type":"item","numeric-id":3056277,"id":"Q3056277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$3DC7EDCB-4AE0-4DCC-8C29-710E6CD9BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79da2439790169a6057373a2572439132df4a77e","datavalue":{"value":{"entity-type":"item","numeric-id":4972736,"id":"Q4972736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$0CA5C8B6-A5E7-472F-842F-F6BE82557C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$7036DD87-95F9-4E6E-93B7-EE0226FC7C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f28261b429aa65388a03a4973b6ae6ff558f67","datavalue":{"value":{"entity-type":"item","numeric-id":504989,"id":"Q504989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$972856AB-CDF0-49EB-A93C-94C422138091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19acb96ef1ad0ba9c8292d27d46a972e7c2cb112","datavalue":{"value":{"entity-type":"item","numeric-id":5090504,"id":"Q5090504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$445ECA93-587F-405E-8EE7-58E5659F5EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$355B08F8-AA26-4207-8F07-706D500F02FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$454A1438-025A-4A3B-88EB-78F135CAA81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$F5F37F90-7CE8-4635-9395-750410E8296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a89960dc9022a5b9eae0a1189b7c94fb953729a","datavalue":{"value":{"entity-type":"item","numeric-id":2988364,"id":"Q2988364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$E4184300-282B-49C3-8C40-04A5A1EEFAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$E55C281B-62AD-4A05-82CD-319F0240C4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d42f529637bfb656b01c9f2862e3164751caff","datavalue":{"value":{"entity-type":"item","numeric-id":1623153,"id":"Q1623153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$181F86AC-4D4D-497D-B3A8-73C905A4702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313ad0cd885536fd006ef256b06cb980894cd3b1","datavalue":{"value":{"entity-type":"item","numeric-id":5410335,"id":"Q5410335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$155FBD27-2211-451A-BD69-00E96802FAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1935af02a0d972aebe875e80268f11a931622c","datavalue":{"value":{"entity-type":"item","numeric-id":5094127,"id":"Q5094127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$5AD7653D-D452-45B9-A61E-C39DBF3EA545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5adb1e192b320005516bbb1e7435641cb1a092","datavalue":{"value":{"entity-type":"item","numeric-id":6134252,"id":"Q6134252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$F2525E24-6BAE-4386-AFC7-D2F720FC6EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016f6c5a22cb516f1edaaff8982a1325d99d7253","datavalue":{"value":{"entity-type":"item","numeric-id":5875346,"id":"Q5875346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859912$D49A168F-773A-42AB-A460-FD6D44E9769D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal tree automata with name allocation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nominal_tree_automata_with_name_allocation"}}}}}