{"entities":{"Q681892":{"pageid":683741,"ns":120,"title":"Item:Q681892","lastrevid":63553869,"modified":"2026-04-11T13:56:53Z","type":"item","id":"Q681892","labels":{"en":{"language":"en","value":"Analysis of the structure of attributed transition systems without hidden transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837660"}},"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":"Q681892$E51184C2-A9B4-437A-A222-DB68EF55E7C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6865cf29cc210604e8f682b615e33fbed017a9aa","datavalue":{"value":{"text":"Analysis of the structure of attributed transition systems without hidden transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681892$9D46A721-CFF7-430B-8D34-11C8C3770196","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30f8eb586248ba77ac7a8fd66fda4cd2f67b477f","datavalue":{"value":"1380.93005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$25F0125B-C42A-4A85-A338-E63A5B3DECD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681892$555365A7-47B4-417D-A322-A7B62D5B3412","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":"Q681892$69DB93D0-0E86-4E16-8A50-B5B0C59B03DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-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":"Q681892$CECA9BD3-6BB4-4098-A451-81E5E6314DD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$95B90908-0092-4855-BEA2-3C9CBDCA64A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$493D6835-A638-41F3-BAE7-546F0A254C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$793FEB8A-A2D1-4E0E-B759-7B47B4116DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4be0e39dbdcd80116554ecd5ca7b0aac37d57679","datavalue":{"value":"6837660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$AD64CB55-BD0F-418A-8470-7A4428686EEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76f7c7c15f33d2d81186031ec4258ca9940edfde","datavalue":{"value":"attributed transition system without hidden transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$7C567224-A234-4D52-BD54-DF8A69E65061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726c2c29625f5693a283422f4ef7f65313a2d8e3","datavalue":{"value":"composition of attributed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$A832F578-252A-4629-9064-053E8DAAFD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb1fccea9893a75d0edb01779fef607bc38eb63","datavalue":{"value":"safeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$5B752CB2-8CC6-41E2-81AB-FDDF8795AA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$F7F812B5-E837-4FCE-9D9B-1CC4292908F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206758481d2724831025c5d47539e4537e346907","datavalue":{"value":"structure of sets of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$F53A9319-FD76-4928-9EC4-8A954ED97D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28034447f7312ca89d5e749631d5ce06da5624b6","datavalue":{"value":"histories","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$C6941F78-BFAB-4448-B1CD-D29351D007A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11b53e44c3eb209f9aa1d57b89549872c36ad7a","datavalue":{"value":"and traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q681892$8D0F1A4F-C018-4CDE-97B1-9317043B1371","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":"Q681892$39EBABF3-EAED-4E7B-B11B-A2F865978D6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ccf9ad3f9253f446d9ce6c858091f8591ad4ed","datavalue":{"value":"https://doi.org/10.1007/s10559-017-9916-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q681892$677E740D-C5B0-4BFF-8DDC-AE1046009121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f5dee40a9a5b85d8afe25b4e9132adf5194feb9","datavalue":{"value":"W2598303649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$B514EDE4-8CBF-46C0-A913-80AE80417A0B","rank":"normal"}],"P223":[{"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":"Q681892$85CFBA53-BC51-44A0-99B5-5A9D4B2484E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f484b752a57e8b3d3c38287defd61893fbbd92b5","datavalue":{"value":{"entity-type":"item","numeric-id":1429048,"id":"Q1429048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681892$D92B52B2-955C-4482-B092-C9ACD17DA182","rank":"normal"},{"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":"Q681892$22F1713B-5E3C-446F-8D23-A2B027F858E6","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":"Q681892$4EC2ED0D-EF17-432A-969B-C6D271CB1BFF","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":"Q681892$7AEFACE6-5A1E-4C52-9CE1-770982A91EC3","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":"Q681892$F6FAAF49-4AF4-4FB7-909C-BC80E89A0A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0000fcdc7cb2781c15d6665a96d1e2b7aa05cf71","datavalue":{"value":{"entity-type":"item","numeric-id":4807439,"id":"Q4807439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681892$32730F69-66DF-46A7-BDA2-E803E30AD88D","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":"Q681892$2BCBE2D4-9BE6-491B-BA4A-6B4AB5D20097","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a2268fa95ce0f0e82752d9c105f7fc6f28e55c","datavalue":{"value":"10.1007/S10559-017-9916-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681892$712826AA-A4E0-41D0-A871-E87DB504E8EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4caf595da4b743436c6b91c671e93b0eaeef4c4","datavalue":{"value":{"entity-type":"item","numeric-id":1709456,"id":"Q1709456"},"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":"Q681892$004256FC-BBD1-42CB-BDFB-DA4AD11AE69F","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":"3166a67d52ad25dacb4d6af2069a141eea024a1a","datavalue":{"value":{"amount":"+0.84899616","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":"Q681892$3F1ED961-84F9-44FC-A54C-252612B1A2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b6fee382d5a58099a4c8d0a3a54c79195649c","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bd09fad67cb9b070740a59e02aa26971bcb3b2","datavalue":{"value":{"amount":"+0.84096384","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":"Q681892$83414670-605D-4BC3-823B-476AAEEDD53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8184604b4b1f7181e1c7e2730fe10483270574e0","datavalue":{"value":{"entity-type":"item","numeric-id":1667079,"id":"Q1667079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240fc209df60fc17e4a84820ce3007001337c3ea","datavalue":{"value":{"amount":"+0.83956337","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":"Q681892$C0327700-4C4C-44A1-80DA-3639273A0A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c37bd2cc98d9cb19a458db001822bcbdcf02248","datavalue":{"value":{"entity-type":"item","numeric-id":2753714,"id":"Q2753714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6f7fe57cc4d75eaeabbd976a27da0bacedcd91","datavalue":{"value":{"amount":"+0.8299728","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":"Q681892$C17D614A-D251-433B-B335-C94D41F37E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bafdae68a3343fb9887f4b4c13b0e4dc09dcd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1276498,"id":"Q1276498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494036c7d8657b2fa2125170d901adfed538bd9a","datavalue":{"value":{"amount":"+0.8288928","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":"Q681892$9864167E-E20D-4FDB-BDCC-6BEF67913ED5","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":"7af0803f5dc653e5c3ed6cf5f1a9a9d9ffb2038b","datavalue":{"value":{"amount":"+0.8281919","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":"Q681892$CF705FA0-CF35-4152-BD30-F62BBEBFBE4E","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":"f0295cd135394a2656723b1e964a5a5387599f98","datavalue":{"value":{"amount":"+0.8264929","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":"Q681892$A1C283AD-1FF7-443A-91D6-1010E549E192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f326ef95e4759df2a72a88bd84551c8a178d6f83","datavalue":{"value":{"entity-type":"item","numeric-id":553290,"id":"Q553290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47285c23fef5f0c3c59c4d873cb118176cb939a7","datavalue":{"value":{"amount":"+0.8256724","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":"Q681892$B8F8E36D-D5DB-4851-B895-5EFC2A9EBDA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of the structure of attributed transition systems without hidden transitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_of_the_structure_of_attributed_transition_systems_without_hidden_transitions"}}}}}