{"entities":{"Q3384082":{"pageid":3394785,"ns":120,"title":"Item:Q3384082","lastrevid":58148958,"modified":"2026-04-04T00:24:20Z","type":"item","id":"Q3384082","labels":{"en":{"language":"en","value":"Optimizing epistemic model checking using conditional independence (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7444868"}},"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":"Q3384082$CA0E7DD5-79CA-4038-80E0-EC1CA406AC6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c21e48e313440b469c438c146c9b2f8cb129700","datavalue":{"value":"1483.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384082$DFB917D5-8165-41B6-8A4F-C52138E8B57F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7965b744c3ad82b3b70060228ee3b54966579","datavalue":{"value":{"entity-type":"item","numeric-id":278740,"id":"Q278740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$E8840784-8D87-40FE-87BE-2813937DE747","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384082$4617DD04-5857-475A-8743-08AA2462DDCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"319972a0c28b9ea2ca9ba880a426e379882e3ddc","datavalue":{"value":"https://arxiv.org/abs/1707.08756","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384082$343A7242-E888-4047-89EE-4C1E8AF14A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"65e0638baab2122451915c12095d6ba8594a850d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384082$E3546EE7-4DCD-4E35-B115-812002308A08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384082$B3867716-B99F-4C0B-9559-FA4033308293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384082$3343BFA4-489E-4A81-AC52-17F93D41642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384082$03173193-C02B-49BE-85D9-A8506570D124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3abdd09da093e0e748d3168604f1e44bc5392598","datavalue":{"value":"7444868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384082$0E72E8B5-694A-4167-BEB9-EB41E5C3B3B1","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":"Q3384082$F43D6399-B400-4453-9AAB-6B6CF10D4AB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"678e7a4be408fd6129f52f04fe687f74c25ca083","datavalue":{"value":{"entity-type":"item","numeric-id":2554881,"id":"Q2554881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$7FE32928-5461-4F38-80C5-C5955768DB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1d816694345f77ee49057584a9e1503df8dac","datavalue":{"value":{"entity-type":"item","numeric-id":5188176,"id":"Q5188176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$B540E49A-9D2C-44F1-9BAC-8BD37A126E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1103bf2be22a56e26b2e58baee3dc819c473948","datavalue":{"value":{"entity-type":"item","numeric-id":3449766,"id":"Q3449766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$74CF12EC-4212-4E21-A62C-7B2B3053496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$7518097A-CC42-4064-8A74-96CC602C670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d2b94aac8ba26462cfd6031196f24a22ea395a","datavalue":{"value":{"entity-type":"item","numeric-id":1127351,"id":"Q1127351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$D8C6E1BF-1A91-4F76-BEA4-557DFD572566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f91d321a359af825bf8b524a121d7f27a27e30","datavalue":{"value":{"entity-type":"item","numeric-id":4397012,"id":"Q4397012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$605571B7-1D6B-44CF-AF94-1468AC6B970E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3518747980c92624a325c7a504a42054996e43","datavalue":{"value":{"entity-type":"item","numeric-id":2852032,"id":"Q2852032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$3F8BDCEB-9E19-4374-A8CB-8774E9FD5A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c172e0693ee7278cc6bb4438211f8ca19d3584b9","datavalue":{"value":{"entity-type":"item","numeric-id":5434507,"id":"Q5434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$7E9D96ED-A4CC-46C2-BBDA-0C67B5C75C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7850df4f1488d2c41bcf94af817af44ffa6ba611","datavalue":{"value":{"entity-type":"item","numeric-id":2752123,"id":"Q2752123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$B197322A-551E-4C4E-8BAE-3CE5D7A2C244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063a55deb0fc57c77a6bd8d0198e2cb2d90dacef","datavalue":{"value":{"entity-type":"item","numeric-id":3655273,"id":"Q3655273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$4ED379EC-72CF-42ED-9F8D-A6E67B1AEC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2786a0eaa94e1ed3973659d5eff3d2eb30b500b5","datavalue":{"value":{"entity-type":"item","numeric-id":4712941,"id":"Q4712941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$7898C112-0DDD-4D7C-B07C-0320FC8C943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$FFFA8B7A-A7CF-456A-8D01-AFEA4860156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfac71ff6e73ac28b596a1ab31e84b34731ad2e","datavalue":{"value":{"entity-type":"item","numeric-id":4443007,"id":"Q4443007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384082$31DD7398-6BC3-427C-A0E0-C1A531472857","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d32d018e6f0dd0c8af913c953da8d78c3e4dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3003427,"id":"Q3003427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add4d2afc5dddb5618afbfcf51786f5a702ef2f7","datavalue":{"value":{"amount":"+0.7216314077377319","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":"Q3384082$4E322867-9CE6-489E-B3D6-C268628A560A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7535b7efc8009a89136fd27df6956f26165753b","datavalue":{"value":{"amount":"+0.720258355140686","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":"Q3384082$15BECABD-4EBE-44A7-8A0B-36EDA8066916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a7e4f0d97cec3fc8cf43e2a75d01ffb33a1cc4","datavalue":{"value":{"entity-type":"item","numeric-id":1852858,"id":"Q1852858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce4033da6a33b4e9bb747268e5767c0a8b8b7ac","datavalue":{"value":{"amount":"+0.7153003215789795","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":"Q3384082$203C74CE-3C74-4AA1-94B1-7DF44A72E5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0fea26e1bd734d3d0b4a3149161ae01bb969fe","datavalue":{"value":{"entity-type":"item","numeric-id":2999187,"id":"Q2999187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc223b0a17cacc717938aa6383cd56d38f7da684","datavalue":{"value":{"amount":"+0.7136790752410889","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":"Q3384082$7FDA2C80-83CE-4830-B7D0-4D5F86DB5151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cee3b921744c90969e7a47734e67685f4c13261","datavalue":{"value":{"entity-type":"item","numeric-id":3457719,"id":"Q3457719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de58cb617e882b29f33ca89f9383d5694035ea5","datavalue":{"value":{"amount":"+0.7098779678344727","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":"Q3384082$B03953DB-3B7E-4B62-96B5-1E7388F205AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384082"}}}}}