{"entities":{"Q3648826":{"pageid":5678732,"ns":120,"title":"Item:Q3648826","lastrevid":50838770,"modified":"2026-01-15T08:57:23Z","type":"item","id":"Q3648826","labels":{"en":{"language":"en","value":"Safe runtime verification of real-time properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641076"}},"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":"Q3648826$C657AA34-8F96-4808-84E6-03AA5B0CF58E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b063bbd104a127ee406b0ec040e819c9f0cfb69","datavalue":{"value":{"text":"Safe Runtime Verification of Real-Time Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648826$A0FBE223-216A-4E7A-A626-B23A6D8EDF0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bbf8a2e204bb809a6438c7cda497c11da80314a","datavalue":{"value":"1262.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648826$1E3A9931-A05C-4996-99DE-59073CF77263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94f2887404f7516eeaec4cdc63ed715f230bc5c1","datavalue":{"value":"10.1007/978-3-642-04368-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648826$E370F2A9-439A-4EF4-B28B-5769AACF3539","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"852b8a3fb9aea208cccdcc61a3209a9b14d708c6","datavalue":{"value":{"entity-type":"item","numeric-id":681470,"id":"Q681470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$6C1AE2E6-364F-4EF7-B547-9B72CC5DA758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94229b96c71d77298697de05e94c9bf7fba20fdb","datavalue":{"value":{"entity-type":"item","numeric-id":2008290,"id":"Q2008290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$0C5CB6B7-1FF5-4F00-B88B-A285EABCA93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb82b840f2cb52b344ebb7a6a6575033a768c","datavalue":{"value":{"entity-type":"item","numeric-id":418140,"id":"Q418140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$5F7C3457-D551-4995-ACA6-FFBED2DCC37B","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":"Q3648826$295BE25A-07CA-4A15-9E53-55CE3937F228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648826$D657F688-6E46-42EF-9ACE-D4A0B73D6542","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea5cd6cd800ba0f8c2af0e4c643e3267eb01fda7","datavalue":{"value":"https://www.um.edu.mt/library/oar//handle/123456789/24166","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648826$9079CB20-141D-4F59-B548-CEE72E91A36E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648826$7555FBC9-ED5A-431C-82CF-D37CC7BBBD7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc36e06379e09ddbc3159dea3a365c67d53cbe0","datavalue":{"value":"5641076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648826$DF01202E-F6E8-49C5-8819-ACB3804F8A32","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":"Q3648826$AFBB6434-49F2-4AB6-9F17-650F4BF72E42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"063cdb479250819a6928745f7b9b5b9d19f5d75c","datavalue":{"value":"W1757929668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648826$433E638E-5D6A-4292-8979-24C79F80DD8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$87FFC978-F015-4387-8F79-9E64B609F52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21958d14c341df368a1478a0a491594ed6071c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$E6206C94-F4D4-434E-A245-7DE210D5E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$9E43228D-7799-4AF2-B3F6-68BE07CBD7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$6605A104-CECB-489D-B4F0-A4CFA483596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6453ed1e44e7e3579fb9c2bb45e3dadf04c69d5","datavalue":{"value":{"entity-type":"item","numeric-id":3126783,"id":"Q3126783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$3CA43BDE-899F-4E88-ADCE-15D399F9B9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9918bdfac9a4070d45c9bfc35e0968c3ac46ed","datavalue":{"value":{"entity-type":"item","numeric-id":1282325,"id":"Q1282325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$A2772124-E4B7-4E6A-A9E3-3745C3E59780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648826$82C3FCDE-8357-478E-82BE-1CCC6F4E19EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea58e47279ad2f76800e94f958a23489946f6280","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f22debeeb8dcb521d4bf55e339bd583dc8b8473","datavalue":{"value":{"amount":"+0.8085959553718567","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":"Q3648826$743EF532-74C3-415B-9723-A87EC43F9C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4600086480e137867a6a962ef56bf525fa50e459","datavalue":{"value":{"entity-type":"item","numeric-id":2248067,"id":"Q2248067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e3a31348da3c9008051caac8cf3a48d83bc6a6","datavalue":{"value":{"amount":"+0.7932960391044617","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":"Q3648826$2B591F46-069F-4035-9A01-39962B9FB099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee47b4481933b95332e9904ab6ead696d07aec","datavalue":{"value":{"entity-type":"item","numeric-id":479806,"id":"Q479806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f4c918512c580190bb367e03fff94d17fa63ab","datavalue":{"value":{"amount":"+0.7724834680557251","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":"Q3648826$B95B7F57-E14F-43A1-A989-06A549098F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec13b3dccc688906439feb72efe0e74a0d31a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f82ecc5c79b3b3f83533192dfcefb71d43c7ede","datavalue":{"value":{"amount":"+0.7508344650268555","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":"Q3648826$ABF5631B-EB92-45A2-A679-5E23B63F2CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a253810e4fe8f7ba7c6de79b0d26d967e6096ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2151259,"id":"Q2151259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cac0650122cd57d2adac8d95816f04d180725b0","datavalue":{"value":{"amount":"+0.7461113929748535","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":"Q3648826$F8A52A31-682C-4500-B296-DF1E13B7B061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648826"}}}}}