{"entities":{"Q7010073":{"pageid":21563382,"ns":120,"title":"Item:Q7010073","lastrevid":81645587,"modified":"2026-05-06T19:00:48Z","type":"item","id":"Q7010073","labels":{"en":{"language":"en","value":"Compositional verification of real-time applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013878"}},"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":"Q7010073$DDDAAACD-E469-4CC3-9CDB-86CEAE773D10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e94c3acd92d43763289c88532c86dd5695262f","datavalue":{"value":{"text":"Compositional verification of real-time applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010073$B0579699-5A5C-49E2-8EE3-D8C16B5EA79B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc1e1bc47aaba97721cf8b93eab6ac4679119f44","datavalue":{"value":"1566.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010073$A5975EFF-7161-482A-99DB-87526527CC99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9fc059418785c15d200145e822203f991c844eb","datavalue":{"value":"10.1007/3-540-49213-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010073$209427AC-AE7A-4745-9D1E-1584970624F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$C4F0CF34-30E4-4FEE-96F3-A139F0BF0FCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010073$16FD0103-9209-43DB-A215-0DFF94AD036D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010073$84DEC35A-3611-470C-8DE1-E8DE3F8255EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010073$8DEF7F5F-742F-4304-BA6C-AF0CC1E3B8D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6db8588b37e9df0b79c7c0c63e6488d79199b239","datavalue":{"value":"8013878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010073$5F41052C-84A9-4CA3-9E08-AE778AE317B0","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":"Q7010073$DE17EF16-E1C6-4FA1-B0C0-7689623417E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af3609590dd785f66ab4cc5586dc3cacadf8334","datavalue":{"value":{"entity-type":"item","numeric-id":6044109,"id":"Q6044109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$50E88DDF-BE33-474D-9236-876B3703E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8607e5d44a7fd9a8711e75a7c39fc8fcd11d1a","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$EFC5A1DF-B9C3-4438-AF0E-4E2B88841E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e3cde2fb539502d50eb062bc0a04548ee9a5f5","datavalue":{"value":{"entity-type":"item","numeric-id":3731019,"id":"Q3731019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$9598C31E-D1CA-43F3-A897-AB65D3B44B36","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":"Q7010073$561C6939-FDF2-41E4-B38F-4BE32FBAEDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16affc2631ede132014c021413b2dd6df26cf110","datavalue":{"value":{"entity-type":"item","numeric-id":2956677,"id":"Q2956677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$056A6E72-35A8-402B-A14F-DD8327606847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea73c316535d221d474870ae19006e468ba7d51a","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$4FDA521B-2042-4ED5-B3E7-6556BD845929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f33ad5199b3b8e2a98f61c7973983856f2326a8","datavalue":{"value":{"entity-type":"item","numeric-id":3731021,"id":"Q3731021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$529A25CF-81CC-4B8B-8967-4B1988172FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$106B4CC1-977A-437F-AA54-3C7EDC95FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193dbfc7bccf141a4aab951ab2becf3c421ce66","datavalue":{"value":{"entity-type":"item","numeric-id":1126522,"id":"Q1126522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$892D3ABF-1D28-4218-B9DC-54D5E84B9919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010073$F95EF865-12B8-4B2A-AE6F-24D44630A549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification of real-time applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_of_real-time_applications"}}}}}