{"entities":{"Q2909149":{"pageid":2919874,"ns":120,"title":"Item:Q2909149","lastrevid":42485054,"modified":"2025-06-28T17:31:53Z","type":"item","id":"Q2909149","labels":{"en":{"language":"en","value":"An inductive approach for modal transition system refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073906"}},"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":"Q2909149$47DB3B77-6E0D-4045-916C-2C4ADBDBB0AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37a77036609a0b4dd1f45290758c66a274f08945","datavalue":{"value":"1245.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$37DA8E73-82D6-406A-8925-7A544B2D0B0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19338ce6b3f850d72f9b1fc8b48422c06968a030","datavalue":{"value":{"entity-type":"item","numeric-id":229320,"id":"Q229320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909149$66DDD8B0-E8D7-47F7-9159-9250079DBBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb6b14c79e5698b03eacb9a611e72f98d27bc02","datavalue":{"value":{"entity-type":"item","numeric-id":324688,"id":"Q324688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909149$CEA0C73E-EC0D-4BCE-AD68-C8227292B1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ee58e4b5c9bca3432c7c49a60c88449b158681f","datavalue":{"value":{"entity-type":"item","numeric-id":1996424,"id":"Q1996424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909149$3E5BBAD2-15A7-412E-A519-B811432794C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa93d6a3544bca54b692e991eafb066870b3b32","datavalue":{"value":{"entity-type":"item","numeric-id":1990513,"id":"Q1990513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909149$F86B622D-1D98-4FFC-9F5A-EFB335CA7E8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909149$9CA64583-BA32-4BB8-9507-BA364B3753EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"674e22077b98da4c6262ea32a8e7a7f7c34fd64f","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_da56.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909149$1A7E1F1A-44E6-4C39-813A-A8C0976ECEB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$DBC771E5-B272-4DE0-96E8-0F6DF23D56BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$A83B3277-6E50-4609-B901-C711E673508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$00EEC449-1A20-4801-B1E0-0772FDF11376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc9888d40fcb491fc4b24f57b9c816976d5ad644","datavalue":{"value":"6073906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$C925FEEC-8847-4EFE-83A8-7AF63104B756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909149$1CD6CC4A-BB19-4B4E-91DA-EE5D9FC21804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909149$3D394047-40DD-4D75-9100-22F3DDCF47DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909149$5C3AAF1E-5E4E-403B-9955-6E6FFFC8364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eda21f9216ceb353eba4019db944dca362deb6","datavalue":{"value":"event calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909149$5A30E222-5C78-4261-9F35-44193CD3144B","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":"Q2909149$3C17FB30-8C39-4E81-BE3D-E7314EF41530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42bdfb50bf61767e36c2bc63b05229056d3abe2a","datavalue":{"value":"W2104889737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$E11F91D3-1933-44F9-B323-E76A5C5C5150","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd99e4d0e1c6f9e4982c870ab809c457d5cdbba0","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909149$C64C3C1E-0D96-4ABE-919A-4736B198727E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8bbd601ff2180962f13cc62669235609021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":3088029,"id":"Q3088029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6185052ffe8976f04768e481c934eb5da2f9fa52","datavalue":{"value":{"amount":"+0.88722306","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":"Q2909149$108591A7-668D-4C00-BB3B-0A6A283FF8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ec441c3d44fca65d57104a393f9283143df5c7","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21506bebb73ed1dfbb3ea22b2fd92746a73ba6db","datavalue":{"value":{"amount":"+0.88453734","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":"Q2909149$F5713284-F020-4904-A7EB-836D46800017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf696f0a30d4e9b4dad69d3db180e209f4c429e","datavalue":{"value":{"entity-type":"item","numeric-id":3393411,"id":"Q3393411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cde72bd1916c4d1f2ab1f7ca6c2f4950bc82565","datavalue":{"value":{"amount":"+0.8842262","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":"Q2909149$488FEEB3-713E-4E9E-B13C-1133387FD78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6920ad3ec6d4a15b214a79ea7b4068d40052b0c9","datavalue":{"value":{"entity-type":"item","numeric-id":2851908,"id":"Q2851908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583c9887ded292de8aff37391be1ed7d5c59b40a","datavalue":{"value":{"amount":"+0.8805779","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":"Q2909149$7D2A75BB-7A4E-4BE9-BFB0-D5AE608DF24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6e889f27f5a482857d7794ed60525d78de8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3087449,"id":"Q3087449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ea09d986bba568f9fc72575b0184c01c81e436","datavalue":{"value":{"amount":"+0.8756242","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":"Q2909149$FB5DA855-7E79-435B-AA11-998697076F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c413ae3ec45441b68d55ee8f38edc0fccb47f074","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2337ab796ddb3662beeb20e520121be0baaa17","datavalue":{"value":{"amount":"+0.87393785","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":"Q2909149$3190A029-3999-4C63-9894-506468D42CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1fae45d1c3b308655127ba1e86a3f7b81f3bd2","datavalue":{"value":{"entity-type":"item","numeric-id":4737005,"id":"Q4737005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82252d986007f96bbc137201c8d967a76938c8da","datavalue":{"value":{"amount":"+0.87100255","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":"Q2909149$F20AF0E0-3863-4ADB-8A3C-A630CDAFE259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f504f28226a77744271ba572881082cd8a5d76","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b895e42f5109ae15c2aca6abd6e81155de9b78f1","datavalue":{"value":{"amount":"+0.87024784","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":"Q2909149$48EF1A24-B218-457C-8537-F62F700274A3","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":"a5b7e2d6d067829d5a78d69aa2597cc415c866bf","datavalue":{"value":{"amount":"+0.87018776","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":"Q2909149$32DE8842-FCF9-40A7-B038-E588F647D460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edcaba40c26ba6d8ab33d9c18f107e4f8d976f2","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7b07c285c4d343fcdf3fe5615ba76a6fb3f0b5","datavalue":{"value":{"amount":"+0.86740303","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":"Q2909149$6658EF15-AB23-4955-8BD4-352FB3546464","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055ea4ec2b740428c82e929d368ef3ba26ac0e6a","datavalue":{"value":{"text":"An inductive approach for modal transition system refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909149$E4406ED9-A8EC-492B-A940-1642B8BBB759","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909149"}}}}}