{"entities":{"Q4438127":{"pageid":6467726,"ns":120,"title":"Item:Q4438127","lastrevid":48208369,"modified":"2026-01-03T23:25:42Z","type":"item","id":"Q4438127","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2015296"}},"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":"Q4438127$FE4F2EBB-4222-4838-9216-0AC8587CF635","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4f1468268e595d7a459133b9a7eb9ca401cd0f7","datavalue":{"value":"1032.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438127$68430D4E-31B7-4E2E-B7CD-6E8D35AB03BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0221388a9d77f35b8fd6c1f1c3f30f9013447e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2828416,"id":"Q2828416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4438127$1848206F-96FF-447F-99B5-6AB1DD6555C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61d719a76b59b832f7357f0ad884f9fab21a0039","datavalue":{"value":{"time":"+2003-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4438127$C6378BCE-7AE5-4CAB-AF47-6A222863FF99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438127$1849BB1C-736A-4346-B89A-B8D477A67AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438127$DFA3A4FC-049D-4A62-A3E3-C26F1952BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438127$EA8D4A9F-CA16-4E70-B492-930006271EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c500a00a281fd569934ec4206617f675b2764f7","datavalue":{"value":"2015296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438127$3B49DF38-602A-4B21-B689-32B548D2734E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed3f11f2583ddb42b9b68361262aa341e79d888","datavalue":{"value":"propositional theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438127$DB76E15F-B13C-449D-A78F-B1DD70CFB5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438127$58586745-AB84-4DDE-B639-37C86BDDE340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f49f0ee2de4b2cc9316baa2dff9531773fecd2f","datavalue":{"value":"ring of polynomials over the integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438127$89EE48B7-833F-4858-B4CA-58C6C661152A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438127$A5EEB87E-441C-48F0-8D77-861E30805C76","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":"Q4438127$3B418D76-24A3-40B3-BF63-861AF41AFE53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24382a6f24ab112ec1a0a3bf7b53d9f2d5d3454f","datavalue":{"value":{"entity-type":"item","numeric-id":4438091,"id":"Q4438091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa880c25dcd1356a296d14552db9141d573cbb5","datavalue":{"value":{"amount":"+0.7892538905143738","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":"Q4438127$E4DE3427-DDED-45A4-A3D2-F0F309801F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb725fd640d9278d84aed6dbb2ffc88b4922281","datavalue":{"value":{"entity-type":"item","numeric-id":3676242,"id":"Q3676242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f4d6d421b77c846d487717f2d4652cd8943110","datavalue":{"value":{"amount":"+0.7381422519683838","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":"Q4438127$2A57A53F-CA9C-4C2C-B3A4-19F9C4F6D19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09022282157ef00c929dfdf7735cf1f3cb846439","datavalue":{"value":{"entity-type":"item","numeric-id":4955220,"id":"Q4955220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0537f88f6bc8f404414e12cf00c3b4bb4b3482af","datavalue":{"value":{"amount":"+0.7352738976478577","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":"Q4438127$748EDD1B-7AE6-4A3B-A638-8C652EA29480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be2cc6024c1c73bb57cbe1d5112fd64d4d8fe4c","datavalue":{"value":{"entity-type":"item","numeric-id":5858916,"id":"Q5858916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0537f88f6bc8f404414e12cf00c3b4bb4b3482af","datavalue":{"value":{"amount":"+0.7352738976478577","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":"Q4438127$6FD779E9-BFEB-4A31-99FB-59033A983F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d59bc3a2cbb1a571e580b29c8f35128a42d6a96","datavalue":{"value":{"entity-type":"item","numeric-id":4010162,"id":"Q4010162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ada6b580671b666dafce871a0f3a4670bdad68","datavalue":{"value":{"amount":"+0.720202624797821","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":"Q4438127$1CBDB997-838D-4D17-A958-DD46030EAF63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4438127","badges":[]}}}}}