{"entities":{"Q1272613":{"pageid":1283363,"ns":120,"title":"Item:Q1272613","lastrevid":67184796,"modified":"2026-04-12T15:53:49Z","type":"item","id":"Q1272613","labels":{"en":{"language":"en","value":"Automating the search for elegant proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234682"}},"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":"Q1272613$E53A933A-1C98-4060-BFDC-50F9DA60292E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f50709417f55b8df784a5f5c8f8c4e4b4de45c29","datavalue":{"value":{"text":"Automating the search for elegant proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272613$E840F990-04BA-42EE-84E3-2E612BFCF195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"235d284edb5ac26c2722a98cf2fc2ac36e9426c8","datavalue":{"value":"0910.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272613$13AE119E-B974-493B-9407-E677B8504C6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b21d4bd1bb5d91a58d79ab73a144ba0a7f2455","datavalue":{"value":"10.1023/A:1005847113370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272613$AABED0FF-8D28-4A94-9380-CDF88A65940D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272613$5FA02B5B-0290-42C2-8414-4462FF12CA23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272613$23B688DD-5F43-49E6-847F-F9B672B05031","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2d2d0de991c11088faae65e4b1f5256b03090ec","datavalue":{"value":{"time":"+1999-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272613$92398390-84BB-47E8-B926-26E8E2FEAE32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272613$0FFDAEFD-A5D7-478D-8674-3BD9C02DB063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe473a984701a4dfd58fea6ff77e525f9febc06","datavalue":{"value":"1234682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272613$B473AA77-E04B-479E-A841-7ED6D8D1E982","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272613$00C5156D-0999-4AC1-836E-8854726E13AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272613$E16BCFC9-2721-49B5-884F-864AEFA71367","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":"Q1272613$C45F2788-3B31-4EEC-ADB1-6A45E64CC92B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"561563a28f3a27bfdf6f5ea2168467251ff94582","datavalue":{"value":"https://doi.org/10.1023/a:1005847113370","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272613$01523810-2AEC-4E61-BAA0-2A28AC455A33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81cc954162932a4839d637e1e63c77526b6b428d","datavalue":{"value":"W1562214524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272613$2D61C217-E505-49F8-8A02-45ECAA7643C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f88506a92079a5b24ed1e49a3b24f106d59380","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78c7de9cf53b327ea25e950c790b1a64cfced0b","datavalue":{"value":{"amount":"+0.7685553431510925","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":"Q1272613$1DB8F94E-231C-428C-B61F-60E52DD9EA2C","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":"7651857539f88dbd9a4e42a61c31aa0282794b76","datavalue":{"value":{"amount":"+0.7619076371192932","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":"Q1272613$AC14F201-BD13-4BD9-A10B-1101098F2417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17680d40b3e4a3063c42da38a3078d4ed9be0672","datavalue":{"value":{"entity-type":"item","numeric-id":4817210,"id":"Q4817210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1a6ec44e6015da86257539647ef4e85eef9d5a","datavalue":{"value":{"amount":"+0.7566236257553101","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":"Q1272613$61D9303E-52E4-4135-9977-D846CDAEE71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f69c789071bf14a8417081271429c23160ada","datavalue":{"value":{"entity-type":"item","numeric-id":4816538,"id":"Q4816538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20ba507dcfe009905879c745822f321fc452060","datavalue":{"value":{"amount":"+0.7392452359199524","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":"Q1272613$BE0C8C49-F9D7-4681-ABA9-384C34A0D608","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating the search for elegant proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automating_the_search_for_elegant_proofs"}}}}}