{"entities":{"Q2878747":{"pageid":2889467,"ns":120,"title":"Item:Q2878747","lastrevid":58056957,"modified":"2026-04-03T15:28:20Z","type":"item","id":"Q2878747","labels":{"en":{"language":"en","value":"Classical propositional logic and decidability of variables in intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340392"}},"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":"Q2878747$DC39B7AE-6076-48F9-903F-6CCC15D55392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c515e118cca6b37af46482bff3c11fcd8eee9ca9","datavalue":{"value":{"text":"Classical propositional logic and decidability of variables in intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878747$48E66D67-E140-4D5A-84C8-EBE3C1F91CA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74ab0a88e728805ce26410d6b00be473021c019f","datavalue":{"value":"1337.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878747$D6518157-8CCB-4DA8-A9DB-C51CD2AD8769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e80e8ae54ea9fc0be2e445d904ba7a66bb290bf2","datavalue":{"value":"10.2168/LMCS-10(3:1)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878747$C78BECFA-9F59-4ED5-BB78-37FC0A94D40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878747$333CACD7-E56E-44ED-B401-97E5E4FEB7C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878747$138F41CC-15C0-4F09-8AB1-18C7A8E343D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2878747$DA1A2F71-B4F9-4E9B-95FB-70494CB58EC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b182e20f4e887d514c2787054af0f9c8170380","datavalue":{"value":"https://arxiv.org/abs/1405.0091","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878747$36FDC549-8F54-4B96-8473-42CFD170D0A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878747$5E830642-B0E2-460E-9ECB-56E051CB0F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878747$34C9D503-B2D5-4417-9F1A-822932915F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878747$AEE3CED9-A7C4-4E20-8695-DA085E1459A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25890bbcdf601666e25f3229e8e10cbb7eabb036","datavalue":{"value":"6340392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878747$FAE457D1-DBF1-47A6-8737-DF3609E9B19A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878747$DB5438AD-DE0F-4C29-9462-C0C5C3885C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878747$C4AB5E55-C042-46BA-A3FF-1AE47A87E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12f7583db14101760a8e2de7e48e84bef53d197","datavalue":{"value":"decidability of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878747$F053CB02-642C-44B2-BA7B-F5068AB9DAA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878747$42AC8373-E6A6-46C0-B311-A5985185F18D","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":"Q2878747$DAB2D883-E5A6-4EB6-BC37-19BD8EAF764C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ddab3ebeab2cdcee56e05378629c73695854c7","datavalue":{"value":{"entity-type":"item","numeric-id":5109220,"id":"Q5109220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335e6d488d5970eaaa83a824b5c44925b00b4b4c","datavalue":{"value":{"amount":"+0.8928458094596863","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":"Q2878747$CED89657-074C-4D10-8D1D-A28215727D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04acbb2d6e8cba18fd9b778c98002044eb324f9","datavalue":{"value":{"entity-type":"item","numeric-id":6047667,"id":"Q6047667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3277542e9376fe22b428e14e3341795bd79e343f","datavalue":{"value":{"amount":"+0.8160704970359802","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":"Q2878747$787161EA-86EF-4D3E-AA7B-89904B4BE4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7063c313b0e6a94cfd5f6c2cdfdd69b8e5340337","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2326924d5801014e329cddcbc5914a0b2dd185f","datavalue":{"value":{"amount":"+0.8109017610549927","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":"Q2878747$821432B9-4501-466E-A52B-FC61C896B1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da38321d5584fbccf506bd2fa42bd21f829af2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5441072,"id":"Q5441072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0368876465c81bd4d1fef68730a8b5375e9a3eac","datavalue":{"value":{"amount":"+0.7940671443939209","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":"Q2878747$C703F826-7536-4AD4-8772-B72779EDAE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac78229cfc7d7f751cf62ea745065c8e406684c","datavalue":{"value":{"entity-type":"item","numeric-id":750414,"id":"Q750414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d50f3e2b112a908632316ea765c42a0e3a5cb8c","datavalue":{"value":{"amount":"+0.7788800597190857","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":"Q2878747$06615233-9EC2-4704-8955-6F4E9F8483A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2878747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2878747"}}}}}