{"entities":{"Q3749043":{"pageid":5778949,"ns":120,"title":"Item:Q3749043","lastrevid":51015905,"modified":"2026-01-16T05:35:52Z","type":"item","id":"Q3749043","labels":{"en":{"language":"en","value":"Quantifier elimination for modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3985197"}},"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":"Q3749043$A817D6B4-D445-443B-BFD6-D08C54847E6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e9802d03dfb5d8b0ff4c588df060d14921a5461","datavalue":{"value":{"text":"Quantifier elimination for modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3749043$0C62F0EC-D7A8-4C93-822D-BB5C1F2A39DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7f1c1da602d33dd4246ad32add0a3a1c229dc91","datavalue":{"value":"0609.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$50C5C61B-3532-4B33-848C-97866D8AFDFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe8affa0fe438786059af23da686aac25824021a","datavalue":{"value":"10.1007/BF02007550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$41B6F1BA-EF34-411F-B1DD-9C7BD352B26D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$FAAD38C7-24BF-4754-B914-26D4490CC814","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$111A5897-D349-4139-9FB6-DD66A04B12D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3749043$64AE6BB8-8E8F-4A32-88B2-6ECD4E44B269","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9738c71aa94e8c5f5a38993f295ea40cc514529a","datavalue":{"value":"https://eudml.org/doc/138031","type":"string"},"datatype":"url"},"type":"statement","id":"Q3749043$96D34962-846C-4BB2-960F-19D764D2D838","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$9BD11753-264C-4E1A-9133-059130E3F7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$83126D42-43CE-4D60-8183-594A8DD14EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$5DE834DF-2A87-4FBC-9A8A-12A22D417978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$2E845297-641B-4A1F-9FAB-B4284C87D49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$F6E0A7FA-2E35-401B-9226-94144BC21723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92882db8d94bc59022accae5d7d0a3134c53fc8e","datavalue":{"value":"3985197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$3A158B63-F669-493E-B970-EE5ACD91FFD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$A2D59786-E6A2-497A-9102-37FA050A7EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b232aae795bc141a8ea33dfe4141f2bbd343f85","datavalue":{"value":"model theory of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$7F0CD636-8EE1-4DBD-8285-4598B98CB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce5525ad28f7436e042d40403175209c250a701","datavalue":{"value":"ideal bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$8E7CEB5D-DE63-4743-B954-B710E827563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662373b70d7f85d507b6f4eed659d2bcad5cd56a","datavalue":{"value":"modules over von Neumann regular rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$956E4131-B492-43C5-909F-FE69E843FC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1091abe12b17c8d5cfbd40b3f3ccd54d10b96571","datavalue":{"value":"modules over principal ideal domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$4C168F67-78DD-4DDC-8AAD-3B7DB87F349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f957f92a58add9694c53629eeca871e27f7e151","datavalue":{"value":"Dedekind domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$AC098105-D8FC-4E70-BE95-1D3BA38A96ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8dc2dae8c47f865fe8fc7a870a490b3400947c8","datavalue":{"value":"divisible modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$B3675C92-91C0-46EC-886C-0C9E51C1B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598d6c323ac75586413514699b08594bb90cd1c1","datavalue":{"value":"cyclic modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$30B288EA-DDE6-411A-B7E5-3F68571D81EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3854d48bc18a9f45685e3eec2c2dc014eeb4eb4","datavalue":{"value":"modules over discrete valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749043$2128E66A-9679-474B-8E27-1EE9DC9EF4C5","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":"Q3749043$E1863DE9-3CEC-4F4B-B798-6CE38694FC31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9183303fdd2a2c983c2b169deecfeb5850da20","datavalue":{"value":{"entity-type":"item","numeric-id":1236527,"id":"Q1236527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$BDF17E4A-C57B-4CF6-A623-D1221ED164DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc307fb5f0722c61baa9b0acc6e47d04e12b295","datavalue":{"value":{"entity-type":"item","numeric-id":3960824,"id":"Q3960824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$64F9E695-CF45-4169-8661-84F55AA50565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3f9668b1f7fc6a109c6925a76b4fc1ac29833b","datavalue":{"value":{"entity-type":"item","numeric-id":5633988,"id":"Q5633988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$0184F0C5-CCD5-4566-8C20-9EA5C54DDD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f6cb3831250c292b665a24d15007603fb0dc84","datavalue":{"value":{"entity-type":"item","numeric-id":5589390,"id":"Q5589390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$9D71534C-A01C-4703-8CB6-38453C4880B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ded7734b1c0d260fd68b1f2fcfb0644c5a310c","datavalue":{"value":{"entity-type":"item","numeric-id":5811265,"id":"Q5811265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$1D06C723-F298-4B7E-BDBD-E1EDF37500CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daa0dac77b117378a1720bde92b57dce1b13f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5647004,"id":"Q5647004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$1D127925-B6EF-4A3F-AB39-BA7F5404CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828f77e30810218d98f6f4c1c08054d64c4316c7","datavalue":{"value":{"entity-type":"item","numeric-id":5519166,"id":"Q5519166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$A69E53FD-93CD-4C24-8F1A-5A4994B0A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188690f0c181f4e9fdd8e0d6911f9f8281a99ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3936724,"id":"Q3936724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$8AE5289F-37C6-4E16-ABEA-3B65D24B4F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406ca877f61e9868926735d2fa7da4020b5158ce","datavalue":{"value":{"entity-type":"item","numeric-id":3037398,"id":"Q3037398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$3F2D3890-37A3-498A-A1C3-DDBBB8C8AA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef593eced70a31081e32a79b2e9f49d29867461c","datavalue":{"value":{"entity-type":"item","numeric-id":3037399,"id":"Q3037399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$B54F8979-7711-4B22-95B3-B9EEF40076EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4f310b43091a56a00eb120c969f462135aa7d9","datavalue":{"value":{"entity-type":"item","numeric-id":5618361,"id":"Q5618361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$C6C985EE-4F56-454E-B9E2-5A93A642B353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff4f6e86722ad660eb7c9aed7fc9088ff6b6508","datavalue":{"value":{"entity-type":"item","numeric-id":1839247,"id":"Q1839247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749043$E43333BF-1FA7-44EA-9CF7-04EDCAFD8486","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7d118243849e3f83e55cc1313bba8e6397b5040","datavalue":{"value":"W2093421369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749043$CCE3B955-F96A-4788-AD33-F05FEB772B06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171a76d4ccfba97c38ff92a58e39b66564b877c5","datavalue":{"value":{"entity-type":"item","numeric-id":3708886,"id":"Q3708886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3a98143dae2116ed0bbec749ca160bfd2ef4d3","datavalue":{"value":{"amount":"+0.8323996663093567","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":"Q3749043$F0E4A655-2E52-40EE-A046-23CFC8146EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9ed6aa8719cc907438cb5f7eb93cc172794d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1192337,"id":"Q1192337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463d01e07000462c4d9e05a64779f7c6452392fc","datavalue":{"value":{"amount":"+0.8081538677215576","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":"Q3749043$E499F223-0599-48F5-B5C4-EF0548B9DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2b87fe37be185c54b708ffa8c226dab94df9f","datavalue":{"value":{"entity-type":"item","numeric-id":3762295,"id":"Q3762295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463d01e07000462c4d9e05a64779f7c6452392fc","datavalue":{"value":{"amount":"+0.8081538677215576","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":"Q3749043$5DBF1810-3DF3-4536-81F1-AA1F86521ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522e6f55dcbeca6885b6895e5ff51e2b379652d5","datavalue":{"value":{"entity-type":"item","numeric-id":3690798,"id":"Q3690798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bf96f0d13881e260cbdbc31b1eb3ad9424dfe4","datavalue":{"value":{"amount":"+0.7837204933166504","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":"Q3749043$562CB0E6-2352-4510-BE53-AD9B3A7E8015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0284ba004604444b3a49f1676672888ad1d565c","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf2c5b15575a4d5c2fb192c2eaaa747e0287b87","datavalue":{"value":{"amount":"+0.7830361723899841","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":"Q3749043$CD36A972-1021-44A0-90CF-2D7F782A41C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3749043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3749043"}}}}}