{"entities":{"Q2368955":{"pageid":2379698,"ns":120,"title":"Item:Q2368955","lastrevid":49821586,"modified":"2026-01-11T01:41:55Z","type":"item","id":"Q2368955","labels":{"en":{"language":"en","value":"Scheduling with timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020366"}},"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":"Q2368955$3DF17F09-796F-4439-9A27-F9E6371FBFD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0f58055e3b45106c59fe3b551eb01125159b2d2","datavalue":{"value":{"text":"Scheduling with timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368955$F624F787-475E-487A-BF40-8C29C38562E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a2940be0f3b74de2c06299d31200919df268248","datavalue":{"value":"1088.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368955$35978C0D-9B5A-484E-B364-30AF30DDCC92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd82f9fc27ecf1dd5d69e663be7bc9425c95beee","datavalue":{"value":{"entity-type":"item","numeric-id":258432,"id":"Q258432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$5F200EB7-933C-4E12-9B15-AB36287F3033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63340cd02b3dacb5365f90854ea53492575e06e0","datavalue":{"value":{"entity-type":"item","numeric-id":418138,"id":"Q418138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$2000EA39-42FB-4858-BCD6-823B943C322C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$4BB8B2C0-F81C-4682-A56C-27C7022ECF8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$D4C27C34-EB0F-4A19-A84A-D723208E8181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368955$5FF853B8-7AA8-4DCA-A5E0-6F9E74ED082A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368955$49122DC0-AE14-4113-A573-B8E274C28DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368955$8D3674FA-35EC-419C-8ED2-603D90F4E144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"204a63043ad1dde62308a0c48a8be9c5407c134f","datavalue":{"value":"5020366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368955$5E9A68E1-A530-4531-8BBB-704100AC39B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b8cacc954ab12772056510f6bf9ef97fbddace","datavalue":{"value":"Scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368955$BB5FB63C-8C84-4D35-A4D1-E847A3CCB95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ea85c218d7b96a5c2166622b8b8f8eccc38526","datavalue":{"value":"Verification and synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368955$AD6B0A42-694E-4BF4-A7A2-2FAA4EC437DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368955$455C0A50-7E6D-495F-92DA-4E4F61C5D220","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$9D2B6B61-B9F7-45AE-8408-4B27F7C42CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$8F3C367C-4B2B-4DDF-AB9F-0687F3E876F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$FEE45699-156C-4A02-8E60-CA5D1D768053","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":"Q2368955$B1B8ABAD-6A0B-4652-B426-C070085BB63D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30434571aceef58ea7cf2391253c0e70fe1a29f6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368955$CB3B4143-7DED-4C04-93B3-B041D186E3F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4096be2372d394ebc1d03aa993b4a35bf9f4aac","datavalue":{"value":"W1987234253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368955$42BF2296-8D30-4FAB-AB3A-EFBD9B934B8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3a3dd79e64aa9cffd17ecdeeee2b2104128c39","datavalue":{"value":{"entity-type":"item","numeric-id":4417926,"id":"Q4417926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$9069CF6A-7BF7-4BFC-AD1D-6010A4A5D2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07dd10781fec219d4e5037d85aa8641413cd12d","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$18825F2B-50B5-4437-B35F-4903280309D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796fee6517807b3ea1ff0b6e047794616ccd462f","datavalue":{"value":{"entity-type":"item","numeric-id":4472231,"id":"Q4472231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$2083B498-F4D6-4AA7-9019-BF875842266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$D990C6BB-462D-4A23-98AA-26676458F26A","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":"Q2368955$6EA3B3D4-3339-4611-B5C9-ACEADD693A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$ADBEF224-3F9E-4B08-85CD-F92CFE13E332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$D5EF5FAE-6AC7-4D9D-81FC-1E53E0642238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$DB17613C-5EE1-4E36-8E36-9D7AFF773391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$349B507B-CB77-42A4-A697-4F01726DC3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9042ea9facddc8784b59cfee28dd7cc10c84d59d","datavalue":{"value":{"entity-type":"item","numeric-id":4256521,"id":"Q4256521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$A9AC3D43-4F41-4BCB-A610-4311D8ED64C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10956c94e35abab387d230c36a72d1842092c27","datavalue":{"value":{"entity-type":"item","numeric-id":4806206,"id":"Q4806206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$2AF26EB0-CA46-4273-A72A-7EF3F505ACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$AB2CA257-AFBB-4ABC-9DE3-8B99E2F13CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c28cb0c60d36a6b02cff002e350a60a5cd6bac8","datavalue":{"value":{"entity-type":"item","numeric-id":4472228,"id":"Q4472228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$648D4A6E-E828-4D26-9E8A-72D118E3404E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$B041D39E-5723-4210-9FE5-4C86B9209F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0a95e9b83933f42a75d8bfb8250f03ad9739ad","datavalue":{"value":{"entity-type":"item","numeric-id":1807948,"id":"Q1807948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$7E9DF296-9D73-46A5-BAEC-96200A339E08","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":"Q2368955$59202F59-8392-4669-9C73-F1A828BB63B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$AC4294F9-DD13-4A63-A593-1C41A4B84733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f4dd08499872efe00c563282410ac29ea00766","datavalue":{"value":{"entity-type":"item","numeric-id":2512166,"id":"Q2512166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$1B152591-B975-4ABF-8F8C-51B3A428C4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b128595e2f50d35c99036ebd76df5d5e493730f3","datavalue":{"value":{"entity-type":"item","numeric-id":4593944,"id":"Q4593944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368955$4FA8BAAA-1A15-493A-909B-01C6B49F4F3B","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":"Q2368955$F468CAD4-DAE5-4058-9018-FA1D93412A37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e68f196f35f8894c1a37558bd116147a13f738b","datavalue":{"value":"10.1016/J.TCS.2005.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368955$5750A0CE-326E-4545-B8F3-64E42E4E82E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb14c5a4e7ae92863090e421819375ffc0d3d782","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96dd4f26e7d4bc43fcbb577bb36905e317589773","datavalue":{"value":{"amount":"+0.8862906098365784","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":"Q2368955$29832D3A-3EF7-4FB0-A042-97189FB70A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feac94fa69ebe2940e0d9240875c53666ba1c60e","datavalue":{"value":{"entity-type":"item","numeric-id":4417926,"id":"Q4417926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e668411298f9d2edfb6a61ee170e9e86e8a37be6","datavalue":{"value":{"amount":"+0.8406444191932678","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":"Q2368955$B8FFE5BD-923C-4EB8-B5A9-6811A75DBFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15ba263692c03011b550b7d555c09ad6efc31f4","datavalue":{"value":{"entity-type":"item","numeric-id":5326339,"id":"Q5326339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afee2c498f2714e21ede156fc6be35226a90c5a","datavalue":{"value":{"amount":"+0.8199852108955383","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":"Q2368955$1BC01042-EC8E-4F21-BAB0-3FE31DA5E832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba14df9c00cb6a16700dd8a226c88d39e41ba20","datavalue":{"value":{"entity-type":"item","numeric-id":5897450,"id":"Q5897450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7659f2027d50b8dfbbdd29c6b756b690e875d1a","datavalue":{"value":{"amount":"+0.8155868649482727","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":"Q2368955$09038B01-B46E-4691-9E91-583AD3656FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26dc7ca5ea7512822de823dd4e498880f1af436c","datavalue":{"value":{"entity-type":"item","numeric-id":4472231,"id":"Q4472231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531e15bf0b586a26f29b4a3ed60d17c0172d669a","datavalue":{"value":{"amount":"+0.8098264336585999","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":"Q2368955$431039F2-D747-4AAD-B69D-27BC6D3C7DEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368955"}}}}}