{"entities":{"Q2492186":{"pageid":2502929,"ns":120,"title":"Item:Q2492186","lastrevid":72740985,"modified":"2026-04-14T07:20:54Z","type":"item","id":"Q2492186","labels":{"en":{"language":"en","value":"Incompleteness of states w.r.t. traces in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5030477"}},"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":"Q2492186$812AD685-E16A-4CD6-BC01-D0E2E6FBC3DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78f2876a32a1b0e8d13f721ac51b52c66e4a0fcc","datavalue":{"value":{"text":"Incompleteness of states w.r.t. traces in model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2492186$0571BCAA-EA29-440D-BA2E-F4F9ACE9FEB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38eef90e0979e5dad9c5d8a55354c148e7ae9eb","datavalue":{"value":"1103.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492186$9BE4E83E-CF81-468D-AF4A-337F2BDDBF7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$43D72000-28EA-4A6B-BA79-C05E3E9EA77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$1DA84034-5CF5-4016-929E-B02CD639B149","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":"Q2492186$CF2B71AA-7D5E-4473-BB3B-621E6DCC70D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21437c544db1978eeec04a4cbdd682f98ee3c97e","datavalue":{"value":{"time":"+2006-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2492186$85C096AC-E8CF-4412-9E92-1BF86E07AC64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492186$F953965D-1780-4DFD-852E-9191EE108EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e83202d4da04dbffd0957580731fcdb29850a9d4","datavalue":{"value":"5030477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492186$987BB4F9-ACBE-47BE-B383-07C2DF70BEB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492186$9CBF13AE-6A08-47EC-AF29-B0F69C2F809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492186$A80C88D6-C584-49E0-BF30-AE7EB44A74F9","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":"Q2492186$2CA3CDC3-ED99-48A2-8802-2EB1A183592F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32d4e1e38a429cdb492527c746d6a1029c0793b1","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2492186$79381CCE-7DAE-4917-84DF-11BA00330BBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e55e5917900db7593fe5a68f59dfc2256b33ff0d","datavalue":{"value":"W1980205677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492186$9D59E1F8-6901-43E0-B172-BE82295D670E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b07eeec4a1bd343d449e6233e3f58cbea42083c","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$F7938157-F07F-47AE-9930-B1C9967F7EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$4C0928F1-79A9-4499-9593-1D75C686CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$66FE06E7-0D6F-45BA-A7D9-C007DF24903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$5AA91EA3-7E46-449E-87D8-8B821B9CA226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$DE380F05-A582-4C94-95DE-B387BE3687C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$FA16AF3E-5060-4EB4-89C8-F2C9626808E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$460F360B-18E8-4E7A-8E8C-A355D1C19AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$DA166137-EC74-457A-9E1F-7E974BD1DAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71e4f08404b050d0863b9a2a1de3efa93a9689","datavalue":{"value":{"entity-type":"item","numeric-id":4411978,"id":"Q4411978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$0E6F962B-B304-4A4B-AEBB-22102E2867E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$E4D0C111-AA2B-47D3-95BC-F423EF8CEB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$2E9F7136-E53F-48BE-AAE4-10BCE6DB3476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b15e4a0b73ba1a8f5e7b8406b4d6c075d449bb","datavalue":{"value":{"entity-type":"item","numeric-id":2763671,"id":"Q2763671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$38FA44A2-A800-4301-AD3A-E82DB1F6663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"874c19bde7432608ea0527b655e3302b03f250ab","datavalue":{"value":{"entity-type":"item","numeric-id":5308686,"id":"Q5308686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$34FAFBBE-9855-4951-ABBD-E125DF4DD7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf2a980fcdeef62f12ff3d05105bbf12733a84","datavalue":{"value":{"entity-type":"item","numeric-id":5703755,"id":"Q5703755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$96E8E541-3ED2-4F49-9B50-AA377DC4EE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b531e93c39723cc05f30a74eb3ad48c688fb23dc","datavalue":{"value":{"entity-type":"item","numeric-id":5493375,"id":"Q5493375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$9CC5DAAD-8EAA-435F-A215-C9366A87EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405cd302e2436270705cf3096fd1801df110c89e","datavalue":{"value":{"entity-type":"item","numeric-id":4251911,"id":"Q4251911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$01D2684E-2951-4D30-A9EB-6BAFA2FFDC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492186$7483D1A2-043B-46E3-A99A-BFA0E2A787E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2fca5b1e00be534e6edbeb99228b9cd260bb81b","datavalue":{"value":"10.1016/J.IC.2006.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492186$C0140470-3A41-4223-9360-8455AF2091DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2d609404b886439389be5663df1705b5f1ebd0","datavalue":{"value":{"entity-type":"item","numeric-id":4411978,"id":"Q4411978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8901472c5b80dd03dccd2b4788fedf8ee869377c","datavalue":{"value":{"amount":"+0.89969647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$1C8A8C85-F1C4-4090-BD2D-2FA8BCBCE2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec361d9983620409f2c9224734ce84fd5b9897ee","datavalue":{"value":{"entity-type":"item","numeric-id":2281650,"id":"Q2281650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16218059a9eec80f1148ed7c51a23af9df0721b7","datavalue":{"value":{"amount":"+0.886904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$480971C1-12DB-4E33-96CB-A06CD12E5913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c7e14fc21eb392cc7c1d1e5a4a2564b3ef902","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6b07ce0a18cd766e9a39caf6acb3e18b02726d","datavalue":{"value":{"amount":"+0.881047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$CEA7A6B8-8EB6-4052-BA2F-B59681815754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a266a6881a6cc8addfc7d2f5fb7d9988e0db67","datavalue":{"value":{"amount":"+0.8653286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$7B77B11B-ACEB-45C3-8BE7-31A270C23EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b1cfa87c64396f2ce0090ad61b1f9d26a27b7a","datavalue":{"value":{"entity-type":"item","numeric-id":2763671,"id":"Q2763671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1518d66c451811c4275c59c4bc202152d94666","datavalue":{"value":{"amount":"+0.8627483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$C5D53939-6D9F-4A4F-898C-3D36F1AA4BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c453744c49ca3054b0709c44051fe1b80bcdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab05b8e94d5c0e01a9020b21e43d8b6b36cd616","datavalue":{"value":{"amount":"+0.8532049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$26489068-EE57-47B4-B805-E47DF9F7B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2bcc360226d55945b895ef9bc3ffbef4922b29e","datavalue":{"value":{"entity-type":"item","numeric-id":3541009,"id":"Q3541009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c62c8a58c837a8ed0e163eec46b0d2e9b09c9d0","datavalue":{"value":{"amount":"+0.85213476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$043350A8-CA4F-4B00-A2F4-C24832564643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1195558c560301d44336ee3c7e698d5b21c56cf","datavalue":{"value":{"entity-type":"item","numeric-id":2753716,"id":"Q2753716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5b0cb8c37c963c1cf922321266a8318847c72d","datavalue":{"value":{"amount":"+0.84808177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$95A57F0A-0DAB-4DF4-93F8-524E522E2167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49c74cc4c91c90cfc618bda737d2156f3862ef0","datavalue":{"value":{"amount":"+0.8473283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$79E9F04B-6F08-4E37-A6F6-F5004D1BAEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f255c8930eb9a924b316e45efef096ffc92973b5","datavalue":{"value":{"entity-type":"item","numeric-id":2723916,"id":"Q2723916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a55fa5af6322270a4a4bcfc438ef699d5b5150","datavalue":{"value":{"amount":"+0.84557414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492186$3D66BD30-A980-4AD0-A383-D6288AC29E2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incompleteness of states w.r.t. traces in model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incompleteness_of_states_w.r.t._traces_in_model_checking"}}}}}