{"entities":{"Q400476":{"pageid":402243,"ns":120,"title":"Item:Q400476","lastrevid":61608123,"modified":"2026-04-11T00:26:32Z","type":"item","id":"Q400476","labels":{"en":{"language":"en","value":"Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6333383"}},"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":"Q400476$7957AC7D-8BBC-4F72-83CE-6703E28C619C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"869df235a717c050881342fab2bc918bbb50f42b","datavalue":{"value":{"text":"Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q400476$94F3AFF4-1AB3-496C-BE33-9D5E52F75CCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4294964ea4a40038cb7c2f76cfbd94320be6a151","datavalue":{"value":"1294.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$3E471A35-425E-494E-9E81-9F004B6FF45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"993f0050b44c604e958253533fed72c8682c9de6","datavalue":{"value":"10.1007/978-3-319-05416-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$EABBE392-FA67-4191-9846-F2B16B933D18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400476$0F994BBF-ABE9-454E-A95F-6FB74190F05C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbe10affe2cc92fb221314d06c46561b63446102","datavalue":{"value":{"time":"+2014-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q400476$6CEE763D-9799-4B38-B2E7-97E88B76F005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$D3AACC93-57EB-4775-8826-946B8B7FB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5660fa98e757386c89b5eaaace43a72021a48756","datavalue":{"value":"68Mxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$9D751988-8C2A-4E41-8CB1-6396EB1F36CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$01F4FAED-2469-47CA-B2F4-682E64B26E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$F9F42EC7-418B-4127-A36A-3ACBCC0CC418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$0E8CC0F0-CBE3-47A3-9888-83DBF2CF86CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff8d3e47b7d0f70d1b3c7949d7db3b4db4ad9a4","datavalue":{"value":"6333383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$7484031E-2C43-4BB9-8CF5-23382B2FAB39","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":"Q400476$B0B719B1-CA2E-4A9C-8944-0309916C6E09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aee8510ac3adce9027d28bdbf16a19e82643bb4a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-05416-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q400476$5EF737BD-D334-4CB2-A7C8-2C9F649B2B5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b9123f4b56a7ad4af3e3becca42622c9e21dfff","datavalue":{"value":"W2476404036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400476$709756DA-1F43-4D4C-A9FC-46407DA46A3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ba7b9230d650ac0f596f5c1ab369fb39fefbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1684057,"id":"Q1684057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088b2274e477607a91dab5055dc3f4fb12cc9ef2","datavalue":{"value":{"amount":"+0.8880178928375244","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":"Q400476$0524B1A8-E983-4CA9-9AFB-0C7BD717E7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515835b5ef2bb3edb5dcf936317ad5f2b5660482","datavalue":{"value":{"entity-type":"item","numeric-id":4282667,"id":"Q4282667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437daa2b1aa8764c0b10189fff3dc19c3f82819b","datavalue":{"value":{"amount":"+0.747193455696106","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":"Q400476$9E708675-2DFF-4A03-A392-19DFA447E0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532038b02bc4ea40e2527e9f75365e1a60eec4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5971164,"id":"Q5971164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437daa2b1aa8764c0b10189fff3dc19c3f82819b","datavalue":{"value":{"amount":"+0.747193455696106","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":"Q400476$65FA9946-9235-4D8E-8FEF-888682573DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f51939e0af4183f42558a7ce5a4907380f9807b","datavalue":{"value":{"entity-type":"item","numeric-id":2662242,"id":"Q2662242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d23aa53931cb42f944dc6c9946d0b97e899c13e","datavalue":{"value":{"amount":"+0.7109201550483704","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":"Q400476$9B06CBD2-D2E5-4FCB-AA74-36BF47010374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b4aa61d1562067ba2991673788c60693ff7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5965515,"id":"Q5965515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af9a40fca258b65cfd88024937b6ec291b7c495","datavalue":{"value":{"amount":"+0.7104941606521606","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":"Q400476$A109E429-365A-45A3-A0D9-FA7B4AC66F00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal techniques for safety-critical systems. Second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_techniques_for_safety-critical_systems._Second_international_workshop,_FTSCS_2013,_Queenstown,_New_Zealand,_October_29--30,_2013._Revised_selected_papers"}}}}}