{"entities":{"Q5423879":{"pageid":7453453,"ns":120,"title":"Item:Q5423879","lastrevid":96261434,"modified":"2026-06-05T10:48:34Z","type":"item","id":"Q5423879","labels":{"en":{"language":"en","value":"A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207671"}},"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":"Q5423879$EDC6FC6D-EF49-437F-BE89-F8D0E2BEC038","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbe6bf941b6f72653400733aea33c105d50160e1","datavalue":{"value":{"text":"A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423879$5CFEA4AE-BF0E-4B67-B849-1515BA173700","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a65adc3d04c2422ca55faf4a2d70da74ab7699d5","datavalue":{"value":"1196.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$2BBED360-74D0-45B8-AD32-E8EE2A6ACC81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55e03dafbe84167141c910dcc823ddc2156db35","datavalue":{"value":"10.1007/978-3-540-74128-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$A592160D-282F-4ED4-A168-B3D9D955EE7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423879$F19E9CE2-B4BB-4B7D-BBC9-95FAACBD8FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423879$95925233-17D7-4846-A7BB-F1980299F27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21d9c94256bb699076b4aabe1ec76059c6a4306","datavalue":{"value":{"entity-type":"item","numeric-id":1856153,"id":"Q1856153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423879$D6F71846-F246-4485-88D6-00D933F3EFD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423879$8B46BD15-78CD-4382-A71D-0935597E4E3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423879$53982507-7BDF-4516-B572-1D7E3F7B4828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$DFCDEA94-D24A-4B20-8812-30017C65B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$B18674F0-52B5-48B3-95F7-794DBE60525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$601E9D30-FD50-4171-A423-49F37C982FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1124c578af0e287dc8feeeb4cb5009990105cfa","datavalue":{"value":"5207671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$B3022C08-11E1-40F2-BD62-2D4C017D8619","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac880df652f4edfd22d8b0b04ae41e677573489a","datavalue":{"value":"Q62041335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$E3C9A070-7F5D-4381-ADF3-630A3A2AF5AF","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":"Q5423879$DF649138-9C34-4AF0-90AA-C14458443B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423879$486D1B00-F953-4156-9CE1-FAE76A3BED3E","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":"Q5423879$2908AD5E-E4E7-470B-BED8-7929291CD079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2a693246bcae3ca2d17b6eaa1cd531ee0296776","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74128-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423879$C998891A-D31E-4C1B-951C-30B3E753C2A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67a7e8e558de0cf737d37d7ca9abdbe3a638f375","datavalue":{"value":"W1533911631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423879$DB7B37B2-0901-4E1F-B9EC-8722723ECE54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786ef836313095dcac7d19104784f9dd224fc7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3510794,"id":"Q3510794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4dcd6a000d4b739a0191a2ccd3b1e01514f1e7","datavalue":{"value":{"amount":"+0.7427051663398743","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":"Q5423879$EC02D194-921C-4320-844C-4BDE700CDABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2990ceb368ff2d79002f54ffbdd7960ea13d1b75","datavalue":{"value":{"entity-type":"item","numeric-id":5717494,"id":"Q5717494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251beef3beee2ae790078546c8ef8b5c3ea4d037","datavalue":{"value":{"amount":"+0.722266435623169","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":"Q5423879$1844E647-4437-42D9-A183-66EA02A0A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657a1160e5de4ee7c269ded027f976c1aca8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1868165,"id":"Q1868165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa04c6c3fd250e69d6992d92f10a6f21e340984b","datavalue":{"value":{"amount":"+0.7101376056671143","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":"Q5423879$23B25455-DBD3-40B4-B91E-40CD583CA87C","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":"e6f8d0848ba71a7a59250c028d2c7349217859e8","datavalue":{"value":{"amount":"+0.7095075249671936","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":"Q5423879$12B85C3E-24ED-423A-BF5A-5DC1DA23CA32","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":"2df1b41bf3ddfd3a32eef8fb7688cc402d37bb6f","datavalue":{"value":{"amount":"+0.7069982290267944","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":"Q5423879$1503E3D2-E72B-48AE-8F43-A246E4E8F97D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis","badges":[]}}}}}