{"entities":{"Q5055879":{"pageid":7085456,"ns":120,"title":"Item:Q5055879","lastrevid":47786092,"modified":"2026-01-02T16:51:36Z","type":"item","id":"Q5055879","labels":{"en":{"language":"en","value":"Model-checking for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631320"}},"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":"Q5055879$3A89DC9A-3972-49A5-93E2-95C3574ED290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6349020379bb69fc7dd3d51383b0bc38c8f1e6d","datavalue":{"value":{"text":"Model-checking for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055879$89E08F62-27AC-45DB-AA80-DC32A1B47B38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dc6eb5bc159e164b8347fcb0430a333945b0eed","datavalue":{"value":"10.1007/3-540-60249-6_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055879$7600AC1F-D7E4-4DCC-AE0F-408838AD78A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$C0DF7674-9D89-4D6C-B230-FE9A67F41661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$5F770351-BBF7-45C5-AFDE-2DEC43555C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$42944B4E-18BC-4F9E-BDE1-74781412CD8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$1E9E2053-F2B8-4F1B-B196-899665C6F053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055879$6FFA84D8-26BE-400A-8D19-9708E0CA685F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055879$51D56EE8-967A-43D1-88B6-A9BD00487A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e4c3a540d163060d5f2dc02bd853a0c249bb201","datavalue":{"value":"7631320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055879$FC64B11A-6BD2-4DBF-95A8-26330418D6C2","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":"Q5055879$A711BF65-E081-4FA3-B87E-551BB1DC7BFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87119a776d8677be8d388d45cd3df99c1db475b9","datavalue":{"value":"https://doi.org/10.1007/3-540-60249-6_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055879$641E3309-F5FD-4183-B912-8A8FC2D75D33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfe315b0478a20cbcee59109358b9e8821a7a05e","datavalue":{"value":"W1863150103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055879$C42E2E10-8671-4672-9CD3-42A4F601B2BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$237E840C-514A-44F7-AF44-618CF3C5FE8C","rank":"normal"},{"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":"Q5055879$6477FBC7-E402-4F03-9CC1-69989E037ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$9069B18B-B26A-4511-BEDD-7388D3D9107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$13CD8418-3809-4D51-A558-B7C2A954C7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$8588BCEA-8132-4046-A731-52CC95534343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$73453BDC-147C-4D16-A236-C9F8EB93A776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$AFC2406F-AA6A-4E1B-9D11-91747569FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055879$6A26D4A2-DDF7-496F-8A54-63666E1E6991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b157e990d22b8224efb4b41fc3f41f0afd248e","datavalue":{"value":{"amount":"+0.8580967783927917","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":"Q5055879$A1E339AF-AACB-4EB0-A792-2565C3DA9D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a3f84bf07f8ba41d4ee83b6e450c703c00078f","datavalue":{"value":{"entity-type":"item","numeric-id":1425003,"id":"Q1425003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc47e60a46a8e1b4f7ad5ad814bccd9b7919eb0","datavalue":{"value":{"amount":"+0.8579226136207581","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":"Q5055879$4DA92C3A-C91C-4928-815A-DAA6471B2AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bfab82cc222ca3b17c683cee02731cce06c113","datavalue":{"value":{"amount":"+0.8469903469085693","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":"Q5055879$33B7E0FA-285D-48C5-9553-77CA23DE1B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f38361694d853446361e8673fe3a461ca26fcea","datavalue":{"value":{"amount":"+0.8456097841262817","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":"Q5055879$E1E07367-A92F-4415-965C-31F4517414FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d347909db590246446ba31d5dddc3be87dc7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4532077,"id":"Q4532077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6408fd15dd440fca03e13065ccd4287027a93417","datavalue":{"value":{"amount":"+0.8451356887817383","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":"Q5055879$F2CD911E-1A1E-4EAF-8C55-C0D9CD4F3815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055879"}}}}}