{"entities":{"Q4814329":{"pageid":6843909,"ns":120,"title":"Item:Q4814329","lastrevid":74702754,"modified":"2026-04-14T23:58:15Z","type":"item","id":"Q4814329","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2097976"}},"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":"Q4814329$36BAADDE-C5D0-41FD-A2AF-DFDB27B9E2FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b587f07f33924c977add4577a02fedfcee68dd","datavalue":{"value":"1064.20067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814329$E9896DC4-39E5-4037-AC5A-AD8937896C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65aed4952f0ea543318f530fb41d65bb13a32cde","datavalue":{"value":{"time":"+2004-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4814329$19329F94-9D3B-4091-9EF5-5484E4D85885","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814329$5AB57A93-860C-4CBB-A7C8-25FA1187D4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814329$0EE7110A-7A73-4A6B-BEC4-C2AA141AEFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814329$BA1DD39F-AE3A-40A4-8AE4-83D7DB96C49E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9960018a098fc13d2c36ac2c53d4146dbe8638f6","datavalue":{"value":"2097976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814329$B50934E2-285F-4FDE-8F12-F9B95F92EA0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824332795652099401741a9184ca69eea2b70898","datavalue":{"value":"Otter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814329$FB32D57D-D712-480E-8968-55C92E21285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814329$79A1DD70-435D-4920-B242-D4163F370B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814329$85B5638C-C866-47D9-A6BB-7B61433890F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d9ae30f439ef505a52f54cc1dfaa91a75f906c","datavalue":{"value":"quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814329$101785FD-2F25-4248-83BB-0E697A2D2C2C","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":"Q4814329$51718F85-BA42-43ED-BB82-10DC4EF4C21C","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":"Q4814329$1D938CE9-E03F-4DAF-AB96-84064AF11836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254c9b8eb987a680f64905119f7c35fbb678aca4","datavalue":{"value":{"entity-type":"item","numeric-id":5313625,"id":"Q5313625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d43be795af454ac565c51f406065daa27fc89c0","datavalue":{"value":{"amount":"+0.73494303","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":"Q4814329$108BB86C-887A-402B-8103-E258E6193EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559947d148028b311e2b7358f27d444b2f2861","datavalue":{"value":{"entity-type":"item","numeric-id":3192214,"id":"Q3192214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba56b3331755f85e93b9366bcdc5316890307d21","datavalue":{"value":{"amount":"+0.7292716","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":"Q4814329$86865C13-F8C0-4B49-A01A-D9B0634E360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2f14593c442d444f4bf8343fa648274971b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4916061,"id":"Q4916061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630aaef37dcda20e94acd37e2e38ab1502280a99","datavalue":{"value":{"amount":"+0.7274105","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":"Q4814329$03F7E771-F937-46E3-94D2-893BB2D4E488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d72dcc22e39259867d5b1cb2b69329c546626ab","datavalue":{"value":{"entity-type":"item","numeric-id":5195251,"id":"Q5195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630aaef37dcda20e94acd37e2e38ab1502280a99","datavalue":{"value":{"amount":"+0.7274105","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":"Q4814329$65C89CBE-B504-4483-9C60-1BAC2D5C38C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c612a616629f1ccf1c08fd116d2e67da68ac65","datavalue":{"value":{"entity-type":"item","numeric-id":3643255,"id":"Q3643255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bfb344c5077245f6978ff08edd3247c6e38784","datavalue":{"value":{"amount":"+0.7272129","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":"Q4814329$9B070CC2-9A0F-4333-A23C-714BCC40ADC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6dadc4131c88e12182864581352abc44eeca83","datavalue":{"value":{"entity-type":"item","numeric-id":3077974,"id":"Q3077974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd5e303685b2b395d8a7f4be7d67b1f97032fd1","datavalue":{"value":{"amount":"+0.72684383","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":"Q4814329$509C90A9-5A8C-4415-9E93-B6AB2FC28721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2097976","badges":[]}}}}}