{"entities":{"Q5094116":{"pageid":7123692,"ns":120,"title":"Item:Q5094116","lastrevid":100199405,"modified":"2026-06-05T21:36:01Z","type":"item","id":"Q5094116","labels":{"en":{"language":"en","value":"Proof theory of Riesz spaces and modal Riesz spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566045"}},"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":"Q5094116$BD8C08D2-668F-4CCA-B982-6E8128CA80EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a9109d1712782836bb81a5d941dd9b8e09cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":2289092,"id":"Q2289092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$E5C4A4E8-3610-487C-9879-8CC99A63A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"466f8d3b528aff7ffa9f33e27b9f8701a8563e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2289093,"id":"Q2289093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$F44BDBD8-E385-4D2B-A43D-14A449A3740E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad9afbe138412ffaaaf6109d22a748c988081a7b","datavalue":{"value":{"time":"+2022-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094116$828C7F0C-6B31-4CAF-8FEB-76FD007BAB6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2e522334b6e691ef270baa3948bc59933764a5a","datavalue":{"value":"https://arxiv.org/abs/2004.11185","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094116$08C5CCAB-D44D-420A-BD08-07FA077B0E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e912d8244f638ed86c3e494ed6844796b38c4738","datavalue":{"value":"https://lmcs.episciences.org/9100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094116$BDAB9839-D53B-4FCA-83A1-8442C9268342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094116$BE3B2C50-1C95-4220-A25F-4886ED56AAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094116$8E96939D-5A41-4FDF-93AB-9D6236255EC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dd58b43c9d7483734b5ae0a10a4f3d2ce92aa34","datavalue":{"value":"7566045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094116$741B8718-EF58-43F8-9044-4397F9D58E19","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":"Q5094116$36DB4A3A-372A-4DBE-89BB-C41F842DBF97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$7E3A75B7-29F4-47A7-82BA-1E6E783AA812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$34A15608-90EC-4A60-80C5-57DCD7425422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$B1D8D474-C5AC-47E8-BB1E-78CD5780B2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$625D6490-5A7A-4D69-B20B-058B28EB967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703d50a90684391f19db3a53cb1b21245adcdc95","datavalue":{"value":{"entity-type":"item","numeric-id":2720315,"id":"Q2720315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$6A69991E-79B0-46EA-9F3B-293B60291833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749aa5c484d884771466997b802e7dc39af08a46","datavalue":{"value":{"entity-type":"item","numeric-id":5311280,"id":"Q5311280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$5FD3E3FA-9B01-44AB-8789-279A7AB31515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d4418105492253e96e921adc5adf6a4549221d","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$4EC8D744-8184-4089-8FFF-CC57DA08C517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6943bed2c7ad8449d21d421806f77af6bfbf82","datavalue":{"value":{"entity-type":"item","numeric-id":4603449,"id":"Q4603449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$FDF3478B-9419-4839-ABDA-6DF56ED5E28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73ca5e4fd4e5962b5a2fc6d59c11f3db5add688","datavalue":{"value":{"entity-type":"item","numeric-id":5214813,"id":"Q5214813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$F3BA2A97-CA42-4097-BCFB-B83AAD5D44DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$5B52160A-78F0-4EE8-8AA8-82CD121E13AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$57952BCB-FC22-47EC-AE36-BF241F7FC085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$26272FA6-1E6A-42D2-9DB8-B2137C94408D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9569dabce48df833024fac15d029f222dffb061","datavalue":{"value":{"entity-type":"item","numeric-id":3854144,"id":"Q3854144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$27B2BE83-857F-4BFD-A476-93376B4E308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f4eabfe1887bf5e30bfb056eafa326fc832af","datavalue":{"value":{"entity-type":"item","numeric-id":5271069,"id":"Q5271069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$B72432F1-B015-481B-AEF3-4332775D865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$7160DDD7-73E9-4A81-B92D-1C5D3A26A52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$EB8E1534-098D-467F-93F7-CEE299AD9D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$F7538634-8A41-4A46-A86F-552936545CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$B05873D2-35E8-4B20-B698-0E4FEFA89282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b1efa26c18403ffc230199c3dbf72d9f2e496e","datavalue":{"value":{"entity-type":"item","numeric-id":2289094,"id":"Q2289094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$8C077EED-D782-4861-A5F0-8E49966A8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7a558dfd314b40fd43bdd0c545c0052b78ce5e","datavalue":{"value":{"entity-type":"item","numeric-id":2381835,"id":"Q2381835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$66D8F84B-582C-4DF3-AE08-4EDBFC3CE028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4f4042583b49e0ce43139f6586aad7a2e8a332","datavalue":{"value":{"entity-type":"item","numeric-id":5638775,"id":"Q5638775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$C0E6B106-0070-4F00-A3C1-5BC60AA0C2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f25dbe595470ff60079bab782475607c0c15ba","datavalue":{"value":{"entity-type":"item","numeric-id":5144637,"id":"Q5144637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$7133291E-4EC4-406B-9B16-371082B01CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c4ff74099bb516efd01e98acb584345fd70589","datavalue":{"value":{"entity-type":"item","numeric-id":3000616,"id":"Q3000616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$2A52F859-01CB-44E3-944A-29623D8D8FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b846d13800611269a7c57eec4ac171491564b808","datavalue":{"value":{"entity-type":"item","numeric-id":2888508,"id":"Q2888508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$37D201BC-8B22-4F2B-A4F4-E93933BB6A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219cf5c5831d1372270308a9b5d6708ccfc7dada","datavalue":{"value":{"entity-type":"item","numeric-id":4899118,"id":"Q4899118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$503F2082-0658-476B-81EE-5F6D207C72E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a706c8654280b64d416d77fde7c6265a8bf7a076","datavalue":{"value":{"entity-type":"item","numeric-id":5410682,"id":"Q5410682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$99C8AB1F-1C39-47A0-89E7-69DE0CACDA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2742caf8e4f271c2ce1bb769df163082bc033f62","datavalue":{"value":{"entity-type":"item","numeric-id":5145347,"id":"Q5145347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$71270E64-D159-4AC6-9B85-B541F0E0A3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$9AF271A4-2207-4263-A9AC-D4C136AAD3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$EF236D8C-10C4-4CA6-80C7-D4A00516FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ef34d326ecee4cf37c92f79aa1d13bbaabd5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4992900,"id":"Q4992900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$8D992651-2112-499D-B203-F4D1BA229313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8776980c22cea0e2c363986232fa0f1431bb65a","datavalue":{"value":{"entity-type":"item","numeric-id":4910418,"id":"Q4910418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$4BC14BE2-9F93-4E0D-B97C-36F10165ECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303b1abbd4ea24e173052e3ce10a404318bd898","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$10275F2D-FB23-4B42-B036-06A0E6268A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19869f725e62f8398666e086cdb5b9b1635a5bfc","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$F83A494B-27F1-4035-8F44-35FD241987E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094116$7FF3BF95-3FE4-4768-835B-7C95BA40E273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2af9d4263ad67f76eb6be1e240de456051981","datavalue":{"value":{"entity-type":"item","numeric-id":5214813,"id":"Q5214813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36aa411d8cdbd7008ab250606626f25a0c167eba","datavalue":{"value":{"amount":"+0.815800666809082","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":"Q5094116$C1C3CB80-0754-427E-AEAF-9A5150116924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7c4c4fd26d8a25515e65cf37d6193faea61e51","datavalue":{"value":{"entity-type":"item","numeric-id":5144637,"id":"Q5144637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2747da11fd04be53d9695658a85264b332146699","datavalue":{"value":{"amount":"+0.7693812251091003","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":"Q5094116$E41DEAF3-EE3F-4F73-AD3C-93E57C6D8404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63c087b1235d91716a049a7a3befe4269a891a4","datavalue":{"value":{"entity-type":"item","numeric-id":5145347,"id":"Q5145347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bd434af3ee7c486d695d7e50fd3608bd847ab0","datavalue":{"value":{"amount":"+0.7495614290237427","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":"Q5094116$7032F63D-F093-477E-8334-8C1BC210DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e32a8a8e2502e6fccf68ee38881f1e0518d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2289094,"id":"Q2289094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeb6854504f70f2c85d42082e57f738a1bf2a24","datavalue":{"value":{"amount":"+0.7431772351264954","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":"Q5094116$FC693075-863D-4C80-9B0E-F1B22A986FAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of Riesz spaces and modal Riesz spaces","badges":[]}}}}}