{"entities":{"Q1047211":{"pageid":1049059,"ns":120,"title":"Item:Q1047211","lastrevid":50863370,"modified":"2026-01-15T11:50:01Z","type":"item","id":"Q1047211","labels":{"en":{"language":"en","value":"Verification-guided modelling of salience and cognitive load"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652382"}},"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":"Q1047211$5CE8BEC8-9D5C-4B81-A8E7-08689F9B7628","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb895f64fcfaec1d60d47d56d1c9521c7759989","datavalue":{"value":{"text":"Verification-guided modelling of salience and cognitive load","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047211$923F13F2-32CF-4825-9732-F96452A885F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7bb454bb00770108ee2000084024cefae5b039c","datavalue":{"value":"1186.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$8C08CC6B-BAD6-4E0D-9CDE-82BA35E2B5FC","rank":"normal"}],"P16":[{"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":"Q1047211$F73CE4CD-F79D-4E77-97E8-B206BD368483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dbffeb41770af343426df82313eec172e684082","datavalue":{"value":{"entity-type":"item","numeric-id":1047210,"id":"Q1047210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047211$76943D15-33FB-4DEB-A391-85069DD1A923","rank":"normal"},{"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":"Q1047211$1F82A9AB-5DE4-47E1-8C64-2532FFF657A2","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":"Q1047211$E6120D06-828C-46FD-9965-CD1AE8802930","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":"Q1047211$740E2611-3B4F-4C17-AD14-D6805FA1D6F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047211$18C8C4CD-A55A-4410-8F65-13777ACEE459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$2FF24AED-1DF1-46BF-9249-C468DE19F3CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"192a5bd66610e5d6ff01e87ef9d3586a988d1db8","datavalue":{"value":"5652382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$D088EE29-BCC5-49F4-9B1F-562683997749","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f005e119cda53d30746f05d5036a42c5a238d0","datavalue":{"value":"human error","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047211$13969D24-FDA5-49F6-8691-6A1F0DD6428B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047211$7D12BB5B-433D-4E08-A9C9-1E3BCDCC8CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598f3ddbc3b154b0de77e80c6f5d5a1711567687","datavalue":{"value":"salience","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047211$678C3A0A-FE05-4107-A704-211FC1670F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b77d0219bd167e2f328919d2792f34cd95c74f","datavalue":{"value":"cognitive load","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047211$426ADA74-4C58-4A9D-9796-252379E4D3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047211$6D5FADF3-54AF-4DDD-A5BB-9A4134D6CA5B","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":"Q1047211$47B6A0DE-D4BD-4C88-BEEB-29C6CD1C37E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa4e6a974e248a0080c494fe8b7138361e4c5349","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0102-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047211$0055F701-2093-4265-877C-10276E64ACED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e42e5e2755964317f81e4e5057e2e74443486fb","datavalue":{"value":"W2048665786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$87BAB8F8-417D-4E7E-8AB1-947198571169","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0518ddd0720b18d4fbd1e3786b47e54a257eafea","datavalue":{"value":"Q61929194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$95953AAA-63C7-467F-9DDF-02A2BBEAAC48","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":"Q1047211$EF172E7C-18F6-4A58-80AB-F9A1443D4679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c5d9aba1adf4ac718f61ddc0ea80229881a108","datavalue":{"value":{"entity-type":"item","numeric-id":2461538,"id":"Q2461538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047211$6388D9D5-725B-47F0-92E8-E0E14CB49F98","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":"Q1047211$43A45E8E-059A-4DDD-8D33-215DF5EAA583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51630894a7b7016aab8cf4084c98a68c2f751641","datavalue":{"value":{"entity-type":"item","numeric-id":1047214,"id":"Q1047214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047211$128FAAB1-2A2F-4327-B568-7710FEA322DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"518fda16bc3c84bd5ea9a218d2b18f38c92a9bbc","datavalue":{"value":"10.1007/S00165-008-0102-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$D3E9BA3F-D299-4172-9131-54B5FCEABECA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e57b41f1e387fc1cbecaa205c01c5ff81992fb35","datavalue":{"value":"journals/fac/RuksenasBCB09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047211$A5B46418-80E9-4EBC-AF84-6868D8C1F8C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ff1f7e84dec81b1ffc192409d11a0531b5ed9d","datavalue":{"value":{"entity-type":"item","numeric-id":2461538,"id":"Q2461538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3700318bce964c4cd066585e87aa912bc2b1cff1","datavalue":{"value":{"amount":"+0.7212876677513123","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":"Q1047211$14296651-E1A1-4B6E-B4BE-C0E613E9E500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cf543221efd65e2013de9b7e42f531b09d097c","datavalue":{"value":{"entity-type":"item","numeric-id":5930073,"id":"Q5930073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b2eeadeb3c055bd8e6c0d931377dbc745bb283","datavalue":{"value":{"amount":"+0.6804884076118469","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":"Q1047211$413C9E4F-65B8-43E7-B938-78EC37BA53CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1a9f7a571c4737bb1224a9a35dbadb0803f4ac","datavalue":{"value":{"entity-type":"item","numeric-id":2744857,"id":"Q2744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041a38fb42df2c21e351cf182d86c8e176d8a2fc","datavalue":{"value":{"amount":"+0.6677713394165039","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":"Q1047211$42AC04C3-AF00-40E1-860E-D0ED74987AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9f08fab2cbde0e5b5409071484bdfa4f0af56e","datavalue":{"value":{"entity-type":"item","numeric-id":4420342,"id":"Q4420342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7887692de1fa95810aa32c4c82a8896b7a600b2","datavalue":{"value":{"amount":"+0.6426219940185547","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":"Q1047211$7DB4B7F9-BC45-4E74-8A9C-8ADDC2285C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d91ff2381df5b8faf85f49a665ba2e55d45735","datavalue":{"value":{"entity-type":"item","numeric-id":4432858,"id":"Q4432858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c358e7fe7e04403aec8ed7a8bb3311efe9d246c2","datavalue":{"value":{"amount":"+0.6368584036827087","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":"Q1047211$9E115505-1DCF-4660-B807-4704D7CEF5A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1047211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1047211"}}}}}