{"entities":{"Q1196783":{"pageid":1207532,"ns":120,"title":"Item:Q1196783","lastrevid":69865092,"modified":"2026-04-13T10:51:36Z","type":"item","id":"Q1196783","labels":{"en":{"language":"en","value":"On separation lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 89555"}},"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":"Q1196783$D97D5D4E-9CA9-4BE2-A9CF-745648422619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65de9a37976b0dd14c12450a8579a2d0c59e7954","datavalue":{"value":{"text":"On separation lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1196783$F5EEAAF8-278C-4F40-B6B0-4278B6458F2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4b7c448dee30aaaac838e9839cec232686ff3cf","datavalue":{"value":"0759.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$FD88DAC0-3C0E-49D1-BE58-52A270703A3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0d2a3f450eeb5b29977e4b87d2916d604e9eaa","datavalue":{"value":"10.1016/0022-4049(92)90112-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$37BF3352-7C4F-46BE-8CA8-EDA6D7ECF9F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c08dd32209bf842edca3f8ec0a9907ae933161b","datavalue":{"value":{"entity-type":"item","numeric-id":689274,"id":"Q689274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$BCA05D01-27CD-403E-B08C-FDF523587F1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$94E957A9-4090-4571-866C-8824A679D957","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1196783$900BCD2A-1545-47F6-8C80-B10138F9FA0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$0B1D61C3-7114-4516-BD2A-9F7377255807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$D2302209-F914-47E9-AA1A-F0BEECE8B6D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f849319e6626a22e3cbd9de8bb92873caeaa5f28","datavalue":{"value":"89555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$0FD6F075-863A-4461-B0A9-3E6A29790AF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3d0d871c2f2001c2772b49a9c0ca28e9b6bb4b","datavalue":{"value":"separation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196783$FA287D84-D3CA-42A3-B2BF-C076599005E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196783$09EBC12F-A78D-486C-9A04-B76BD82998AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fc878f3e1e5094828b0406c38d39437fc49bb3","datavalue":{"value":"Prime Ideal Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196783$C3720D29-8604-466A-860E-69FE6A29869C","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":"Q1196783$8A45CE60-C0F2-43BA-95EE-88FC92031044","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eaa447bd6a731e8a9b2e2a3254bf64646727b40d","datavalue":{"value":"Q124850004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$F16C1F5F-2FC6-4C82-9925-C58B8E0D6D1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f59f6e61786b554b201de373de00dd23ebca77","datavalue":{"value":{"entity-type":"item","numeric-id":3674642,"id":"Q3674642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$0A538D26-DFDA-468D-A3B9-B18D6A2A1B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2a87e67eabfbf9de4d3c55a73ec1fbf64fffc","datavalue":{"value":{"entity-type":"item","numeric-id":3686833,"id":"Q3686833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$84FDA439-D090-4E81-A613-7A1CAB4BC5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$0D77CAD4-BD60-4666-B8CE-ADB9CE4CFEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3120d5f981489bf644a588b0c59556fa8f2b85ef","datavalue":{"value":{"entity-type":"item","numeric-id":1825889,"id":"Q1825889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$2617EB29-4C99-4287-A55E-CC9CD1777B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50dfd93294c576daf6e9498ed6380785b93497b7","datavalue":{"value":{"entity-type":"item","numeric-id":5682368,"id":"Q5682368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$64E639B8-040C-4356-BE7E-6C634F873CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb3838465678903dd851fac1e11ace7631ccb34","datavalue":{"value":{"entity-type":"item","numeric-id":3697074,"id":"Q3697074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$80E94C1C-B224-4DD9-B6FE-930E2EBCF4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e579c4500b333b842bd93e01e2a528d03a44a374","datavalue":{"value":{"entity-type":"item","numeric-id":4132534,"id":"Q4132534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$D0B480C9-9B1D-4929-B591-591D619D6B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd626d67ca52090550c2b82277eee108d1626c94","datavalue":{"value":{"entity-type":"item","numeric-id":1115892,"id":"Q1115892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$B72C0A18-EA18-4C42-85BB-1EB429D4261E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb59b1eb9f54c4eb924f32a8c90647de90015dc","datavalue":{"value":{"entity-type":"item","numeric-id":1153188,"id":"Q1153188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$220D7D23-1665-4114-AB16-F7204532BAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21a7f9261a9d5919e4b0344dcddc6bea3a1fa64","datavalue":{"value":{"entity-type":"item","numeric-id":1159720,"id":"Q1159720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$7DBFCABF-43B8-4A88-8D15-0B98592391D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"449664e63b6e7c4a34850ed3fe60dd7e38e30739","datavalue":{"value":{"entity-type":"item","numeric-id":1319059,"id":"Q1319059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196783$1F45E4BF-FE83-4F20-8E45-058259DB4B53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8fbc55b5315009af9be19ed0e00a9296013e7bb","datavalue":{"value":"https://doi.org/10.1016/0022-4049(92)90112-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1196783$2091F657-2DEE-436E-BD26-6F6378035DF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72f9f679d811fe9e25f1ea145d28d7233a780182","datavalue":{"value":"W2051896550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196783$84969350-C2E9-43DD-B2DF-42B946B1EDA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277e76da3690366c5a910461d72f287c190380be","datavalue":{"value":{"entity-type":"item","numeric-id":1318348,"id":"Q1318348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16019c893676c9b5a782182069ff95f625a58d53","datavalue":{"value":{"amount":"+0.8570179343223572","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":"Q1196783$D7534909-5CEE-4F34-A648-20238E4D7FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d46ef2917348c358734a828a5d3a2c1e0ce0b34","datavalue":{"value":{"entity-type":"item","numeric-id":1840722,"id":"Q1840722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee3968c800488fb0dafa3d5d983253527a9f39e","datavalue":{"value":{"amount":"+0.8097109198570251","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":"Q1196783$3E4132C4-5185-4ECA-BB2E-6E5F2E812BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd36a49b96952b5ebddc6023c1c9123063180cef","datavalue":{"value":{"entity-type":"item","numeric-id":5534906,"id":"Q5534906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee3968c800488fb0dafa3d5d983253527a9f39e","datavalue":{"value":{"amount":"+0.8097109198570251","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":"Q1196783$95443BF0-34C4-4081-A151-BBB8C96DE209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e88f71b094a4e7f5be639b311a9ccda0a2b3e73","datavalue":{"value":{"entity-type":"item","numeric-id":5481594,"id":"Q5481594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23043494edf500f4adaf0ad55697bd30726a2951","datavalue":{"value":{"amount":"+0.804703414440155","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":"Q1196783$0B70AC22-4745-4C04-AD43-1F0F84EAACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f81a3358de24f885c463d87f029deeb15860c81","datavalue":{"value":{"entity-type":"item","numeric-id":1646557,"id":"Q1646557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d876a34c53bd5e6a0cd4dffacc7b24832bd31b","datavalue":{"value":{"amount":"+0.7425774335861206","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":"Q1196783$0613FC93-8A12-4652-B83F-3EB84DA22F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On separation lemmas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_separation_lemmas"}}}}}