{"entities":{"Q6535642":{"pageid":14146785,"ns":120,"title":"Item:Q6535642","lastrevid":57343683,"modified":"2026-03-30T14:04:30Z","type":"item","id":"Q6535642","labels":{"en":{"language":"en","value":"Guessing winning policies in LTL synthesis by semantic learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798073"}},"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":"Q6535642$AA45218E-069A-4271-83B6-A15076287802","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6785f63118760c13bdfd5f8dbae51fc54275d2","datavalue":{"value":{"text":"Guessing winning policies in LTL synthesis by semantic learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535642$0CD2506F-5A17-40B6-8485-825F33F58981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a47fdefd836752bc873f8d130a14a2089f6f26f","datavalue":{"value":"1547.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$2A21CC65-DAB1-4F5B-ACB3-DA9C5CBD1525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e421364bb0587ee6ffb7b66d4daeba623e493b7","datavalue":{"value":"10.1007/978-3-031-37706-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$3E14DC21-22B5-4AFF-BF27-A84C4934841D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$266A7611-8E44-495A-907C-6D18CCCF054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5292d458af310b000030cf51a9a263a1b17344bd","datavalue":{"value":{"entity-type":"item","numeric-id":2151246,"id":"Q2151246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$F7318AC5-A12C-4651-BAE8-9ABA988A6B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47604134f42a2e6a7bbfee60bbdbad8207c418f2","datavalue":{"value":{"entity-type":"item","numeric-id":6535640,"id":"Q6535640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$2E29C67C-5FA2-45AA-8FBC-24853DA6DD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190cb23e5b39ae77e8e78e15c759f839f594b4f5","datavalue":{"value":{"entity-type":"item","numeric-id":6535641,"id":"Q6535641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$58AA748B-21BC-42EE-9AAA-D2D09FB1593C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535642$BA130E84-9DE7-4EE8-872D-55805011AD78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$E7E40F77-83A4-4E1E-97BE-F2007D5479F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$1E8FA333-EE9F-4406-AF7E-38C39F261036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$A9CF5964-4FDD-4FA4-9833-D6B24D2ED6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$33C28720-B534-4DE3-AEA1-233EF581909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$6C1B22E3-4D90-4BCF-B376-F0381DF39CC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06723f3e547b1509306ea5f20eb5cd06cbcdd0ea","datavalue":{"value":"7798073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535642$C558B366-4FF2-48BA-9171-7BA1BEAB11D6","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":"Q6535642$79DEE3D8-CF75-477C-8407-A531C9591868","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abc9bd837ab8b0bcca67e88ca9afbb772dbf1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$C023C089-2D50-4696-8EB0-25F4D038DF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8575d1d14f1795c7b3fbdd811dd82c9638962512","datavalue":{"value":{"entity-type":"item","numeric-id":5073521,"id":"Q5073521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$EDE80E8D-6E83-4C04-8298-4EF481A493E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6e61168db1a4074b0ea52777a6c9cad1a4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$80287A15-F390-4CD6-8012-0B213E69A0E4","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":"Q6535642$8E33904E-C120-4B55-81C0-AF312E453A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$45F86D9C-30DD-463E-B48A-14FBEFD4CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ebcfedece065a8de2feaef2323c80b70fe307e","datavalue":{"value":{"entity-type":"item","numeric-id":5056447,"id":"Q5056447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$16C8B425-CC54-4482-B93F-58B55105A019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc590f25d455d73eaa378a9a5c0eab1f2c957641","datavalue":{"value":{"entity-type":"item","numeric-id":2164217,"id":"Q2164217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$4E99BDEC-C4F1-456B-9B23-0E0FA87B8D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$C4A8B129-8F41-42D9-8EB9-A423EED786BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df88f3920bd528953a89800bb01de2ad68ccbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4649288,"id":"Q4649288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$44BB991A-4D88-4CBF-ABA3-E9865C5DF81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0ed92643ac09811d7cffe412853b0f7fa6482e","datavalue":{"value":{"entity-type":"item","numeric-id":5166708,"id":"Q5166708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$74DF0EC1-8C9A-4F74-8575-465FEAD88485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$1BEC8D6C-FC3D-4D6F-BF03-2575D72273B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fedac017e3c49bc73dda1fea9489f7e999e6574","datavalue":{"value":{"entity-type":"item","numeric-id":3457793,"id":"Q3457793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$3142EF18-4BCD-4399-B376-444792CF3173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f845e87d01fb9e974497b759d6bc381ae5e4471","datavalue":{"value":{"entity-type":"item","numeric-id":5166706,"id":"Q5166706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$09FD493D-4C08-4B46-BDAF-8DE745F9DF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952dab3689e016aa8b9c59867a483243091eee9d","datavalue":{"value":{"entity-type":"item","numeric-id":3297602,"id":"Q3297602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$60D0B670-C594-4151-ACA9-CBA776CA870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3b0eb10b5bd542688810e16b73060c5693b705","datavalue":{"value":{"entity-type":"item","numeric-id":6535642,"id":"Q6535642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$CD85B6CD-1933-49A6-B13F-A6D619E517B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d04c5f4ad33f5228976d2d495af9a574068a0c","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$D4C8E303-8045-42C6-A0E8-1F07084B998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc547a422a974883fb022a116affb5e8623f9de0","datavalue":{"value":{"entity-type":"item","numeric-id":2675810,"id":"Q2675810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$C2F4DA50-565C-4632-A13C-A2C1738455DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bb89eb2ef027132a3e7a2f2c6a1cd0d7bac8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3459475,"id":"Q3459475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$2A448406-2A09-41B9-9710-13269521D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385e9ae16ce9abb6e24c38d04bfbe47369f7a4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5028462,"id":"Q5028462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$8F195DC5-306E-4D68-B8C7-DE78128DFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a6fb179be4f0deb772b6a4020e8dd61c6e66ac","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$090DDE47-8E7B-4783-9EBD-0C46E8104ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbfb47549943b1416c0ea31be53503a2cffb8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5396710,"id":"Q5396710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$1374DE95-1A97-4FE1-A4CC-B725B463B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$FDBAB4A4-878F-4042-A825-391C2686F333","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":"Q6535642$3C018C17-458F-41E4-8F12-BA5BAFBA3599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$E8059C0A-9FC7-41B7-A84C-DDEABF9C962F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535642$D48A95AC-6CA4-48D8-BF21-D342BF485937","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1b5d991f77ba68c5eebbbee22df17a21277d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3297602,"id":"Q3297602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e662bd23af170cc92580d28ad72e37c3502a6260","datavalue":{"value":{"amount":"+0.8639182448387146","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":"Q6535642$850C21BA-02FC-41F9-8DA9-92CA91539FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590ec989c7d24b289778d01c720cc86b7af2f384","datavalue":{"value":{"entity-type":"item","numeric-id":5020998,"id":"Q5020998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5f1a4715d8789aefd091c2a4cd0c85e1da247c","datavalue":{"value":{"amount":"+0.7622076272964478","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":"Q6535642$B6F2F264-EC58-445C-929E-0B8C32AE5263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780a0d96e6fa25332b5cab5dd1fc1dfffc9fdca1","datavalue":{"value":{"entity-type":"item","numeric-id":6536136,"id":"Q6536136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311470b5a0033cbe9cbb73bb69fa37cc5205d7c3","datavalue":{"value":{"amount":"+0.7419731020927429","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":"Q6535642$FE02FDB4-52A6-4E31-8EDD-4C86A2E65DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165acc022a681b45bfed4291c4b97e68222ecf58","datavalue":{"value":{"amount":"+0.7292563915252686","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":"Q6535642$FA8F5F61-2753-4A3C-B099-8011E8619F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18ba10a8f5acd460c746708e553ea1ac263efa","datavalue":{"value":{"entity-type":"item","numeric-id":5452725,"id":"Q5452725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5b9e53ca2860eed82203260e64e0efe10d9b5a","datavalue":{"value":{"amount":"+0.727215588092804","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":"Q6535642$F4C85258-071F-4F85-ABF0-6E777D595620","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":"Q6535642$63F39611-9A18-4C76-877F-FC877F2DE087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535642"}}}}}