{"entities":{"Q6587119":{"pageid":14198275,"ns":120,"title":"Item:Q6587119","lastrevid":42364906,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587119","labels":{"en":{"language":"en","value":"Simulations for event-clock automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896546"}},"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":"Q6587119$7B56AEA7-E857-43C0-8DCB-DDEB4727D28F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d5812e5cd33233ff0e842e2e0412cd7e8019c00","datavalue":{"value":{"text":"Simulations for event-clock automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587119$13700A16-E861-43E5-9C21-B141F1BD1910","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587119$4B6F40B9-DBDC-41E8-8B32-DDAA11342F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587119$F87143B6-E6BA-4941-AB74-EDE8ED0B05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e295c6b54acd2ec2261127bfea33c73faea848dc","datavalue":{"value":{"entity-type":"item","numeric-id":804227,"id":"Q804227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587119$38C9235C-AC76-4A55-90E3-7A1D8B0C3ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587119$4B665A5E-ACB0-4E93-9439-A2BF6E0D01D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587119$F3A5C538-E629-4539-9768-651686BD2605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587119$11C46690-31C4-4E94-8C30-B5F83803D61B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a946e2abcb5402e41644f69b03155f32cfd6bf","datavalue":{"value":"7896546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587119$63A4E9F2-23F5-4446-8162-137EF8B8BBD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e7952de2800dddda7ae408c354c579039e31f2a","datavalue":{"value":"event-clock automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587119$5A1A6017-25F1-4021-A1ED-6FEA8F231F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587119$B2BC8E7E-9E92-4672-9086-D5022CFE8DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4abcd7aff53adfdf8e7daf8e7f2780cf65d017e","datavalue":{"value":"zones","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587119$17BFE923-E1D3-41E5-8A37-1E54BF16C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587119$87ED1CDD-2923-4635-92E4-A2805EA45137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587119$0FDB011B-95B1-4D52-99A5-4821A19FBA1D","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":"Q6587119$D7C8E356-C67E-4790-9F6F-4DAADBBF7829","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7b3022493ac452c996ae489088e58e64cbad755","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587119$5742D81A-B38D-44DF-BC2E-1A3DDB813230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587119"}}}}}