{"entities":{"Q7310291":{"pageid":31275442,"ns":120,"title":"Item:Q7310291","lastrevid":105090709,"modified":"2026-09-16T15:19:14Z","type":"item","id":"Q7310291","labels":{"en":{"language":"en","value":"Compositional active learning of synchronizing systems through automated alphabet refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236354"}},"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":"Q7310291$C64E2ABC-46BE-4CC5-ACF0-4CB6F18E939A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69b6003de848a612b35962df40c4535b2f672c65","datavalue":{"value":{"text":"Compositional active learning of synchronizing systems through automated alphabet refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310291$6F58ABC3-DAEF-4CD5-9C8C-34E4350BC76D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78050e617e30092ae7b5e28c55ed855d658141ac","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310291$F14A40BC-C556-436F-A5E3-8DB340A70C13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64066157851a8a0acdeed32f391a9d2a7c80cbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1996022,"id":"Q1996022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$6E7BC3AE-8C5F-4547-AE45-0B1E083D75E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5cf1b3c448f4f53abd3f8acb71b2d1bc15a6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3409383,"id":"Q3409383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$3968A45C-91B8-421F-96B2-23B559F2E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3faeb367b64965097fe92caf6b7725e1df1769","datavalue":{"value":{"entity-type":"item","numeric-id":2151273,"id":"Q2151273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$883D4E3B-87A5-484A-BE5A-194F7FDEB41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153d687468caa848dd7d7aae8cfeaa8401f9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":530840,"id":"Q530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$177D4327-EF23-45C1-A9BC-0928B7266A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310291$99205785-A7D0-4977-85BB-47E8F67C9F9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310291$A05B3699-CE63-4F87-97BA-EE2119CA83D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be394597b2ca240e3479ecf749e8045c795a3c22","datavalue":{"value":"8236354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310291$A1D421F8-0666-44D6-A2E7-EA7A445E625F","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":"Q7310291$F60F16AB-C214-4533-B4EB-67C18FF85E62","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":"Q7310291$8A9E0615-7EDF-468F-9F74-DE8C05353032","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$F4E63D7A-8E6B-4C47-B25B-FC736306339E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83926b1da7be0073b35aaa7f3e1720d483f32cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1996856,"id":"Q1996856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$A1F3AC77-4D4B-4347-A811-BBCA0CAEE5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$6E51FD74-EBDA-4B28-B8A2-1C5C10B84811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"944462ecd4f4337d79e1a8208582ae5f0252da18","datavalue":{"value":{"entity-type":"item","numeric-id":4501674,"id":"Q4501674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$49E28D41-C7CB-48B2-92C3-67F11866585C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$B2DD9AD1-8B82-48AF-A278-DA3CE29400BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$490FEFDF-3915-4255-BB1B-18CA94372402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f57b6039e8d7a30961b504a267c986d3122a79","datavalue":{"value":{"entity-type":"item","numeric-id":6091209,"id":"Q6091209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$0269FF69-36CB-4820-A7CA-A049A43CBA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7049dc79a09e5603012e16b0e97895a47fc2c72a","datavalue":{"value":{"entity-type":"item","numeric-id":896916,"id":"Q896916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$8BC1B9C1-D448-45E1-AAF9-BA131A666D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47f97d89b162ecc981243b28b523785ad786c3e","datavalue":{"value":{"entity-type":"item","numeric-id":3152830,"id":"Q3152830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$A2F0BE8B-FB21-4F44-96D2-799C5DDE218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0595b805210a1336836e869efedaba0f577b0863","datavalue":{"value":{"entity-type":"item","numeric-id":6535219,"id":"Q6535219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$0474835A-0E37-410E-A74A-AED18C3D2328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc57051ca3f35dfbf62bb628d435d4bda0d54163","datavalue":{"value":{"entity-type":"item","numeric-id":6535565,"id":"Q6535565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$9B7B80BF-BD0F-491A-8B63-098BD76330CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecaedce3a4e3f999750d57d9de1da1021f6cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":6535622,"id":"Q6535622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310291$BD2CC277-7B30-4CAF-8A84-0B21179568B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional active learning of synchronizing systems through automated alphabet refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_active_learning_of_synchronizing_systems_through_automated_alphabet_refinement"}}}}}