{"entities":{"Q821554":{"pageid":823402,"ns":120,"title":"Item:Q821554","lastrevid":64586421,"modified":"2026-04-11T20:53:31Z","type":"item","id":"Q821554","labels":{"en":{"language":"en","value":"Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398013"}},"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":"Q821554$24BD27B3-6C8D-4F9F-80A6-C7FBAF4C1EE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b3495a6eed84749c25c44863d59cc0a8b63abc6","datavalue":{"value":{"text":"Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q821554$2D224DDB-3FAB-4067-91FD-1BC8DE4D9F55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49bcfbfed6b73bef906403bf4525862092495d59","datavalue":{"value":{"entity-type":"item","numeric-id":821553,"id":"Q821553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$AE187660-F3C0-42B5-A6B8-2C6448E609F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9bd4e2e8254ef1dcff2d92c0576b70e25420ed","datavalue":{"value":{"entity-type":"item","numeric-id":329409,"id":"Q329409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$C19778E9-6757-47E4-87EE-E8468166A80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"186bb8da4d9a21e884eff28e3a0bd8547b44ac9e","datavalue":{"value":{"entity-type":"item","numeric-id":168651,"id":"Q168651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$55619F29-CF93-4CEF-B8EC-CB5C7107FA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$5F39065D-46C5-46D1-86DE-F46A3AF8037F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$58FDFFDB-AAE5-4E71-94A7-2EA977891CCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44db5dcbe50c77f3e5897b0f25a44315c74b126a","datavalue":{"value":{"time":"+2021-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q821554$34A3FAB4-4A37-472C-94BD-5D90F7CBDB16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821554$7249EF6A-C8BD-47BC-A5A8-72246EEDA40A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c0d39f4653abbff70dbf1b5827333174f6eb64c","datavalue":{"value":"7398013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821554$08D59B83-8D17-454B-8568-8977BD1BA1E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb681c5ad293493392976c7a355db276c824c7a","datavalue":{"value":"simple temporal network with decisions","type":"string"},"datatype":"string"},"type":"statement","id":"Q821554$F2D5DB29-9555-4D75-8046-ACE28B6C3C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ae0eb391ac32dd260ea53e3a1b1e947255c9ba","datavalue":{"value":"HSCC algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q821554$E24C8064-0CCD-4A44-AC9A-4074A23F1A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17ba3336ee29a438f94113428b852bbc963ad0a","datavalue":{"value":"incremental SAT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q821554$DC135C06-DED2-449E-B7F6-20CBA30874DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"581e48e8be93c0266a12405cb1b313b9c846c0c6","datavalue":{"value":"disjunctive temporal network","type":"string"},"datatype":"string"},"type":"statement","id":"Q821554$DAEA49B8-8B67-4113-B6FC-0F79174E736B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a555f4bd59b54b834193cf5281641c5391f332","datavalue":{"value":"temporal constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q821554$78407C44-F3F8-49F0-87DA-4D9A36942C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59caf1f03985f9010aa71556abedb0a34e5f0b8","datavalue":{"value":"access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q821554$8AB4DFA2-A17A-49DE-B3F0-485307D710ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$3D94D980-7BBE-49F6-991B-81B4DE0B2B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$BC50F8E7-A332-4F33-9297-892D363517CD","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":"Q821554$5911985C-C86A-4DE9-8FC2-91F7675AF0DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb994d101b2bc9c18cff787c2748ee598dbd28c2","datavalue":{"value":"https://doi.org/10.1016/j.ic.2020.104637","type":"string"},"datatype":"url"},"type":"statement","id":"Q821554$586704CA-1503-47E3-AA7C-CDAA98E89AF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d139b848b755b45bbe67f76c4c85ac2eeb1f1fbc","datavalue":{"value":"W3095010045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821554$D8C3E2FA-A0E6-481F-B3A2-0142751FCDC2","rank":"normal"}],"P223":[{"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":"Q821554$4F6A9D69-12C7-4DCF-90BD-F80DCC028E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29365e9063dbeba1480a33d0f96a7fc37efc6c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1601842,"id":"Q1601842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$5E07CAA4-E6FF-4D49-A449-A6DB59274BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc208bc9cff9d66838f79ef3f4aae0495a5f1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5079782,"id":"Q5079782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$79A187E7-4B8E-45DA-90C9-7D59D9AC4549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0f44e09742563d4608eab2d0b7f2bee32ada0b","datavalue":{"value":{"entity-type":"item","numeric-id":724006,"id":"Q724006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$7A60A414-71D3-4E9A-963F-7F9784153D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50880f60ee4261ca98e1067a329d19084c60c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":3112642,"id":"Q3112642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$A2CEE41D-B667-48A5-ACD0-2673E15AF5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2def19939511ed33dfb6b50dc47a04dc6169ae","datavalue":{"value":{"entity-type":"item","numeric-id":1575430,"id":"Q1575430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$67993975-CBF3-4658-90F3-F5FE26BA8B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3642f9eca8db3cd553703bf900db0fd41f6627","datavalue":{"value":{"entity-type":"item","numeric-id":2334599,"id":"Q2334599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$CBF0805B-0012-4FF3-9A25-406847EE324D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ac59a525fc609a079b40aa98b0dda0f900823a","datavalue":{"value":{"entity-type":"item","numeric-id":3524194,"id":"Q3524194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$43365562-6CF0-497A-AE5D-C340BE770655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f80c03d70a932d1d7cfc61d476cecfa9b384f00","datavalue":{"value":{"entity-type":"item","numeric-id":334795,"id":"Q334795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$AFFEB3AC-A11C-486C-860E-6007E94F8EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75bad52c889ce30605f72dc8ee1b4d61c3ecd32","datavalue":{"value":{"entity-type":"item","numeric-id":1768744,"id":"Q1768744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$DC1AC812-DEDF-464C-9F90-AD6E27264CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6817673256848005a02b65032d9fb5e932544d87","datavalue":{"value":{"entity-type":"item","numeric-id":5376632,"id":"Q5376632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$696D2897-10A6-4522-955A-2D9AAE494D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$60CA5B1A-29FF-4C9A-BC5D-535FEC59552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acb3cae91402d8dc8b113af9f93f26131427694","datavalue":{"value":{"entity-type":"item","numeric-id":6486429,"id":"Q6486429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$41C5E8CD-AF58-4A88-AE69-D9257C599FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5e2e3cbf2a07788adedf65eb10be153a05a347","datavalue":{"value":{"entity-type":"item","numeric-id":6487473,"id":"Q6487473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$ECCF2416-CF1A-4ED8-A42D-22A5B48B6E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad520cbc4de6dfc7b8d5740e5305efbdf4216a9","datavalue":{"value":{"entity-type":"item","numeric-id":6487560,"id":"Q6487560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$5DDF394B-4746-4134-ADC5-5A391A5F5A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea94ec124acc814b288af02389a5f25347f41742","datavalue":{"value":{"entity-type":"item","numeric-id":6486431,"id":"Q6486431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821554$3A215862-C56B-47A2-B937-39BCFA2FBEBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fd111c5110242caeaffc7eba4a990e6d99ed619","datavalue":{"value":"10.1016/J.IC.2020.104637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821554$58B0D3F8-2C8C-4923-8DB2-1CC265365CDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d54f4b0b552b952efd590fcb132f8499d2a660","datavalue":{"value":{"entity-type":"item","numeric-id":6487560,"id":"Q6487560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc99d585606dbfb2fba3facc581dd4a9b2d27428","datavalue":{"value":{"amount":"+0.9444940090179444","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":"Q821554$0BFF06D7-9D1C-4633-BC38-19DFCA3C9941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b078e733344e4517d725d23f2ac3cbfd7f6cd0d","datavalue":{"value":{"entity-type":"item","numeric-id":6486429,"id":"Q6486429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2767ca0d257b6281154bc1dc5b790789f0de297c","datavalue":{"value":{"amount":"+0.8458925485610962","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":"Q821554$7D7405B9-220B-4C5C-8122-29ECFFE54BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d9ff77761b939c30ddff87efcfeb593048876f","datavalue":{"value":{"entity-type":"item","numeric-id":2334595,"id":"Q2334595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9358a1cb98608dbf41366d9677fec21749913e1","datavalue":{"value":{"amount":"+0.8168456554412842","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":"Q821554$46C98B93-216E-46CC-9A53-364DF84A1A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a0c6286b65d581566a99bc54ffb219c0b928e8","datavalue":{"value":{"entity-type":"item","numeric-id":6486427,"id":"Q6486427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5c6284ebb605aa8e450d37568c36eb0e318211","datavalue":{"value":{"amount":"+0.8012377023696899","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":"Q821554$684016DE-45E6-4EF6-AB96-2F5404C4FAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277e29736f4ba0f39d39fb7c03d7f0eac16ede43","datavalue":{"value":{"entity-type":"item","numeric-id":6487473,"id":"Q6487473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86ac8ab2ad2f5c45b0a5afad4a123bca75ca594","datavalue":{"value":{"amount":"+0.8002306222915649","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":"Q821554$B16E26D7-31D3-4CEF-91A1-3A085BD0BF28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_checking_of_STNs_with_decisions:_managing_temporal_and_access-control_constraints_in_a_seamless_way"}}}}}