{"entities":{"Q2988946":{"pageid":2999670,"ns":120,"title":"Item:Q2988946","lastrevid":52812098,"modified":"2026-01-23T13:37:58Z","type":"item","id":"Q2988946","labels":{"en":{"language":"en","value":"Estimator-based reactive synthesis under incomplete information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721633"}},"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":"Q2988946$F3D8419D-23CC-48E9-8CA3-B81409DE648E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97570647d9b79cbf6ab71dfbbfb8f496347f5ed5","datavalue":{"value":{"text":"Estimator-based reactive synthesis under incomplete information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988946$45155916-5936-43BE-B711-612A312BA3A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2507957a50fb6ca4b9b7c320c4d1832079fb7971","datavalue":{"value":"1366.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$7EC9D355-2EC3-467D-A84D-9FD9E1B28FAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0f2104838c6ebcf544054751d9ca2d42f332b1e","datavalue":{"value":"10.1145/2728606.2728626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$A4C1BA80-DEF6-47B3-AFE7-2D50CC4781FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$38F0FB27-D7E6-402A-87D7-18A42E7E894F","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":"Q2988946$E3EF8BBA-E8C6-4F88-A2BF-DBD851AF0138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$60D899AC-1803-4A25-B81D-10FADE3EC3E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988946$D9E3BB46-1DB9-4AE7-906E-ED280AA74890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$04F709D0-3F0D-44C3-A287-730CB03297D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"810d660658648f9bc3138c1cd0aba8029bb9050c","datavalue":{"value":"90B06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$B2171294-599B-490E-9115-98790ACE3B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$F26F6529-8115-43B8-8885-665483C7DDAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e057814d6ebbee312046a89e851bd49c3fa19f","datavalue":{"value":"6721633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$5E11A991-F3EC-4384-84BA-002D934BFB8C","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":"Q2988946$FBDFBE7C-D1F9-46D2-B3BB-9FBDCA730565","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c3c31446ea8f3a99fdb71798e1a148e0e8dfae1","datavalue":{"value":"https://doi.org/10.1145/2728606.2728626","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988946$5067EC83-4F3F-43D6-AECD-F2B4C63AA5AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c29ac2ce8990c1d702758d6ff0e074132aa9d291","datavalue":{"value":"W2073104588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988946$4BA76A72-4697-41D7-8952-5F7C23B5EAA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$04D638CE-77B9-4EEA-81C2-3D16BE3D445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$5B734ECE-E4C8-4CF1-9143-27385AFB8737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$04E00648-FEE5-4033-82DE-B1532AFFFE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$B4534D98-6D60-4F98-BBE7-9BD01AE34EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$85957044-81A3-4C13-8445-16C0D486771C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988946$4878D1C1-B2EE-4034-BE4F-4E5839A67444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471f99ee6f4c74b0b10321452611c277a150174","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78da910c7fb465515de459132645762a494ce5b2","datavalue":{"value":{"amount":"+0.7551275491714478","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":"Q2988946$D7F0C772-2078-4BA3-92BD-3F5AB9BD246E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78da910c7fb465515de459132645762a494ce5b2","datavalue":{"value":{"amount":"+0.7551275491714478","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":"Q2988946$E44601E2-4EA9-4C43-A453-5C881D0F710D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f6448caa3c766f855b1001afed9b4818f255b4","datavalue":{"value":{"amount":"+0.7533630132675171","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":"Q2988946$8183AAB3-72D1-4C61-BC0A-94F68FCFF272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cf4502dc91ffbddb18340679fabee068fd703","datavalue":{"value":{"entity-type":"item","numeric-id":2988986,"id":"Q2988986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3a46e7e2e7ca627898a98ed0ff1962f90d6471","datavalue":{"value":{"amount":"+0.7434190511703491","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":"Q2988946$DB545381-F8D2-45D8-BB09-6A41BF21CD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010ee899f7569c9f84cc769ae971136811fde936","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5945e92a2bcaadcd7e9ea2df2649258ee43b6786","datavalue":{"value":{"amount":"+0.7255987524986267","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":"Q2988946$67A2FFCC-B0BC-423E-8B36-9355DF6B0463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988946"}}}}}