{"entities":{"Q3485887":{"pageid":5515787,"ns":120,"title":"Item:Q3485887","lastrevid":46899789,"modified":"2025-12-25T19:54:05Z","type":"item","id":"Q3485887","labels":{"en":{"language":"en","value":"Machine synthesis of mathematical theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157912"}},"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":"Q3485887$A84C9A2C-0292-4BB3-923B-4DBD864F6654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"083d771ae5377cd7543f756aa294e6df0d086abd","datavalue":{"value":{"text":"Machine synthesis of mathematical theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3485887$2BE177F9-3914-4899-98FC-7BD309173648","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a9a3cbd0032be9c38fbbb650bbdf79a9a2f6833","datavalue":{"value":"0705.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485887$FDEDBF71-53DF-4FB2-9B24-93E3A3AC8B1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ed8a109e5a512462cf262a5aa64785752cf842d","datavalue":{"value":"10.1016/0743-1066(90)90042-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485887$FD90F557-C080-42FE-9747-33F729D73AC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c48c977a4a9d230699702def5d80fd8665de7c","datavalue":{"value":{"entity-type":"item","numeric-id":265934,"id":"Q265934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3485887$79619EED-09E8-4C10-BF8E-C45A5E7B6C91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3485887$2611810D-6D7B-426D-B119-C7739D1751B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3485887$6271C88F-4559-47A4-82D7-85BF35143980","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485887$1DB0B175-F4F7-4BA3-9562-073E9739651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485887$09C742E1-E060-41EC-A708-60E033E4F87D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"543e24026a435f31f5286b9041cddac95c36a288","datavalue":{"value":"4157912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485887$D1CB0EC1-8971-431D-BC72-445AC4F4998B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef17d9a4efb8adcd6196b587fecdc871bbff18d1","datavalue":{"value":"algorithmization of theorem synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485887$4CABE867-9310-4247-8355-C65BCFFC151B","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":"Q3485887$A0460E50-D39B-44EB-9C3B-F799D4779BA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44642c96aa6e4969916a9ad3ee0611e70e9d2c06","datavalue":{"value":"https://doi.org/10.1016/0743-1066(90)90042-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3485887$91C362E9-D29C-4D39-91B1-D82ECF797DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afb9290e2a5b7e0250ee2bad503e2c1404bad79","datavalue":{"value":"W2088371085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485887$9480A419-34D5-4078-A822-14C2E5A82ADB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e586d636d77606ed72e7f971030186f2c626dc4","datavalue":{"value":{"amount":"+0.90184766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$144F8358-8588-436E-AC0E-5BB132FAF008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3562f99303fb8e5d31da968bb8f21c68ff7840b","datavalue":{"value":{"entity-type":"item","numeric-id":3677198,"id":"Q3677198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dcb260ad0d3a5b3d60c7726171eceac5bb6839","datavalue":{"value":{"amount":"+0.898119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$22C13ACC-7444-4D14-AD4E-9A9AB898C69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d49d4c6bcd3850ac8d47bcd908e5e333fb490b4","datavalue":{"value":{"entity-type":"item","numeric-id":3006508,"id":"Q3006508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb207f523570b0aaf3b3758b28468efaf99732c","datavalue":{"value":{"amount":"+0.8914077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$796A7287-5578-4FF1-B7A6-6965F171AA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fef7ff67e321f5da285458ae23b57701a5f98b","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffab6806004178cf2c24121366c0babab754a54a","datavalue":{"value":{"amount":"+0.8891884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$C7AA1BEF-3E40-4A17-BA4F-589E292A5915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb0564d075c3b342d6e394aa1f4543a042792b1","datavalue":{"value":{"amount":"+0.882068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$8A12CBA5-5353-4C40-92A2-DD744A5908B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5bdf01a55de08f3956007871f61be8472f786d","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6d2f3b751a236d248f0dfbb4d2d0d8ff13740a","datavalue":{"value":{"amount":"+0.87896264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$C68AB304-018D-46DE-967C-82EB2539B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552dcef0f1aaf12cf77008783a42e5e21c9c73a5","datavalue":{"value":{"amount":"+0.87641406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$151259ED-FFF3-489C-B6DF-E9C0EA187AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc092646f99bba99f2129ec2336dd916e34b09","datavalue":{"value":{"entity-type":"item","numeric-id":3452371,"id":"Q3452371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27173abd832570dd7dd38c532af9f8608b702468","datavalue":{"value":{"amount":"+0.8737845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$0F29E866-D356-4201-A4CE-8E960BD7BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f26817bb023c8ba00c0fdc43dbb5c76285a5b9","datavalue":{"value":{"amount":"+0.8729979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$A328195E-C5BF-46EB-8ACA-77E26D383EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04812e0faa39f2ad2d44990aa281e1a59afe1209","datavalue":{"value":{"entity-type":"item","numeric-id":1353941,"id":"Q1353941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030a34d45ea27cae8f4fce8ea1289671c6aa337a","datavalue":{"value":{"amount":"+0.8716761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3485887$9D139577-169D-4A6B-90BE-F4B222B0E565","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3485887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3485887"}}}}}