{"entities":{"Q2672666":{"pageid":2683409,"ns":120,"title":"Item:Q2672666","lastrevid":54337268,"modified":"2026-01-26T16:08:39Z","type":"item","id":"Q2672666","labels":{"en":{"language":"en","value":"A universal algorithm for Krull's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7540283"}},"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":"Q2672666$D761EC9C-E017-45EE-A7F8-CB1B64E88907","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4a37d2b4d12b4a9362f44af03bbc6d87db27989","datavalue":{"value":{"text":"A universal algorithm for Krull's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2672666$1086B225-5593-4690-9AA3-AE94AA5E1CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73f4a9461d8312d21886f072eae453b56aa50288","datavalue":{"value":"1505.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$AA0BC0EF-1603-466B-B3E4-849C71BC8CA4","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":"Q2672666$4A5214ED-85F2-4EDD-9D79-E6B9701163B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$87E09F32-D2EE-4F40-B985-BA10913C3264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77075991782c40305711c3d33a7ecd0dd8eab84c","datavalue":{"value":{"time":"+2022-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2672666$912E00B4-E3F3-4535-9E1E-6D1B33D6F0A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a28630c240e7f8daf521a4eaa95040c06136375","datavalue":{"value":"In analyzing integers, it is often useful to take into account that every integer can be uniquely represented as a product of primes. In many other commutative rings, it is not possible to select similar ``prime'' elements, but it turns out to be possible to have a similarly convenient representation by using additional ``ideal'' elements -- known as \\textit{ideals}. Formally, an ideal is a set which is closed under addition and multiplication. In the integer case, an integer \\(n\\) corresponds to the ideal \\(n{\\mathbb Z}\\) of all the integers which are divisible by \\(n\\). Ideals corresponding to a prime integer \\(n\\) have the property that if this ideal contains the product \\(a\\cdot b\\), then it contains one of the factors; in the general case, this property is used as the definition of a \\textit{prime ideal}. An ideal \\(I\\) is called \\textit{radical} (from \\textit{radix} -- the Latin word for root) if it is closed under taking roots, i.e., if whenever \\(a^k\\in I\\) for some \\(k\\), we also have \\(a\\in I\\).  Integers have the following simple property: if a number \\(r\\) is divisible by all the prime factors of \\(n\\), then some power of \\(r\\) is divisible by \\(n\\); a similar property holds for subsets of \\(\\mathbb Z\\). A natural generalization of this result to general commutative rings \\(S\\) is known as \\textit{Krull's theorem}: for every set \\(F\\subseteq S\\), if an element \\(r\\) is contained in all prime ideals containing \\(F\\), then \\(r\\) is also contained in the radical ideal generated by \\(F\\) -- i.e., in the intersection of all radical ideals containing \\(F\\).  The usual proof of Krull's theorem is not constructive. The authors provide a constructive proof. Interestingly, this proof works not only for rings, but also in a more general context of an inference-type relation \\(A\\triangleright a\\) between finite subsets \\(A\\subseteq S\\) and elements \\(a\\in S\\) -- namely, a relation for which \\(\\{a\\}\\triangleright a\\), and for which \\(B\\triangleright b\\) and \\(A\\cup \\{b\\}\\triangleright a\\) imply \\(A\\cup B\\triangleright a\\). The \\textit{closure} \\(\\langle U\\rangle\\) is naturally defined as the set of all \\(a\\in S\\) for which \\(A\\triangleright a\\) for some \\(A\\subseteq S\\). ``Closed'' sets -- i.e., sets for which \\(\\langle U\\rangle=U\\) -- are natural analogs of radical ideals and are thus called \\textit{\\(\\triangleright\\)-ideals}. Multiplication \\(a\\circ b\\) is a binary operation for which \\(A\\cup \\{a\\}\\triangleright c\\) and \\(B\\cup \\{b\\} \\triangleright c\\) imply that \\(A\\cup B\\cup \\{a\\circ b\\}\\triangleright c\\). Prime \\(\\triangleright\\)-deals are defined as usual. Then if we replace, in the formulation of Krull's theorem, radical ideals with \\(\\triangleright\\)-ideals, we get a general result which is also true. The authors prove a constructive version of this general result. Specifically, they assume that the underlying set \\(S\\) is countable, \\(S=\\{s_0,s_1,\\ldots\\}\\), and that the relation \\(A\\triangleright a\\) has the form \\(\\exists x\\,(A\\triangleright_x a)\\) for some ternary primitive recursive relation \\(A\\triangleright_x a\\). As usual in constructive math, they interpret implication \\(p\\to q\\) as the existence of an algorithm transforming a witness \\(x\\) for the condition \\(p\\) into a witness for the conclusion \\(q\\). The authors then provide an algorithm that inputs the witness for the condition of the generalized Krull's theorem and generates the witness for the theorem's conclusion. Several interesting particular cases are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672666$CC8DF434-3416-435E-BCA9-162D04B8AF0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$1FE9E38A-AB48-4CBF-91BD-0AB64E6E3E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$255818B7-FAFA-4233-8733-5BC3DD6F3D3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdefee0339c3879557d96ee6c6dbfd319045237a","datavalue":{"value":"7540283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$EF05A42A-E0A0-435E-9895-83CE8C82262A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a16a25df5bcbe8ec7da9360b15ebb20ba0841fc","datavalue":{"value":"Krull's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672666$BD09AB45-1178-43F6-864B-1D945D8F4A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c3a6168c16b247b5699bc80d91d47cb7aef05b","datavalue":{"value":"maximal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672666$2E7B4956-3813-480D-89F8-03EDC63E956E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672666$83564CB8-576E-4C41-950A-3875473EAF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672666$087A2658-332E-4ACB-9456-518A2CFC12E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8d70c9a20d8e6118f0dd57314953c39838d4d059","datavalue":{"value":"Q113872840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$32530B2F-B67B-4DEA-8DDE-CB9A8D1E1E93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a7a7a3dd3a08360856ececf3d8a629dcc430503","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$E80BE253-BAFB-4B46-8F11-9BDB00B431B2","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":"Q2672666$5F1740EA-E110-4200-B8C9-AADCF61A95A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb804837343ffa62ae9ef5e38ca529bf8b2d9154","datavalue":{"value":"https://doi.org/10.1016/j.ic.2021.104761","type":"string"},"datatype":"url"},"type":"statement","id":"Q2672666$04DBFBEB-C557-4D57-BE52-8D0900663120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4142eee87e968b1b1fcf2a1bbf14a3dd4c65a1ef","datavalue":{"value":"W3157536011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$7EA4A174-F3FD-4A7B-AF90-AF9DBD85F367","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11792e927ad866d227a06a7669f3558c91fd1159","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$6407E7BE-592D-44A5-BB10-AD8CD1D639D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d77e10144d21d30e19d0064c56b5a7920c71d6","datavalue":{"value":{"entity-type":"item","numeric-id":1126242,"id":"Q1126242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$53049D3F-97F5-4E3F-A15D-E57738204E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a79043c65b686d43dd91aed70f45309c1153a8","datavalue":{"value":{"entity-type":"item","numeric-id":4944905,"id":"Q4944905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$35F35A14-CD2F-402B-9D95-CEE41495C84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ea50fa977cc763c178930fb58802ef10941b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1006605,"id":"Q1006605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$B7B7848C-17D4-48B7-8663-8EB67C4F5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912c1808780e1f23fdedd5cbad5ee1e59882b589","datavalue":{"value":{"entity-type":"item","numeric-id":3422024,"id":"Q3422024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$BEBC7F9D-9299-42C3-AAE6-CD57AFEBD48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950b97bd5b0899bfda66763d03e2709e513cc309","datavalue":{"value":{"entity-type":"item","numeric-id":2326029,"id":"Q2326029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$486E3901-EF6D-4769-8886-B874D18E07B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb381cc83773ed366bd7d36f137a16bcf1e92bad","datavalue":{"value":{"entity-type":"item","numeric-id":1840477,"id":"Q1840477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$F46DC845-0A37-4E5C-B270-0F7FF8C8713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$3BD95B86-F201-4776-A405-BF966D02A1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a01b3208af6f17286d85442e72396625edb27f","datavalue":{"value":{"entity-type":"item","numeric-id":4124833,"id":"Q4124833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$AB6C3041-3430-45CE-9446-2E5997833462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$3536CB04-80A3-49CD-A490-6731EA396FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$FFF582C7-D8E3-49ED-B03B-D698B849EC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$68C2D7EE-198A-4730-8EAF-237776040BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29d5594500d215b9d0adb3a3f7d273c09d15ddf","datavalue":{"value":{"entity-type":"item","numeric-id":5957771,"id":"Q5957771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$8B29BE8F-94E6-4D88-A522-57F36F02E83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff37341a45b29ba7293f1c7255862498ca39d96","datavalue":{"value":{"entity-type":"item","numeric-id":2575772,"id":"Q2575772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$5BABDFF2-DF7E-4317-ACF0-4C789369AAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6152ee39c3837507f82dd455429b31bc491a51","datavalue":{"value":{"entity-type":"item","numeric-id":2341091,"id":"Q2341091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$A2621339-A872-411A-AB0B-4AFB6789EFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$14D5E7B3-750F-4EDD-A7DE-EF18951FB010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ba7bfb15f64b8d353be5e898d33b326310e9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1177237,"id":"Q1177237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$480F5505-8D5D-4872-A090-AC00FC6AE80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35d8e5c3dc5f6ffae4280b2d34d20e1fa0c3eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5739973,"id":"Q5739973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$77E14AA4-28A6-4E03-A88D-E98816CAF62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$88662B79-BDE4-475C-B066-DB0FADC20CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cb010ae1c1f82f142d7f1427cb01809e5c6acc","datavalue":{"value":{"entity-type":"item","numeric-id":701722,"id":"Q701722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$40E16848-92A2-451F-82F3-85A11793223E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a92bcba3fcc267ed0fb96404409980286b7830","datavalue":{"value":{"entity-type":"item","numeric-id":5024729,"id":"Q5024729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$9045BBCD-F98D-47C3-AF42-00A6118AAB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87e60868aa91d09616c6e4cf89451cf132bd298","datavalue":{"value":{"entity-type":"item","numeric-id":515562,"id":"Q515562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$7DC8E21D-E3C9-4854-8517-F38325A68672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19424dcab1b0758ca560086e569b9dd82877f98","datavalue":{"value":{"entity-type":"item","numeric-id":4986736,"id":"Q4986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$A9EA75FE-607F-4B2E-83EE-28484D80328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351be49573d77a34add2d2e5618ee3ac9205fdf3","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$FD730FDA-F585-4E13-8B10-251E2AC620A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0266c12da5b7c4d034e4a6197582b9c6f430b93","datavalue":{"value":{"entity-type":"item","numeric-id":4635869,"id":"Q4635869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$69DBDEFA-6ABC-4987-A705-BD32C683FFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7358f820ac0c45ff6d050df0774a54a68f6cd48","datavalue":{"value":{"entity-type":"item","numeric-id":5145679,"id":"Q5145679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$0A46E532-0E97-46E5-B98E-2E6E56ADE039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38fded68f35e5fd7d07b9f908e61c73415c1e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5129941,"id":"Q5129941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$5B4A8D3F-3BD1-477A-A12F-C6B0AA098DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356a1f93abcac1950764c50942c8612a35064261","datavalue":{"value":{"entity-type":"item","numeric-id":3295153,"id":"Q3295153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$D35EA024-F616-44E4-A20B-74155B6529EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5ae858614b45125224d7a8513f61390961a0cd","datavalue":{"value":{"entity-type":"item","numeric-id":2303615,"id":"Q2303615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$C5198DE5-CFFC-4E13-AB5A-36D9D93406D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$4270C638-AB99-45D5-83C9-66FB75074829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6cc93315798291702047216a123b9db32631fc","datavalue":{"value":{"entity-type":"item","numeric-id":4732551,"id":"Q4732551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$B4AF7B2C-A8F7-4936-B2E8-EC8C6A90A580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b7f954416401516e809c684701a5ea4dcaefa1","datavalue":{"value":{"entity-type":"item","numeric-id":273003,"id":"Q273003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$02E117D6-B33B-484B-A0E2-731FF4A1960C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103c1ee471caa6ce62b8d0e616f1577f93104e51","datavalue":{"value":{"entity-type":"item","numeric-id":5363372,"id":"Q5363372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$76F2EE0D-E2FC-445A-B6B6-9BA8CD0E2714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2555b8d7d53428e60e9984552fcbee694ec7889e","datavalue":{"value":{"entity-type":"item","numeric-id":1688959,"id":"Q1688959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$7CCD0438-5F8B-4D1C-8CAE-C4A68C3FB616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725b7e0b5aeb909835340e01b488321ea6855173","datavalue":{"value":{"entity-type":"item","numeric-id":4553278,"id":"Q4553278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$A0412B18-506D-4D92-A556-90B426842312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b3bf6ccc61e66298106d3fe41b04d5e66df19e","datavalue":{"value":{"entity-type":"item","numeric-id":2312091,"id":"Q2312091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$F146C30D-4E1C-4612-85A6-21E69C817219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$5EF0D4D7-4828-4B1C-B38E-A3832160834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cbacc28edf1af2f027cfb98dc7fa7ae3e808fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2074035,"id":"Q2074035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$33DFBFD8-8498-448C-BFB1-A7CC07A7DB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996dd2d2e697da5035f09f48f7147dd89551ea54","datavalue":{"value":{"entity-type":"item","numeric-id":2575775,"id":"Q2575775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$7857B414-6822-4FF5-8178-8C3BE2ED992D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108b7dfc8a025722db7f8f75b111b10c93adabfd","datavalue":{"value":{"entity-type":"item","numeric-id":2986836,"id":"Q2986836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$FC5DCA4E-37D9-4783-947E-107E5A4B926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8478f06d74bc0f1c9fc3e0e1975052cb1d0b03","datavalue":{"value":{"entity-type":"item","numeric-id":2848365,"id":"Q2848365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$1765ABAA-3AF9-4009-839D-D7168A6D17C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d7b8b848b575e987e368cb6238fb45c4bf763b","datavalue":{"value":{"entity-type":"item","numeric-id":2106609,"id":"Q2106609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$B94D945B-E5B9-4644-A9DA-DCEFE93C2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d336673c23546714ddcd76d3cb3b930e7416b31f","datavalue":{"value":{"entity-type":"item","numeric-id":5145683,"id":"Q5145683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$099C2A67-9F62-4828-93EE-E8E643DE31B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d865d7a11783176e3948ecc746f47cec05c89939","datavalue":{"value":{"entity-type":"item","numeric-id":1979322,"id":"Q1979322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$174A62CC-AFE1-4CFF-A2C3-2F75705BAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$6F399F62-92F4-46A0-A2C3-5776BC68E6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c2cfa7b87946cdafc4ba9cbc6e41e2e72c0772","datavalue":{"value":{"entity-type":"item","numeric-id":1711923,"id":"Q1711923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$795BDCDF-8649-4B41-8E3D-B44B23853E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$0BCBA2D7-BAB4-479F-A8D2-62D130EEFA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$4ACEDC8F-3687-4F6E-A5D3-89AD0E1CFCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$54519908-7351-426E-96B2-58C80FD3FF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$DCE4366D-2CFE-4D32-9378-D607567EA6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444f743719a35f26a073717f380d8e572c0ce773","datavalue":{"value":{"entity-type":"item","numeric-id":5238136,"id":"Q5238136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$F36305A9-A0F2-4CAD-990D-4024C94DF849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54119931c8652f34e4e925c180bdb5fe3fa48863","datavalue":{"value":{"entity-type":"item","numeric-id":5109510,"id":"Q5109510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$6DBA992A-1C54-4C60-88C0-30A5372B3E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0204275e5d4ad069b72b09bd6b0fc570063327f","datavalue":{"value":{"entity-type":"item","numeric-id":2476020,"id":"Q2476020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$90B19DE4-AF75-4C34-A8F2-8390AEAE239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c3cafd2236f26ce933a975356c990aec10f958","datavalue":{"value":{"entity-type":"item","numeric-id":2348270,"id":"Q2348270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672666$E4B02671-EA87-4734-B3B5-4A6B41CA3D06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"903915fdf2cca35133a00694b97445d190725204","datavalue":{"value":"10.1016/J.IC.2021.104761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672666$313C005F-0939-4874-92F5-A4A06F5CF3D6","rank":"normal"}],"P1643":[{"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":"8092e97c8fe5655859e5f4b2f8a84244b10644bb","datavalue":{"value":{"amount":"+0.778691291809082","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":"Q2672666$9B035E87-3EA4-4176-A6E4-51A11D453453","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":"1bb7652d046045088ee1cc606bcbf8bc61e7ff66","datavalue":{"value":{"amount":"+0.7623864412307739","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":"Q2672666$DDCA80C8-BCF6-4213-B3F5-AD460B1FE94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2109179ed39d079a50bf76f8eb0c14351eca9c6","datavalue":{"value":{"entity-type":"item","numeric-id":5145683,"id":"Q5145683"},"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":"Q2672666$174F4C97-7C1D-44E2-8B91-D0CF2360BD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed04ae474214ec7764424c142ed8611bf25510c","datavalue":{"value":{"entity-type":"item","numeric-id":4736173,"id":"Q4736173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b461bd70b17ffabe8f70512117166f9df7b70512","datavalue":{"value":{"amount":"+0.7514395117759705","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":"Q2672666$BF6125A4-B362-4B05-8210-CA45D9C2216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b06a111d8f6a1c6afbc2dfee1d3bfb0affbb64","datavalue":{"value":{"entity-type":"item","numeric-id":2117812,"id":"Q2117812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d374c1da5d3881106d4d2eb433b63a90dd464cdd","datavalue":{"value":{"amount":"+0.7138129472732544","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":"Q2672666$BC37A6C3-4110-446B-A915-AB6DEFF220E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2672666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2672666"}}}}}