{"entities":{"Q3452371":{"pageid":5228942,"ns":120,"title":"Item:Q3452371","lastrevid":46485327,"modified":"2025-12-24T21:42:03Z","type":"item","id":"Q3452371","labels":{"en":{"language":"en","value":"Mathematics by machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507394"}},"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":"Q3452371$DD706D9A-5A6F-4735-964B-4907B1615400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19d16b4311f9eb27e9c6436a97bb4ce48e81cafe","datavalue":{"value":{"text":"Mathematics by machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452371$830D94B6-94FD-43E1-B904-7D97F287C96F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d6760fa355f0705f237fdad0c3552d14991848d","datavalue":{"value":"1325.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$4E1EB6AF-7908-46EB-88C8-7416BD3D4E62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2b6778c0dd2a995a938fb594a8709df1a467c2","datavalue":{"value":"10.1145/2608628.2627488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$09005E39-FD51-4F9D-AFF1-41C675052F50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd9adcafff3c3e938b5e5e0f052dd5c7280bbac","datavalue":{"value":{"entity-type":"item","numeric-id":672045,"id":"Q672045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$6BC8AD85-C618-4A2F-833F-CC98A03F093D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af65f76c296451bcc3a06a07729a4854867e3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2104528,"id":"Q2104528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$6EA675B8-F2B0-472B-95CA-B912EB4D3B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$09FDF294-644F-4FAF-840F-7D556832FE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$21BE1898-CF7D-4FFF-941E-B571D9AC7BED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd167cecce9ce260eb9131eee017b49e301f03ed","datavalue":{"value":{"entity-type":"item","numeric-id":3452370,"id":"Q3452370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$49028515-608A-4723-8934-4975FCF52B69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452371$B02D4E67-CB0B-402B-A021-71F8DD4662F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$95600335-EC26-40EF-9057-95C2F98B14EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$36A6EEF2-7058-407C-83A7-868587854BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$F2059E72-A959-4EA0-B826-8DAD4B46A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$2EC18E6E-2973-4EC9-B48F-E05E757235C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"432b2b3c5ccb52afd602a10eaefb8e00b99ceb68","datavalue":{"value":"6507394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$4A3CE316-2D82-4632-86F7-6E277928C6AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452371$58D122BF-BD0D-4860-B799-7AB45D902EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0bd6d92a74377228213483b7f0e15b2d9fd3fb","datavalue":{"value":"natural language processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452371$4C93C238-65FE-4A06-958B-DDE7658F0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452371$7524CE4C-17CB-4C2D-AD85-A8569B52A725","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07f544da61a733e790b6290335bb2f4a402f91cc","datavalue":{"value":{"entity-type":"item","numeric-id":35395,"id":"Q35395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$C335D0A3-CA54-4A07-ABE7-57C68621498F","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":"Q3452371$DA47EA5A-BFAC-4BAF-861E-8936ACBBCF2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be3d2ab385016c89cd5da95d752aaa0582ef3f33","datavalue":{"value":"https://doi.org/10.1145/2608628.2627488","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452371$599EA77F-0DB8-490C-9374-E7B38FF05252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"003fe5fbdcadec3d331031ee069577b22d4c44ba","datavalue":{"value":"W1988004808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452371$DC4AA2FE-287B-4772-AE3C-1D3F1E683AEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a0619f07c8313163d5395382f74c59a1da4d00","datavalue":{"value":{"entity-type":"item","numeric-id":5448058,"id":"Q5448058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$82990BDC-8C15-4E6A-98CE-570E964F4782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f66606002f6efbe3a3e8203b9f538a7ecf14416","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$6401824F-5336-466A-9102-575A888BBAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$FB744E0F-5900-410F-B9B7-034EDC17A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd2b744a08cf611862a762e8c90a437da122841","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$FF254AB8-0025-4BC1-BDDB-53D8CCF8304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$5CACD3BD-8B31-4402-A658-A701EB42CC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$2E71A38D-FDA6-497B-BA3D-9E5525D970A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfba758c918370b2b93e7de04f7aa6ff5c05542b","datavalue":{"value":{"entity-type":"item","numeric-id":4414313,"id":"Q4414313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452371$8D77832E-BFAE-4D4E-B791-729681969CD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5839cb3ff0ed090311b4d35bef85ed8cabb8a6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3582704,"id":"Q3582704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41f143743461a9839d7e4f94ef53cbca6bce7a8","datavalue":{"value":{"amount":"+0.9163452","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":"Q3452371$D3B7871A-A683-4003-AA05-509F6DB1E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f837cc2fda5eee1cf104157699b1c1b39ffec4e","datavalue":{"value":{"entity-type":"item","numeric-id":5522905,"id":"Q5522905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41f143743461a9839d7e4f94ef53cbca6bce7a8","datavalue":{"value":{"amount":"+0.9163452","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":"Q3452371$50CFA557-E6A8-416B-9F76-62D1B25D1404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c7dc6b87203986b8ecb63da20c3c41f358f57","datavalue":{"value":{"entity-type":"item","numeric-id":4267850,"id":"Q4267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee422b14e15137a257322f350b58f1cf34df064","datavalue":{"value":{"amount":"+0.9071862","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":"Q3452371$77BA098E-2141-4977-BCE4-AE1884C81221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c98d9431954134bf928d1622ab6d5e12e750a3","datavalue":{"value":{"entity-type":"item","numeric-id":2571523,"id":"Q2571523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ea8ec628e3836b03fde29eb05381434cb64a9f","datavalue":{"value":{"amount":"+0.90386707","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":"Q3452371$87250860-A73F-4195-8865-DE64CD3253D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a6ee801cf70c878aedeaa62ab3002a28a29ec","datavalue":{"value":{"entity-type":"item","numeric-id":968730,"id":"Q968730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7e83511bbe8bbd035d7702e338a233d4b58bed","datavalue":{"value":{"amount":"+0.8953716","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":"Q3452371$324B29F1-787E-498B-89CC-74515336983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbc5ecc7c3d9cf3b88c1b0d0dfe3a6fefe9a7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4545702,"id":"Q4545702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb24d434ef944c9c8d030a56ae7f06efc06bafe8","datavalue":{"value":{"amount":"+0.89443725","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":"Q3452371$F81B474F-4CB0-4A6E-B42A-D856EDD9648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad00713abe75229b8948c9d3212f3c601ca8cd87","datavalue":{"value":{"entity-type":"item","numeric-id":4525303,"id":"Q4525303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dd948aa1bfd19fc8ad71bac3644c8171afb93a","datavalue":{"value":{"amount":"+0.89296436","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":"Q3452371$B72D80DF-1815-4315-A884-8BA4B9DBCC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0254df9f4f76cad0ec1855a19e97bfce6ef1bb","datavalue":{"value":{"entity-type":"item","numeric-id":2988059,"id":"Q2988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d131431e0f7a1133a7b5a1f790197ea0de826b","datavalue":{"value":{"amount":"+0.8923064","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":"Q3452371$EC052934-D101-4244-8F6E-6B4E0E7CAB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c338b15471376e69c1a9415f436ed234c90c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055841,"id":"Q2055841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9fcd170a6e2cde1d6151cf41889d299ebae977","datavalue":{"value":{"amount":"+0.8853195","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":"Q3452371$2CB2C92C-B0BF-4BB2-87A9-DDE03F03EE3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452371"}}}}}