{"entities":{"Q3612972":{"pageid":5642878,"ns":120,"title":"Item:Q3612972","lastrevid":50602355,"modified":"2026-01-14T13:04:00Z","type":"item","id":"Q3612972","labels":{"en":{"language":"en","value":"Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527765"}},"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":"Q3612972$3C8EE4AD-DF2D-4F58-8350-DAFB862F0FE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dbe344a09221c9f9b3b285fb78d9031fac1a2bb","datavalue":{"value":{"text":"Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612972$829FAF00-A4DE-41D2-BF6F-949F912B47A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61ab69aab654af2e926cc3daae7df39e9ec372b5","datavalue":{"value":"1221.93071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$C9A5DE67-905C-44DA-B42E-853660BF2B68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b706aaa09de11b9464e8cbe743c80c237bc17829","datavalue":{"value":"10.1007/978-3-540-71493-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$7043E438-AEBC-4E44-84AF-DB952E2592B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612972$95CD9619-4032-4D5E-8483-26CC56EA8F7A","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":"Q3612972$EB2A10CB-627A-4F3C-B041-5F8B05291257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612972$2E463183-F016-458D-99B5-DE3C6AB681DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612972$11D24962-3B9A-4B5E-B4E6-171A82584AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612972$47C275F2-66D9-452D-AACE-DD11E9157DA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$FC6956AD-726C-4E87-8F25-F44F4DBBAD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$24887EA5-2853-44FE-A9DC-DB8C3D1EA143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$C9EEFAEB-226F-46FA-BB44-81F0A077F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$9E95D5AD-08F9-4373-AD7A-E736E7C650FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"161abb9618260b45b113b1c1801b010175791e4a","datavalue":{"value":"5527765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$DC6FBE91-8DE1-4516-8B46-D892310EA758","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":"Q3612972$C46CC4D9-26F0-427C-825A-8E8EA5A6593F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b164570ca118562552874e84417a122b6de5dbce","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71493-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612972$F4729F37-8E25-47D4-A49B-1536F8519A9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2409730cd1340ba96126a368399225d4aff9b65","datavalue":{"value":"W1887552673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612972$2381C774-7CB2-4540-9AFB-C9C128E219CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657a498c6f5c9d6daef09c188e6ffc893097b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e488f38d47d6d9d6bfdd364de454abf43c6f547","datavalue":{"value":{"amount":"+0.8079381585121155","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":"Q3612972$2CA283D3-3918-4CBC-AA88-8236D3C5753C","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":"397751e9a359760f9a5f0494c34857f73dec85e6","datavalue":{"value":{"amount":"+0.7899993062019348","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":"Q3612972$2ABF121F-5FA5-4EA4-A9FC-0CE6462BE8D9","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":"80a4beb4f00974f3bdf65be455a3454c5f353421","datavalue":{"value":{"amount":"+0.7874338626861572","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":"Q3612972$DCCF8284-5DA4-4B7E-8F8F-F30A98774FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050880e752ab23309582b090fd12758dfa67d5a2","datavalue":{"value":{"amount":"+0.7679374814033508","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":"Q3612972$60B60A21-44D9-4D78-AE97-F7DEF5AF148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91afdef5f86e28345974e672e2dec8bebda1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":2986938,"id":"Q2986938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c721a6a59ad4ac3cede6c21a2aad2b05fffca2","datavalue":{"value":{"amount":"+0.7650073766708374","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":"Q3612972$F9A03B1B-B2D3-4D10-A8CE-9AC7410B2101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612972"}}}}}