{"entities":{"Q4561462":{"pageid":6591052,"ns":120,"title":"Item:Q4561462","lastrevid":53297846,"modified":"2026-01-24T16:26:32Z","type":"item","id":"Q4561462","labels":{"en":{"language":"en","value":"Formal controller synthesis from hybrid programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6989707"}},"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":"Q4561462$1C5AB632-ECF1-4D51-87A0-BB52A0CB1770","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e16e5a05a1b5d652afe4720bd91995ae55ec642e","datavalue":{"value":{"text":"Formal Controller Synthesis from Hybrid Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4561462$E2DDECC8-C995-4967-B520-C5105F708D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd35e49ff735b3c1b2b522ed0c783ad1fc165053","datavalue":{"value":"1417.93161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$69621F7A-3766-4E6F-B95F-4F5BCE1BA463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"245ce16855e1fa8e76f831071f62cce7d135e322","datavalue":{"value":"10.1145/3178126.3186998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$BBEDA9F9-E08A-454B-9D0D-D6F752193250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04ef97a008cc922892752edd02e18f1f9827a79b","datavalue":{"value":{"entity-type":"item","numeric-id":2665406,"id":"Q2665406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561462$59F5D529-7937-44B8-AE09-EB4D0CCC27EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd75063fb99447d972021ae6b9c54b0c3559d54","datavalue":{"value":{"entity-type":"item","numeric-id":246546,"id":"Q246546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561462$263476B7-3E1F-4772-AEE1-3DFF285AB13D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8d096d6981280267a5b4ee4329fbd527e4a5e81","datavalue":{"value":{"entity-type":"item","numeric-id":4561424,"id":"Q4561424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561462$90374003-DACF-4AF8-9441-7525C3FC5450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d792d11c9db1b3c1ce8b80dd0d5403f301c3f974","datavalue":{"value":{"time":"+2018-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4561462$8561EE5C-9DD0-4687-A9C8-A0A082B5DA92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$4F67900F-317A-414F-B6BB-B466AE333D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$D0A227A8-6D57-4B03-81AA-A966E8F3F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$EEF96FC3-A1D2-478E-A700-75DFAD348406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$4E1B40C0-6A0B-46D8-AE0A-E7CA320133C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1763ad0a7e89e2d131d8f62a2d2e46e57b6f348","datavalue":{"value":"6989707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$F9778E6F-82F2-49FC-B89C-8FE41423926F","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":"Q4561462$E43797F4-2031-4B39-8E9C-05A3232148E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3ac2f61703bc5c8db0932a79de1660132ae121f","datavalue":{"value":"https://doi.org/10.1145/3178126.3186998","type":"string"},"datatype":"url"},"type":"statement","id":"Q4561462$A32359EE-C742-4D13-B608-A5762CCF71FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dab5174974d6ebbfd389df4708fb42ca0119e39e","datavalue":{"value":"W2795943051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561462$BE47408F-1B9A-4AFA-9D56-DEE308BA7AF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a87d7b3029b20b70299b6564dd73d769f1349929","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c0e30fe30e97d7f9b88c6b50e772f604c5a378","datavalue":{"value":{"amount":"+0.7958439588546753","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":"Q4561462$8B25C508-942A-49D2-9362-6E210F41596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309641f3838c35245227359c587a0b585453de67","datavalue":{"value":{"entity-type":"item","numeric-id":4395811,"id":"Q4395811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5943048644c0f445aefd3fc364e60776d206e606","datavalue":{"value":{"amount":"+0.7958438992500305","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":"Q4561462$1C1076F8-050E-49B3-9331-693D6E5501E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eeb91d1ddb779a20ed542356cd2ac0c72d10c17","datavalue":{"value":{"entity-type":"item","numeric-id":4552484,"id":"Q4552484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e834aaf57cea39a91c5ee66f4be614befe3ca3c3","datavalue":{"value":{"amount":"+0.792516827583313","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":"Q4561462$9EA4DD16-088B-4043-A28D-482FC8489C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100f990fbd0f4b1c2d21fa0d026beb39723c8444","datavalue":{"value":{"entity-type":"item","numeric-id":2665407,"id":"Q2665407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0a60097e1a6aadca048bfb4e51df50fb84adb9","datavalue":{"value":{"amount":"+0.7840750813484192","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":"Q4561462$40E68160-CE38-4654-A31E-60AE01283437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbb08e89ab96c9825985a980a5d657a33b7fc82","datavalue":{"value":{"entity-type":"item","numeric-id":4249570,"id":"Q4249570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cb453640e72e9ea4933a74c756a79ac6037d41","datavalue":{"value":{"amount":"+0.7832783460617065","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":"Q4561462$BD3ADC83-8365-43C6-A283-862D739C5F3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4561462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4561462"}}}}}