{"entities":{"Q2743706":{"pageid":2754445,"ns":120,"title":"Item:Q2743706","lastrevid":47676628,"modified":"2026-01-02T09:58:54Z","type":"item","id":"Q2743706","labels":{"en":{"language":"en","value":"Guided synthesis of control programs using UPPAAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652523"}},"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":"Q2743706$64327B2C-858B-41DE-BD7C-326603AD4D6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d68b60b5b4ca52da05f014cb8539ed092b3bd26","datavalue":{"value":"0978.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743706$086654EB-90B7-4D2F-9BE9-DCC2B3F7C36A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"733a4ea1b2cbf02d38b47e7c736d41c4ca1e896e","datavalue":{"value":{"entity-type":"item","numeric-id":1858446,"id":"Q1858446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743706$4EC121BC-2215-4A71-B786-A250A4D1C436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743706$75403541-775B-4A3E-AF0D-14431DE80E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743706$0D27DE84-ADFC-4A4B-9AAA-DD242A9AD7D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1ffd1f5843676b0a44fa567aa411c85447e6772","datavalue":{"value":{"time":"+2001-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743706$4B8FB4CE-5433-4F42-A3ED-1B86590D8046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743706$06B01503-7559-4CD1-BB9A-DBB37B46578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743706$5A1670C9-1694-4A7B-8939-D8AE5AB613FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5418c511766a07705d5ddf60c5205bc7fe0fd1","datavalue":{"value":"1652523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743706$C6398032-E411-42EB-92C5-3B356D8D28E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8752778762fa3edafed355943372c23aa3910498","datavalue":{"value":"scheduling problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743706$5B5501AA-08BD-4463-8198-ABECAC568DA4","rank":"normal"}],"P1463":[{"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":"Q2743706$DCA81348-4F95-4A34-A965-E1F252EB374C","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":"Q2743706$96ADBD44-44E6-4656-A90F-8A81A44F5124","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f91f8ddc890fbc45eb81172c5bfaa97211d6523f","datavalue":{"value":{"text":"Guided synthesis of control programs using UPPAAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743706$271D7025-4DB5-426F-B3E5-ECB0AB7F1A80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a561326982c2f0bf83bfa2bbf02aa2915ef1e187","datavalue":{"value":{"entity-type":"item","numeric-id":6768200,"id":"Q6768200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743706$5713503F-57AB-4736-87FC-65195EF7FE4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5063c2cff4f23dcad2a7c274079878aaa025c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14f1147c7cd5ab37c47fa257ad7050109584989","datavalue":{"value":{"amount":"+0.7173832654953003","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":"Q2743706$A72A9160-A874-4079-BF74-E1DDADCF4544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d975d1865ac7d17411e742087370c5d16bca5e","datavalue":{"value":{"amount":"+0.7124002575874329","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":"Q2743706$47403563-91FE-4BC7-94C0-299248A1C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6837f8323f2df2e05e6e993f7ceaee7c354156","datavalue":{"value":{"entity-type":"item","numeric-id":3624564,"id":"Q3624564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c83b8d1afb9822a3318bbc4a955c49a3cd7af00","datavalue":{"value":{"amount":"+0.7068405151367188","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":"Q2743706$D464708C-7621-4468-AC32-F548C260D7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c992ac25581dc7d0a317ac86a3075feb269639f8","datavalue":{"value":{"entity-type":"item","numeric-id":2512166,"id":"Q2512166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e63f292b5b58b0d716694989b3cfc3aabd84eae","datavalue":{"value":{"amount":"+0.6991096138954163","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":"Q2743706$9BB4E8F0-39F8-400F-8616-2573FF7C2573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6678881a66c0eab1299863d36d7f562e92ebd536","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e16600991ce210aefc7a8ede8a4f9596a575b3d","datavalue":{"value":{"amount":"+0.6980143189430237","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":"Q2743706$5176364D-2EF5-4EC8-BC0F-C867366A4055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2743706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2743706"}}}}}