{"entities":{"Q4647545":{"pageid":6677126,"ns":120,"title":"Item:Q4647545","lastrevid":82241606,"modified":"2026-05-06T20:26:14Z","type":"item","id":"Q4647545","labels":{"en":{"language":"en","value":"Experiments in the heuristic use of past proof experience"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001935"}},"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":"Q4647545$81CE1061-86DB-4C4A-A5D1-C0398434108F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e2c9a8c5707dd833691f0b4e6c40a23e861e1cf","datavalue":{"value":{"text":"Experiments in the heuristic use of past proof experience","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647545$97D102D6-7E4B-49EA-9318-F9E903D19E3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2cf6fa7c959c105cdf8c9593b4754a5d096978e","datavalue":{"value":"1412.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647545$625F4AE8-B7DB-4D6D-BF80-C534D0E2063D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"264d031355c0eac91fc824311b23e4498cddfc20","datavalue":{"value":"10.1007/3-540-61511-3_111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647545$FA928D35-1F1C-4F4B-A069-196CC0B945CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a04ddd0c99f4e3aa087a3f14d65e93e1b9ff095","datavalue":{"value":{"entity-type":"item","numeric-id":3162899,"id":"Q3162899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$9E70B3AF-B047-4FB9-8C69-195C62D52ACF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$61317104-7E88-45E6-A95D-0278C080FE4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647545$29D46648-06E1-41A5-8F0F-D0328B00CF44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f63ff3cb72a31dab595720e7206cd8f65584723c","datavalue":{"value":"http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/380","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647545$19B7BCC6-56D7-49C5-B2E4-523382FE0C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647545$7518DD7D-0158-4107-82D1-F90FF114F680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647545$5C79BF3E-AC04-4D1B-8EB4-990C7F45AE1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f5e55ba5e802bf91bb8a077fff927841ac5316b","datavalue":{"value":"7001935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647545$E54900D6-C251-4F8F-AA8B-396EB5DAC603","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8761b024cf1560bcbe5177b027a838428c0efc","datavalue":{"value":"past experience","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647545$F45894BF-14BA-4C26-9BE6-C0FF321D9E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647545$D794B45C-A17F-45F1-8380-3A269C3237EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647545$64EC88E6-EE22-45E7-87FA-5F0406E29654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5760fa65aaf1fafc9785dba3387befb070aec260","datavalue":{"value":"negative fact","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647545$19502376-4576-4F1E-9E53-F8BF5A11FF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5072a98709188ed4a587b4f2dfc63a3cd3a507d1","datavalue":{"value":"positive fact","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647545$826570AB-F20C-4183-8FDD-097DA1403824","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$1B226A9E-4777-4CF8-807C-E8C7EC3CAC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$AFA2DC0C-A1BE-46EF-BE3C-91EC6AF47CFC","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":"Q4647545$E8471986-A533-44B9-8BCB-899D1509CA2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37335aa7c565ca4eb2eb4511b004560c5f896af4","datavalue":{"value":"W1865124669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647545$49A9E9AF-EAB4-4D1B-AB3B-B0B4D5E6F488","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b4e3dde57ec92f719c86b2adbfa7880e19c17f","datavalue":{"value":{"entity-type":"item","numeric-id":5055785,"id":"Q5055785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$0DA7E7F1-372A-42BB-AA59-C1C47C6A040D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07765ad2d4fe964992ed5e0c2f6f183aea0b11f8","datavalue":{"value":{"entity-type":"item","numeric-id":3817655,"id":"Q3817655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$1E77E46F-BEA6-4D68-B2FD-1761EA9512F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11e19574508418c19657a6f1385e1d5821221a3","datavalue":{"value":{"entity-type":"item","numeric-id":4647545,"id":"Q4647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$FA47824D-84ED-4EC4-83A7-BA13576F7CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$8103D606-9ABC-4FC5-85A3-53C6C64D5378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$39121E32-5195-4821-AB08-E19C54D6959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e58cbc1e56b628df8261f3ac69dac62d8347493","datavalue":{"value":{"entity-type":"item","numeric-id":5617288,"id":"Q5617288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$8043034B-35F7-4141-9B21-D315175200FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$FC945E87-D75C-4A7F-A2A2-B60EAE51EC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$5B104E8E-7BD2-44EA-BE6F-CD7B3C226B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fe42a8626fe294c0af822c4d003f8af2d5c2d1","datavalue":{"value":{"entity-type":"item","numeric-id":911807,"id":"Q911807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$9B8C2608-FEF4-4170-B288-C5DDEED0808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b89fc9b4fd15cbfc54fddb759b2d0fc7eb7f189","datavalue":{"value":{"entity-type":"item","numeric-id":1904397,"id":"Q1904397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$A223AB8D-D4A5-42F8-8F36-D2FCF76D50C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959cb805213eb616c8adb0875ac204123b3b6afc","datavalue":{"value":{"entity-type":"item","numeric-id":6488552,"id":"Q6488552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647545$2A6A9D4D-4F01-4DA8-A190-F1EDE28CCC8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d85b2603075e198252cf747fcc485a279e29304","datavalue":{"value":{"entity-type":"item","numeric-id":6488552,"id":"Q6488552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2928c6fe59c9380614889214444d162c5c69e20b","datavalue":{"value":{"amount":"+0.8012169003486633","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":"Q4647545$EBFD09FF-59AD-4875-A9C6-1D8CFD5AC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49da0f4f840201fed60d5399e7782277bda1707","datavalue":{"value":{"entity-type":"item","numeric-id":1854367,"id":"Q1854367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7e69af66b03aa2a8db6e546d3ca534962ca9c6","datavalue":{"value":{"amount":"+0.8000839948654175","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":"Q4647545$2307A2B4-A77F-4162-8B32-AD7D378E3DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd996b2f1fae70ecc8f0f9ca5aafd645435786f","datavalue":{"value":{"entity-type":"item","numeric-id":4529543,"id":"Q4529543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f7ce44b73a30e0203458a09dadbcf9fd045f1f","datavalue":{"value":{"amount":"+0.7968264222145081","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":"Q4647545$4AEDC5CC-ABC1-48E4-8CB1-B8DD6082661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8a43ad7f21ec3c22fe6dc052acb857f4cd13aa","datavalue":{"value":{"entity-type":"item","numeric-id":2739546,"id":"Q2739546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f7ce44b73a30e0203458a09dadbcf9fd045f1f","datavalue":{"value":{"amount":"+0.7968264222145081","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":"Q4647545$7A7F67AB-2955-454E-9518-7E73D7D0C5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3766bac65d12bc25254d2db5e809b4c83519adc4","datavalue":{"value":{"entity-type":"item","numeric-id":4524780,"id":"Q4524780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c503e9868fc7dd9eb46e90c5f914e4d0ef4b71f1","datavalue":{"value":{"amount":"+0.7960830926895142","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":"Q4647545$06A2DCD5-B4F3-4F4C-982A-BC12E7F92683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experiments in the heuristic use of past proof experience","badges":[]}}}}}