{"entities":{"Q4540525":{"pageid":6570117,"ns":120,"title":"Item:Q4540525","lastrevid":47947069,"modified":"2026-01-03T03:58:36Z","type":"item","id":"Q4540525","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1770056"}},"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":"Q4540525$50894AA8-2FB7-4391-9FA9-4851F3DEF5C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d67f413dc3672c1a594b447b8904e6ad7b7f5aa","datavalue":{"value":"1008.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$C2770F4A-6A0B-4E48-AD92-7FBF2D801732","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4540525$04B0E7FD-C12C-4BFC-8566-4C168ADE45EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2473e0b6cb425ab7638f9b45a38a9d37713399b4","datavalue":{"value":"https://eudml.org/doc/122465","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540525$9271A3C2-AFB1-4E59-ABDC-68BB8FA36859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1dbbb8a577444bb92f09b2261da06fcc91d0bc0","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540525$E514444D-2004-4EBB-83CB-465318B8A101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$6660524E-3ACB-4769-93E8-5B00E4756F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$2F0FBCAC-190C-4EB9-9164-65348493C4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$0535DB7D-5715-44D8-A1B7-01AF78258B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$2E382611-66E7-4CB0-9911-EED7BB691F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$89BE97A2-78DB-4955-95C7-14D89A030D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$90AB3935-EACD-4EE0-9CEC-EA97A16701A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$FBC35920-7F89-4970-9285-2B86891B8B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$7943398C-F050-4214-9422-A6D79627FF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95029d8a64bb8f3d3cdfc3600a969acd585581e0","datavalue":{"value":"54D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$DE2F5DFD-6EF1-4B48-B8F3-197D8E7A2BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f34c29ced775e315a36b36745ad58c6ac8d670d7","datavalue":{"value":"1770056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$9568EC61-EC37-45C2-A990-7ADD9A2E9216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c6f739ec62516b301d04dc4a14d27b59732f20","datavalue":{"value":"axiom of comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$E68B98C0-CC95-450F-B89E-E154DE434607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775b93ad84fdee2915973da4578f856aa63d1a11","datavalue":{"value":"subtype","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$2E0C6193-6D34-4CD1-B022-D757AF91AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$5C0E261D-14B3-44B4-BC0C-9C1E95DB552A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7417964f136c59aa554572507d9806f5617fa148","datavalue":{"value":"subspace topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$D01A193B-2EFA-48BB-A882-F44348913220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37aa6a631e3183d3ce1b74646553356dc298bf50","datavalue":{"value":"locally compact spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$7398DCDB-D2F6-45F6-9C6D-DF1B1BD6AD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f977145423b3536099b1b3572c5db4ceb466b0c9","datavalue":{"value":"nucleus of a locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$4FC04763-ED02-45F3-8851-16D401852AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a868ef93c67cf48dd2a9654b1828c597a8f653","datavalue":{"value":"injective object","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$FF3CFA74-0B21-486B-A784-6FAF8562FE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4e4518939e903a75527cbe7395b5b163975990","datavalue":{"value":"monadic adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$53655346-0ADB-4AFC-82A6-8317F0DC93B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"818dc19f92e7306f686a72cc41e2574ed25d86a7","datavalue":{"value":"Beck's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540525$12928C99-FCDF-4C2E-BA24-89B92F992083","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":"Q4540525$2AA2EF55-DA58-46C7-9178-4D251DEF0CA5","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"9b1a84ca82a06a618f98107504eff45d901f5bb1","datavalue":{"value":"bafkreidv4o3ll6dqo3n6d54xugi2xn2s53iabqqkun4bq3ix77oo5gpowu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540525$8E3BC19A-6FF8-4C70-943C-4E12750848B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df0d69d9b66049454e37a6ddeec91e2a6b65c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5260995,"id":"Q5260995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49da20b16fa29cbad520e88fe83218f0630cca","datavalue":{"value":{"amount":"+0.7690907120704651","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":"Q4540525$3E43B824-4790-45A5-AA4E-920D91EDCE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3510841bc60ecbd0e06ec6a2176b92a8bb20087c","datavalue":{"value":{"entity-type":"item","numeric-id":2842829,"id":"Q2842829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea957e3dbe309f5774b4a4a07d75c41436f8cd00","datavalue":{"value":{"amount":"+0.7675767540931702","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":"Q4540525$3AB45750-9EE2-42D6-971F-246CD9A494A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e436c49341aaa45f9e3962b7e0721661ee77c294","datavalue":{"value":{"entity-type":"item","numeric-id":4525542,"id":"Q4525542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb73b76d1b8ba930df7e1d08a6cfccd518c809a","datavalue":{"value":{"amount":"+0.7669516205787659","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":"Q4540525$51051E86-D65B-48FA-B624-EAE32562EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385bf25664ec4a90bba4abd197c7196257998cb7","datavalue":{"value":{"entity-type":"item","numeric-id":2849890,"id":"Q2849890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ff5a953f2b91a82002d42b0cdbb9672823bebb","datavalue":{"value":{"amount":"+0.7564170360565186","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":"Q4540525$04FDB36D-7F8F-4BFF-AB6C-2C6A8D4F00D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67951f89abe963d0009b2edf48ebccb6518b96bd","datavalue":{"value":{"entity-type":"item","numeric-id":5310648,"id":"Q5310648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59692139505208cbe54303ff36e6b2dcb10a7e30","datavalue":{"value":{"amount":"+0.7455679178237915","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":"Q4540525$7B4468D2-2534-43C9-B5A6-89282F7C2933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4540525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4540525"}}}}}