{"entities":{"Q5946571":{"pageid":8123373,"ns":120,"title":"Item:Q5946571","lastrevid":47687263,"modified":"2026-01-02T10:41:40Z","type":"item","id":"Q5946571","labels":{"en":{"language":"en","value":"Formal verification of programs specified with signal: Application to a power transformer station controller"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1659190"}},"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":"Q5946571$24461FB9-EBE5-45C0-B71F-8EEB6D55870F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9635fe3c7c8df665846b8458e703e60d7cf9804","datavalue":{"value":{"text":"Formal verification of programs specified with signal: Application to a power transformer station controller","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946571$0211D3F4-A2DD-428A-92EA-FF03189BFB16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf5978074cececf950048bb24253dae0cfb3df1e","datavalue":{"value":"0983.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946571$E5669BDC-C34D-425D-B151-7AA6BE2DB33A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41c3a8ee651ac88a45528dd87f3481dea4e53175","datavalue":{"value":"10.1016/S0167-6423(00)00020-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946571$6D669B33-0A46-4F43-9E30-7B41155CD4E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946571$15D1A864-F043-4317-8673-A13209BECD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa2db029d3cf0f64610920c9dffd83b4038034e","datavalue":{"value":{"entity-type":"item","numeric-id":1041295,"id":"Q1041295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946571$3466DE2F-14C7-417C-AF64-AC83B5C9109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe5538c15b7251bee3de60ae9abc9f5f0577dd8","datavalue":{"value":{"entity-type":"item","numeric-id":1592440,"id":"Q1592440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946571$DA817B4F-A9B5-4508-864D-159B7490017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3b73705350a9f84828b48fa1590f86eb8774f37","datavalue":{"value":{"entity-type":"item","numeric-id":833837,"id":"Q833837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946571$77AC50AB-5CF3-4099-923C-0100F18A44E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946571$FC423F6E-10C5-4758-B8D8-50EBA47AF8AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64c1f5c2d2acc8630c4745adbe761e7f69f976b3","datavalue":{"value":{"time":"+2001-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946571$B7E9AA54-8DB8-4D11-88E0-723AD1A07E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946571$66124F35-3433-4FF8-BDC7-49FDF522236C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"546608c8424444b1e41ddd92edf6176245d1dfcb","datavalue":{"value":"1659190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946571$61BC01C1-B62E-48BE-A029-374C2558FFE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946571$E08159AB-EEA4-4E44-85F8-0C1ED7A2E6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946571$15ADDE43-8715-469A-B57A-4B155B1BA6DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946571$F3FB652A-0482-4CED-BDF6-F158104C15ED","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":"Q5946571$9EC0DD95-2546-47AB-9E18-4CDD55B03E92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a565b0c79cac0050b8cfbc541e2a4e254e1322","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(00)00020-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946571$397019B5-E5F0-4089-9E14-15FDBAF9CA64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b251a4c0c49f843f3522abbc9b806c4801632ae","datavalue":{"value":"W2046555386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946571$32DA6E29-1251-4F17-85FC-4DC8A30371E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae6d0e3cc5a81ba0d6e67f76a86a57e6f056d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754054,"id":"Q2754054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6692374d94a9d8362e2c1fc6c4be2f4023065","datavalue":{"value":{"amount":"+0.7734995484352112","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":"Q5946571$8F00E14D-5DF8-4B12-9CBC-98A5927D797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8334941f0cf3bf9d5e0796619bbc961c474dc","datavalue":{"value":{"entity-type":"item","numeric-id":4270076,"id":"Q4270076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6692374d94a9d8362e2c1fc6c4be2f4023065","datavalue":{"value":{"amount":"+0.7734995484352112","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":"Q5946571$736C0D9D-8BD1-43AB-AC65-285A5236043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9df7aa313318f9941f46314e3f46d32ff2bc02e","datavalue":{"value":{"entity-type":"item","numeric-id":4782047,"id":"Q4782047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33a6a86105fb6ee110d38a342ed3365e5a49b26","datavalue":{"value":{"amount":"+0.7511205077171326","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":"Q5946571$DE3DB701-6CF2-4879-9E8C-14ED9ADD079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835ca84de58f7f03bf62ea52fdf2ba1a26d9a792","datavalue":{"value":{"entity-type":"item","numeric-id":3753931,"id":"Q3753931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26806fd2b92c63de341e69ac42532d957002bb27","datavalue":{"value":{"amount":"+0.7370969653129578","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":"Q5946571$17B3397F-486E-451F-BFCA-BC71A8C882B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c423e36fd26d8f9eb9dcaad907a5ceb9fe12ad86","datavalue":{"value":{"entity-type":"item","numeric-id":1183545,"id":"Q1183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0702af50c6cbef7d16676cbdd826c35d26ccdde8","datavalue":{"value":{"amount":"+0.7364192605018616","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":"Q5946571$9200CFAA-3735-45CB-A6CB-92BA43E41DDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946571"}}}}}