{"entities":{"Q6122597":{"pageid":13256904,"ns":120,"title":"Item:Q6122597","lastrevid":55595197,"modified":"2026-02-17T19:26:28Z","type":"item","id":"Q6122597","labels":{"en":{"language":"en","value":"State-based opacity of labeled real-time automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811872"}},"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":"Q6122597$0DFADC7E-0AFD-419A-BC5B-58A9E08A1A57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ffd223aa4a942cb774a3cc523c01b8badc31251","datavalue":{"value":{"text":"State-based opacity of labeled real-time automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6122597$1A4D6FFD-FC66-497A-B8F4-CDF8C7C9AC41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd9aa205303970dfff1abb1f0102c70993dfb5db","datavalue":{"value":{"entity-type":"item","numeric-id":428113,"id":"Q428113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$7EDFAA0A-6B2B-41A5-B398-32CE7BD74936","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$A987ED73-C97F-4C8F-9189-2900654F5D39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b4f8179f4c5af9d5e23c2be86ce4f3fdf855100","datavalue":{"value":{"time":"+2024-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6122597$319ED6A2-EAD6-462A-9328-AA30012C2677","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122597$222E0BD0-FCC0-4BEA-B2FB-9125A8C8F458","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e27385cfd3f2fd6657a42eb752b9c0c064c5ca90","datavalue":{"value":"7811872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122597$F80F1F7F-383C-40F4-9B85-1224BB0911A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65addc424c48b661c2daa99bcbed6f70b26591bf","datavalue":{"value":"labeled real-time automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122597$A9938D8D-EC5A-45FD-84A8-0998EAF6F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d686d6aa9c8cdc477920e16a2ba66268ff9235c9","datavalue":{"value":"state-based opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122597$7C3284E2-8B93-4DB5-A066-7A0BB303FFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bfcd3685ee28b4f3b5c1a737e56e9974931db92","datavalue":{"value":"observer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122597$87A91558-26B1-42EB-9AAC-0868F4AAFCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6122597$9C466EF8-7BC7-4708-8374-F4DAE6484213","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":"Q6122597$88389856-8B80-4EF6-BBE5-3CA5B423DE33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d49073adcd12d9687d129ee734c1a7db7cbbb9dd","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2023.114373","type":"string"},"datatype":"url"},"type":"statement","id":"Q6122597$F28FCBD2-104E-4331-8DF8-A199ECBE13F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a5d1527c33a800899f571328441017cc0b2a357","datavalue":{"value":"W4390399279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122597$72B0E58B-1C7D-40CC-B422-1965EE5A599E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c4f1826cb1d784c56cb3116bf85154d548ef4a","datavalue":{"value":{"entity-type":"item","numeric-id":2063098,"id":"Q2063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$F1AF5271-94F5-460E-81F8-355E74BF438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02745feb7d8bca3df0b11844f9c90cdd79a5c9d","datavalue":{"value":{"entity-type":"item","numeric-id":4686521,"id":"Q4686521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$8294A42D-8557-42FA-AE13-8A56F47E0749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdd3bee3822a330b36d9b7173ff2f0229ea9f2","datavalue":{"value":{"entity-type":"item","numeric-id":3648711,"id":"Q3648711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$979283AB-A873-4B7C-B434-D019DCA010CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$A1A6100F-B104-405A-81B3-609A7CE1C366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d787b0e5094845630de82784288c748c297a4708","datavalue":{"value":{"entity-type":"item","numeric-id":2348371,"id":"Q2348371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$1183EF65-7C74-4FE6-910D-9B2BE5C3D939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94c553b83f0a7713e740de3f15b3f82b8fef527","datavalue":{"value":{"entity-type":"item","numeric-id":1115858,"id":"Q1115858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$542891DD-2BF7-41D7-B7DC-ACD8F13C74C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725bee0827e161eab9ec54d4bc427a4ed9a0df7a","datavalue":{"value":{"entity-type":"item","numeric-id":3008106,"id":"Q3008106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$DD0221CF-D4A4-4DA1-BC68-E7C5C2E587A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ab274b4820cfa52d933f381cc23b9705797db3","datavalue":{"value":{"entity-type":"item","numeric-id":3455066,"id":"Q3455066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$9E93078A-8FB8-4E94-A2C0-9E59337A4F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c062ccb7e3811a9f8638f8a896705562b3c67e","datavalue":{"value":{"entity-type":"item","numeric-id":4635632,"id":"Q4635632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$65D18F80-C89A-45EC-943B-AD5C64EB9A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221b39b5eb2511e3abdbe22cb2f253f38abc9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5243063,"id":"Q5243063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$1EAE22D8-D757-475C-80C2-2EC259FD7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637e92771b4610d69f5a704a677d05d421c20ce","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$4C9F044F-9CDB-46E6-9ABC-615C7C845981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faadc807438b8c430497e52146177721487086e0","datavalue":{"value":{"entity-type":"item","numeric-id":2777605,"id":"Q2777605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$ADE41915-359A-4AD7-A83C-ADC0F9755148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$1D8735C4-4784-424C-A67B-CA200CCB2D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa3eeeeb3c8a3a6066b8c40815a510ff335cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5352820,"id":"Q5352820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$07D99506-00E0-47A4-BC07-7C2E821B0A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d420159da4dbaf99e607ee683af81fcb8509d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":497279,"id":"Q497279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$5BB16330-4691-4861-A3D9-F536ED06A841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$209E4C42-F756-468F-9348-E9BFE777CED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee70d58197e8b2f93369e6decb3b5ea2f045946","datavalue":{"value":{"entity-type":"item","numeric-id":2407162,"id":"Q2407162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$FF04F17B-A0FB-45DE-8A23-F6E20F8477CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0215bf9fb0b6d60284220ec58c2136ca2c9f2af5","datavalue":{"value":{"entity-type":"item","numeric-id":6165768,"id":"Q6165768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$BD4E6193-8142-4482-8EDC-4C09A6F41C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64c92fedabc88b70cdf8f87988d63e7b658d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":373013,"id":"Q373013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$814CC951-9C96-4099-9916-49FF42431C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fb65c1e1c1c57f720e9dd8666934ddc0e3f335","datavalue":{"value":{"entity-type":"item","numeric-id":682359,"id":"Q682359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$003C1825-4EC5-44E4-878B-927B44AE43F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d27f7a1ac7f976b2c2d91a5dd3d57785f279a5","datavalue":{"value":{"entity-type":"item","numeric-id":2407182,"id":"Q2407182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$A95361D5-4177-42F0-9962-3EBAA3E7204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749157f8d66f860c5299620fcbc14fa53b2b90a2","datavalue":{"value":{"entity-type":"item","numeric-id":2081085,"id":"Q2081085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6122597$E1510E89-15EE-4E80-827C-F115A742075F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00199d8329951a3307a5906c6ccf80521efcdc48","datavalue":{"value":"10.1016/J.TCS.2023.114373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6122597$D65E8CDD-B954-486D-96F0-6A55264158CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420d61a7d953472321233a26e045b095e905e60f","datavalue":{"value":{"entity-type":"item","numeric-id":6587272,"id":"Q6587272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb8b121a2303c92421281e326bcd77b4ad86c24","datavalue":{"value":{"amount":"+0.985019326210022","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":"Q6122597$660DF418-25A6-428A-9238-C161C142227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8319fcf6b73f2aa3ef0471c7d5eb956d30db5825","datavalue":{"value":{"entity-type":"item","numeric-id":6165768,"id":"Q6165768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a1e9b84de67eaf33ee9a9d38b3f45cb7e76073","datavalue":{"value":{"amount":"+0.8736956715583801","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":"Q6122597$CEB79811-AE0B-4246-A958-14D57AEC55DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ad8fcd13c2299a0a091729db8fa9a6585c02e6","datavalue":{"value":{"entity-type":"item","numeric-id":6165326,"id":"Q6165326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178c9295aa767be2a4360852cf26a91846bf7217","datavalue":{"value":{"amount":"+0.8413617014884949","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":"Q6122597$C570AD5D-0C8A-4852-928C-3BFAAE40A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b536158042952156ec40ec579874650f780a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2682301,"id":"Q2682301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e199d365e91b1d071d619106312aab303fee31f3","datavalue":{"value":{"amount":"+0.8412117958068848","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":"Q6122597$3ED67A23-8B3D-4487-AAEB-91FB2BA2A52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3903005b2053043c43c7f530ef193a6fe7a361","datavalue":{"value":{"entity-type":"item","numeric-id":2063098,"id":"Q2063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abc126b827458ec1421fe059d80b217aa48ebf2","datavalue":{"value":{"amount":"+0.8386260867118835","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":"Q6122597$747BC353-FD71-4071-BE11-C2CC147DED83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6122597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6122597"}}}}}