{"entities":{"Q1874276":{"pageid":1885018,"ns":120,"title":"Item:Q1874276","lastrevid":69170412,"modified":"2026-04-13T05:14:16Z","type":"item","id":"Q1874276","labels":{"en":{"language":"en","value":"Automatic synthesis of a subclass of schedulers in timed systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915467"}},"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":"Q1874276$2B098F4F-6B11-4EB1-A5B5-7EF12F020418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39e477106aa029d0648b6d1ec9621c026af29ac0","datavalue":{"value":{"text":"Automatic synthesis of a subclass of schedulers in timed systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874276$D3F0DCAE-43F1-4630-9E16-974428D2B4C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6359a3067c46e3d20d0a4b0867f7e8bbaaebf04f","datavalue":{"value":"1038.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874276$4B1AFF0B-0DED-48BC-A9A4-61F65065DB4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a71cfa52155ee6f9cd608d077a2ecb3e70578d76","datavalue":{"value":"10.1016/S0304-3975(02)00813-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874276$3826DD5C-0198-4096-8B62-71390CF9E8F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f99e6b3be21136525ade88ea748ed8c6fdc99a2","datavalue":{"value":{"entity-type":"item","numeric-id":1330426,"id":"Q1330426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$867E66CD-8A0C-4258-8C8A-679812935959","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":"Q1874276$475B4D94-B8BD-4840-9266-F123E58F3532","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874276$33307E09-289F-4FC3-A31A-6BEA13E3B973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874276$0CDB4613-15A3-4DBF-9568-7957D76F04EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dad8745eed8803e8991fb5bffe88fa58aca28b6","datavalue":{"value":"1915467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874276$3CFBCC8D-0D64-4761-B803-5B251202E3C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874276$93A8030C-072D-499F-AD4D-EA0767F11E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67fc4189312f7d27c60f0af5cfa173e2f2726227","datavalue":{"value":"Trajectories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874276$B865486F-5834-4912-8537-08F94ECF12A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad901939a938096c89d1773cef5a32234d845ca","datavalue":{"value":"Schedulers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874276$DEAE7E66-2D21-45F0-AABE-00397F639807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707679c621b02045e9cb1d7d25f2fe2bdebc62bd","datavalue":{"value":"Synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874276$B552E77F-DB30-4EBB-B3F4-68961357E30C","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":"Q1874276$DB71BF08-AED5-4819-96FF-96E3B3C14673","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":"Q1874276$42D47A55-315E-4002-B24F-AE78066ED1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90440aadc6810660741c6f085dbaa0247d87e012","datavalue":{"value":{"entity-type":"item","numeric-id":2766638,"id":"Q2766638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$829F65F3-1ADA-4BF1-BE55-1CC34BFDD5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$03622EBE-5FB8-4A3C-A2E4-BC3800ECAA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc8917fbfb5072716c7f09e964a955197ed00c7","datavalue":{"value":{"entity-type":"item","numeric-id":4343832,"id":"Q4343832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$6B1620A1-2F89-4B4D-A140-D2662051554C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f2cb354948d23311fc8d21484d2e3bf629fa95","datavalue":{"value":{"entity-type":"item","numeric-id":1871065,"id":"Q1871065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$37523780-9E76-44D9-844B-E357C3B987F7","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":"Q1874276$CC245885-8A63-49E6-B56E-2EFE6A02019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286eddcb241c53d41b2c213d818f63438d985082","datavalue":{"value":{"entity-type":"item","numeric-id":1128661,"id":"Q1128661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$C06CE31A-0B02-4E62-9683-EB9AA2B1146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b998644fbb193768f3b9757adc11579290961b9","datavalue":{"value":{"entity-type":"item","numeric-id":4208561,"id":"Q4208561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$29B7DC02-0181-4CB7-B027-2C0CF19E93A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdaf54329ae69f58811a91fbba85e809b1dc67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4302302,"id":"Q4302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$A6713A75-6D7C-4BA1-932A-40EA159C0D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622cd190dc6912ac59ae55dcf683565442c8849b","datavalue":{"value":{"entity-type":"item","numeric-id":4302303,"id":"Q4302303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874276$60E35704-4E5D-46D6-8F8A-2F1E875BB796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583272114b98919fd7d51e26e070ca76c3b6807d","datavalue":{"value":{"entity-type":"item","numeric-id":4499283,"id":"Q4499283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d55c65f0e6c0ef39ae688461a32651ec4e73d2","datavalue":{"value":{"amount":"+0.9766992330551147","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":"Q1874276$DD580F13-4596-43A0-BA78-80098834BCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1cd35c50b504afb89d65409cf2700be2eaceda","datavalue":{"value":{"entity-type":"item","numeric-id":4037392,"id":"Q4037392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f21f9b49f772e732933ce38708ddff8cf07e20","datavalue":{"value":{"amount":"+0.807593822479248","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":"Q1874276$9449B6E1-921C-4896-8372-199F9C6D6811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2964e690d7ec2d0bdcc317ff4eddafac87fee1","datavalue":{"value":{"entity-type":"item","numeric-id":4037097,"id":"Q4037097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff82d697bf0f0d123ba748bc80c8fad13efc51c","datavalue":{"value":{"amount":"+0.8063048720359802","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":"Q1874276$A98BFF6F-6D9C-41D6-A5B3-AF0E895744E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a243ce3959d70ba9c9e0366a6c4b7da09f1107c","datavalue":{"value":{"entity-type":"item","numeric-id":5045458,"id":"Q5045458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f897cba5ecb07065a4ef1cf1989238fa162decb1","datavalue":{"value":{"amount":"+0.8049663305282593","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":"Q1874276$550123A1-62BA-463B-9109-B76DF23C1E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdce073c4f6bf73ea098334f8fd024e525339d","datavalue":{"value":{"entity-type":"item","numeric-id":3564026,"id":"Q3564026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f6d7db176ae0f7da0a90d706f8c01e61ecdabe","datavalue":{"value":{"amount":"+0.803376317024231","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":"Q1874276$CF67EB1E-5B83-4C6A-9855-3E19D0BE1019","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic synthesis of a subclass of schedulers in timed systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_synthesis_of_a_subclass_of_schedulers_in_timed_systems."}}}}}