{"entities":{"Q3145286":{"pageid":3156002,"ns":120,"title":"Item:Q3145286","lastrevid":51616076,"modified":"2026-01-19T02:18:48Z","type":"item","id":"Q3145286","labels":{"en":{"language":"en","value":"Model checking safety-critical systems specified as X-machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117301"}},"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":"Q3145286$57E74322-EB1F-44C7-9D32-931119C93A5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8f138833c1151329f0dbecd4ba8552cf794911","datavalue":{"value":"1265.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145286$F9A3267E-1161-4084-A1B7-DBCE5428F652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bee3c5280520f9e56fbd94b15d034407bcb5ced","datavalue":{"value":{"entity-type":"item","numeric-id":2655498,"id":"Q2655498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145286$B31E6F54-B7D2-4C05-B562-F7F9127C0227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c9b7362ce09a38237eb414aaab94fe637bc21f","datavalue":{"value":{"entity-type":"item","numeric-id":2655495,"id":"Q2655495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145286$C77A8C3B-4108-490C-BE57-34EE12430430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89237810e2607c40640d822ba13c3a4357a2a395","datavalue":{"value":{"time":"+2012-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145286$341E9A04-399B-4959-9343-6565A59B252F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145286$94EE4697-C5E0-4CDB-91E7-7FA9F8E2FEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145286$787E7F1A-91B1-4F36-A0CB-974393763C12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0833a3470fd1cd3ae611baca091a53ddb50bf816","datavalue":{"value":"6117301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145286$E74FBE4A-F861-4D51-93DB-D9E9D9779CB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f35ae332c0f159db6a59cb46bf1cd7a8184f16","datavalue":{"value":"non-safe systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145286$3AB178CB-2E7C-4BCF-AB18-55E909A31788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14012167dc5c1b14307ae2a142eb01ca835be6b1","datavalue":{"value":"X-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145286$D2FF1329-927E-4338-B558-74C6E117CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4861a4c5cf9496068ceeb59edd9bfdbc14f3a97f","datavalue":{"value":"model checking verification technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145286$E0A5F810-0973-449B-9953-F1656144C7DA","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":"Q3145286$AE7986E5-4B89-4755-9718-890B82F11728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3978203590ca813775e5e0a35861117d7950cc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3145302,"id":"Q3145302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275be30278331355039110afe3e3d2cd39f81ead","datavalue":{"value":{"amount":"+0.7934438586235046","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":"Q3145286$07B2ED21-A658-44EE-B090-E01C8011AFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db8d18960ce17f3a551a99213900b9e88d8bba1","datavalue":{"value":{"entity-type":"item","numeric-id":3833594,"id":"Q3833594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16338a20929a3c470b50dd6074b1d8604dd90f7","datavalue":{"value":{"amount":"+0.747536838054657","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":"Q3145286$6BFFA159-742A-4BBC-BEB8-5F8C22055EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fcc8d9683eee101fa24ebea4bfc2c1b4d0b589","datavalue":{"value":{"entity-type":"item","numeric-id":1413646,"id":"Q1413646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ff19b37b45ab83a1601122807785d74f020cb9","datavalue":{"value":{"amount":"+0.723883330821991","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":"Q3145286$03F47012-A7A8-433D-A4E9-630A66A6E862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396efe381b9444f353ed3edc83c5594d13be6edc","datavalue":{"value":{"amount":"+0.7183242440223694","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":"Q3145286$3CEEB385-2602-49AA-ABBF-305408260B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e582a94f5616aef1da689ebd81e35851acb991aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210112,"id":"Q4210112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b6d31d2346fe58716d5b2e19224af21e6fa8b1","datavalue":{"value":{"amount":"+0.7104491591453552","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":"Q3145286$0830F12C-F6D1-4B3D-9FA4-983F98FA98AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145286"}}}}}