{"entities":{"Q5353268":{"pageid":7382842,"ns":120,"title":"Item:Q5353268","lastrevid":37899918,"modified":"2024-11-13T06:28:08Z","type":"item","id":"Q5353268","labels":{"en":{"language":"en","value":"Synthesis of Reactive Switching Protocols From Temporal Logic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6772017"}},"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":"Q5353268$C1A43BD9-B340-470E-9DB0-26593E5125FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"befdfc9d711bcdeef032373c31659f7a89e4c9a8","datavalue":{"value":{"text":"Synthesis of Reactive Switching Protocols From Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5353268$AF00BAD2-B72B-40FA-B722-8DBFA158F0DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cf28969ca48128d90b6ad130debc0761d8fec3e","datavalue":{"value":"1369.93307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$D53F102B-D588-4EE0-BAC1-7E3045401AF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aac4babee1ba7b29c30875e6bfcafdbcdf48689","datavalue":{"value":"10.1109/TAC.2013.2246095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$0D8B46F8-C300-40B7-81A7-4AC5FDC329B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf8233021b2c25675741f57523e378ff38c575a","datavalue":{"value":{"entity-type":"item","numeric-id":286068,"id":"Q286068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353268$0FA71278-03F5-411B-B5CB-2DE1D6BC37DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353268$B3C678DE-29A8-4A7A-9B77-383130082FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353268$02854B1D-7D48-41A7-9451-CA941393D68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06fcb8f66ff658a4df0218645c977cbe1d9d0eff","datavalue":{"value":{"entity-type":"item","numeric-id":490563,"id":"Q490563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353268$81D56870-8628-4C05-A76D-CD86CA2EBE67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353268$9F48C222-221E-492B-9094-FA9AB8D2E491","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5353268$0034039B-9D3B-422C-8A8A-595F553A2BD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd9a801a526fc4d8fad4b9db030b9cb0c67a3fce","datavalue":{"value":"93C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$267EC8A5-408F-460B-A7DC-E51A5C0DF8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$2FC02AC3-16B1-46DA-BEB9-973AF37124A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$43A5A654-7870-45C4-886F-D445A622A91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34a2b72e64b2c37a8c9ec6052b1ebe543be5ec51","datavalue":{"value":"6772017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$F7695C71-B625-4B7F-B3A3-BD3E8C4A0D28","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":"Q5353268$35CAD5D9-494F-4A67-BC22-5200E43B8EDF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"059f8e46e10ba9925cdb853ef7a33e3beb0dfaef","datavalue":{"value":"Q59813902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$CC656ADC-C6B0-44BF-A79B-A390B65ABEF9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"89d8d8b9bb47b4b44f337da5f6cac4dc9c6da8a6","datavalue":{"value":"journals/tac/LiuOTM13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353268$14B2FFB7-D07A-4196-9A21-25ECCB97C49C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5353268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5353268"}}}}}