{"entities":{"Q5145683":{"pageid":7175254,"ns":120,"title":"Item:Q5145683","lastrevid":53912972,"modified":"2026-01-25T22:25:01Z","type":"item","id":"Q5145683","labels":{"en":{"language":"en","value":"Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299515"}},"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":"Q5145683$9360B800-9F56-41F2-A610-984F1945F209","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca9de05a31e0e959c94c335a41a3221e9f418b8f","datavalue":{"value":{"text":"Resolving finite indeterminacy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145683$CF8BF5CB-FACC-4F0E-BFC2-9EB7908FED0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2599b37b3a23cbae67868f1132c0a29983cb3a0f","datavalue":{"value":"1498.03160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145683$FABCDFDB-D73C-4AD3-8C63-9A17BFF5618E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58967a6052d3b575379da4044690e9d75be484f7","datavalue":{"value":"10.1145/3373718.3394777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145683$4D8DFA83-9C01-4603-875A-7882BAF8FBDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5c61cb2357b02c8098b26cc4ff72f56df69e42","datavalue":{"value":{"entity-type":"item","numeric-id":1688958,"id":"Q1688958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145683$0EBB25A0-510F-46DF-8934-ED12E1CE0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145683$C9A76BDF-D55E-43A3-B265-A0609A65F77B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145683$60C50FD5-E512-47B3-892A-72E2D890083D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145683$6FE260A0-D916-44E8-B236-CFB3E5FB5434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145683$FF1A2A5C-CCD6-4C9B-B1DF-274A76F6D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145683$185AEFFF-8D55-45FF-BEE3-D904E22F6E9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b6364f57a7c66093eafe3ed07da12506f4fdfa","datavalue":{"value":"7299515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145683$BBD3224F-F575-4D34-8534-906D48630A52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f16715e8684bb52547d09a62a0318bc38945658","datavalue":{"value":"Krull's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$CE69FCB5-E810-4A57-9DF3-B09F0767392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f7fac8324c6ac945fcbe3570af48d82a2920e1","datavalue":{"value":"computational content","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$C2CF3C19-1510-4A99-AA71-FEF03A5B98A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338311a6d0698bcbe1718d665e0f54bbe3382da5","datavalue":{"value":"dynamical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$E1F5FE67-3FD5-4D8E-A8C8-CDC66EC5BEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc697c472da25231e196209df2eea34ddfe7cd4","datavalue":{"value":"finite tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$5AFCA720-57DE-4F98-AAD0-B5D5B8D320B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$AA478460-7F30-40B2-9B46-7CD681D19F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63b1a372000327f7ef0575767ecde9c71ec5725","datavalue":{"value":"inductive generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$89E17347-E77F-4950-8974-22189739C105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce08655a87669460be868cb79b4d17e529f78d45","datavalue":{"value":"non-deterministic axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$83C6A9B4-D6FB-4AAD-9171-24AD4D38C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$5E132562-DB6C-4536-98F6-323D84E95768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73444c000ace2db45df39fa56dbb9cc17e381fd","datavalue":{"value":"proof-theoretic conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145683$566155C7-8CC6-41FD-90D3-9E5A55EE3AFD","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":"Q5145683$1A633DA1-20FC-4939-9E9F-39D2095E2AE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98579710b6263df19afce27f157553f137b6ed33","datavalue":{"value":"https://doi.org/10.1145/3373718.3394777","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145683$74F56F6C-08F3-4961-A7E1-6F37BA30BC4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4660a6af770f636c507299895ed85204a8bca70f","datavalue":{"value":"W3032306896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145683$B03DF8C4-1DAC-4764-819C-6405491592B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8a356232fd1c40c7a9d8ed0e4198daf4a9c4e1","datavalue":{"value":{"entity-type":"item","numeric-id":2672666,"id":"Q2672666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e1ada95bf8ee39f50394a17ea5277fc3f66c60","datavalue":{"value":{"amount":"+0.7522354125976562","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":"Q5145683$1319BD1B-0043-45CA-8BF6-2056DF75D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b616cd14a2b0db2becb8f84bda93d78e1817516","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e684476d7cd8242c3108b064c217c9b150042206","datavalue":{"value":{"amount":"+0.7385212182998657","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":"Q5145683$D15B7737-2638-4896-A28F-ADBC021A21C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc55b6609084a04c65d947b474d7f7d413a88868","datavalue":{"value":{"entity-type":"item","numeric-id":1979322,"id":"Q1979322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8ccfddb19202a32ba0d9b786d6849ce0d629a9","datavalue":{"value":{"amount":"+0.7302488088607788","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":"Q5145683$75A573C3-8C20-44D5-9FC4-EED6577DCD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87ee3f6bf32f866f6c223c54d3a17e5ecf3adfc","datavalue":{"value":{"entity-type":"item","numeric-id":273003,"id":"Q273003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97711f3304a2f469741f3cd573eae86179e631ec","datavalue":{"value":{"amount":"+0.7245050668716431","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":"Q5145683$A945CBCF-AB53-4BCE-8CD8-D7EC2945A122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbaf91dd9a1c5321e1ec5b3b8a014beb50426a2","datavalue":{"value":{"entity-type":"item","numeric-id":2848365,"id":"Q2848365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b36928f12d1e048c50fc9757a0711dd053529d2","datavalue":{"value":{"amount":"+0.6995083689689636","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":"Q5145683$85D01FD9-65B0-4031-8974-B96C074946CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145683"}}}}}