{"entities":{"Q1709456":{"pageid":1720197,"ns":120,"title":"Item:Q1709456","lastrevid":43286751,"modified":"2025-07-23T14:11:56Z","type":"item","id":"Q1709456","labels":{"en":{"language":"en","value":"Attributed transition systems with hidden transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856399"}},"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":"Q1709456$923228F1-ACC8-46AE-B9D9-FD25B3743C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d1cd9551c0e8ec373342da5c658ae94d5571f29","datavalue":{"value":{"text":"Attributed transition systems with hidden transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709456$9B2F66FC-8D2A-4B2D-958D-088848FD3723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d767b116f30d467e105f47b40b8653615ab6aea","datavalue":{"value":"1400.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709456$F2A3E552-27EF-4F3B-A8DF-67552210C93A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddf53fb09c4e4ee45ac66fffeba937512fdd55d","datavalue":{"value":{"entity-type":"item","numeric-id":1667024,"id":"Q1667024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$51D32A09-4E4A-407F-9F8F-F733338D7277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$8086D202-E73E-4388-A320-DAD39F5700CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb5f99ba419b7cb955bf510c52103b6e8129dbb5","datavalue":{"value":{"time":"+2018-04-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":"Q1709456$389EF269-A59B-4405-B607-4C7FFDC527FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709456$A6A609A9-FF63-47C9-9B37-3E66780964E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709456$821B5070-A86C-40A1-A7C5-3281DDDF860D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d879446cf8ad3b96940ee6fdb042bf01bd34ab8","datavalue":{"value":"6856399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709456$D626594B-DE6A-4465-98B7-A440FC7603F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca63a429b5cfecac32f36dcc4e9590bea7baec5","datavalue":{"value":"attributed transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709456$B05D9E48-5D0A-456D-AD48-FD0C4E684C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0c02e9cef76b73fe353fafc142ad36941a4b7a","datavalue":{"value":"hidden transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709456$97240E9D-DC5A-489C-A3D3-A93E1D0337D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709456$68ACE1C5-5766-453F-A612-4CDAEE871D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e193c4a5ab990c93bf0629ade163e54da7bc63b1","datavalue":{"value":"safeness and correctness of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709456$803B0448-AC7D-4FFE-BCD4-EF97FB12EFCC","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":"Q1709456$41E8C487-ABDD-46B1-A7A7-E9779A996B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f18341305144ac3dc871e2dd63678f1b113dd8a","datavalue":{"value":"https://doi.org/10.1007/s10559-017-9954-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709456$F49AF2C0-8B8C-4662-832D-4B39C411E878","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"963729c0e1a5070297f7d3276198710f13f47de9","datavalue":{"value":"W2737932601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709456$5B394218-4BC7-4C11-8612-26F355B9A7E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bafb189e8c5e0def0d7b1ada0df6f3252951ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2508786,"id":"Q2508786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$766A88AB-8B4C-41DC-9297-A254FCB59FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddb2a9513fe3f902ac4b8da9988f623584a6147","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$2641BF5B-65A0-48C2-935C-00524EF951E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$1790B3EB-3717-47BE-8E6A-2AE7C308F02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$C06547D4-4EB2-4F79-BF49-575966A93A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c979116aac73952522405608e0e7d1878c55855","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$DE06C99E-2B2D-40ED-9521-432B4FC1BF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346b3eaa880d5d6b581f077a76d9b222ad56a67b","datavalue":{"value":{"entity-type":"item","numeric-id":681892,"id":"Q681892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$06994AE1-8A1D-4D5A-9003-22AB2DD99E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$52C33318-E30D-4FFF-97EA-221B5462A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d12695d4a3731e56edebe1f68edf8feccbdbd8","datavalue":{"value":{"entity-type":"item","numeric-id":4398864,"id":"Q4398864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709456$65362C2B-37A1-426D-B53D-3F61CF4C9803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"343a317440e93cc831ec1dc41a4cdbfb883feb7c","datavalue":{"value":"10.1007/S10559-017-9954-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709456$4ED4E7AA-7E7B-4DDE-8DA5-60B132EF056B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4677a4896cd4a3ba029ffceaf8029041c6ca4d53","datavalue":{"value":{"entity-type":"item","numeric-id":681892,"id":"Q681892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70368d04600305c1f7ba99b8a1afb446cc4c71e8","datavalue":{"value":{"amount":"+0.9247172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$83D579C5-9A15-4751-86FC-476603BD927B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f598a43183970243d45a2ad32f55576bce46190","datavalue":{"value":{"entity-type":"item","numeric-id":3397630,"id":"Q3397630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df53f610054b316de3b44b4bcf8238be17dbe56","datavalue":{"value":{"amount":"+0.8309181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$F2784884-2AD9-4C09-8E6B-9A66A51888A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39e6e67cb6135a0d72a6883b0dcf379e0162098","datavalue":{"value":{"entity-type":"item","numeric-id":3600485,"id":"Q3600485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f0b56cd3145896226f790d59dfedf9beb449a1","datavalue":{"value":{"amount":"+0.8290808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$E550B6F0-6137-4D57-B3D7-C634C22EA395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67875a0421817f3cffe34004062549a5f5b2134","datavalue":{"value":{"entity-type":"item","numeric-id":1892885,"id":"Q1892885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1249e8ce350d8fd774e8e8a4445a70927b376b09","datavalue":{"value":{"amount":"+0.8274504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$A9EBBE88-A33A-4B06-B1E1-DEA716D43A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcede28f3de2392fef72fd70708ba205a6e44fd","datavalue":{"value":{"entity-type":"item","numeric-id":4244302,"id":"Q4244302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad189052d4f7a48f12ca3917447e48e95330d06","datavalue":{"value":{"amount":"+0.82560474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$F4698A8F-7D56-4575-A439-381189731C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64b010a8592d22863ce869c805eefffbfb891ac","datavalue":{"value":{"entity-type":"item","numeric-id":293333,"id":"Q293333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e405c867138bee58352c2096a98c1c87cff0e69","datavalue":{"value":{"amount":"+0.8237823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$577F7D3C-724B-44CF-B679-3216B25DCB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbb8cd863147beb295c3db490fd27853febeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db1d05744b596acaa3a8e8cc748a760102166b1","datavalue":{"value":{"amount":"+0.8191887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$207A4246-3809-414C-850E-31827A96BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdce9b63cb517ed27004e260c33e1d2598202b3","datavalue":{"value":{"entity-type":"item","numeric-id":4209403,"id":"Q4209403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e16c443d6acc64b37e87dc5553b4fc5ce59ee68","datavalue":{"value":{"amount":"+0.8180614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$5D335D7A-806A-4593-AEC0-BB189FA64540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba9d3b44f69296a2c5ab65be472a77b71c31bfe","datavalue":{"value":{"entity-type":"item","numeric-id":5758140,"id":"Q5758140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46e94e257a36be15cd47a08e88ac394ce5dcff6","datavalue":{"value":{"amount":"+0.8175944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709456$1CFD6E38-EDD2-4B05-8282-EB440246EDD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709456"}}}}}