{"entities":{"Q2956471":{"pageid":2967191,"ns":120,"title":"Item:Q2956471","lastrevid":52724594,"modified":"2026-01-23T09:01:05Z","type":"item","id":"Q2956471","labels":{"en":{"language":"en","value":"Interactive computer programs (ICP) for teaching the indirect method for theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6675691"}},"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":"Q2956471$56AF41F0-49DD-4428-9CEB-C50DB691566F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df226e1fb084c49b1c7f807a5225392132369bc","datavalue":{"value":"1363.97020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956471$D1687ABA-E32F-492A-BFD9-E2C6DE45F9C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b946c5cacaa1135a7a646d120172961da92e4e81","datavalue":{"value":{"entity-type":"item","numeric-id":2956470,"id":"Q2956470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956471$F9E5A2A5-E226-4B58-81B8-B888522DD9BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38356482003684779c085e15fb6eb3fbd5df685b","datavalue":{"value":{"time":"+2017-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956471$67BA007A-AB94-441D-B31B-C83578BB3169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eab3c337a226628edabe1bc42d3a4bc95587014f","datavalue":{"value":"97U50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956471$D1C331E9-4E49-47E0-89BD-94F6578B0EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956471$8066F179-1DA2-436E-9796-FAFB2D24F4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3409fce20c9f0cd1fd50c0f4a24b93a2a93446e5","datavalue":{"value":"97B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956471$AB4AF8F5-EAE8-4954-B167-8995A326BB37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53815b4ef7fa6301ca8544110d5a287e802f4172","datavalue":{"value":"6675691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956471$BC49F8D9-1B06-47BF-9B09-8437266DA2A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecc3090c4cdccd5e8487a6a60bbd82c692c94ba","datavalue":{"value":"interactive computer program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956471$520EF16A-3B37-4991-9993-45572A81AD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88efe2233464ec980f06623c8f13a50d6597201e","datavalue":{"value":"geometrical problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956471$1D44DF16-49A5-41EC-82CE-71C1DAE03F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea243fe648d7cb09d82ff7d9b7e8b575016bf08","datavalue":{"value":"indirect method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956471$BF12BB4D-CA25-43CF-A1C3-075BDA861BB7","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":"Q2956471$D44B8D24-AA6F-4BCB-B4F4-651670723535","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaee41e1f9c06339b14752d96fda0b5fcd530aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4837115,"id":"Q4837115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ede3d5be8050102ba69a4558b1b6a51844d2009","datavalue":{"value":{"amount":"+0.7166182994842529","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":"Q2956471$8D3BEB9E-DF01-4D84-9FFE-7148236AF5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c50e2564848464b8614962364115eedad1a306","datavalue":{"value":{"entity-type":"item","numeric-id":5407115,"id":"Q5407115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aef28ad12c892678f2464af764db7ce0404efa9","datavalue":{"value":{"amount":"+0.7099547386169434","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":"Q2956471$D9E9E8FE-D7E9-4FFF-8933-7700A4A16020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7079c30424d27b7f8c1f7e218dc3fe286210acd9","datavalue":{"value":{"entity-type":"item","numeric-id":5427804,"id":"Q5427804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df706444883c4f7359392acbdbc13f308fbae40f","datavalue":{"value":{"amount":"+0.6876468062400818","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":"Q2956471$AEA90CD1-70E0-468C-AA13-C4E5FBC477B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f289adc45026baba7a28cbd2f72158f7d11d1dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2973565,"id":"Q2973565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453694d6f3372b13dcff209f1487afe90e10d215","datavalue":{"value":{"amount":"+0.6829997301101685","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":"Q2956471$731B49DD-55A1-4714-B914-188F35547326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaadebc466006f9ba58130f8a493cb2148622f8","datavalue":{"value":{"entity-type":"item","numeric-id":2829254,"id":"Q2829254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79ee49fd0008a15b2f8a1a8a3aff43d534db0db","datavalue":{"value":{"amount":"+0.6807793974876404","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":"Q2956471$F4F59204-2586-4A0F-87BC-6A5C1A16C36D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2956471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2956471"}}}}}