{"entities":{"Q4964733":{"pageid":6994312,"ns":120,"title":"Item:Q4964733","lastrevid":58379562,"modified":"2026-04-04T23:23:39Z","type":"item","id":"Q4964733","labels":{"en":{"language":"en","value":"Towards efficient exact synthesis for linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317266"}},"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":"Q4964733$69B7FE4F-7F59-42B3-AC3D-C11BBFF58E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"907075e61a9d4decaa039a24b5d6d397cd68a7d8","datavalue":{"value":"1457.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964733$25D6CC18-2EDB-4317-86B1-7016E2B2CF74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964733$EF17C7B6-EFF7-4B71-8C99-1DB61B644ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79eb43ca4898bf0c605980468e2cfd77498bc71","datavalue":{"value":{"entity-type":"item","numeric-id":386609,"id":"Q386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964733$15F609C9-E9AE-4215-973C-F72EA2B64624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6fa82ffc271e6dec09947def4ec4f24c145995","datavalue":{"value":{"entity-type":"item","numeric-id":391116,"id":"Q391116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964733$0C8CEE21-6AF6-4A09-A411-2A5B6515252D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964733$215D67AA-3F55-43D1-BBBC-A79AE8DE072A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"285be49d2d34ad2b26e9b18890f7bacf99edfd2f","datavalue":{"value":"https://arxiv.org/abs/1106.1246","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964733$33115F7E-8175-4683-A0D1-F94E60A7AB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b66cb86c39ac8d38238a35c28cd88aefe9fd4236","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.19","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964733$3FA811CB-5399-4D93-A456-A7BB93499D88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964733$3AF55219-8A1D-4748-8B5D-A38E084E7BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964733$A45576EB-FD6C-433E-B09E-2F58CB3DF85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964733$F3A21DE5-5D32-4B31-A116-EE9527817C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964733$1D81DA92-AB00-4DEC-A038-9A8676DE13B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6f3db5c7cc8fdd0f904cd1398ceac3e1cd37878","datavalue":{"value":"7317266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964733$1081C164-86CE-4F3B-9F1B-7560EA254B6B","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":"Q4964733$73B094A8-690A-4F62-8BC3-93BFD0BF95F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e059200623e49e4aff150010aa7c7567d0a0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2986753,"id":"Q2986753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a89e2350f6c1d14c34875b4f7c00c2ba225af9","datavalue":{"value":{"amount":"+0.8475761413574219","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":"Q4964733$059BFF66-BF7C-4EBC-BA11-537E4F675F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c68619a1943c765230102b079d482383cd79be","datavalue":{"value":{"entity-type":"item","numeric-id":391117,"id":"Q391117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bb79582836a2a90d15c9f7e07c16d1d2e7b358","datavalue":{"value":{"amount":"+0.8166465163230896","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":"Q4964733$92CEB149-5A29-4423-BFD7-629317FBDD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ed0b1370b47c7d78b3733902176bd54e62afa","datavalue":{"value":{"entity-type":"item","numeric-id":4953410,"id":"Q4953410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec00b66a01b49a58d96d802185ab70524deffc0","datavalue":{"value":{"amount":"+0.7636699676513672","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":"Q4964733$613966D6-63BB-4435-94E3-185BEA923694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe09167b59c5bd183c9e615d3c6872cf7383c8a","datavalue":{"value":{"amount":"+0.7453423142433167","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":"Q4964733$D24EA856-D43F-4DBC-9E4E-7E1D12452884","rank":"normal"},{"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":"b2ccfd05df135b8f3636de02397c71337c46a30c","datavalue":{"value":{"amount":"+0.7443893551826477","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":"Q4964733$B4C71CDE-FBC2-42F1-A57A-AF079E1617B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964733"}}}}}