{"entities":{"Q3637253":{"pageid":5667159,"ns":120,"title":"Item:Q3637253","lastrevid":50704460,"modified":"2026-01-14T21:04:25Z","type":"item","id":"Q3637253","labels":{"en":{"language":"en","value":"Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576393"}},"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":"Q3637253$D2D21B0D-6129-43F8-BB18-7068D20C55A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df513d70d06d8134effeb080afc47b5aa8b3caa8","datavalue":{"value":{"text":"Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637253$6081EC3E-72D2-4018-A452-92D2065C401E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7417fa8d9428942165b1050abbef1e1c8519a145","datavalue":{"value":"1246.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637253$3EBC45DF-749A-4940-9CFA-A934BABBF9C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7be6bac854113e2c2954fd2f865d7433370a63b","datavalue":{"value":"10.1007/978-3-642-02949-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637253$88DFABC2-E68F-48BB-BC06-49AE1D4BDF33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbcba3259d07cc5520b8363c50c012da0c799943","datavalue":{"value":{"entity-type":"item","numeric-id":3391104,"id":"Q3391104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$FF4289FB-C1B3-4431-A17C-ED18CFFC52ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$B76823D9-F024-4696-BEC0-3D0BAB62DF90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637253$80F9BFD6-E703-4B75-B9EE-1FD0BD7DFD77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637253$31616F77-25DB-472F-AF6D-CA4871727B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076f6ba8033d4386f6512189955544906648bd97","datavalue":{"value":"5576393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637253$A9932782-4091-400E-A25C-0B07F772257F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637253$8F90916B-BFFF-49A1-A55A-61A678AB3DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637253$B5EBE369-D9B1-4F96-B3D6-812118804D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637253$4820B410-7F3C-49E0-8000-9D74D4A760BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f5661e78560e1d3a4cd0ad2083429f6a78b872","datavalue":{"value":"input-output symbolic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637253$613D34CF-A137-40FA-9288-AF698A579733","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc67aaf98a5376c6763ef5a9658a3374acddf01c","datavalue":{"value":{"entity-type":"item","numeric-id":15466,"id":"Q15466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$7533F410-A4E6-4360-9931-487260268259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff8d721b29de79a699d23cbb86d8119387ea8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":26931,"id":"Q26931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$6B3A22A5-3F28-41FA-8205-38E4021C1520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$EA950D81-A50A-4D82-A0AF-80F8FB85A3C2","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":"Q3637253$E7484187-62C1-4EB5-8974-49E99667CACA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a6ae0a8a371e2ffc05bde5b1c868660f0656f6c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02949-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637253$D3B990A3-BC0E-4800-A28A-C31670DB0925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"898cf71f2db1b3dd51cc3a3dc9e122062389b5b9","datavalue":{"value":"W1622563620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637253$D193313D-69CD-4159-B1D9-ED5CB5DEE7E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$A6A1C77E-7DE8-4150-81D6-35F1963CACC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$8415D410-B66F-4D4C-9CF0-3C0AC623B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff78fefe7b6248cbe92a601e7b1f74bac6bd16c","datavalue":{"value":{"entity-type":"item","numeric-id":4417966,"id":"Q4417966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$355BD5FC-8DD1-472C-AECC-160DE85DB98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$2517967E-4354-445E-8B73-5D805551BCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca108e30c3fc907c7296b226db780f8d8292dce7","datavalue":{"value":{"entity-type":"item","numeric-id":5716583,"id":"Q5716583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$0AEE3A6D-3FC4-4252-860B-12A155668BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c34237b55fdcf0550f867f173cd23e62039bf35","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$09330896-0671-41E1-A623-2394599A4C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$FA12AD61-8776-4FD3-8137-1C99E6A2531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$EF6FA5F3-5A65-48FC-A38B-7C75C509050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c96016133f001299a67548984b80285ad92359b","datavalue":{"value":{"entity-type":"item","numeric-id":4540472,"id":"Q4540472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$6731EDAD-7E8F-4075-ACC2-6A88B21F6B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$C4949A6F-D52F-4C16-9E9F-C318DD15C4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc6d141fb9750824616c02bfa9db1e353a752ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5423866,"id":"Q5423866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$761A8B0B-8040-4947-B712-F3D94803F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7db0a5fcbed8b8baae00bdaa9b5288b1ebbeb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637253$8E816BF1-00DD-49A2-B51C-0412FA1145AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9176d91a54ae31eb2873f31bd2d01523d0815d","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da8571d0d9e503ee7243cf98a64fc6db6678145","datavalue":{"value":{"amount":"+0.7596091628074646","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":"Q3637253$8AE24E28-36EB-4ED2-866E-6C4F92CD3A0F","rank":"normal"},{"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":"edd852b7dfe067f50529591e5c409147dfa41eea","datavalue":{"value":{"amount":"+0.7478353977203369","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":"Q3637253$2216DDD1-4A81-4C8C-BCC9-BF68E07A904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc054348dd46a43ad28aa2f3214590ae01907420","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf7b015ea71794e2a71f7ee617ab4ead286b5fa","datavalue":{"value":{"amount":"+0.7448247075080872","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":"Q3637253$05CB620F-F74F-4E2C-A01B-3F298E77DE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c2335243628de846e24ef493e24dca2d8b81a7","datavalue":{"value":{"entity-type":"item","numeric-id":5312973,"id":"Q5312973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b9e50d3302706486b0d67adf96ceff8e77d95a","datavalue":{"value":{"amount":"+0.7353631258010864","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":"Q3637253$DDC2B0CC-3707-4BD9-A096-5F95C9CBBF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd4d249b7ffb6266c058d488a43c4eb5e5b171","datavalue":{"value":{"amount":"+0.7351812124252319","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":"Q3637253$D99D5230-FC39-44FD-98EC-2D44780ED5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637253"}}}}}