{"entities":{"Q4525542":{"pageid":6555134,"ns":120,"title":"Item:Q4525542","lastrevid":47562769,"modified":"2026-01-02T02:20:21Z","type":"item","id":"Q4525542","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1555466"}},"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":"Q4525542$9D6EA375-7783-4944-A1C6-AC4F92F828B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67ca6212f1ec11b70c2fce369f5ed9a19898df9f","datavalue":{"value":"0969.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$A60B6267-B918-493B-BF05-F0D81B831226","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f254fdbb9fe00827c6b84e770ead83cb29ab1e5","datavalue":{"value":{"time":"+2001-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4525542$4858391C-1AE0-4319-B2C2-EA924FAC64B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e682761c134cad0a2d4db30a469020c6be97e99d","datavalue":{"value":"https://eudml.org/doc/121233","type":"string"},"datatype":"url"},"type":"statement","id":"Q4525542$DA8E6463-0493-4F27-A0EC-97C128AC15CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2743942a8d4bfad40c20f2d541e3d26a9fd2bac8","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4525542$C72A6849-B492-4148-AC4C-3370BA4407B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$013D2F07-0B8E-49E2-A2BD-7AACB433E222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$109D8579-26C3-4FFB-94B7-463D1A066087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$0F75404D-95FF-4240-A88B-E02B3D9145F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$608B4A4F-186C-4299-86AB-A4372CF36CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$1AD4CCDC-BE4B-4FA7-96F7-17BE0B5D6057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$377AA0AE-5247-48FF-A1F1-34726A435476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$A325DC85-F52F-4772-BB02-69067C57647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$EFFAE37D-2E15-4AD0-BAB9-029BA1B85810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$48F0E2A6-5490-479F-B73C-12C148E7D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95029d8a64bb8f3d3cdfc3600a969acd585581e0","datavalue":{"value":"54D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$28A40F89-BB8C-49CC-A83F-6C13B9FDE016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$81C68295-0A25-4544-81CB-001099281CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$1CFBDBD5-7C1E-4E0C-91D5-5E1F74DB8662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$C2E09716-5E09-42E3-9998-8D4CB1937D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$B7DFAF53-B094-40C4-9DDD-A2D5324440D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4d0f1c0be8064a9f25e09c278ad60c5969b4ddb","datavalue":{"value":"1555466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$C5E63783-3381-4B77-8CDF-D9EF20095826","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37aa6a631e3183d3ce1b74646553356dc298bf50","datavalue":{"value":"locally compact spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$79F2D43E-F933-4D18-92C2-DB10DFBBE638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c351560c2a295848ebfe1f73ff66d325419e2a","datavalue":{"value":"compact Hausdorff spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$5B5943B5-251F-4F3E-ABE3-33536E644AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244d43a1580e10abb82e6b9fa4b53fa24113ce64","datavalue":{"value":"open spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$3A46060D-9DC2-4AB1-B467-B91B3805CBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b336e044b969b523fe87b83223ea030fa0a0e89","datavalue":{"value":"overt spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$01CAF618-A13D-44B0-823A-A3E9B2E8DB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$027BBC3F-BD48-41C5-BCEE-D674D6F3698D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0207a9beacdfc8107acc3c0fe7e10b9c60a55cfb","datavalue":{"value":"proper maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$E3D7F06C-5D34-42EB-A148-9EECE524087F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0fa27a84c0da37e9e19a1282ebdf5c6266a1c3","datavalue":{"value":"higher order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$8A8C2EF4-7C6B-4152-8698-02F73B953C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de0c89f19cb128a18f6c94c8b2071793af21d87","datavalue":{"value":"contravariant powerset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$17146B92-B1C4-4829-9890-35B975F0A608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$370A9AB0-BA40-4364-A08E-4D47DE280E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a867b4528b484cce7544228c4309f1b0c755780","datavalue":{"value":"subobject classifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$973B8DBA-779C-44B8-A443-FD733FDECB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2138d8a5478709d48e35bfd3e959146f992b0c36","datavalue":{"value":"Euclidean principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$D4416B65-FB0D-453C-BE35-9A1E84A6F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$D1E8B625-406D-47EA-9CBD-90698437FD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4e4518939e903a75527cbe7395b5b163975990","datavalue":{"value":"monadic adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$CFB18A19-4F9F-4672-964A-E6503B4D9C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$4B0FE424-E98D-4958-95E7-6F2F260424F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463bfb59fffcfc4912d2e48763e12f5a2e76d98c","datavalue":{"value":"pretopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525542$63B8589D-458C-465C-97FD-F3BC3EBCDBB2","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":"Q4525542$B4702429-3C6E-4374-9B2C-9D1C838EF498","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fc890f7270ecee3476a1c717cf4362f2929ff5a8","datavalue":{"value":"bafkreibwix6l7x42zgv77zck5gbwj42zrylkl7ve5wdnwde3vpnjv42dam","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525542$36DBFA63-2F29-436B-8EA4-7462FA9213DA","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":"10c866e3b15a1f7b0e06bb2d8db08b5ee1fbac3d","datavalue":{"value":{"amount":"+0.7798154950141907","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":"Q4525542$7018B40F-6C61-457C-853D-F6D1D35EC3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61ac3642a1b3cceb2e2563e37dd1966accb9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4518822,"id":"Q4518822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74018a27c5e376f75ff26fc10bd036c20fdc254","datavalue":{"value":{"amount":"+0.7682827711105347","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":"Q4525542$447233B5-12ED-4AA7-A334-847EA60257BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f99e2c25b9ebddd4fad659574e81089b345979b","datavalue":{"value":{"entity-type":"item","numeric-id":4540525,"id":"Q4540525"},"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":"Q4525542$D650CD84-F3B3-46F4-8555-9E43A39EBAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b87e47ff308f6150a5823aab5908919b6ef6b05","datavalue":{"value":{"entity-type":"item","numeric-id":4982516,"id":"Q4982516"},"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":"Q4525542$DFD4C920-0D56-4627-8860-5125EF379EBF","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":"aa0429934613267fc5bfc00ef52f6217abd42cb4","datavalue":{"value":{"amount":"+0.7448180317878723","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":"Q4525542$D244D188-85CF-4BE7-B35F-BDD5E6C6DA39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4525542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4525542"}}}}}