{"entities":{"Q6535374":{"pageid":14146517,"ns":120,"title":"Item:Q6535374","lastrevid":57344301,"modified":"2026-03-30T14:07:55Z","type":"item","id":"Q6535374","labels":{"en":{"language":"en","value":"Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777324"}},"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":"Q6535374$08781E7A-A3D2-49A5-9578-4582A3264FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d824ef73889a7ff1d97b6e960d2524757e5f4b4","datavalue":{"value":{"text":"Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535374$3EF3FE43-35A0-4300-9D19-B3F469E3E999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9958449d41c782bff71d73a909ba886079fd975a","datavalue":{"value":"1543.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535374$B14184CE-3C6B-4582-B1E4-07855F48D276","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c1b06ccf5b194d8df210556461c58ae02773721","datavalue":{"value":"10.1007/978-3-031-30823-9_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535374$FF500056-56DF-4DA4-8D96-0311389D15F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94c033277948168b3e3e1b03daac9496cbb36215","datavalue":{"value":{"entity-type":"item","numeric-id":2234088,"id":"Q2234088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$8CAE3073-61C7-48F5-9E1F-947AF0A24661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$19212805-3448-43AC-A3E7-3BB9121C1078","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535374$3A50C95B-574C-436A-BF0E-F79961EAE887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535374$B8DFCAFA-26ED-4520-ADE1-EBF4FB72258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535374$952174DC-899D-422E-AE2E-C5AD073186ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0af94187fcc19bb1ea14f45bdfd996c05134f2c0","datavalue":{"value":"7777324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535374$4ED49197-CEE2-411A-822E-191F43EF809F","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":"Q6535374$38004C32-EC20-42D3-B603-08AFEDE4EFC7","rank":"normal"}],"P223":[{"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":"Q6535374$C043B25A-EDDE-469F-8D98-E2A8134D68FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$ADA89E5D-1ACA-47EF-8807-BD7258DD24C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$ED312990-4B21-43B8-8882-2B14B942D44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc23da1f5ae0defebb4f6201ea547b848f6d944","datavalue":{"value":{"entity-type":"item","numeric-id":5493225,"id":"Q5493225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$C2E7DFD4-F3EE-4B00-815E-8009BC2FD8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac3e8dc4206192e976789864a140a7e1fb10df1","datavalue":{"value":{"entity-type":"item","numeric-id":673635,"id":"Q673635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$56F44908-F1F5-4213-88FE-4AB6703C245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f68fc5be915ddeeec6d8c09bf5e80b80337299","datavalue":{"value":{"entity-type":"item","numeric-id":4596644,"id":"Q4596644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$58B5FE1E-0D51-465A-BDE3-EED8E37D2AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$85A9D8D6-A3F6-42D4-815B-397F541E3129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$5316863F-CA0F-458F-A81F-8AD0AE63D4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$E5F14425-0F85-44B5-9E6C-87F4946AD9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0f0172ce929bb36828652cd1fdc3799d6e4441","datavalue":{"value":{"entity-type":"item","numeric-id":2842671,"id":"Q2842671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$C897AC46-45AE-4058-98BE-5BE0D298A5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bad9b7d0335baa8a7c5745c7b50f23899e285ee","datavalue":{"value":{"entity-type":"item","numeric-id":3190141,"id":"Q3190141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$48D07308-A297-418D-A7C7-31A0E1BC4051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5876800c7b1decd4ebed51d84d91fccbc563ba","datavalue":{"value":{"entity-type":"item","numeric-id":1918934,"id":"Q1918934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d69291d089aa967fc9c5c70a3df151f13e58cfa","datavalue":{"value":{"amount":"+0.7678271532058716","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":"Q6535374$92146FC4-7F7D-4251-B3A2-AB31EC41288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6620d1d3602f9613cc295ca11cc9773ee81b182e","datavalue":{"value":{"amount":"+0.7642558217048645","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":"Q6535374$A1EF04C7-F01E-4E88-A492-8CCBAF43DDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea077fad68d85be405c8b9f8b76db8c93653b87","datavalue":{"value":{"entity-type":"item","numeric-id":1346652,"id":"Q1346652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180010361cb0e6005789b9df75a9aae98c4f76f2","datavalue":{"value":{"amount":"+0.7624537348747253","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":"Q6535374$CD622758-39CC-4B3B-8C1C-2FAEAE1899B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0183f856c9accd63922ea265b920a97d59092c26","datavalue":{"value":{"amount":"+0.7620566487312317","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":"Q6535374$0F135A19-1F10-49D2-9230-55CE8135B327","rank":"normal"},{"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":"c55b87c260922e764dfe1f710cef1f94d91888a0","datavalue":{"value":{"amount":"+0.761494517326355","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":"Q6535374$8C8B401F-907F-4E84-9FA8-74D529056EC9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535374$C07C9D50-3148-4C71-8935-01DE405F4DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535374"}}}}}