{"entities":{"Q3510873":{"pageid":5540777,"ns":120,"title":"Item:Q3510873","lastrevid":88424186,"modified":"2026-06-04T14:29:16Z","type":"item","id":"Q3510873","labels":{"en":{"language":"en","value":"MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297109"}},"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":"Q3510873$377746BA-DE6D-47CA-97ED-1A4E691B6F7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc1189e33f789a4eda3bd8604b41bc647bd761e6","datavalue":{"value":{"text":"MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510873$BB04CC61-B473-492E-AC80-59921CC917C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d46649feedb4624e9375249d5bab330500ce1337","datavalue":{"value":"1143.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510873$103828D0-A81D-481C-B215-CEB7CC30689A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbb5eb7c248767789f359cf2911fc7821a0d8da8","datavalue":{"value":"10.1007/978-3-540-68746-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510873$137470A5-FE7C-4AC5-996D-D3A74EAEB858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb113fd9a0c3df850e383c645074e0fac067ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2672456,"id":"Q2672456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$FDB484DC-687E-4A09-8039-8659DEE30B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$2F193424-061F-4AC6-AEC1-61653E5081CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$5738B015-C471-43F9-B134-A8792A3C2027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510873$F6C62E5F-A8D9-4BA0-8CE2-DFB6D29F64E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510873$12C7427A-9379-4E52-9B79-3569680EF5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510873$C8C10474-82A8-45C6-84FA-AEDAC676AC66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8cda99ae3dbd624f094ab4c6cf3c204372c876a","datavalue":{"value":"5297109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510873$CD2FA667-FD5D-4EED-AC8C-6C4D4CA9EBE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$5061EF6E-3805-46D7-9E56-E9A0597182E5","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":"Q3510873$581514DB-85F1-4EC0-9B79-FA446C001705","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c8a098eb2fcbd0697326ad389fef57f724f6d77","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68746-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510873$A01FDB9D-D67C-4114-BF48-5C939EE4BA1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e666651cc4c9887aec2ac8f544b432526889d56d","datavalue":{"value":"W1607121733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510873$C6272BB4-A11B-41C9-B548-88BDA28B2E77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e5983cf7ecde5cdad1dca75ee57ef4c9748ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2766555,"id":"Q2766555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$66216CB1-3D38-4A60-A68A-7349CFB43527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$6F0DB338-D750-4307-9A02-715AC19B331F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$C8C49310-2DDD-4A11-A218-133A36B6B4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50fda6e2ebecf8554157d944d45d52de45a5b70","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$DCD41869-5A81-4B22-A9D4-7882C50338DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4268a8510ce4675aa6a2550c2788f434a0fca994","datavalue":{"value":{"entity-type":"item","numeric-id":5394189,"id":"Q5394189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$3BFBE82F-04E6-488A-B20E-39E73B342984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114ad70c77c238b6f2d38c3a2f870f474b33c2a6","datavalue":{"value":{"entity-type":"item","numeric-id":6162102,"id":"Q6162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$ADCB1429-2138-45AD-8D4B-BA0B701CC0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$9495D5B2-85D3-4D92-8585-FF6182CBC25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad957840de1432ebbd987e2e1da316564d89fae","datavalue":{"value":{"entity-type":"item","numeric-id":4270078,"id":"Q4270078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510873$2D81B1F9-1D53-44C8-A738-6CB621835BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd799d4f6a5634b27b37755cfd2e9400f003578e","datavalue":{"value":{"amount":"+0.7938863635063171","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":"Q3510873$CD7A6469-20D6-4F12-961F-8EE6C88F68DB","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":"cd799d4f6a5634b27b37755cfd2e9400f003578e","datavalue":{"value":{"amount":"+0.7938863635063171","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":"Q3510873$11EB44E3-21B2-43B5-89A1-85271231618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b88d95630a0af9ecccb8ca45d731463186391cb","datavalue":{"value":{"entity-type":"item","numeric-id":5394189,"id":"Q5394189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44c5f47aae72946ec121bf2e439204d5c4a42d1","datavalue":{"value":{"amount":"+0.788527250289917","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":"Q3510873$892FEC5B-08BC-42FB-9A71-B2FE1A3477A1","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":"0241ec02fc7156d2c903b103e632f0f850fbdaab","datavalue":{"value":{"amount":"+0.7787760496139526","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":"Q3510873$BDD69F75-F68F-471F-8E39-C9DABB6B0B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f993eb17e4d0319055174fdb2c982148456d1d8","datavalue":{"value":{"entity-type":"item","numeric-id":4255565,"id":"Q4255565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b0483fdff98c8f9021c5a359b7c83bb0719727","datavalue":{"value":{"amount":"+0.776832103729248","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":"Q3510873$E6609DCF-DABE-4758-A812-E64EFE0608CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MC-SOG:_An_LTL_Model_Checker_Based_on_Symbolic_Observation_Graphs"}}}}}