{"entities":{"Q6202085":{"pageid":13336972,"ns":120,"title":"Item:Q6202085","lastrevid":38767594,"modified":"2024-12-16T09:42:48Z","type":"item","id":"Q6202085","labels":{"en":{"language":"en","value":"Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807950"}},"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":"Q6202085$E5F79BD6-3390-4687-82AD-C1C950A14C29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d540c3d4aad7b19ec3365bf94294f2b2113efb42","datavalue":{"value":{"text":"Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202085$0B67052E-2C88-477C-83ED-9CFD2F1DD5B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f465f1f54bca2ad37570cde737e9b49e29221213","datavalue":{"value":"10.1145/3575870.3587111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$712367FF-5DE8-4CCE-BC86-37A85A66C523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e23de1baa7df0d603f36d12b381c18bee662d3","datavalue":{"value":{"entity-type":"item","numeric-id":6202084,"id":"Q6202084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$64E8E659-17DB-4701-B5E1-8FA68F56A476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556d50c1b83e8f28bc968c0bdf2bc4419b8ca47a","datavalue":{"value":{"entity-type":"item","numeric-id":262423,"id":"Q262423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$9E9D1B6C-4DD3-4EFA-94F3-079652BF362A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb2f198d23bf9650c0fcd84bd7988a6354cb1f28","datavalue":{"value":{"entity-type":"item","numeric-id":6202072,"id":"Q6202072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$4BF43F83-B31A-49E3-B680-FC9B277D845B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6202085$598E6E0E-C982-4E5E-B68B-FE997FEF7976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$F962DCDF-070E-4B6E-BCAA-107CB2F95E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$C591D2EF-9822-4AA4-A895-141F35ED181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$0E90F70D-9811-4B35-8D98-4ED4F2D534B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af532e47b340d2bf2469e156280e94284ae0950a","datavalue":{"value":"7807950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$392A1E9A-0B97-458B-B29E-682ED4D1E7F6","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":"Q6202085$65AAA493-0E4D-40B6-ABFC-3B614F0766B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa3d044ef73c4a5d0f04b8455ce3c7aeafd0ed0d","datavalue":{"value":"https://doi.org/10.1145/3575870.3587111","type":"string"},"datatype":"url"},"type":"statement","id":"Q6202085$8786CD54-F4A7-4D3F-897E-18AF847C584E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecf55e3a691d24d3882fba3ca89ab9862381216e","datavalue":{"value":"W4375852007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$29C77062-26A5-4B50-8E45-E26EC58FD700","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55a423b426bfe961d94df0c876b1e4f6ab322de","datavalue":{"value":{"entity-type":"item","numeric-id":3189650,"id":"Q3189650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$DFD6D922-A907-4917-8226-56AE488922A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790a8c661ee52c05e867af7a816c484dd70ab347","datavalue":{"value":{"entity-type":"item","numeric-id":4559500,"id":"Q4559500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$D8F50B74-1FA7-4462-BD07-55D013919925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$EF5F4F07-72A0-4F6A-A44A-5B874D154A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9c1be3c8cafabc677f286b24ccb301182ad428","datavalue":{"value":{"entity-type":"item","numeric-id":2844600,"id":"Q2844600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$C3719916-7102-4D96-B74F-E466048EBB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9a7312c43b9e8d346258a93715dccb53eea4d","datavalue":{"value":{"entity-type":"item","numeric-id":5146377,"id":"Q5146377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$6F442675-3B81-408B-8A3D-B935E9EA3370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f942015ca0323b830cbbbb4f658af6626e9937f","datavalue":{"value":{"entity-type":"item","numeric-id":1730325,"id":"Q1730325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$486C4FDF-296F-4073-A068-7C5BEA930E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611af60aaacb367d63851e4f21274837bdbf5abe","datavalue":{"value":{"entity-type":"item","numeric-id":5959843,"id":"Q5959843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$A10EC3D2-DED2-482E-BD98-72FCBD829CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5d6029148331ba1c4cf3bfe7752aa466afe905","datavalue":{"value":{"entity-type":"item","numeric-id":2280917,"id":"Q2280917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$0E8FBF92-ABC6-444E-BB79-9888A05B1E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$F240723C-6E51-4B8F-A205-C1A298C52541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b17440c3a5fcd63c00e2237db83c791bc44633","datavalue":{"value":{"entity-type":"item","numeric-id":2988967,"id":"Q2988967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$295EBDE5-1292-4E5A-8B3C-82428BB0CA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e18c78b135fa2b5021b01601a9d2bbc02378a4","datavalue":{"value":{"entity-type":"item","numeric-id":2197592,"id":"Q2197592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202085$D2D0311B-1CBD-4022-87C8-B226B5CB832F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d251faf176637d663a07252e58f8f3bb916b2fa6","datavalue":{"value":"Q131113393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202085$4AA8E738-B07D-4C49-9C02-B603AD74F942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6202085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6202085"}}}}}