{"entities":{"Q3608880":{"pageid":5638786,"ns":120,"title":"Item:Q3608880","lastrevid":50592368,"modified":"2026-01-14T12:19:26Z","type":"item","id":"Q3608880","labels":{"en":{"language":"en","value":"Slicing Concurrent Real-Time System Specifications for Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523875"}},"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":"Q3608880$73B0E254-D86C-42AE-8A1E-2C7FE4451510","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0de59cc6ec5963b4dae128250078ad5cff69f518","datavalue":{"value":{"text":"Slicing Concurrent Real-Time System Specifications for Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608880$7AD1E9AF-795D-4D00-84D2-461FC8AF20F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f16bd8fb1455a135cf9a60d9e2f4d3e5f6a14148","datavalue":{"value":"1213.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608880$954B19DB-2BB8-4C62-BCF5-9307444C1DD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5ff9f6b9b72a59b31689b15ca0a17b2925957e9","datavalue":{"value":"10.1007/978-3-540-73210-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608880$9AD76866-8852-4216-9626-0384E61C461F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7ad2822b7f60ce5b660254323b8af15dff0f64","datavalue":{"value":{"entity-type":"item","numeric-id":3431401,"id":"Q3431401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608880$C50500F0-009A-496F-B76E-39FB7E6BF853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608880$F8A9DFE9-F79B-4310-BBAB-B0500894FFCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608880$C5E9274C-8EE4-4AED-9C26-FD21F665E338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608880$2B489C4E-922E-4960-8ADF-18B46E2B4761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608880$F1EFADA8-D948-4120-9F33-66710FA7ED4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a128037cd13563cadfb22d1922f3c133478aec6","datavalue":{"value":"5523875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608880$98DDCA35-D616-40C2-B805-AAC599614259","rank":"normal"}],"P1463":[{"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":"Q3608880$5169925F-24E2-4E10-8CF3-66A2F9E1D791","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":"Q3608880$AF3A9279-8314-4869-A03B-758B72E840C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5bb34238dec7d50d86e2cdd197206c773a0b5e0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608880$F0FBCBED-AD7A-4658-9DEE-4547FFBAA4CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e954515a3953b979bb96dfea8a109ff9c5186b8","datavalue":{"value":"W1499231916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608880$3AAC33CF-2BF3-4E71-916C-97595541319D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d177f5648374796cc8b8f50cc42d6ef2378a02da","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109c4eea1e5468a5a13e6e28d61e5b42b6a26ff2","datavalue":{"value":{"amount":"+0.7739439606666565","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":"Q3608880$2A44BA34-ED8A-4662-A78E-3F9B688F1155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb0f9d4ba024c49a42a8d1b9b411b2fb202a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3608886,"id":"Q3608886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbb2260d43334d2c37166b17915e50441f0cb95","datavalue":{"value":{"amount":"+0.7660191655158997","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":"Q3608880$A3834943-F2A4-44A2-A364-97925C50FA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11db45e72bbeedd1ec5e9f0b19aef8220edf007","datavalue":{"value":{"entity-type":"item","numeric-id":3431403,"id":"Q3431403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d01869d37a8f7e58c295e159d4c8686019e6732","datavalue":{"value":{"amount":"+0.7474474310874939","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":"Q3608880$7E22B425-8139-4DF9-AC9A-FBD8DD46DF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3c9cd7190a4c7db3ab8bed546f589e49d51ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4737564,"id":"Q4737564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d51331fb246cd6d091afb27154d075e1ba5688","datavalue":{"value":{"amount":"+0.7404930591583252","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":"Q3608880$EAC78C5D-44D3-4A8D-A455-E5FC9C802EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a06980ebe8a69fca53a0e0bdcfa5f08ba15927","datavalue":{"value":{"entity-type":"item","numeric-id":2873685,"id":"Q2873685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e321467385383c0cd86cd1daa1c939cc68a7871","datavalue":{"value":{"amount":"+0.7373896241188049","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":"Q3608880$9758FB1C-7CA0-4310-ABC0-D3AE77548815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608880"}}}}}