{"entities":{"Q2842665":{"pageid":2853385,"ns":120,"title":"Item:Q2842665","lastrevid":51801266,"modified":"2026-01-20T02:53:28Z","type":"item","id":"Q2842665","labels":{"en":{"language":"en","value":"A mechanized semantic framework for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198979"}},"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":"Q2842665$AEEAFE77-DA19-48AE-A885-0E12C3AF0DAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1cf4065bd7587d3596161739db85a01332232d","datavalue":{"value":{"text":"A Mechanized Semantic Framework for Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842665$1D022D51-D9A6-4C2E-9F23-381A238C6E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8973857123fcc185f8b0ae4e5b830423963f0f5a","datavalue":{"value":"1390.68470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$A29D243F-ECD3-4D8B-9D73-29024E8852A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b2499e399bd10e7e97803ac9bd35f456b9c22ec","datavalue":{"value":"10.1007/978-3-642-40229-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$C5371529-79F5-4767-BA98-0FBAB9928DA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5208bb41cab1baa3e1b7c36c1533d2e18a7095e5","datavalue":{"value":{"entity-type":"item","numeric-id":2842663,"id":"Q2842663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842665$A51AFAEB-BD3B-400E-95CC-C30BED8D8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842665$95EB710D-9616-49F3-ACB9-D9DED261ECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752d3190ebdc99211a7716bcecdee1f182f6c48a","datavalue":{"value":{"entity-type":"item","numeric-id":2842664,"id":"Q2842664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842665$2847E5CA-97C3-48AD-A344-98E851A2F065","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":"Q2842665$DAB8EF65-FC6A-47EF-A60E-32C7CDB3A75D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842665$31D038EF-FA56-41B8-9F81-C7D226BF3EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$CC42459C-A102-4796-BAC0-6DC265748D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$4D54B5F5-A9CB-414F-9102-CE16B50FCDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$E3B94957-4E45-4C4D-9862-7C7813E5A549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fceae82730a96e3e754f1666e2a0db4fa49f40b","datavalue":{"value":"6198979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$0C29A057-86AB-4FC1-963B-E94CD1EFCD7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842665$EDF4D515-252E-4C8F-8992-A7A56C10B919","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":"Q2842665$9AF2F103-EA23-4DCC-A772-35579744E422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"745afc80766d28e0b8789af219a681900f3f81bb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40229-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842665$89727AA7-626C-487D-823B-B139A6E2080F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a195b0fa871186030dff1fe73efdbda142d787a9","datavalue":{"value":"W1866297606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842665$E8A069B1-765C-48DE-83E4-8FB3B697F30C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b0ef2faa94ee356e4c6d6a2d7795c849a25272","datavalue":{"value":{"amount":"+0.7406807541847229","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":"Q2842665$07A4FCF1-6B73-4E14-BC07-AA1EFF596F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b0ef2faa94ee356e4c6d6a2d7795c849a25272","datavalue":{"value":{"amount":"+0.7406807541847229","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":"Q2842665$488F2C0B-484F-4E22-BBF3-494D8FA029F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2335e911d8eebefb300562646d4dcee270c8e93f","datavalue":{"value":{"entity-type":"item","numeric-id":1362773,"id":"Q1362773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf17285066377992a451be7d49fa313dd7f51bd1","datavalue":{"value":{"amount":"+0.7370963096618652","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":"Q2842665$962C30D9-FB34-443C-9B01-85C0D1880BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9200452c8eebe6121b6357a76ed71e24174e2143","datavalue":{"value":{"entity-type":"item","numeric-id":5316439,"id":"Q5316439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e92121b188743bc1df297993737837136718b4","datavalue":{"value":{"amount":"+0.7367884516716003","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":"Q2842665$D78F899D-FDAA-42AD-963B-B9BEE8C5CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8aafc26daf7e439279684845ccb8670130c803","datavalue":{"value":{"entity-type":"item","numeric-id":882449,"id":"Q882449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffb1a39483de2939af5ad36da487caab091fb0c","datavalue":{"value":{"amount":"+0.7361024618148804","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":"Q2842665$9DF42B54-2ECE-43D9-B598-215B953527C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842665"}}}}}