{"entities":{"Q2164233":{"pageid":2174976,"ns":120,"title":"Item:Q2164233","lastrevid":54381305,"modified":"2026-01-26T17:52:00Z","type":"item","id":"Q2164233","labels":{"en":{"language":"en","value":"Bounded synthesis for Streett, Rabin, and \\(\\mathrm{CTL}^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571384"}},"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":"Q2164233$8FBBA3BD-3826-45D5-959B-D6B3F876C978","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"255e020301714adf25c752d43fb8089d69c9f20d","datavalue":{"value":{"text":"Bounded synthesis for Streett, Rabin, and \\(\\mathrm{CTL}^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164233$ECCD5723-847F-4EE9-9C74-BBCA53F325CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2a1735cb8f9bbd1cc4f64d80dd86b1dd3df94f7","datavalue":{"value":"1494.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$3BD91B66-3A10-4264-A2CA-7C89018847EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"298bc161a926471009bd59db6f6b86ebfe5f86d4","datavalue":{"value":"10.1007/978-3-319-63390-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$8F4C0602-86F4-44E9-9E16-2D1590C729DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d343b46ad0ad98ffe679ec47c4c8f1396503fbb2","datavalue":{"value":{"entity-type":"item","numeric-id":2164232,"id":"Q2164232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164233$8C011447-ADC7-4277-A9B3-0517A5E20622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164233$6B0D3231-A9D2-4FD8-9C1D-23288F3DA7C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164233$42D109F9-7829-4697-8180-DC4EA97595B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$03BB298D-009A-4F87-B825-BBA8F356D3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$0E7EC56E-3AFB-42D3-9966-51C54485A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$B5F0A223-78B1-4B83-BCD5-027B43096DF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fcdcd84e72f15007ce6961e626d2d313dcf670d","datavalue":{"value":"7571384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$D2006A4C-61DA-4E6C-A8D2-FD3006D4E3E3","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":"Q2164233$E5EAC839-59F9-469C-9897-54FD2422D1D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c270c74c5666d971312196d2caa500fb5d3f52a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63390-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164233$124DBEEF-69E5-4335-97E8-219F99614DD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46b6a2af3cd7263bd2fe4461e4c87bc53d53e65b","datavalue":{"value":"W2736258653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164233$0031D6D5-800F-4F46-AFEB-3F1ED851C706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a35817cac7a82aefaf5ffbcbd77ac577e24346","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30535d71dca7e42e4a275470248437eda6fce341","datavalue":{"value":{"amount":"+0.841344952583313","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":"Q2164233$96C88F63-E67A-4BB7-995B-AB27C5142B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9455a0da0956e4d14fb1597f23a78e98e362d135","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4855c414eaa2843249454c3f70679e7f5500204","datavalue":{"value":{"amount":"+0.8326818346977234","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":"Q2164233$5A7D9645-B59A-46C3-9819-7D286D036C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b354fbdd02a02d7092bbc3a6d3fc11c09a0df9c","datavalue":{"value":{"entity-type":"item","numeric-id":4633531,"id":"Q4633531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8948498777ca13f415d081211bae377af60c9a76","datavalue":{"value":{"amount":"+0.7968669533729553","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":"Q2164233$F964CB7D-0852-461C-AE86-026F32B20F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d37e73c744ef5d5a1d6434189ddba91c2592c8","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19aa331c6269ce69419928ffb71d158dc7747f38","datavalue":{"value":{"amount":"+0.7964543104171753","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":"Q2164233$52A096B7-FE19-470E-AF62-52859E05C6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4e8a6406e1ad1fa7ae8344538d3b7da4a4928a","datavalue":{"value":{"amount":"+0.7825305461883545","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":"Q2164233$2469B282-E367-42A0-A87A-9A70D1640CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2164233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2164233"}}}}}