{"entities":{"Q2873685":{"pageid":2884405,"ns":120,"title":"Item:Q2873685","lastrevid":83876855,"modified":"2026-05-07T13:21:34Z","type":"item","id":"Q2873685","labels":{"en":{"language":"en","value":"Automatic verification of combined specifications: an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250423"}},"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":"Q2873685$8985144C-E56C-4BEA-B347-15731BEF4BA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be76515056c11a0b6390fb85a573e71d4cf9dd88","datavalue":{"value":"1279.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873685$5640620B-E25E-4E32-BCAA-D39FB35E370B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$482DCEBD-9DC6-47C9-8DB8-2E41A5CF89F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873685$18D0F1C3-A0C8-4E0A-B5DC-6B8DB438202A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873685$CC7FEC99-4DAB-4AA5-8BF4-C1C2E2F2E909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873685$987BA814-B4A4-4001-A476-0C86C8EA0DC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c6d49f2f8e002e4cb7ee8e3d996f513d2952b1","datavalue":{"value":"6250423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873685$9B7D8970-7D85-459C-83A0-424B30F40F51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$569ED10C-D599-44E2-A9AE-159C9E25A09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a01b51204a4ad79209dcf46fe05ce5e453d6f6","datavalue":{"value":"complex data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$E3CBC3CA-D46B-4C0E-A22A-FC2CACAE19C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$C118F3FD-F380-4D62-AE2A-4F067747DB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$471FE8DE-0322-4F36-AC92-253C0AC4A3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$B15E519A-599F-4BE1-9C90-8BF6628EEA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$08E97341-D8C0-43C9-8B8F-D40C189D8FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$81CA5801-A882-4700-8231-3D355693F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"441fab78633db19b7c86638e8bcf8574e13f6c07","datavalue":{"value":"UML profile","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$E8984694-A526-4D3E-8939-280BD23DD472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbbdcf1c701541c2a3103ebcd643f1515606d8","datavalue":{"value":"tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873685$DA90E5CD-3EB1-40E7-AA33-AB154065F75A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$957B9A7C-A6D6-4CE9-905E-C80FF931289D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$10BB991A-174B-4D59-8A5B-6E67713B8389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$332D4556-3A83-4A94-988B-6B68E9F007F7","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":"Q2873685$97AD5439-93A4-4DBA-A729-8FF4D7CBF9AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9380c183e7dd7421f027868cd399ad41e0abc005","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.082","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873685$A152F2E7-F0FF-4002-960B-94CBEFA5243F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69b2d9f14f4fc768862c14b7fe7f01060e98d3c6","datavalue":{"value":"W2020801438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873685$871691B7-A744-4A6F-9372-1E77FCC5B635","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$2F527143-6408-4AF2-9198-72553742D33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7f8ca75dde8d53e108a39bb964ccd4254ac96","datavalue":{"value":{"entity-type":"item","numeric-id":3608880,"id":"Q3608880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$CA0EF978-2A35-4C5C-B4E6-28418B1A8E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795b1a061abfafe5b5e7e8a6bacc5171c70bcb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3431403,"id":"Q3431403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$F45CA790-B17A-4615-9189-CF60C909CCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65e2a392507335149429c896dcea59bd699329","datavalue":{"value":{"entity-type":"item","numeric-id":3608886,"id":"Q3608886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$919A99D7-EE0C-4165-987C-BC72CA813760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$75B216E3-3E4D-40DD-8222-DF672E43A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$5D51AED3-7C3D-4701-B326-3C2E54B4FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367d562990b76b4d54a1ba3e42be0034cb0ebd91","datavalue":{"value":{"entity-type":"item","numeric-id":5716897,"id":"Q5716897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$22867527-0912-4E3F-AFC4-A3EEF7C207C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe02f6c1a0c23632b2650813603fb3c2693054b","datavalue":{"value":{"entity-type":"item","numeric-id":4654725,"id":"Q4654725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$2DE86066-AA0E-4AA6-A67C-658AB6AA6373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8571cfb6c41c9203dbca31502594520874a2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$74122B52-AF05-4F9B-811F-7565B13E4E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$E6D00D24-A463-4C78-BF46-9BC9F3CAD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79615e9fb0f707674c996e6683a400855fede347","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$0C9E9A1B-9BC0-4758-8E52-7D4D50DB61F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e9a97e365d38979e4f1fc8440770be07509db","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$8AE05CE8-1DE2-4BF3-83DC-FE66D9D1F59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fee756ef646717e29e0b50bc72f467aa7f7362","datavalue":{"value":{"entity-type":"item","numeric-id":2481209,"id":"Q2481209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$B56D80E5-4D9A-41AA-A9FA-E8D45F2748DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$E77FA35A-6026-4802-99D3-9F17D40A6A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6453ed1e44e7e3579fb9c2bb45e3dadf04c69d5","datavalue":{"value":{"entity-type":"item","numeric-id":3126783,"id":"Q3126783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$61F9F091-E93D-47D7-BE66-3C8E29D91F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$6D1633E2-037F-485C-A3B4-DB3ECA2D1451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$79915E82-5416-4044-9C92-EB5539F1C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$A8BFCBF9-164E-4E64-B531-CE840A4A6C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6de67ef4615ff33e4344c32b01aa7b8276c52","datavalue":{"value":{"entity-type":"item","numeric-id":3613412,"id":"Q3613412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$00F84D48-2498-4083-A932-BF2A26927ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fdccfd997b65b96d83b1e6d89c21922b048741","datavalue":{"value":{"entity-type":"item","numeric-id":3525000,"id":"Q3525000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$EBCDA05D-666D-4D53-92CA-135D91BD3545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405880c070588ef96205dbcc63ba1fa577e219e","datavalue":{"value":{"entity-type":"item","numeric-id":5446292,"id":"Q5446292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$DBE58698-6004-478C-AEA1-A63EAC00FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$BBB297D0-97A3-4692-96FB-03D5E24923CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873685$EA70F53F-DDC8-4209-B91B-6D9442AB66E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60add01464264ff0d240feff4ec7d4d86f15408a","datavalue":{"value":"10.1016/J.ENTCS.2008.03.082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873685$D46D6717-6DDD-4C3E-B96A-490660254A09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403f11c2ac68f74af6d80a887f475b2a055906b3","datavalue":{"value":{"entity-type":"item","numeric-id":5394171,"id":"Q5394171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff9014b724f2f7c4b0f8a9c74f9e800eea843c0","datavalue":{"value":{"amount":"+0.88903415","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":"Q2873685$2A7D9701-1AE1-41AE-93B7-9C36FED0D861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d68ef440c40b6b6df84cada7f89d5fec99353f","datavalue":{"value":{"entity-type":"item","numeric-id":3608894,"id":"Q3608894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45073acc2ca7997923cfd1cd7da3025da7a06a72","datavalue":{"value":{"amount":"+0.86676407","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":"Q2873685$3E171AC7-D95C-49A9-B6EB-62D286B5845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e188c49d9c12ada16c390bb9e2ca817dfc752b","datavalue":{"value":{"entity-type":"item","numeric-id":2871577,"id":"Q2871577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09eb414e988cdd73840088703b8fde2a31d3a4d4","datavalue":{"value":{"amount":"+0.8539854","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":"Q2873685$50E75234-E229-421A-AAE5-AE9C610B973C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aee9b0ee0b9e1f6ad2cfaa09c83b5665b60942","datavalue":{"value":{"entity-type":"item","numeric-id":5178839,"id":"Q5178839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88925a7302b321e2520d91e35db42872a62a2cc5","datavalue":{"value":{"amount":"+0.8506536","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":"Q2873685$57380B4F-6EE0-4FBD-AE3F-FD50ACEA7963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3530ce8a810fc261a3b1e7c978fcab9df43f72cc","datavalue":{"value":{"text":"Automatic verification of combined specifications: an overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873685$1BE6543A-1967-4055-8F38-0A8DB316AAF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of combined specifications: an overview","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_combined_specifications:_an_overview"}}}}}