{"entities":{"Q5941104":{"pageid":8117906,"ns":120,"title":"Item:Q5941104","lastrevid":47657869,"modified":"2026-01-02T08:49:28Z","type":"item","id":"Q5941104","labels":{"en":{"language":"en","value":"Ensuring completeness of symbolic verification methods for infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635269"}},"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":"Q5941104$C54F08E3-7E91-41EF-844D-7CBD589F6FA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9086078404bf4f6e300f31d2677d69d9ae5702f0","datavalue":{"value":{"text":"Ensuring completeness of symbolic verification methods for infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941104$6FDA14C8-379E-440F-A0A3-29840AFFC099","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aea653d12cdc1b15986f17a260114bce565bf05a","datavalue":{"value":"0973.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941104$EA9CCE21-55E6-4888-9A94-3937AB4734A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8db709e7a7723d28fe2c9e6762e1b295c80a2888","datavalue":{"value":"10.1016/S0304-3975(00)00105-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941104$93825DBA-08A3-4299-B6DA-F70E97F04A7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$ECAAA54A-3ECC-48B7-96C9-E50DEF3F50CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$1D450C73-65D1-4468-9D74-360EB46CCF65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$CF8FEA8B-03B3-4467-AA75-BD5F1982F16B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941104$1F1A2203-DF89-4475-A002-8F5B17FDBF02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941104$73BC373E-95FC-493F-B0B1-64FC98DFBC0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2332a6679bb3cece0db881f0019b3e834dc693cb","datavalue":{"value":"1635269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941104$2723734F-91C7-4804-A4C8-C1ED3F8C04E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941104$8FAA7528-475A-4ED4-BF3C-E89AD8868527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941104$71ED969C-2B14-451E-9912-0FC8D63AEBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941104$9DEE5A49-35DA-4D40-B307-EB63523D355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffde7194d471b29859723e9aecd0265228fcfb8f","datavalue":{"value":"symbolic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941104$84FEEDDC-AA20-484D-A2EC-BAAC72E14396","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$37B2C23E-5A0E-404B-937E-3AFA2E64A3D2","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":"Q5941104$8E97DDBE-44E4-4ADA-9F36-960F59F2C8C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$52854A13-5A61-40A6-995A-5EDCECECEF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$DE65DBE4-AD38-4E0D-B6EB-8F304A3E4137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$128D0355-4CA9-4860-A664-27C9FAE8226C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$E6AB6811-877E-4FC9-B4BF-C0018A058DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd8ac16bf352ecb0ae67e413a0bcc2dcb69557","datavalue":{"value":{"entity-type":"item","numeric-id":3814785,"id":"Q3814785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$4006EFBF-234E-4C03-8C7F-C0E596979AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1d56cf9ccd86f843c0790138b89035b3d7fdf8","datavalue":{"value":{"entity-type":"item","numeric-id":4138073,"id":"Q4138073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$25DA2066-2EB8-4186-AA09-F4A99D641BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$6BF1A5B8-63EC-4C6F-A27D-9390753BCD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$40FD2224-A5B6-473D-AD7F-2A20FCBC96FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$509147EA-2FCD-4FBB-B1BB-05A7EF2C2F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12f32bb6df156535fd471aad08f2522bbbf182d","datavalue":{"value":{"entity-type":"item","numeric-id":2757803,"id":"Q2757803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$9B283CB8-D036-4937-9090-E0B056AD7207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$4B2F34C9-CE0F-4B96-B63B-13794329387C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$981383A2-9144-46D9-80F1-EDE40F5299DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c809ec82f632b6c385400f097fa447743bc7db2a","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$6BF55DE0-A75F-4ED0-8B12-5E4107F79244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$3D8A47E9-4084-44D0-B099-02EC5F742A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$7C4392F3-962D-436B-9FA9-280B36D39490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$9459A6BD-2340-494A-812E-2D2B9FC5B92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$2BD24AFB-9D42-4619-85E7-C18D10498F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1f134c73b422f11b474e2bf47d3773c6d2eb9","datavalue":{"value":{"entity-type":"item","numeric-id":914407,"id":"Q914407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$D600A0F0-1E3F-4EF9-AABB-AC5E4A138DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$38C97A1D-FC9F-41BB-954F-C852181EFAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$BC75D237-0CE1-4164-951C-3D3ED5528390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$04B8BA1E-E706-4AD6-9A0B-CE3D04FD32AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992a02680890a7bbdb6adf5c6cb1f2666e6be290","datavalue":{"value":{"entity-type":"item","numeric-id":6104375,"id":"Q6104375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941104$8B446101-25D8-42D2-B8B3-264B1CE36321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"829b6d253e88083229307bbe8afbee7f1a7054a1","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00105-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941104$0B0606F3-83C3-444E-8B11-F7C322B24D32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf04d3bffaed61732bc3fea24b9412b5836ece2f","datavalue":{"value":"W2050304663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941104$CF45BB47-8096-4699-93FE-ED1950F5B6E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac593b6ded5f92b51e3f3be99566aa046309c4a","datavalue":{"value":{"amount":"+0.8381458520889282","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":"Q5941104$DC5C1716-6B03-48D0-99A5-B7B3A41A3A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f433bff9cbcd58f34c56e7d0589e58fac2d2d886","datavalue":{"value":{"amount":"+0.8109183311462402","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":"Q5941104$16E3E816-F19A-41D3-8AA8-65298DFC1354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93767857739a9014cb920bd1e9a97044e073aa04","datavalue":{"value":{"amount":"+0.8088407516479492","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":"Q5941104$0F58BAC4-4314-456D-A732-BFC397B66D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b572f2b6fdb6d6e281def8af4be90f872d9fcf8a","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243ba1a0becc8fc4c23181613cc9d8dcf0dd83c6","datavalue":{"value":{"amount":"+0.8048366904258728","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":"Q5941104$6B90F3B8-1EE1-46BF-95CF-ED0D4D1FF8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d5a821dec1cfd262be6bd0405a31cd84e4f02c","datavalue":{"value":{"entity-type":"item","numeric-id":4907864,"id":"Q4907864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14faa84afed0eb77aaacdccf14b68d6eaae7f17c","datavalue":{"value":{"amount":"+0.8025268316268921","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":"Q5941104$8B416E5A-A50D-4E09-986E-5FE8197537E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941104"}}}}}