{"entities":{"Q2342602":{"pageid":2353345,"ns":120,"title":"Item:Q2342602","lastrevid":72558645,"modified":"2026-04-14T05:44:05Z","type":"item","id":"Q2342602","labels":{"en":{"language":"en","value":"Solving strong controllability of temporal problems with uncertainty using SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431925"}},"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":"Q2342602$806586E1-A064-4A81-BF56-B98BAFAF2A30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c37984f9e54297922c8d167ca71c05bc94158b","datavalue":{"value":{"text":"Solving strong controllability of temporal problems with uncertainty using SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2342602$CE77C5C1-448A-4028-81F5-3B1F6FB8E4B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d1458c818c1a0b95c08b6a85250839c82c1ba26","datavalue":{"value":"1314.90043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342602$00340B00-CC72-4216-8473-0645C3E2FBBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$DBE933F0-37AE-4E4D-BAC3-06675FD2F6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3046b2a0c57b3d0488a53702fd7390ed47744c1f","datavalue":{"value":{"entity-type":"item","numeric-id":329419,"id":"Q329419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$C3534875-F2C1-43F8-BB80-54577088B704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$0B265354-8384-4741-8E01-A447CA7A537A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$44DB7840-75E4-4ACA-B0DA-D515031C81CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2342602$33175EC4-1FC4-4673-A20E-CA2926305E40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"decab4940ef36e26ebb8d894534cbe29ec0b457d","datavalue":{"value":"90B36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342602$66564043-7D1F-4020-BE19-1064A09AFBA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5abea6ec74ddf8ad4c23249c9f8914915b5b044d","datavalue":{"value":"6431925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342602$1D384949-5A34-49A2-A8C3-29A7889FBCD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd85d86a7bb72433c989c807ba2c8d80abb52b6","datavalue":{"value":"temporal problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342602$BF8BB7CC-4681-49BC-B325-5C46C53FD840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ede78b3394516352fd520682a0a1170ec59e39","datavalue":{"value":"strong controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342602$150CD977-11FB-4E4A-A3A5-C3ADB00EC651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f316f4d8c01becbe216adb94f9fbfc6a40f8b9a","datavalue":{"value":"temporal reasoning under uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342602$D4D3551B-909B-4918-B669-4E46989B8675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342602$F5F1E8A6-326B-4840-B93D-AF8E94B16872","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6640bb50b59a81daa05d21162bb765f003fd0b1f","datavalue":{"value":"Q62041135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342602$A1CB6B4E-444F-4549-9BD5-0541AFCA0554","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb73df82459d3f25f40c06b78cfd0d0320c4914d","datavalue":{"value":{"entity-type":"item","numeric-id":21902,"id":"Q21902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$A8D519AE-852D-4422-A64F-829C6CAA77B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$C6E56300-F07C-4706-AFDB-16C5529BA785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$0DD37FC6-6A42-48BF-842C-BF737BBF6CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$831B78E8-D48E-4164-A01F-763321130571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$4004A6AD-B9EE-4718-9E01-E230EF3E10F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$6FFA5AE5-8943-441D-8DBE-7EA7169C2F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$990E1BE0-D90E-4D4D-9BAF-D88D29A39383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$F6BF6883-5091-43C0-A28F-EDFF067245DE","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":"Q2342602$FB5C77D2-3349-4A5A-83C4-4EDD131190DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ede3fba74c42ded5847f36b7d8df447986b1b2c","datavalue":{"value":"https://doi.org/10.1007/s10601-014-9167-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2342602$C72D8C00-344B-4FDC-ADB2-DADA2D0F9AAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc224bd03a41657c3d4010c1cd5cbbc001cb48c3","datavalue":{"value":"W2079572428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342602$C0C93223-4BB2-4718-A215-005A37D23E8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$C717C313-C0A6-42E3-B079-E290897E9702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca6a116cda218a5a5ba933b4a80a76fb1eeb6a2","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$3CF8F43B-77F1-4330-838D-0BA3958C09E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3e69cdcca7384fabc1c1a8e32f234be1bbc87","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$A2E17892-4C30-43B4-ADA6-24D27C5E1889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689807a6bfd1b72d784193857ad6f2b5f6493c39","datavalue":{"value":{"entity-type":"item","numeric-id":1274747,"id":"Q1274747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$9C0E8FC9-491A-4D9F-9C82-7CA9851D3FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$D8EE2431-3529-44D0-B257-D80135BD8F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def4209222349c1dd3038cb4f8c42f86616307f6","datavalue":{"value":{"entity-type":"item","numeric-id":2342602,"id":"Q2342602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$DD5C78B9-8E92-456F-9531-BC667E0BA86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$660EF9A9-FC11-4E8A-A621-9D0EEE755533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$5896C1E7-5EC2-4F38-B1EC-636FC9930732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c17eeb95ef336e0ff97b95aee49dfe9ccf900ea","datavalue":{"value":{"entity-type":"item","numeric-id":814524,"id":"Q814524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$F8ACE21E-55AC-4ABA-9550-3069E9DC595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$E30DAD35-9FB9-49BB-97A4-914FEC760004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$F3808957-B6C1-43A3-94EB-F6872F895280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$CFE5DFC6-FBA9-4D16-BD25-FD02A6CD0E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29237038ad02327eae0769aeac1c87a7a270c19","datavalue":{"value":{"entity-type":"item","numeric-id":4421283,"id":"Q4421283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$1A2A0978-449D-4C12-AE05-8F09085BE9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab45bcdc69d426f2420c9f52792b8d8b1caf018b","datavalue":{"value":{"entity-type":"item","numeric-id":3523093,"id":"Q3523093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$BD20368B-212D-414F-B4B1-604DED7CF71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46cb5b0eb16ec23497f34116037038ee021776a","datavalue":{"value":{"entity-type":"item","numeric-id":2887076,"id":"Q2887076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$69769423-AC45-4013-A09F-77FFDB7466F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$EF8B398B-DA66-4109-8157-C60E22C1B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f777e8bd3135803059e2a3f103488dc15c8e8e6","datavalue":{"value":{"entity-type":"item","numeric-id":4526928,"id":"Q4526928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$3AC3B518-37FC-4D6A-9497-439AB0775759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a17c7bfaa14be6dec96b6ddc36c657d710183b2","datavalue":{"value":{"entity-type":"item","numeric-id":6488560,"id":"Q6488560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342602$D397BF12-659E-446A-BE9B-690FAB0B8288","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2af34aec089492c995f31a9da41347927753151e","datavalue":{"value":"10.1007/S10601-014-9167-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342602$66ED389D-71B5-4F9F-8ECC-B768B8F7428B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e40946cf2f688ef05e59efbc3f23fd77bbb7908e","datavalue":{"value":{"entity-type":"item","numeric-id":892228,"id":"Q892228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720f0258092bd222f9915f3fd2f5b8f750008df6","datavalue":{"value":{"amount":"+0.8895596861839294","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":"Q2342602$120F1D8C-6780-472B-A3BA-FAF68A93E776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc329c9321577db6894687f4fb6615d62a3bb5d","datavalue":{"value":{"entity-type":"item","numeric-id":3523093,"id":"Q3523093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a00270cc40a92991056c25a49d05cb9c487294","datavalue":{"value":{"amount":"+0.8229661583900452","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":"Q2342602$A0C1A0D3-B04A-45EF-8FF1-9BECE7E87FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a547fd2dc6a8722606b3a886bceaf707e5fc432","datavalue":{"value":{"entity-type":"item","numeric-id":4421283,"id":"Q4421283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e357530ab8005960170fd7ad871cb7003019e4e6","datavalue":{"value":{"amount":"+0.8054294586181641","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":"Q2342602$AFD3B2F6-C3C6-4D83-ABAD-CC493212963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6551e5ca4d0dc7a5fc27a8d5726642699ce466f5","datavalue":{"value":{"entity-type":"item","numeric-id":1748463,"id":"Q1748463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960e4d3feede4c866ee7ed87c0c602772a067ec8","datavalue":{"value":{"amount":"+0.8016008138656616","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":"Q2342602$C4394D8A-DBEA-486A-B9A6-B5719A773884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b26d40fb794ecce8a35c7d49613ddaa80ab38e8","datavalue":{"value":{"entity-type":"item","numeric-id":5900320,"id":"Q5900320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391b09a27933a131f9ed9ebb937c8683c341f370","datavalue":{"value":{"amount":"+0.7891230583190918","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":"Q2342602$5B5FD457-1AAA-43FD-8586-6EBF79230047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving strong controllability of temporal problems with uncertainty using SMT","badges":[]}}}}}