{"entities":{"Q6912394":{"pageid":20976460,"ns":120,"title":"Item:Q6912394","lastrevid":84157235,"modified":"2026-05-12T14:39:49Z","type":"item","id":"Q6912394","labels":{"en":{"language":"en","value":"LTL reactive synthesis with a few hints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8109507"}},"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":"Q6912394$D0344F01-A8E2-4F60-AD1B-4454D924AC06","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":"Q6912394$94F6B90E-522B-4E0E-AD4A-B7F245066CEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf556f19c4fbd19620a4eff43183c40219515b09","datavalue":{"value":"10.1007/S10817-025-09737-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912394$63C6AC7D-7DEE-4B12-B19E-E288BE77A2DA","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":"Q6912394$723B18DF-2E08-45D0-9C86-0AE206A5BA44","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":"Q6912394$F9A1D7CF-E905-46E3-A49B-E31ED83601A0","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":"Q6912394$8B084B4E-E300-4DD7-8482-E111D241DEDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912394$791F95AE-30F7-45E7-8688-8DF77008293C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"866e154d603ae9f5523d731e92adc94b973314e9","datavalue":{"value":{"time":"+2025-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6912394$E72D474A-31D7-4803-8162-F8263EF5E77E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912394$4F7F4482-5AF1-4C1C-93DB-A9F4DB9CADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912394$999DE429-03E0-4AF0-B3B0-C0552141F372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912394$CB5B85DB-A775-440E-828C-3DD571474AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912394$A342E6A8-E794-4827-BF86-99BF14F501CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3da2f6f2e849ba5b00989d1186374e489bbb123","datavalue":{"value":"8109507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912394$6C5EB5A0-502D-4257-8F40-E52EFA661EF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be92f44bf7175af3a0eeea939554d7949cc4c6da","datavalue":{"value":"LTL synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912394$893308FB-5C15-4852-BFA5-ECCDFF6D56F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c49206da99bba745d47aac7da29bc96285a9db6","datavalue":{"value":"passive learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912394$B7036F2B-F955-4301-973C-8425A32523CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912394$6B9CF1EC-829C-4AF1-A657-C772421B6F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15850e00da325a34d047c935b0f3dc6a6ccc2cc","datavalue":{"value":"Mealy machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912394$C6C2C627-B6E3-4EE2-A461-44EAB8DCDBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1932859f10b61a4a0faaffad082b565e7694993b","datavalue":{"value":"RPNI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912394$DFB0EA8E-6CAE-4246-99E6-7748D47E8DE1","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":"Q6912394$68491E9A-4095-4A22-8398-A616F4B5D212","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfbec89e4204ea9007b9eb2227977d6d13d242e","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912394$2603541D-11B8-42E0-BB67-5C4F810380FA","rank":"normal"},{"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":"Q6912394$2AD43511-FA04-4531-907A-C248E0929CDB","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":"Q6912394$19CB1D46-9B45-4EBC-86C7-124CF49CDD2A","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":"Q6912394$BC5F70C7-C7DC-4191-A087-F1364D13B2C3","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":"Q6912394$6B6DF4DD-D13C-42C4-A30E-CEC39C5EAC30","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":"Q6912394$E3ED298E-F058-435F-B125-756EB00426EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912394$87BBA077-8DE9-4069-B137-9DDC5590AA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912394$64E2F0C1-AAB5-47A2-B0E9-109A09D14154","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":"Q6912394$DCA9AB8E-787C-4CA3-908C-612FC66BB6CB","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":"Q6912394$8EB4B5ED-E493-4213-8B3B-2533CD8E8696","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":"Q6912394$32E29316-7D7D-458B-A3A2-0CDFB4AEB156","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":"Q6912394$30079BE2-A61C-4113-AAA9-265674878593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728eaa790f817f0c21fd15f9196b4b2f5ab666a2","datavalue":{"value":{"entity-type":"item","numeric-id":726091,"id":"Q726091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912394$CF15D33B-61DD-4216-B439-8136A963546D","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":"Q6912394$D91939E5-5328-47AD-9842-277F99BE889D","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":"Q6912394$B1779C84-C4B5-4C55-80B5-67CAC5BF0ADF","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":"Q6912394$3FF0F7EB-F347-4ED0-A443-67763B7655D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL reactive synthesis with a few hints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_reactive_synthesis_with_a_few_hints"}}}}}