{"entities":{"Q3389499":{"pageid":3400202,"ns":120,"title":"Item:Q3389499","lastrevid":53998913,"modified":"2026-01-26T01:33:41Z","type":"item","id":"Q3389499","labels":{"en":{"language":"en","value":"Cut and gamma. I: Propositional and constant domain \\textbf{R}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347066"}},"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":"Q3389499$719B2CB3-D14B-4271-A795-C7143D3FD7E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f98805e2f74abb06ee443da699d59c513409f7a1","datavalue":{"value":{"text":"CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3389499$4CC92AC9-9171-4F43-9C06-98DE7F46E1BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f05dad741837a1d57782b4b59308a236c7ae98","datavalue":{"value":"1486.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389499$8FAEFCAE-708A-4706-B460-8B90F6D534AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfdfb79dedc1cb6d7879b25f3fe5f60b5de2dab4","datavalue":{"value":"10.1017/S1755020319000388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389499$1D3682F3-D30E-4603-A355-8929A4A7E244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"830c0f25ad747c8200774c4aa79cb7dc4ac30bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2000667,"id":"Q2000667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$968917D2-B951-48CC-A5D5-3AB488BE233A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$065CEA2E-C60B-4237-B236-2188BD8D72A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3389499$8C1DAEF5-BB07-46CF-88BB-45BEB8F759B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389499$4E60D130-E2AF-49AB-9856-5B5AFF305E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389499$D4EB0122-CAC1-47E5-9C14-EE52DC3CC9A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef0617bf77ed3eeee9b7fcf1c31bf768ac3a0ff7","datavalue":{"value":"7347066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389499$BCCCA54B-0D20-497A-814A-EABB3A2F0528","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"364e381c3dc45ce14b97a8900dddae0cfa4706ba","datavalue":{"value":"propositional relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389499$17C3FE14-C92D-44E7-A976-C8CE6AEBC448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa4b9557c519965d3ac97ab60e59fd4d97e9005","datavalue":{"value":"constant domain relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389499$C42694C3-F5EF-4524-BF3C-679A010FC1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"269459fb0d5fd72fcbba313bec68d85b298db821","datavalue":{"value":"gamma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389499$79682EC9-F594-43A1-905E-4C5F1E4E195F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389499$AF57F009-CEA9-450F-8207-BCA0AAFAFC52","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":"Q3389499$B159A503-B92A-4E46-B281-0C7744664CC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daf6be85f2d6d6205652155ad2ae927c3705a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3237137,"id":"Q3237137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$41B2BEF3-0395-4E65-A14A-99A74327DDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10b4c1c0313a41f82f11e5d99cba413cf2ed66a","datavalue":{"value":{"entity-type":"item","numeric-id":5730122,"id":"Q5730122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$40227CE7-64FF-4046-B496-80791955232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$575DED1F-40BF-44DD-8346-1FE12B66C8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$CDAD3A0A-FBAC-4698-B140-974933FEAA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$09CD1524-7660-4ADF-8044-A0E3ECF4E95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$FF826BC4-D46D-4F36-812D-4978B302551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$B8654DF5-1016-4AAF-A0E6-99528B7E0909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03f53fffddc3c55154e05a164d56e78df9669c9","datavalue":{"value":{"entity-type":"item","numeric-id":1103606,"id":"Q1103606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$0BDBB098-EBB3-47F7-BC84-4E6636A535C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$1EF5F45A-D64D-4435-8C2E-29608B1AE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$5679DED7-DFA2-4C30-AA37-18C1CE4F2CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$009FF8B6-A6AF-4B2D-AC4F-74C6E20C66A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620eca94012e23e5dcc7aba306a13b90f52aca32","datavalue":{"value":{"entity-type":"item","numeric-id":1257473,"id":"Q1257473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$F263E12B-52DC-4543-825B-533CF4F9EF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d3211cd34503d2c7dd51199da584ca9425663a","datavalue":{"value":{"entity-type":"item","numeric-id":3081993,"id":"Q3081993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$346E3B20-B0B7-49D6-9307-D3BD0EC5F7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f39f9d4819c20ed4555dca8c254868008b338d","datavalue":{"value":{"entity-type":"item","numeric-id":5181343,"id":"Q5181343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$A6466C97-1FCB-451A-A146-F34276CE8A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f992c28364a0b564f47c2bce87a027c7fa20db","datavalue":{"value":{"entity-type":"item","numeric-id":758985,"id":"Q758985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$8F291139-2371-4E34-AA9A-FAD44203DC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$7FAE05F3-0DCA-4CDE-99C1-104A40D9D51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05b88e8939da5afe0e37d672faef2e7bfef9975","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$86F6109F-463D-4259-ACE6-6B8DDF9334A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$DC5DC7D2-F172-461A-AF36-0D0087B79B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8c81ff62c2e545ddf7d5a2887405cf334d4a40","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$8ACF97F2-159D-4860-BF36-EBCBA1777655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79d491ac7bcf8dbf737ca5a36b6904ebf92992c","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$B7918E04-E4B8-4D6A-A216-AD8CF298F065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$5B51A2C9-A7C0-49E1-BD42-985E6034FC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$81D4AE07-E626-4E33-A453-2DC441C3708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25374ccfbc4e57b71022c1e30c6ea0d7258f66d2","datavalue":{"value":{"entity-type":"item","numeric-id":3305422,"id":"Q3305422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389499$119CC7D5-7A4B-4EA6-87D2-BE96C81C4A0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24be4a6392f3e046ba4fa2076b3d8b3bfbde81d0","datavalue":{"value":"https://doi.org/10.1017/s1755020319000388","type":"string"},"datatype":"url"},"type":"statement","id":"Q3389499$6AA0AB54-BF45-4AE8-BBA4-F87A28761702","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf7faeddcca353dbbd04ad8b9f08556ec08b020a","datavalue":{"value":"W2970036415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389499$95F19B42-B7A1-429B-8A45-6174C20702BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747c693d2690c2e78c3d60da41038e0e64ad4131","datavalue":{"value":{"entity-type":"item","numeric-id":1935555,"id":"Q1935555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9abe0ae20c047cd51b9f6584d7730390635c0f5","datavalue":{"value":{"amount":"+0.8510305285453796","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":"Q3389499$1042D3A7-7BB0-4943-9FBB-C2052D41D5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e77534b7a8fb78a6adec416bfb026b9c6dc03e3","datavalue":{"value":{"entity-type":"item","numeric-id":633158,"id":"Q633158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7dbbc53292b129f11bd0736417867211e234d4","datavalue":{"value":{"amount":"+0.833348274230957","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":"Q3389499$F80DC12C-AC92-43F2-9817-BFAA7A9EC526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2568932ef95b4667748e2917a02b0d02d95d79","datavalue":{"value":{"entity-type":"item","numeric-id":689216,"id":"Q689216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4fcba725ccc8e7ed5fe79787c7ecea8b7e704e","datavalue":{"value":{"amount":"+0.8303400278091431","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":"Q3389499$AD21DE3C-9335-4181-B86F-B00921CA2482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4a3367b077cf949982db0efc9428d67a4a6310","datavalue":{"value":{"entity-type":"item","numeric-id":1203779,"id":"Q1203779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893eadda37d852d65c8237e394a49de9cdcdb05d","datavalue":{"value":{"amount":"+0.7988051176071167","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":"Q3389499$8FE354CA-84C4-4ECF-923F-BEE717E3BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbaa7f7822644037fcb6cc240a914240c125960","datavalue":{"value":{"amount":"+0.798576295375824","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":"Q3389499$C33F2C62-8722-4D26-B9B6-356E42D0AEDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3389499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3389499"}}}}}