{"entities":{"Q6597952":{"pageid":14209109,"ns":120,"title":"Item:Q6597952","lastrevid":99879167,"modified":"2026-06-05T20:54:54Z","type":"item","id":"Q6597952","labels":{"en":{"language":"en","value":"Simulations for event-clock automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7906364"}},"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":"Q6597952$4C5F8AE2-5480-4D71-9385-483B92097A7F","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":"Q6597952$EB31EBC1-2658-4C6C-94FC-1474CA807176","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":"Q6597952$04E8A870-EEE9-4B6E-98D9-F6E195B051B6","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":"Q6597952$3A87DD41-D0CB-4DB0-9C4B-A376C15394B7","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":"Q6597952$2ABC3A02-E715-41D9-92F6-96928C7FE1AC","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":"Q6597952$70E5A168-1028-4C5F-93DA-BA8663555E1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$5851C4E6-F1CD-4B16-ABB3-0A3414135E7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"462b27fce30c179dbb6a00021c60444254cd83af","datavalue":{"value":{"time":"+2024-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6597952$9477113C-CBDD-4617-9B96-59311DD54116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597952$E7EB381F-C400-476B-9211-45DE51B5B3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597952$E78F8813-3909-4D41-B604-DD3DC40C436A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11589aabb122aea7a67beda8efffa1e4222d1cc0","datavalue":{"value":"7906364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597952$19B1C799-74FB-479B-A444-D759D76086A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e7952de2800dddda7ae408c354c579039e31f2a","datavalue":{"value":"event-clock automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597952$985F38C8-C2E6-41B1-BC89-CACFA38F963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597952$B7D5B16E-7C4A-4B96-A383-A405ADD7D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4abcd7aff53adfdf8e7daf8e7f2780cf65d017e","datavalue":{"value":"zones","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597952$E9E4918B-6A31-4F37-A99C-9D9EF1A70E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597952$0E08302F-6587-4020-A7F3-C2F047F3DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597952$A882BE43-1C3B-40C1-AB54-90112588ED6A","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":"Q6597952$2359B089-3F43-49A8-B7C1-8816DA943C9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1568e7bc77c52f36a050784c968a077426de3984","datavalue":{"value":{"entity-type":"item","numeric-id":2248059,"id":"Q2248059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$1A9DEADE-05CE-4367-96C9-78136A5216C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$3C1AF681-0FC5-4E7E-BA08-230DF4149351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$1B452607-E3A8-4E4C-BBF7-FAF8AF74CB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f71b3eda1fdc38b6322f6d455a8085862beaa63","datavalue":{"value":{"entity-type":"item","numeric-id":6535636,"id":"Q6535636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$4991A90E-0515-4F94-93A3-2497B556EEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85a4450a8dcad528f0f79aba277eff6a0e47145","datavalue":{"value":{"entity-type":"item","numeric-id":6587119,"id":"Q6587119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$289F06E3-B2CC-420B-924A-3867CA34BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e88f1b4a631db70770ac6e322045c813c697169","datavalue":{"value":{"entity-type":"item","numeric-id":832208,"id":"Q832208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$8A3C6EAA-235B-435C-A5F9-9DEE571BDE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$1A7C139C-50F2-465A-AD8D-DF2B0D150138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$0C9F15F4-2C7F-4060-85CE-5BAE41F4A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$B4F0ED9B-02FE-40DF-A6B0-FD6CE22CB8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ac60f1deba4ac31dd5088903dba15b8944d13","datavalue":{"value":{"entity-type":"item","numeric-id":5464766,"id":"Q5464766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$DF8FF43F-EE13-41D2-9880-6FD0ECFF7E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286ad57ee425318e8a65bded4a739b7fc5c2dc39","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$D7CDC226-268F-4694-951D-803050038548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fcea7d39188a45f0a743c447953dc7f38995b","datavalue":{"value":{"entity-type":"item","numeric-id":6154574,"id":"Q6154574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$1F584E00-AF2D-4FDB-A2C9-F6A60EA09116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d263f50d095dbbd7029c2a0533d69ccf4374c2","datavalue":{"value":{"entity-type":"item","numeric-id":3172852,"id":"Q3172852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$6250A40D-6CD7-4D4C-AB9C-890EB7F8E1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4ff55991e2e0667835604e8093fd81c23ede13","datavalue":{"value":{"entity-type":"item","numeric-id":487253,"id":"Q487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$8C3FD395-0C69-4938-9835-520DEEC15E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$49D59671-7DEA-44E9-9524-7F948DEA087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$AB3EF3FD-704C-4F6C-A2FF-5ED03FC5C411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f4ed5d5ce346447c826b0419093db4275081c2","datavalue":{"value":{"entity-type":"item","numeric-id":4939602,"id":"Q4939602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$59ED6EAE-6719-474F-994C-4545933552BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b103e7c650cb833c27d77c19b0dea3997ea72e28","datavalue":{"value":{"entity-type":"item","numeric-id":6154573,"id":"Q6154573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$587FC68F-560F-44C1-B794-B4B033FC33F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19274c9c8fd29856d0baebec9035291e4b4c4769","datavalue":{"value":{"entity-type":"item","numeric-id":1044715,"id":"Q1044715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597952$0B59A153-C3FE-4E23-A620-217F29A3DD4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc2e118c46257d55c88c9d48f99cb0855322b26c","datavalue":{"value":"10.46298/LMCS-20(3:2)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597952$BB7BCE4B-248E-492E-BE5C-2020D089F139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c754b07e0f8d4d1a89615dfbdb5bc307e57ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":3172852,"id":"Q3172852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0313c24a7b15b1b3ffc1909acb81d71abed57abb","datavalue":{"value":{"amount":"+0.8583057522773743","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":"Q6597952$75F2BC53-2199-4AC0-AABD-5371E6C84DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee9f24e26e19f082a781bc52ca213f572fcd5b0","datavalue":{"value":{"entity-type":"item","numeric-id":487253,"id":"Q487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810163bee7b799e9fe1d916af1e3411c948b1854","datavalue":{"value":{"amount":"+0.8413292169570923","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":"Q6597952$C628576A-09DD-4E2F-9423-473128038AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5e35b6129d8bec91cf6f4decafdd5ef6a2343d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f59f4f7d21c77a42dead1bf6b97ba92889fbeb0","datavalue":{"value":{"amount":"+0.7819541692733765","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":"Q6597952$4DA04D69-9DAF-4D4B-8EE9-DB378BF7561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed4640e8644cab14a276ba5878b5c8cb567f9c5","datavalue":{"value":{"entity-type":"item","numeric-id":1647682,"id":"Q1647682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4da577afcbbcc78b2dc3da32674588af5232a9","datavalue":{"value":{"amount":"+0.7670964002609253","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":"Q6597952$78C89F55-9255-475C-BDD0-CD7D34DA82ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b936439579a5e78e79592feaec688d30ad4695c0","datavalue":{"value":{"entity-type":"item","numeric-id":6535636,"id":"Q6535636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a445b973e28557e8cbeb9d518ba48209f28e9449","datavalue":{"value":{"amount":"+0.7490766644477844","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":"Q6597952$B30AE9FD-6D19-4292-96C9-9B46C96864D2","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":"Q6597952$EA72D666-9854-44D7-BDF2-82388880E049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulations for event-clock automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulations_for_event-clock_automata"}}}}}