{"entities":{"Q6536136":{"pageid":14147279,"ns":120,"title":"Item:Q6536136","lastrevid":57344400,"modified":"2026-03-30T14:08:26Z","type":"item","id":"Q6536136","labels":{"en":{"language":"en","value":"LTL reactive synthesis with a few hints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827812"}},"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":"Q6536136$83E8B57F-C28C-4D3F-AB00-E7833E3B4DF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f0fb7340728f8ef9ec1d5b18aeecd506d811ed3","datavalue":{"value":{"text":"LTL reactive synthesis with a few hints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536136$5316D653-B431-4B15-A795-37770FEE309D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4253f58a248058faac4544c7a0421ed96c274f45","datavalue":{"value":"1547.68408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$D0B95FB5-834F-4CA4-8748-59FF2E1FE4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91d752869b173e1818e6711594029eaea5028d3b","datavalue":{"value":"10.1007/978-3-031-30820-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$8EDAF747-5363-4EFB-866F-980DCEB98945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59044ffe170759f450828ebc80cf2976a849717","datavalue":{"value":{"entity-type":"item","numeric-id":6176101,"id":"Q6176101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$4C772F8C-D139-4AFB-B6F4-4FE62C4EFF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$13B2ACD8-8574-4D96-A33D-85790114F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$9ACE5FCB-F215-447E-BE8B-3EF210370681","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536136$AC71A624-EED7-469A-98CA-95DEE4EE36D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$8B9156CC-F9D5-474D-894F-FA4E1E8D45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$DC167ED8-16A6-4670-8711-092713A44059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$B89A3C56-0223-4373-8381-7A5C4041EDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$C25BDD9C-C466-46B3-A620-517E32F8C22D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b1997e1786cf4ec535eaab08916f86bd51b3b57","datavalue":{"value":"7827812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536136$07832F30-C212-4B8D-A600-42A26D2D7C48","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":"Q6536136$8983CE4E-428E-46C0-A330-2BAEEDE91695","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a271a3c9d5b9e7435e1b586c4c8caa0b2fd18b","datavalue":{"value":{"entity-type":"item","numeric-id":4608660,"id":"Q4608660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$DA9F2081-A8E0-42BA-A76B-5B6489B56A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$5CB2D71E-530B-4446-8DDB-044C5FAC5DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$8EF72E71-E7C8-4F82-8768-F8DDB5BA7953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a34d6c2eaefa808ad5777a355e891a3c645e83a","datavalue":{"value":{"entity-type":"item","numeric-id":2961552,"id":"Q2961552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$0C9A78D2-B947-41D0-BBBD-3397E5FF22C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32fdaa2da3d0fdcd944c4e83d8af1540b2e0b98","datavalue":{"value":{"entity-type":"item","numeric-id":528191,"id":"Q528191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$67CFAF4D-510E-4120-B521-DA8B90077EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$5AFC96C9-9044-423E-A4BC-5720D076EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfc2abbce44972b8bb802564404a2fe7acfe5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3303906,"id":"Q3303906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$45902BA0-943B-4A21-88B3-690B8369F3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299f0e222fa0320068daa86655dbdc8583b9cf48","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$C6791BA9-1CB4-4805-9BCC-F9FDB333DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$456DD34F-1C85-4F1C-98F8-404AB52DC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfc61df9ea2c4ff6e0dde11aad682a4af270b19","datavalue":{"value":{"entity-type":"item","numeric-id":2281639,"id":"Q2281639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$C8FB818F-1D6F-4E89-B14C-DBB961DC909E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcf6f8e05395f76c9fa2d36cbffe2ab7d19e972","datavalue":{"value":{"entity-type":"item","numeric-id":5740173,"id":"Q5740173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$A5FD7A37-559C-40E1-982F-AE25D644C7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228823855efb83bd72957df80935faa3afe5b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$83DEE9FD-1BEC-4446-BA75-0CDBCDF7FE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$0B7EFE4D-7110-4474-B9D6-D17954A5D43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d917033086991cba8f9df0366358fe6576bc5dc","datavalue":{"value":{"entity-type":"item","numeric-id":6535567,"id":"Q6535567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$E1FD4BF3-941E-4FD4-8A76-3416313E88F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$5B21D301-719B-4D4C-97FA-1B5471A9102A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5d869b2337d75452538a9f596a18165829e342","datavalue":{"value":{"entity-type":"item","numeric-id":2828277,"id":"Q2828277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$F0A5025C-7A29-481F-BA13-75CAFE528D30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52bbd71a07670900a682638275fd4eed0664d081","datavalue":{"value":{"entity-type":"item","numeric-id":6151759,"id":"Q6151759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e528949adfd7639bf9e5634531fcc7f986e15b6","datavalue":{"value":{"amount":"+0.8073365092277527","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":"Q6536136$7510F256-EB0E-4256-BFDE-EF74D3CB429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cd6758cd856175c83bb1fb211f714f8a734a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4818752,"id":"Q4818752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe53d2aa2b011cab28dea6a78f166fa81d3669b","datavalue":{"value":{"amount":"+0.7789561152458191","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":"Q6536136$A20BF844-0C92-41B2-A35E-F41EA92B2AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9730d2273d8f08b72dc7c34781ce6971dee51b4","datavalue":{"value":{"amount":"+0.7629671096801758","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":"Q6536136$9F479903-5CBD-4B87-ACDE-E2CD5F5AB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce361145fd3258059c51e9d3c3bbe938152c85b","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baf6daffca100386a148daec488f7a73ec9077b","datavalue":{"value":{"amount":"+0.7626526951789856","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":"Q6536136$BD0288E0-BD49-4FEE-8D50-27F5E97F2DF4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536136$B37F143F-1BC9-4CFC-996B-EBC521DBB03C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536136"}}}}}