{"entities":{"Q2461538":{"pageid":2472281,"ns":120,"title":"Item:Q2461538","lastrevid":44130900,"modified":"2025-11-20T06:00:19Z","type":"item","id":"Q2461538","labels":{"en":{"language":"en","value":"An approach to formal verification of human-computer interaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215443"}},"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":"Q2461538$C89F65DF-CA45-4BF4-9E6B-30B367B9EC6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"740196cf27a7351cc764bf27157fd51bc8542fd4","datavalue":{"value":{"text":"An approach to formal verification of human-computer interaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461538$D3BFD009-4CB1-46A5-8B17-494B7E59D6FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6def9a2b04d39720865a6c9a5748890ba55ffb9a","datavalue":{"value":"1129.68501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$4A17A664-F421-46F9-80B3-FFAD763EF1B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce792b25e15f1bce917858cdd415f611cd1a183","datavalue":{"value":{"entity-type":"item","numeric-id":878108,"id":"Q878108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$EC5C7992-0C72-434B-B2F7-F0193CCDF911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e856c25c4990adf20dbbc5d2568f80065725ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1047209,"id":"Q1047209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$48DC620A-6DF1-4FC5-9262-23329470F68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47d156a606d9e3811c5a47e986541bf343b6f457","datavalue":{"value":{"entity-type":"item","numeric-id":878109,"id":"Q878109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$1CBD397C-0AAF-4B7C-B184-292D29DA8571","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$BE32D2AC-6E22-407D-9FC0-9D2AE4E8A1ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461538$8A35B45A-C04C-40C4-9CEA-153AAF8F7F2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$27B6C7B9-22D7-411D-884C-21F8D7B769C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$DF1E30D9-253F-49B6-95C9-F09256C018C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9aeeb27f5710df2f1a45dd788e598015d82133c","datavalue":{"value":"5215443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$CE8A91E7-4BDC-4B30-B6D5-D46A2F5B6927","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461538$679EA6A3-5AF1-4273-B7D2-D354524BD62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec34718932c3ea5cc708bf06b7cecf2dfd3fa0ab","datavalue":{"value":"Human error","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461538$A64123E6-55F2-4FFC-9E55-E7DEBEBBB9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938a58910c7b8e5933f5978d174c7df9792367ba","datavalue":{"value":"Formal cognitive architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461538$111D5CB8-7789-4742-8484-12C5A6DC5200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546ac5a6869db99a1c053e03fd24a1576d2cbf1e","datavalue":{"value":"Interactive systems, Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461538$9C66DAB7-B992-4D95-B115-DD3746030BDC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c1cf4e66ca24488a9d82e0d9efef362eb6f2857","datavalue":{"value":"Q61929402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$13D15EFA-FE06-416A-B899-DD1B89AC51D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$43D8D754-1970-4287-82E3-377826430FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$AC3F6E69-993E-4827-8A48-4FDE13648942","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":"Q2461538$8F82526C-9CA8-4652-B736-5A94B2DDE28A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b01293e125851c9da193dabfd9691100921a25a","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0035-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461538$6F07CD55-6DAF-49FF-AAA6-ABD44AEB3ED2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4409c4fc21aa22984e63b2bd49b09feca051b0f","datavalue":{"value":"W2085675184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$3C1C824C-267A-4C7F-911D-8933ED879E54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7a7e3a7cec50f94f516763e3967591617d202a","datavalue":{"value":{"entity-type":"item","numeric-id":5930072,"id":"Q5930072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$11A29DEE-0A48-4C74-AFDE-6F28E5152EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae80187233b40c22fe7bf9b19464eec618e64c98","datavalue":{"value":{"entity-type":"item","numeric-id":4493906,"id":"Q4493906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$74EB2845-747B-42F6-A16D-A640CB87C924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c92d570fe370d7e795c3bc1f2b88c4464adf33","datavalue":{"value":{"entity-type":"item","numeric-id":4475266,"id":"Q4475266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$C3E86747-C6AD-46C2-83BC-74E265F16DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f7aab253db22742137625917a01f6a974d0712","datavalue":{"value":{"entity-type":"item","numeric-id":4420342,"id":"Q4420342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$10EDB4BB-A928-4CCB-8083-44EACC8FFECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f850f49996238cdc103386d46a0a42db46692df","datavalue":{"value":{"entity-type":"item","numeric-id":5938662,"id":"Q5938662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$62F2ABE1-1892-4EB3-86B4-D839CE98C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$21DB9505-CE02-4B0A-A817-3429B0C3791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eeed7856a78365602094dfa6f782680500a24eb","datavalue":{"value":{"entity-type":"item","numeric-id":4444714,"id":"Q4444714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$C504AC41-C58E-4FE0-8567-C8453949A514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47aff02160782bf4e5aab24d9e62a0a1aa9571f5","datavalue":{"value":{"entity-type":"item","numeric-id":4800495,"id":"Q4800495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461538$556343EB-5651-4799-B65C-92A8E849097B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6453c887e3162b9890f77f1d120967581e0fdf70","datavalue":{"value":"10.1007/S00165-007-0035-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461538$CE0C5528-6295-4A6D-826D-652B773D9FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c83f14dfd35d318dc6b1e22d0aef3c6430de9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4255535,"id":"Q4255535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70db8ccd6e1c89a77238ca630237e6dfc15265c","datavalue":{"value":{"amount":"+0.93441886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2461538$141FD7C1-7614-40CA-B0EC-4E96DACF36AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e9c1854c192502af0e705253284a308d41ac7a","datavalue":{"value":{"entity-type":"item","numeric-id":3654994,"id":"Q3654994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01945bace8791022bc53e939c8d9fa49298aaef6","datavalue":{"value":{"amount":"+0.9079066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2461538$8A351E09-CC37-4311-90E9-9BAC1985A271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba1cb4b4fc70e2a1217de6c13890798ec71f3f4","datavalue":{"value":{"entity-type":"item","numeric-id":6157245,"id":"Q6157245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b6245158e2b780a112f4b523fbee2c2b3e998c","datavalue":{"value":{"amount":"+0.9016583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2461538$E44885F9-77D7-4680-8091-1DBE560BA0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552b16b0b8d5e50800867dffc2c08d46c57a3fcc","datavalue":{"value":{"entity-type":"item","numeric-id":5475809,"id":"Q5475809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d525e89e0c88d12523cc4cc35d14700952ca67","datavalue":{"value":{"amount":"+0.89456594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2461538$7E4C3395-E1B6-49D2-A202-00F3A295FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42d21ae7e0e9eb3ac7e336d0503b46c2ef2d8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5415284,"id":"Q5415284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9001e6f8579afe98fc8076f77c5473dae6e193a9","datavalue":{"value":{"amount":"+0.87375563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2461538$BF38E411-4752-4862-9021-72F75DF9300C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8413ed03f1f20563467d8b2e97fc72fff9dcc99d","datavalue":{"value":{"entity-type":"item","numeric-id":4737583,"id":"Q4737583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4462a5c5455d58ed1bcee2c68addec280864851","datavalue":{"value":{"amount":"+0.87031305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2461538$7D4EA0F1-0948-4C9A-BC4F-6BF3DA05A79D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2461538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2461538"}}}}}