{"entities":{"Q2908850":{"pageid":2919575,"ns":120,"title":"Item:Q2908850","lastrevid":51537779,"modified":"2026-01-18T17:00:46Z","type":"item","id":"Q2908850","labels":{"en":{"language":"en","value":"Model checking time-constrained scenario-based specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073532"}},"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":"Q2908850$191798D7-28E8-498A-A557-7880B51C64FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a73d03d0c4807db827fa2b079d64c326f96cd1c","datavalue":{"value":"1245.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908850$25F3E165-93D8-4A98-8171-231DF2E12CD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908850$39F91B64-2991-46CF-9E38-1BDA58FEBA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908850$A1897FD6-DA39-42BD-B896-D71777772FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908850$A41DEB36-5AAA-4B8B-B884-F0738A1BB23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908850$A2EA02F7-C741-47F2-9FBE-01C8DCC01320","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":"Q2908850$289AC627-D27A-4BBA-BF3A-D522C505E29B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08eb148cbfc4ce431a1be670c94648089ead3165","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_30c6.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908850$2169F54F-4DF5-4E0E-8914-94A343A61F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908850$B531AA5D-813F-48FB-9D6B-2EB2A91FE7CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ff989880d2cf5596b2db970945c009f864d0c99","datavalue":{"value":"6073532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908850$7AB0F432-79ED-4FE5-B0B4-15E840A7E568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908850$33F89FD8-9E6A-4225-8EB2-70ABA6A5BF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73eb29eac5e1a7b314414698c62bc513b28ac908","datavalue":{"value":"message-passing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908850$E01B2ABD-211A-4116-82BB-9100D441764A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4416b1f205cbe9a6e20b5940be43f3b47867b597","datavalue":{"value":"time-constrained MSC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908850$2C647721-A223-4178-96ED-8C6957AD504E","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":"Q2908850$E4A54FFC-E897-4CFA-A8DC-AB093DA72A49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"096d20d1f4c71bd91d3a9d640e3558e258550120","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908850$1F54A04E-F01D-49D5-A5CD-84D73693765A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"825cd6ef1c7848c1bfa733c517f5bc2fa31e37e8","datavalue":{"value":{"text":"Model checking time-constrained scenario-based specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908850$C51B7FF0-7958-4DCE-B919-BAEEEF93612F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a90c916dbfb5b777cb728f2147d655af31ac9a1","datavalue":{"value":{"entity-type":"item","numeric-id":2355682,"id":"Q2355682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c3f43672bbe73197d4ea29bba7186faf13c1f1","datavalue":{"value":{"amount":"+0.9799061417579652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908850$AD843156-482F-40D1-885E-1A26A87AC604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea49d02586272e9b423fc8822641fe798545b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3613085,"id":"Q3613085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b692eef2e2ba97e5cb133186e07c2ed7146de1f5","datavalue":{"value":{"amount":"+0.8477970957756042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908850$6B4D2261-5B1C-40DC-B72C-7D5C59E29E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0351ec2d848eea3430f3c13eeb5e11df17e26ed","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7c1d74fa8e46057a421bf912bc4d39bf54876d","datavalue":{"value":{"amount":"+0.8400291204452515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908850$6F93DDB8-985C-4FCE-B251-3104B3561D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e764936511f945e4e027379b43944c10a7fb99e7","datavalue":{"value":{"entity-type":"item","numeric-id":3525637,"id":"Q3525637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed28fd304202ef902ae28085735f17a46fcb5f7","datavalue":{"value":{"amount":"+0.8357921242713928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908850$1B9FEFF2-E2D0-4F21-AA20-F178C4669FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c7a2824d74d41d44785de4090c88d7755c2641","datavalue":{"value":{"entity-type":"item","numeric-id":2842583,"id":"Q2842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3286c14a4c65c0baec0cb231d6489f75a73bb1","datavalue":{"value":{"amount":"+0.8233294486999512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908850$129F8243-8643-4DA7-BB69-1AA69BB7808C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908850"}}}}}