{"entities":{"Q448335":{"pageid":450102,"ns":120,"title":"Item:Q448335","lastrevid":51546464,"modified":"2026-01-18T17:46:38Z","type":"item","id":"Q448335","labels":{"en":{"language":"en","value":"From the weak to the strong existence property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078322"}},"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":"Q448335$75022F3F-AEEC-43DF-8609-9F5F32F38834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"450c4e66142eac5b6784e36accc5134a4428de7a","datavalue":{"value":{"text":"From the weak to the strong existence property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q448335$5F7639F5-8C63-499B-B9D1-6E25870D3B69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a96c295c0807191afa0acdb8a1ab12ab143f4e03","datavalue":{"value":"1259.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$86DF1936-99A4-42C8-8767-3048376254C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$3E85E889-C189-4A7E-9801-06F28CDF5780","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$9417F8DB-51AD-45EF-A890-F50A47CD8B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e785076c925608e90781bb4173656a454ded85","datavalue":{"value":{"time":"+2012-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q448335$D91C7E18-4D3C-4640-877E-A88A74A9519B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c6e245b588aae9d7123ec77ca0f16fbcb80b061","datavalue":{"value":"A theory \\(T\\) has the weak existence property (\\textbf{wEP}) if, for any closed formula of the form \\(\\exists x\\,A(x)\\) deducible in \\(T\\), there exists a formula \\(C(x)\\) with \\(x\\) the only free variable such that the following formulae are deducible in \\(T\\): \\(\\exists! x\\,C(x)\\), \\(\\forall x\\,(C(x)\\to\\exists u\\,u\\in x)\\), \\(\\forall x\\,(C(x)\\to(\\forall u\\in x)\\,A(u))\\). It is proved that the following intuitionistic set theories have \\textbf{wEP}: \\(\\mathbf C\\mathbf Z\\mathbf F^-\\), \\(\\mathbf C\\mathbf Z\\mathbf F_{\\mathcal E}\\), and \\(\\mathbf C\\mathbf Z\\mathbf F_{\\mathcal P}\\), i.e., constructive Zermelo-Fraenkel set theory (\\(\\mathbf C\\mathbf Z\\mathbf F\\)), respectively, without the scheme of set collection, with exponentiation, and with the power set axiom. For proving this result the author defines a realizability based on indices of general set recursive (or \\(E\\)-recursive) functions introduced earlier [the author, NATO Sci. Ser. III, Comput. Syst. Sci. 200, 279--322 (2006; Zbl 1128.03047)]. Namely, for any set-theoretical formula \\(B\\) a formula \\(a\\Vdash_{\\mathfrak{rv}\\text{t}}B\\) is defined inductively. For atomic \\(A\\), \\(a\\Vdash_{\\mathfrak{rv}\\text{t}}A\\) is \\(A\\); \\(a\\Vdash_{\\mathfrak{rv}\\text{t}}(A\\lor B)\\) is \\(\\exists x\\,x\\in a\\land(\\forall d\\in a)\\,(j_0d=0\\land j_1d\\Vdash_{\\mathfrak{rv}\\text{t}}A\\lor j_0d=1\\land j_1d\\Vdash_{\\mathfrak{rv}\\text{t}}B)\\); \\(a\\Vdash_{\\mathfrak{rv}\\text{t}}\\neg A\\) is \\(\\neg A\\land\\forall c\\,\\neg c\\Vdash_{\\mathfrak{rv}\\text{t}}A\\); \\(a\\Vdash_{\\mathfrak{rv}\\text{t}}(A\\to B)\\) is \\((A\\to B)\\land\\forall c\\,(c\\Vdash_{\\mathfrak{rv}\\text{t}}A\\to[a](c)\\Vdash_{\\mathfrak{rv}\\text{t}}B)\\); \\(a\\Vdash_{\\mathfrak{rv}\\text{t}}\\exists x\\,A(x)\\) is \\(\\exists x\\,x\\in a\\land(\\forall d\\in a)\\,j_1d\\Vdash_{\\mathfrak{rv}\\text{t}}A(j_0d)\\). Thus a realizer for an existential statement provides a set of witnesses. Variants of the realizability \\(\\Vdash_{\\mathfrak{rv}\\text{t}}^{\\mathcal E}\\) and \\(\\Vdash_{\\mathfrak{rv}\\text{t}}^{\\mathcal P}\\) are based on the class of \\(E\\)-recursive functions extended, respectively, by the functions \\(\\text{exp}(a,b)\\) (the set of all functions from \\(a\\) to \\(b\\)) and \\({\\mathcal P}(x)\\). The theories \\(\\mathbf C\\mathbf Z\\mathbf F^-\\), \\(\\mathbf C\\mathbf Z\\mathbf F_{\\mathcal E}\\), and \\(\\mathbf C\\mathbf Z\\mathbf F_{\\mathcal P}\\) are provably correct relative to the realizabilities \\(\\Vdash_{\\mathfrak{rv}\\text{t}}\\), \\(\\Vdash_{\\mathfrak{rv}\\text{t}}^{\\mathcal E}\\), and \\(\\Vdash_{\\mathfrak{rv}\\text{t}}^{\\mathcal P}\\), respectively. Namely, if a formula \\(D(u_1,\\ldots,u_r)\\) is deducible in the theory \\(\\mathbf C\\mathbf Z\\mathbf F^-\\), then one can effectively construct an index of an \\(E\\)-recursive function \\(g\\) such that \\(\\mathbf C\\mathbf Z\\mathbf F^-\\vdash\\forall a_1,\\ldots,a_r\\,g(a_1,\\ldots,a_r)\\Vdash_{\\mathfrak{rv}\\text{t}} D(a_1,\\ldots,a_r)\\) and the same holds for other theories and corresponding classes of functions and realizabilities. These forms of realizability are also used for proving that the theories under consideration are conservative for restricted classes of formulae over their intuitionistic Kripke-Platek counterparts. A proof sketch that intuitionistic Kripke-Platek set theory has the existence property for \\(\\Sigma\\) formulae is given. This implies that \\(\\mathbf C\\mathbf Z\\mathbf F^-\\) has the existence property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q448335$A270998B-7DA4-4FDE-A510-D60B324BAEE6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$DCAD48CD-4390-43C3-B8CA-E23DFC54631D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$5E9DA1E3-E2DE-49A6-A9B5-CA4D2782CC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$BECAE483-7094-44E4-B98D-8A9F200EA175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$9D4772FB-BCA3-4F8F-B477-12F89525E9B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae739fee5f90c3b4e521b2f235b28f0ca19d0026","datavalue":{"value":"6078322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$4530C248-3573-47C6-A651-516E64126717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q448335$B815C242-3B44-4304-8C7D-2ED019FB64E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q448335$FA743426-B9B1-43CB-867B-3DC7D6CC68FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q448335$42424A00-F95E-4784-BC54-BCBCC5801C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d143324604a02a1319eda6e5d89f7c62f00024","datavalue":{"value":"weak existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q448335$A286DC6A-1D42-4718-94FA-72FE8DEAE15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6799100967ff6fb562eb08df410b0d3e8e8ddcc6","datavalue":{"value":"set recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q448335$1FC97E83-073E-472B-87D2-00B35EE2648A","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":"Q448335$5EB47507-C973-4ACC-9DD0-5C75A6F91E1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"924326a4565148173ada42f167ec948567113ff8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q448335$2F8B3C86-943A-4303-998D-BCE510A6B3F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaa19d542714f4aa82bd017ef2b09ae0c5076de8","datavalue":{"value":"W2059656706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$F17FD91C-6095-4E40-9B7B-8DDC5CEAB43D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1228a65c518664256afd2c86a4199d29972b645","datavalue":{"value":"Q59902306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$9852C609-9810-4DD9-A702-C00E61B8A08C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2CC3E7FA-F185-47E8-BB15-ED2E1466C97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$74697055-80F6-4946-B5CD-EEF56DFCF893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc94bf2f79788b303de4c0b01e828977dca54a3","datavalue":{"value":{"entity-type":"item","numeric-id":3866108,"id":"Q3866108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2FF31A4A-8355-4507-AA33-EEB364E97FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$BF7B3665-BDB0-499C-9CE1-47C3DA349839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d3dac9adb980e5335d28029f3d6248bc26dad2","datavalue":{"value":{"entity-type":"item","numeric-id":1577478,"id":"Q1577478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$04ABDAFF-C262-4D6B-9467-E484D1EB4D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d47cab2e708383cf2cf9fe63632870143dce0d","datavalue":{"value":{"entity-type":"item","numeric-id":1938396,"id":"Q1938396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2C735CC0-2276-48FC-8F4B-9D0D64D0ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$F28DDBD7-E19F-4908-A216-518C5E57E6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2853a1afff2fa52921b6bce366d86931777cc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5544276,"id":"Q5544276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$8C794ED1-3CDA-4E0C-AEF2-D43F860D1AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2874F963-700C-4309-9EB5-4143A72E893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$A741C200-036F-45E7-93CB-5049B8626A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc685678ae00b0cb421d4450146de95939d642d7","datavalue":{"value":{"entity-type":"item","numeric-id":793723,"id":"Q793723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$B93D48D2-8E85-4676-AF80-568ECE65392E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$A0FB72F5-C10A-4F57-B1F6-C917ED062BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$D2FA23BE-D70E-49DE-867C-918A2B2C468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$4B567D41-DA30-4B6C-A940-275BD3EFE6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$C87CEA6B-6FF4-4064-A0AA-A9E5B60A890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$34A6596D-71D9-4D92-BAD2-2DFD40530AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71c41b1989a3cb589e0a8d45862475cab8eac5e","datavalue":{"value":{"entity-type":"item","numeric-id":4159363,"id":"Q4159363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$1A7B7CBB-6F7A-431F-BB84-BE0CB54B6345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541582ff9fc4ab5da17e1c32e73d32b6d5ae8410","datavalue":{"value":{"entity-type":"item","numeric-id":4451720,"id":"Q4451720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$E601B07B-C4BE-4D44-A3F0-9B5CD649240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e9c35e00ade33b91644bb69283d19d5c5360f1","datavalue":{"value":{"entity-type":"item","numeric-id":5607957,"id":"Q5607957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2791A9DA-B5AE-4A58-A2AF-F4E5D939752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d40569448be8c4f9ddf363f76c68c769cc9e936","datavalue":{"value":{"entity-type":"item","numeric-id":1346246,"id":"Q1346246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$1C6A1C5D-5DB7-4941-B21A-AB4CE6A9F06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$CFE24460-CA77-4E32-BF24-CA25F75BE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$C4C8190D-CC8A-4899-991E-9FA7FD12CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61814df227c6a1b4510597561733a0e4b2ad60e","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$09876641-79D8-48EE-9B13-2F618D7617D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c77c60d68cc52109546a156001550d5e30ecba6","datavalue":{"value":{"entity-type":"item","numeric-id":3138834,"id":"Q3138834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$27E73C11-6921-4EF4-A061-DB445831D85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cc8ebf956d1ae34080a282593f78ea4e6feae3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$99A48820-EFC0-40A5-AC98-2A46D00D9FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$CDEEB135-ABBB-4E69-BE90-3BBB4F5B0A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cad03e160a9637ee0d8c986d58a204202bf66f","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$4915D3F5-BE82-4449-AA62-79E13BE51C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963485469aceb0582dd2c60644ec88f187611b06","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$A5FB84D7-AF18-4F75-B116-B8F3363251D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dcdb50dceb87c6e4a446f14bd5897f85c83507","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$3290A2CF-CC07-4E89-B89F-12A42198BFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa848dc2bb406b5d47884bb00980c162595a43ca","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$1B98E43F-662E-4212-B547-4A1A73C1CC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73eae501d38c2470f5456feee1d7aa66b07504f3","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$C7C81EFB-8F5C-4F42-A0DB-BBEEC6AE3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b56daf07b4aa306cdc3e232dc87f3d9077b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":392292,"id":"Q392292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2C6B7881-64C6-4D88-9FF6-FB66F8AD3E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e48d35b1f338c242a6a0d557ee0e3a1ae096d1","datavalue":{"value":{"entity-type":"item","numeric-id":4398473,"id":"Q4398473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$2B750BD9-698E-4BEA-8EA6-DB7149422733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b227dee90230e0ea0c2f2a51941a9e847525af","datavalue":{"value":{"entity-type":"item","numeric-id":946579,"id":"Q946579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$C1A4B300-E22B-4432-A2E3-88AF1B54DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6907ea4b0793780103a07987b11c4056a5cf28","datavalue":{"value":{"entity-type":"item","numeric-id":5659531,"id":"Q5659531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448335$0D5802D0-8A3B-469C-BDEF-553B3B34A7B2","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":"Q448335$DA23ED7A-42DC-41FB-B582-28DD105CDAEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0c82bd5db8b17353e7363adfa869d6ed851cf55","datavalue":{"value":"10.1016/J.APAL.2012.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448335$6417959C-F5ED-4029-AE96-CCFA3BDB00BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011316d428c9e4011f8c77d6d4d528a075be43f4","datavalue":{"value":{"entity-type":"item","numeric-id":2637709,"id":"Q2637709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab98404c387199c147d748037f71c1948d6bd66","datavalue":{"value":{"amount":"+0.8501591086387634","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":"Q448335$23A38D7C-F582-487B-9C79-7D32D1F7A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77651a83d13f3dd6bd7395e0e1def5d8d0d19ab3","datavalue":{"value":{"entity-type":"item","numeric-id":793723,"id":"Q793723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796dd1640e9378c06fdef8e57bf43257bd9d8daf","datavalue":{"value":{"amount":"+0.8352411985397339","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":"Q448335$7D7D61F6-84C8-453A-9BDA-AFE69E26C66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37761375316c6429f71112a85b1df03507efa51b","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d11e15309672661762d591f90c7d0b20167d76d","datavalue":{"value":{"amount":"+0.7877687215805054","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":"Q448335$AB1E51FA-95C9-4F03-8FF7-85BE4C6CC1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7c33d013cef5d83ce117dd0ddafea205def37f","datavalue":{"value":{"entity-type":"item","numeric-id":3783286,"id":"Q3783286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe4a662b74a1a94f859f0c52883772932271c85","datavalue":{"value":{"amount":"+0.7784212231636047","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":"Q448335$298300A8-358A-4BF7-9987-C02C467EFDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c78480b647da916ec4a81a367238985aec48ae","datavalue":{"value":{"entity-type":"item","numeric-id":3312223,"id":"Q3312223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed12deac1e77474fb2e4663d06dc24289896e2f","datavalue":{"value":{"amount":"+0.7645460963249207","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":"Q448335$36C7776F-2B9E-4F92-9DDA-1D451434319D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:448335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:448335"}}}}}