{"entities":{"Q3582703":{"pageid":5612607,"ns":120,"title":"Item:Q3582703","lastrevid":51062558,"modified":"2026-01-16T11:13:37Z","type":"item","id":"Q3582703","labels":{"en":{"language":"en","value":"Some considerations on the usability of interactive provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774504"}},"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":"Q3582703$A741B3DC-961C-48A0-A4CD-C88B58F04A8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d864c931fb51d95bcc5c07444cff79a923044d72","datavalue":{"value":{"text":"Some Considerations on the Usability of Interactive Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582703$A0D55F4E-AD85-4735-9233-52BACA4BD4E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"786bf542f9429d6723f9edfa783fa8aa431b7b9c","datavalue":{"value":"1286.68388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582703$C224879E-BDA4-4623-B811-64E2369709CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c09689988752c99a1852037148a3ac94cc1def74","datavalue":{"value":"10.1007/978-3-642-14128-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582703$C6FE197C-97AD-4C4B-8592-E15101C85D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582703$240CADA3-AD04-4D28-A849-F319AA2F46BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582703$CFF12B70-D9DC-4B7F-86CE-E81B062B4CE3","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":"Q3582703$39B613C4-C497-465E-B8E7-D2FF661D00EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582703$49756488-A28C-4762-9118-CE8BC7A26E59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582703$9CC81837-DE46-48E5-A559-EEA65E8A678D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3a20963faa6ae5c0da77074ba8cd5797230613f","datavalue":{"value":"5774504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582703$35066AB2-4F6B-4E54-8F31-7146C2B26CC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582703$39248306-5977-4795-B515-6E384358A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582703$AA7645FD-2B9F-4F1D-B7AA-4FA855453749","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":"Q3582703$1CCF82FB-BB7A-4885-A210-0F633DB3ADCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35a122150e6c88ddbb327a6716e45b683b852dbc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14128-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582703$CA2052BD-A20C-420C-96ED-4C6C2AE2CCE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a98dae44d5be88a941b47b2d94e292e959acc2fb","datavalue":{"value":"W4236999398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582703$C14CA67F-5552-43BA-A35F-ACAFD1E9053B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3c074ee182c14fb829f48d8ee3067fb50232e8","datavalue":{"value":{"entity-type":"item","numeric-id":3336730,"id":"Q3336730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adda541d10a043523d85b4f8b2b2fb749ba938b4","datavalue":{"value":{"amount":"+0.7488459348678589","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":"Q3582703$E7F41C14-A26C-436F-B78A-8F74EDC632AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597f4e57288cc1698bfd2fe5e4fa5bcb6ae4d4fc","datavalue":{"value":{"entity-type":"item","numeric-id":3559759,"id":"Q3559759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf8b0c7c4950d2dadfa2e1aa164618f1a4988b5","datavalue":{"value":{"amount":"+0.7375554442405701","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":"Q3582703$6269A352-39DB-4878-A267-FCB06440C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0a3bf9bdd0f7ea5fe705aa2b46eefc4aba3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3034850,"id":"Q3034850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc56b2954018c14542aca49911d150abe5bcda5","datavalue":{"value":{"amount":"+0.7342739701271057","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":"Q3582703$3C219F01-1761-4A16-A116-51E0C1CCB3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722575ee3cc5b37d1307db09b56420b15da7abf8","datavalue":{"value":{"amount":"+0.7331986427307129","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":"Q3582703$B55F218E-481A-42D7-B224-4025CD8DE099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20821278b54273bce32a61f8d97e3bf2e0967751","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db170918ae85fc3287b540e30da27db521076741","datavalue":{"value":{"amount":"+0.7312034964561462","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":"Q3582703$FD5E1DF3-E567-465D-B2DD-D6EB72CFE29F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582703"}}}}}