{"entities":{"Q3523173":{"pageid":5553077,"ns":120,"title":"Item:Q3523173","lastrevid":50441477,"modified":"2026-01-14T01:43:44Z","type":"item","id":"Q3523173","labels":{"en":{"language":"en","value":"Improving the Usability of HOL Through Controlled Automation Tactics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318942"}},"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":"Q3523173$24F1F5CD-500C-4C1A-8250-B55D03CC4895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82945d11c2edc771615b04850a50fb386558b4cb","datavalue":{"value":{"text":"Improving the Usability of HOL Through Controlled Automation Tactics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523173$1E7CCC37-B74E-4916-A218-24FC2FC35FF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e4e07df721c695af03c0d9a093f436b1286c700","datavalue":{"value":"1144.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523173$21AAA3EA-A4B8-4D07-9974-7BD84E41993F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f2977f16e8f3a879022526b8f1af95ac26f87cd","datavalue":{"value":"10.1007/978-3-540-74591-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523173$282300D3-9467-44FA-950B-A8D6176A838E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce40eb0f7992c07a596502a283f69669e0158b69","datavalue":{"value":{"entity-type":"item","numeric-id":2003814,"id":"Q2003814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523173$0CBA7CAB-DA13-4B8A-89D1-6D76493B5304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88fa5b35dd907e817d6aba4af46a1dfc0b4f6ec","datavalue":{"value":{"entity-type":"item","numeric-id":1695877,"id":"Q1695877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523173$6DD5F5BA-CE1D-45BC-9803-59D8268C6B06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523173$051A48FB-2AE9-4567-9C9E-60539CAAE743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523173$453877F5-0FCB-4E44-8A7B-66E16320D204","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523173$F6D4B29A-1737-49D9-B3B8-2E619EDFFDDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b4564e67dc00738eb5c9b3b6c5f65a142e11aee","datavalue":{"value":"5318942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523173$1D8039D1-7386-4A09-B321-B3104E9C82EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523173$72F84E99-0D6C-41EB-AD43-9C806C762B69","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":"Q3523173$7E1AD9BF-3248-4474-A182-37A3934C4B90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3012e531dd519b82e9f5b9d4be21050cde40c36f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523173$CAF61797-9CCE-4D64-BB83-A324750DABAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ced3cafab83a2920db8f7ab5484a402d1cba6130","datavalue":{"value":"W1607688903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523173$21953D4D-A716-471E-BACB-787A6CE1349E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badab0587d6a86cf23b0e6488e596803e8e7f3fa","datavalue":{"value":{"entity-type":"item","numeric-id":2879242,"id":"Q2879242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993505c5196a776bc6d13777cd3611d5e1042725","datavalue":{"value":{"amount":"+0.7282779812812805","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":"Q3523173$CC2C994C-230D-4892-A917-14D0B879F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7ac36ed718b6e97928eb57ef2af05bff63f6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5398327,"id":"Q5398327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa36fc21576162fe7b49347044fd01533a9921b","datavalue":{"value":{"amount":"+0.7168533205986023","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":"Q3523173$E1A77895-9FB7-4638-B5BF-9D6698ED6D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f5738fa2a8a5e76ca4cfe58455941d80e340c","datavalue":{"value":{"amount":"+0.7016547322273254","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":"Q3523173$A578D2FD-90B2-4706-ABDC-6C3A3D0CE47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9877f0dcd65138cde5cfee90673e908a79f3337d","datavalue":{"value":{"entity-type":"item","numeric-id":5464643,"id":"Q5464643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922259a6977a0bbf0e1aeebaa47d35451dbd29b0","datavalue":{"value":{"amount":"+0.6972600221633911","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":"Q3523173$17D9BC5D-C34A-4F39-A848-7D3D4CA605E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e991eb6ce62deb5bb2a8abdd6157fc56a8e6e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5176973,"id":"Q5176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3605c9e8c2a8627d3b2c230b4f5489cbfc4dee86","datavalue":{"value":{"amount":"+0.6972599625587463","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":"Q3523173$6A99A376-3E65-4A4C-A463-9B4ABB59057A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523173"}}}}}