{"entities":{"Q2303615":{"pageid":2314358,"ns":120,"title":"Item:Q2303615","lastrevid":55373044,"modified":"2026-02-17T14:43:39Z","type":"item","id":"Q2303615","labels":{"en":{"language":"en","value":"An algorithmic approach to the existence of ideal objects in commutative algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176946"}},"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":"Q2303615$549419CB-7811-4DF5-8A3A-6881F9338CBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"044e631e121c3badd765db7c2d4261c5faab6377","datavalue":{"value":{"text":"An algorithmic approach to the existence of ideal objects in commutative algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303615$2972713E-6A4D-487C-A5F5-5325D37F497D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"657f360cee68e037a72c36d499495fbcfc2634da","datavalue":{"value":"10.1007/978-3-662-59533-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303615$59A35BF1-D062-4A87-BD7B-5867D3B34A5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303615$424BA3B1-8046-4421-9598-B945AB677A17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303615$3E87F0D5-AC80-42CC-833A-A5AA9BFA8F8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b36ff1974972acdea4672bea00bc488b8708a31","datavalue":{"value":"https://arxiv.org/abs/1903.03070","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303615$ED86A5EC-B5F3-472B-903B-D6D4966CE73F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303615$67CBC988-9E89-4688-BB4C-AA5379450FC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daacbc1e14a91338a3b2f79065db69f896e351e1","datavalue":{"value":"7176946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303615$EBEC82FE-F896-4072-BB06-6145CDAAEFB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303615$C525DDEE-A156-461E-8D4C-46EC7A6DA7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303615$8F3FE48E-73A0-4B6F-A360-1AFCF5A1AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83454d0c86234fee35e193c37d2bc1489188c44","datavalue":{"value":"commutative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303615$28E965BF-A74A-49F8-B347-16C826D1F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64bd6bd0ed38bd10e747989a06f5dba46eebf2ad","datavalue":{"value":"no-counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303615$F25AEDD4-28A1-417A-8D11-670B4ED5231A","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":"Q2303615$65EA244F-E7C5-4B7E-9544-DBBD9FE9DA55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38e0df4c51945c25808bd8a7829db780220c37ca","datavalue":{"value":"W2963880199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303615$64A0DBEF-4960-4AF2-962E-84D270A4A6D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a152a9b87eafc70144df53eaf4628cc98eef4c","datavalue":{"value":{"entity-type":"item","numeric-id":2747109,"id":"Q2747109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26256627dd0d76c6e1b1cba747f0a27d63c79d3","datavalue":{"value":{"amount":"+0.7591708302497864","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":"Q2303615$6768666D-1394-4F2D-B489-740B7AC09446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8f598f14aaa33c528249e63652c014fa6ffac4","datavalue":{"value":{"entity-type":"item","numeric-id":1273764,"id":"Q1273764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922a127e6589d92a5a431f83f221f42de04c4f13","datavalue":{"value":{"amount":"+0.7214694619178772","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":"Q2303615$27F06CB8-F679-4C30-9F9E-E0AA3382E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ab3687f0e75fc49f16fa4f0283d7c2c858b473","datavalue":{"value":{"entity-type":"item","numeric-id":5024726,"id":"Q5024726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3c32f459e44c448c7939782f102e6106bdd1f5","datavalue":{"value":{"amount":"+0.7161408066749573","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":"Q2303615$1C8B59E3-E5F5-4253-A6C4-A6F59EA5CDCE","rank":"normal"},{"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":"b11a7594660e594b4e11993be1dfb8e9d594b3f1","datavalue":{"value":{"amount":"+0.7110280394554138","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":"Q2303615$40312D91-387A-4E24-86A6-B3696689BD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ade08d9fa69ff8e2c3141c03b380b8ebab58724","datavalue":{"value":{"entity-type":"item","numeric-id":2456205,"id":"Q2456205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f2913d39207dd57a1b7843ebe36b5ac779f9b7","datavalue":{"value":{"amount":"+0.7024989724159241","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":"Q2303615$3E6B0C58-71B2-4F0F-BA7C-3161C02945F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303615","badges":[]}}}}}