{"entities":{"Q3102743":{"pageid":3113458,"ns":120,"title":"Item:Q3102743","lastrevid":86210303,"modified":"2026-06-03T16:30:00Z","type":"item","id":"Q3102743","labels":{"en":{"language":"en","value":"An Investigation of Hilbert\u2019s Implicit Reasoning through Proof Discovery in Idle-Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5979331"}},"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":"Q3102743$3374151F-77E1-49E6-AC7A-BBB47F8B60A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f74299ede0f0f36f95327611ffe3b798d631e194","datavalue":{"value":{"text":"An Investigation of Hilbert\u2019s Implicit Reasoning through Proof Discovery in Idle-Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102743$B7B93CB8-6DC9-4BBD-90C7-A52C482C64AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74469bcd58e415c1297f2cdf56f1b3dba8f0ef84","datavalue":{"value":"1350.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102743$B6367C72-F25D-4F67-9BE9-18811C544133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3900ce71baea0796263cd6dfb3afe6cd230d8ad4","datavalue":{"value":"10.1007/978-3-642-25070-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102743$D088E38D-EB6A-464E-96B2-B5BCCDAA8624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb07b0f36245cb0e201fcad66e2b3ffb9cccb83","datavalue":{"value":{"entity-type":"item","numeric-id":2907336,"id":"Q2907336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$DCF79290-D86E-46DE-ADAF-CB4B5EF15407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$AE0D964D-1D74-492A-85E1-37939C57622C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$D0A4A72D-6952-4398-9EC7-1C681F2D92E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3102743$10079D17-AA25-4451-92F6-D782A143BD14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102743$6348FE4E-53EA-4E67-8174-1082B357C629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c5e393dcd87db92696b1a6e89f879f680fcfa4","datavalue":{"value":"51F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102743$743883DF-20A8-4CA2-8B4D-6E806D67367F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9358bcb6fb5c54a567dfc9c1a22904b01a761ff9","datavalue":{"value":"5979331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102743$8E6FF0BC-B589-405C-BD3E-1DBEC936FF98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$49680A14-9DFF-4986-B2F1-5B16E562B0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$B49B417D-E06B-47FC-9980-1479BF89B726","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":"Q3102743$790FD0E6-D427-47AC-9D58-09F776C0CC0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f11fd92335df9277dd357362219bc7c55314f39","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25070-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102743$BA94F64B-9121-4C74-A7A1-32B051AD58D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d23d5f1b6b7a199e8dc96eaab6bf6bdffdf7448","datavalue":{"value":"W1708936760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102743$CD362FB8-3185-4A7F-8950-54437774338D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1f512084a46e9696bd5f25ce21e81256b77607","datavalue":{"value":{"entity-type":"item","numeric-id":1114924,"id":"Q1114924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$10120C0E-94EA-4FC7-A3DE-8BF26B81E98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ead10feae6265aa05a769681225a72268edacf2","datavalue":{"value":{"entity-type":"item","numeric-id":5572275,"id":"Q5572275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$CAD48876-6D8C-4D2D-94C4-BF15870A3E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5858187e3972d1faf5ed89d13f0dd94a3d42bb08","datavalue":{"value":{"entity-type":"item","numeric-id":4001973,"id":"Q4001973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$4A35BE9D-453A-4586-BFEE-7D8259970364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc813c3420ba0b42fe4bea1f4208b1eb74e62860","datavalue":{"value":{"entity-type":"item","numeric-id":448975,"id":"Q448975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$20735EF4-0647-4C58-A78E-AF27D73F1BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$8DA956CE-DC1C-4C7C-AC09-1D855734044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bfc697d8da1639edfa9171984fbef54e299a56","datavalue":{"value":{"entity-type":"item","numeric-id":5493316,"id":"Q5493316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$680C0A37-74AB-40EA-AB5B-D4C4750782A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$218A3388-6B46-426E-BC38-ECF1F6636456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c980747852309ad02e34011dae7b1195dd483e00","datavalue":{"value":{"entity-type":"item","numeric-id":3690258,"id":"Q3690258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$3D1AF5E9-D3C3-40E8-AF93-54C70A2D8CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3424a3d27400ffcb2afa9de14a8c8f1425e7e66b","datavalue":{"value":{"entity-type":"item","numeric-id":3088022,"id":"Q3088022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$E047AFFD-8F79-439E-B26E-89F08F2C6079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b874be4398908905b6b6537f52e417df634dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5834186,"id":"Q5834186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$9CCA7ED1-B0B5-45DC-8413-CD311E3FBB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502ad8224b7ee39a96e36cfcfba1b8b740baa8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102743$30639AFB-4A15-4C09-9D66-2DD3B783BAB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9528e6771ce6a43b6b480d58ae14f5b157c28792","datavalue":{"value":{"entity-type":"item","numeric-id":5463274,"id":"Q5463274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5849f50d9fd67e9b7693896d4e043e656f63fe31","datavalue":{"value":{"amount":"+0.8540633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$EE64F177-C4B0-4460-A646-3724C41C868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7f034221b4fe3cf9cd1ad0e17d3f6f5ecbbd2b","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b04f8901cee85f2541242573e3d19cc18b982a","datavalue":{"value":{"amount":"+0.83747244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$2D667F98-612D-40DD-B449-D3B3E976DA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4f32f1df048db7195f1e7c04fb6d701be0b689","datavalue":{"value":{"entity-type":"item","numeric-id":4792019,"id":"Q4792019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495661c8cc63baba8863b0d10f8fe37899b75b7e","datavalue":{"value":{"amount":"+0.8354566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$A8AC1A1E-344B-4A71-9CB6-A10BEF1D589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b002a0d546a1d76219d0be2b27590f97d1f9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4263014,"id":"Q4263014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120aeec3d318a26db23b2c484f05b15b29cb028f","datavalue":{"value":{"amount":"+0.8323966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$8D544FDD-FB76-4640-9D14-311CC04E22CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f44679d2b2a20e56258dfe24a1bf6cc21c64d8a","datavalue":{"value":{"amount":"+0.83173335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$C6F88713-A9A0-4C09-963C-784E2930DADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b950c83128d11d71296f04dbe09c8f568420f","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fdcaa7419b4230aa69e8e84f4864ad901167b5","datavalue":{"value":{"amount":"+0.8288468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$A883083D-9276-4C19-BA83-1C3CEFB4DC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8d52640a296726ab0d9cbc0d5534dfceb6bd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5013899,"id":"Q5013899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3ed614e548ad2b4bda3258f12b05c57fcb1b7e","datavalue":{"value":{"amount":"+0.8283165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$9CCD2F81-253A-4E28-A5F6-386A9248BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81273ad20e46ae12b02d8c9a8bf5013b541ddef3","datavalue":{"value":{"entity-type":"item","numeric-id":1028646,"id":"Q1028646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671e4532f9a93b5bd22079155783bea5ab8a6097","datavalue":{"value":{"amount":"+0.82753026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$C83E5270-20D3-44F8-BAB2-9447B046ED56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb37b909f6a7304f8d4680927355fbe38f92f84","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9a3174aa7c04f636608b3c0cc3542f7f8cab65","datavalue":{"value":{"amount":"+0.8246484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102743$1F8EFB1A-E29F-4C76-BAE0-39682768FDC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Investigation of Hilbert\u2019s Implicit Reasoning through Proof Discovery in Idle-Time","badges":[]}}}}}