{"entities":{"Q5941102":{"pageid":8117904,"ns":120,"title":"Item:Q5941102","lastrevid":47657863,"modified":"2026-01-02T08:49:28Z","type":"item","id":"Q5941102","labels":{"en":{"language":"en","value":"Symbolic model checking with rich assertional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635267"}},"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":"Q5941102$CA54AE55-CA39-4AB0-8BD7-F368689B3240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"383c4d293bce183fd1103c384c3520b8232d4249","datavalue":{"value":{"text":"Symbolic model checking with rich assertional languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941102$54C004C6-7018-4DF5-8705-70DBFBC6FAFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed2248e2cd41e8e1422e508e889dc1fa60cc8a6e","datavalue":{"value":"0973.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941102$9F212C47-A870-4148-99A4-A53BE858ABD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cba31667cf27f14d926eb3318641aa85e687cf3","datavalue":{"value":"10.1016/S0304-3975(00)00103-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941102$C3849A52-6BC3-4A0C-8207-22B772D541F3","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":"Q5941102$4E2B2048-1C14-444C-AC23-689A7770202C","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":"Q5941102$EE42B13F-FECC-4DED-8A0D-12CBA4C4B8AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941102$48253839-2401-4558-9EF2-5540D612A833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f879952b29b90fa820606910c0099188c9abc6","datavalue":{"value":"1635267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941102$64ECB370-6E22-48BD-BA50-5B6CC4856247","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941102$F5B8229B-3DB2-4FF3-937F-D8F0901DB2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fac0cc2cfb52d84e5fc5c5bd4b8870e42110bdd","datavalue":{"value":"parametric systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941102$B3533BAE-60BE-4320-8182-C0DBFB1AF9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941102$13D3B206-E3CF-4B9C-9E95-8CB1A7654A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941102$FFE4BC8E-0251-4BA5-865C-92ECE7B1BA3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$9AAACB4F-3DCC-4DD3-B31C-E0CF815751C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$7657FFDE-5D9B-477A-977F-B529A2C02BEE","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":"Q5941102$F75F8F0A-A304-4A03-BF7F-6F4D593B7509","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$710D4F63-5811-41DA-A32F-AF8493BCC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$1C5D9AF7-8AEC-4F38-BD11-4FFD568D1D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$587CE07C-67DE-4368-842C-6567F0412DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$1C30EB2A-FD65-4447-91D1-F1C01D581AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$1DE325A3-EE3C-4547-9F17-4411EEA95A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$4A325F28-9494-4F81-AC01-D53C38AD97D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$78734E0B-49AD-4E21-ADC1-5F37B0B6526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$5B5BCA1A-E781-4B07-9529-0CBA8E6835C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89c5b7f7b9f4e7f578a71e447ad9a1de98caa69","datavalue":{"value":{"entity-type":"item","numeric-id":1323369,"id":"Q1323369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$3B77DA3F-1983-4C60-B1E9-3F7F6537A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78ebd61f998fb07d298aefbb6143f056657d955","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$1073A8FD-7422-4ADD-A379-C21114EDA3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$99C80D31-ED34-4D41-BF95-9BB11F610D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8de3639b16c92e9ce55a3dba9a1550e636a752","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$F0C85DFD-98BA-472A-AEF7-C08F6225E1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$E1BBD24D-6DFD-4892-BCAE-11D333DEA9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$15DCB438-2ECD-4802-A61E-ABC2003F2A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$3A0F2708-D1D4-4244-88E6-F9249BDFBD27","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":"Q5941102$4C2C8C7C-1A71-45D2-9535-90E676353CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$98AA5D4F-1C7E-4A6F-B523-9671B7BD9E31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$6A33095C-E02E-4FC2-B79D-E6B3B543C4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$89F55BCE-2253-48F8-84F6-D37DF1005405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bda61d70ad6a9aaed9f9a78f95641646a51bb294","datavalue":{"value":{"entity-type":"item","numeric-id":608243,"id":"Q608243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$0CBA1861-1C32-4ED0-8E54-88648FD106FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$8248BA0E-12B6-4829-8AD9-3C5145D0A07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca11f88c5ce64a960c5ba3909e9a54126187643f","datavalue":{"value":{"entity-type":"item","numeric-id":2505623,"id":"Q2505623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941102$45E590FA-9713-4D15-9F4A-FC9A917EDC82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d40faf1de2106fbcbe2ff57cf4d186d4a61a5d0","datavalue":{"value":{"amount":"+0.818757951259613","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":"Q5941102$58BFB003-CE1D-4374-A883-D98AFFF7DFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485954f8c7b9dd3b6bc6c70a236111d7eac63343","datavalue":{"value":{"amount":"+0.8181368708610535","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":"Q5941102$309640CC-EA90-4BFF-BBE0-8C66D044A042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f683277b3c94eef63b2f7fb5ccc2a8f7c8b4307c","datavalue":{"value":{"entity-type":"item","numeric-id":4440828,"id":"Q4440828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c253508b2ce85456b73301a9fda593044421d0f","datavalue":{"value":{"amount":"+0.7883822917938232","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":"Q5941102$67027091-A91E-47F9-A6A9-9072E8828552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24076a26ede0aebfbd079ec98a1c23b34685cace","datavalue":{"value":{"amount":"+0.7857525944709778","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":"Q5941102$8C6BC5B2-323E-4E1C-8F39-94C12652BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a574f326f503b571cef3533b8d114b9f54f330df","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecae3df04a8cf39f0c5a9139c39f1b06e84783b6","datavalue":{"value":{"amount":"+0.7848553657531738","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":"Q5941102$B1C71CD9-1441-41E1-84CB-0EF26458D138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941102"}}}}}