{"entities":{"Q2423766":{"pageid":2434509,"ns":120,"title":"Item:Q2423766","lastrevid":74198109,"modified":"2026-04-14T18:54:49Z","type":"item","id":"Q2423766","labels":{"en":{"language":"en","value":"Modal transition system encoding of featured transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069247"}},"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":"Q2423766$9DA7DD43-8533-4DF0-90CE-7C6A2AA8E198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db4cc06ac562ad45093b8ac89d91c13a4c376228","datavalue":{"value":{"text":"Modal transition system encoding of featured transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423766$8585D1C5-F35F-46F9-9111-704DB8F82159","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e28b1e333aa90c54260c1f0c4535e36b96d2bd2","datavalue":{"value":"1423.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423766$E9088A72-40FC-49A2-9896-A4241C49782E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$EE22BF2B-16F7-4C4C-8971-B52B30AB8EC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$8BD31B96-95EE-496C-ABF5-9F7F06C6293D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423766$140EFE99-01B1-4300-9FAE-D13BCA46085A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"301a8471222151143f49442d586473baa4d03033","datavalue":{"value":"http://hdl.handle.net/2381/43831","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423766$AF15BF28-A96E-41CD-93CB-AFF29EAFDE79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423766$A93CC9EF-3A42-43AB-A13E-217825AF1094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30cbec08e9f080ab075d290b6385d67472e06cab","datavalue":{"value":"7069247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423766$D78C7D7B-FC07-40BD-A4A1-99B1C0A79D3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d954765e9c7b746d109039339561e3525d40bc1","datavalue":{"value":"featured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423766$DA55A5DA-21C6-4F4E-BFA0-6CFBC5A8B3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423766$249AA826-DE9C-4F48-BB8A-781CF10C37F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423766$94D87F64-BE89-4F65-9CCC-C04196CCE297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fe2225179356e01b416ea3d236ec56f25ce33b","datavalue":{"value":"product lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423766$3EC9129A-C764-47A3-8048-C63637E64B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423766$C2EF3B7B-EF09-4084-B5B0-80D4122E1896","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69a6cdd50aa1b254a34e32e1cecf25951df27d2d","datavalue":{"value":{"entity-type":"item","numeric-id":21227,"id":"Q21227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$1AF69378-F36A-4BBC-B5B0-C3A59A5CD2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$71034BC4-9896-452A-8BA5-ABA35AA19241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa0a015c7ff5550e74185ed9d70b576324c4cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":21724,"id":"Q21724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$74F93BE4-78CA-4C87-9E0F-2C0871F01AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efeed52009f72e31f44ab5bfde530f4a91fb82be","datavalue":{"value":{"entity-type":"item","numeric-id":21756,"id":"Q21756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$5222168C-6107-460F-980E-852B8F9D8B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$25BF6B13-3017-4B49-A2A6-322C58E1FDAA","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":"Q2423766$FDC3D032-0366-43FD-AC13-9559538253DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6ad0f81a181a2ca3e39045c993253d14c5346c0","datavalue":{"value":"W2924803411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423766$F5FB06B4-2CF0-417D-A983-5E8A25DC8A8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$68723995-AB2A-4CA5-AC9A-50993FA2A250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$D8507793-DE16-4C69-8582-13F96D62C986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900bc7997e7deaa287902f2ad93d9def7be50e2","datavalue":{"value":{"entity-type":"item","numeric-id":953529,"id":"Q953529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$9CC3F7C9-41FA-4245-BD6E-CC0F23E45375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f18366632940696f7135895fff3e91ddd03adeb","datavalue":{"value":{"entity-type":"item","numeric-id":5963087,"id":"Q5963087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$113D1CF9-1959-4956-8449-E6F79B40F337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4c47b617e0a3ede8405b7df32d707d75df888a","datavalue":{"value":{"entity-type":"item","numeric-id":2206253,"id":"Q2206253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$09D4B170-DAC0-495C-9FCA-3070CE2FFD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf184b2b10083e857039ebc2c822568a0c412fb5","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$BB3C286B-4DBA-4127-8D5C-AD82E3FCBBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$9769B57E-3CA0-4310-97FA-BD58C31AE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f738146de175f9291733278b70baabacfab3c81","datavalue":{"value":{"entity-type":"item","numeric-id":3172920,"id":"Q3172920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$E7A9326A-3563-4767-A4D1-FCCA2F7DEBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b323e1216f05a7b37c67e8786da9c31dd108f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":2851908,"id":"Q2851908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$B2D4DD79-94C1-4689-BE5D-99CDB6EBA2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fc139186980597c456d0e6ea71cfff05086c9b","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423766$95419A91-FBC1-48A4-AFA4-65AF2525BA0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a078253a117d93df52045a324b2af73fe6e540d1","datavalue":{"value":"Q128198749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423766$905D6644-6115-4214-8F58-61AFE478FAC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a2170d41cb7faddc4c00b6ef02721399f34159","datavalue":{"value":"10.1016/J.JLAMP.2019.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423766$77BED037-A65F-4AC6-A455-4D7017F55E30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d381af53f9b673ce8cec10acd3b43e16f36bf4","datavalue":{"value":{"entity-type":"item","numeric-id":3172920,"id":"Q3172920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca68d4bde87e7d38f103b584e6c90500a4de96a","datavalue":{"value":{"amount":"+0.86452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$3DF8101F-5402-44E4-99E2-4C0AC24360F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091816779500abc1a2d4e26f6bacacd980c8182b","datavalue":{"value":{"entity-type":"item","numeric-id":2248057,"id":"Q2248057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ccc3e24d194bb5afa8dededeb78c504b6d1d3a","datavalue":{"value":{"amount":"+0.8493529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$05401BC4-4EA1-4CE2-B5E9-0B038F28685E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586756c33e8866ec2392fad4324c21086beede9","datavalue":{"value":{"entity-type":"item","numeric-id":4647857,"id":"Q4647857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774c3997288b65582c19ba0ba7f659411db1510c","datavalue":{"value":{"amount":"+0.83648396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$7A78E336-65B4-4C5D-99D9-9C6A18184642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a42d2d9ef1a64b26a63fab3fb59de41f7fb7344","datavalue":{"value":{"entity-type":"item","numeric-id":444490,"id":"Q444490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30089a31d927ac8cb4e3874de691456c6a7d62b","datavalue":{"value":{"amount":"+0.8347406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$3F4A1726-DAA0-4AC4-A2E1-9D60E86B22D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc9c064453489037a7ac22d0c5c40e5d0ca5810","datavalue":{"value":{"entity-type":"item","numeric-id":5170745,"id":"Q5170745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf05f8ba784512831100c61a2af618d3c7a7852","datavalue":{"value":{"amount":"+0.8267374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$EC7DB399-8140-480C-8363-6D5BB91D9CE5","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":"4160ea9141f4f00c4417608652942ce7ddcffb31","datavalue":{"value":{"amount":"+0.8257937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$A01A7251-D7E8-4B77-8C75-458BBED49D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaea121a8afd5bc58d197eda7e3576390f33abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848870,"id":"Q2848870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b5f3ed8284451d6a7adbb57b5bee5c7b1cffdc","datavalue":{"value":{"amount":"+0.8232249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$D76D6E44-9D2D-4559-B508-F22E14EBD144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904962dfdd77ce7a5425d0d06bc3af147e0d92a9","datavalue":{"value":{"entity-type":"item","numeric-id":5897721,"id":"Q5897721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0129955aee64ebdc2061e9af498c5a0e2bc104d7","datavalue":{"value":{"amount":"+0.82178617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2423766$C8EC8180-BAB1-42F0-A6B9-B0802676C115","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal transition system encoding of featured transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_transition_system_encoding_of_featured_transition_systems"}}}}}