{"entities":{"Q685095":{"pageid":686944,"ns":120,"title":"Item:Q685095","lastrevid":47188309,"modified":"2025-12-31T23:06:08Z","type":"item","id":"Q685095","labels":{"en":{"language":"en","value":"Modular abstractions for verifying real-time distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417061"}},"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":"Q685095$674F0EA2-0806-46CE-BE10-1A9B058D7D46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7e604b62c81192bee3cc8142a971953f41ce30e","datavalue":{"value":{"text":"Modular abstractions for verifying real-time distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685095$AC8BD3FA-A15B-4DD9-A64A-82F5038DF40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0aafff1b7f1a0b9c2d8db9265ed6a7aebd4d3b","datavalue":{"value":"0774.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685095$87694F9F-ACD6-467A-A34C-6AE0016F68EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ec68272f1b4485ee3ed3cdc4cdff6f8610e49ab","datavalue":{"value":"10.1007/BF01383942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685095$3CD62A78-BB1E-4C81-9BC2-778FA532CAEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d747f78954e9cc191d25eaafd955396fed36b2c","datavalue":{"value":{"entity-type":"item","numeric-id":685094,"id":"Q685094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$485589E3-2A68-4264-9576-2C074E17116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$7BE44C53-5227-497E-9B4B-7AEFF9BCD280","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$385EA5C5-2BA2-425A-9300-07392249B4AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685095$6A60BFA5-188E-4AEA-8CA8-6B7F882EE100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685095$3A76F5A3-F10B-40B3-B1CF-5996F1EFF943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b11a3896c7a00a59a806c79a0272d19d404da82e","datavalue":{"value":"417061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685095$A406BC5D-12AC-4FE0-BB3A-157260AF97DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ab9e48e773ed413da725ffe9ed1d951a45512","datavalue":{"value":"verification methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q685095$00022FEF-73EC-4053-A5BF-E95415E6D90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af81c82a8505ffaaf63ed670a06abe6da426725","datavalue":{"value":"real-time distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685095$4909689B-FD74-46EB-A60B-663462DD5AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q685095$BD3ED592-A13C-45CA-8053-97352BBF0D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q685095$C072061C-CD51-4682-8C05-238961585275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685095$2CA1606B-74A1-4B69-B062-BD7F33DC0628","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":"Q685095$B55614D0-1DC3-4C3A-84CD-2B2B1483A14F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$230B26F8-0B8A-4929-860D-2AC40E392A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$3B7F3B43-EDA8-4BD9-942C-6C157B73ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05136b96000c9671de6cda1f1557ee61f8a2343","datavalue":{"value":{"entity-type":"item","numeric-id":4037111,"id":"Q4037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$006A98C2-3C08-4F16-B6A6-CC00C7221993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$09638214-DC8D-460F-870E-E2C85E89BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$8F084280-419E-4CD3-BE0F-ABC697F927D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$F66D0E5D-BD86-44AD-AAF3-67E879112828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$E29024B5-CB3F-45D5-945F-1178E0990A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$DAF1073D-DD15-4F8F-8232-849D13DB14EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685095$F20875A7-F5D4-4FA4-BE22-8F2B50857672","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49223e3a6b3fb37fefc9da1637bf45e0aa7b670","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15881488e8637460d28413dfd813d29e9b451c31","datavalue":{"value":{"amount":"+0.7933283448219299","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":"Q685095$26F1CB52-497E-4D59-8A8B-EA426EEADCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48831bd923d2dcff4c0fe5aeee142db0aec24e97","datavalue":{"value":{"entity-type":"item","numeric-id":1019007,"id":"Q1019007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426907a3716a37798a9f5af252e8fb9f1f7792ff","datavalue":{"value":{"amount":"+0.7872869372367859","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":"Q685095$33516A2E-80AD-425C-9376-BBB4C7C6DEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e385aba773f2f7960cb60ebb0f3f0ec5b0bb2957","datavalue":{"value":{"entity-type":"item","numeric-id":2847414,"id":"Q2847414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac97e83895df2363900f4238167fb361b6ae1c0d","datavalue":{"value":{"amount":"+0.7867352962493896","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":"Q685095$C26D2DF6-6ED1-4B28-8036-102C2E409FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6e03cf55628603bd35896a6abcfe904ec3a21","datavalue":{"value":{"entity-type":"item","numeric-id":5447370,"id":"Q5447370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2dfd680575581a5a172c389afbf9d409b20fc4","datavalue":{"value":{"amount":"+0.7842375040054321","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":"Q685095$325EF065-C6CB-4B06-A836-0F1DA9F59709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55925cf71da94eead93b39e4d11cdf7889ad9a9a","datavalue":{"value":{"amount":"+0.7811480164527893","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":"Q685095$D07F6D0D-58D7-4700-BD91-40BBD6ADF013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685095"}}}}}