{"entities":{"Q6535636":{"pageid":14146779,"ns":120,"title":"Item:Q6535636","lastrevid":57343662,"modified":"2026-03-30T14:04:21Z","type":"item","id":"Q6535636","labels":{"en":{"language":"en","value":"A unified model for real-time systems: symbolic techniques and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798067"}},"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":"Q6535636$52A3DBC8-951F-45EB-8F9C-A5E2B556BD2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1162261ee5eafded0c3b58a8ef48dc310a0aa223","datavalue":{"value":{"text":"A unified model for real-time systems: symbolic techniques and implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535636$11427C42-4052-4C8D-AD3F-DCF586BC290B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a406fd18f95545f49e6d95cc9f6ef00c972009e1","datavalue":{"value":"1547.683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535636$1577464C-2288-4E3D-B097-236AB465B4B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc079eaf6a504004be5fbc44519b718c6e59b122","datavalue":{"value":"10.1007/978-3-031-37706-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535636$3D015913-0F85-406A-B857-2752B2B1C945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$BDA0C63B-7EE7-44C8-BCF5-11C2E4E4716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$EC8601E6-B0C2-43B8-853E-9A19388A5784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e295c6b54acd2ec2261127bfea33c73faea848dc","datavalue":{"value":{"entity-type":"item","numeric-id":804227,"id":"Q804227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$428354C9-0EC6-44E1-BDD9-5F0819DD792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80477e93bddf2c6cf5de327d39aeb6a694a49169","datavalue":{"value":{"entity-type":"item","numeric-id":6535635,"id":"Q6535635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$52C65055-A3D0-42A8-B303-D9E83E2617CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$E8D71023-12A5-4D14-80A1-C0F0E168D84A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-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":"Q6535636$E20DE306-4ACB-481C-9B4C-29FB5C3E4FA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535636$8F08DD08-C7E2-4E35-BC1F-9B65560CF0F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"830ada9395cf54da13e6b60094cfe6500f2ef08b","datavalue":{"value":"7798067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535636$EE10BCA9-065E-49C5-AF4C-889DC0C5C743","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$8C0A4945-90FB-4F82-8EE5-9F27171AC9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$024330AF-490A-4868-90DA-2AEE49F6DF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e7952de2800dddda7ae408c354c579039e31f2a","datavalue":{"value":"event-clock automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$0B1D1FD5-3022-4060-9858-6719B2CB3CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe090c7a2055866c46bdecd203cc1f49cb0636b","datavalue":{"value":"clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$DA3FC40B-2CEB-4B44-8453-C415C593D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1227f2398cf4b97bc4694b8b3d038bc2a2ef7fc","datavalue":{"value":"timers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$E5D34AC5-FA32-4F73-8A18-BF1439789996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$940331F6-B81A-4756-A7D1-F9036781294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$9E27FDA3-81C0-4D9E-947F-263E43A2666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535636$AF158158-494B-4D26-88B2-55AA0E2AD20A","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":"Q6535636$FF766B62-8AA0-4990-83C8-11DA2179B61E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1568e7bc77c52f36a050784c968a077426de3984","datavalue":{"value":{"entity-type":"item","numeric-id":2248059,"id":"Q2248059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$1FC2C791-4811-4530-8329-BB682ED0FB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85a4450a8dcad528f0f79aba277eff6a0e47145","datavalue":{"value":{"entity-type":"item","numeric-id":6587119,"id":"Q6587119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$464AF61E-C629-4E7E-AC86-3D44077EEB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e88f1b4a631db70770ac6e322045c813c697169","datavalue":{"value":{"entity-type":"item","numeric-id":832208,"id":"Q832208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$DDEA5FEA-8A6C-49B4-A5C8-367CE904C8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$426D2004-735A-4209-98AA-5A2A317C48C2","rank":"normal"},{"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":"Q6535636$5FBEFC3F-FC19-4537-9A03-34F067C70455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$8DD0E379-0AC3-4F4B-87BD-36A016E71BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$A42BD8D1-7EC5-44A2-A4DD-70F55B75230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$B1C5C617-5EF3-4B8A-A7C0-17746E493388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14de50424f29f300a6c1ab092bcbf44384126978","datavalue":{"value":{"entity-type":"item","numeric-id":5437180,"id":"Q5437180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$F70435A9-8D2D-4FF0-A0FD-F77BB7375D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$E2EC6726-CAEF-48B7-9544-4BE06C9289CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$72B22391-2642-4705-8636-BDE48B08FE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a725cda26b531038ae6ae03ce011a37755fd1bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2112098,"id":"Q2112098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$8F0A9DC7-9444-42B7-AEB4-0548AF4CEE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c4a0717eb4ef222957566a602a0fd951819bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5875669,"id":"Q5875669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$0D876F12-B076-48A8-B8BC-BE0200251FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d4ecb138c9567b27f8dd405520a87eff1ddee9","datavalue":{"value":{"entity-type":"item","numeric-id":2067619,"id":"Q2067619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$000874AC-F45F-4565-9CA2-C0EB33D33007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ac60f1deba4ac31dd5088903dba15b8944d13","datavalue":{"value":{"entity-type":"item","numeric-id":5464766,"id":"Q5464766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$C70EF963-D1B1-4FE5-97A9-E28F3796201F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286ad57ee425318e8a65bded4a739b7fc5c2dc39","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$CBB6ADA0-5E47-4301-86A8-7B840951F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fcea7d39188a45f0a743c447953dc7f38995b","datavalue":{"value":{"entity-type":"item","numeric-id":6154574,"id":"Q6154574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$C22E7CAA-3420-41CA-9AE3-774FC998DFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d263f50d095dbbd7029c2a0533d69ccf4374c2","datavalue":{"value":{"entity-type":"item","numeric-id":3172852,"id":"Q3172852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$0DD78180-3AF6-4D94-8943-47FA00F4C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4ff55991e2e0667835604e8093fd81c23ede13","datavalue":{"value":{"entity-type":"item","numeric-id":487253,"id":"Q487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$D294A717-505A-4F6B-B632-46DB378376C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ddee778f5c2a434c651cc54036449dbe5a3a69","datavalue":{"value":{"entity-type":"item","numeric-id":2575733,"id":"Q2575733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$4D3F648D-2884-4A43-B523-AADF50CDBEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cf57fd8978d20a28080d2943b7d6f650e5787a","datavalue":{"value":{"entity-type":"item","numeric-id":4649396,"id":"Q4649396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$FF401BA6-AEB4-4724-8360-6CC95861A7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f4ed5d5ce346447c826b0419093db4275081c2","datavalue":{"value":{"entity-type":"item","numeric-id":4939602,"id":"Q4939602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$F3724B98-AB2B-41FC-8683-21BFB9EBC9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535636$D40786A3-BB20-478A-8002-4DEE35DF0229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42ed904f56c480a7da276551cd9e02acbc18afd","datavalue":{"value":{"amount":"+0.7676082849502563","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":"Q6535636$40F0901A-FCC8-4C56-817F-683A3CC9AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747c2c2755181d97d3fa63fd250353566e8395b4","datavalue":{"value":{"amount":"+0.763439953327179","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":"Q6535636$4723836A-12EE-4FBC-A6B3-693768DDC61F","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":"7524143df8b878b26c98b5f4ee8683b778d87bd8","datavalue":{"value":{"amount":"+0.7619208097457886","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":"Q6535636$BE22DAA8-02C6-4593-8627-2E79D76CB6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e0ea927cd41d85cd346c32e8238f2607ebe014","datavalue":{"value":{"amount":"+0.7605043053627014","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":"Q6535636$35EC2EE2-4839-48ED-98FB-11909F7B426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5206ada1b191101afcac846b9650968ad69cd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b2c6e0557bc52115ff8596409cbcb61e6f9e12","datavalue":{"value":{"amount":"+0.756954550743103","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":"Q6535636$905DFD5F-C934-41DC-AA5D-EB143870B08A","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":"Q6535636$29DD6C9B-06AE-4E2A-8808-AAC8D48B5278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535636"}}}}}