{"entities":{"Q4924544":{"pageid":6954126,"ns":120,"title":"Item:Q4924544","lastrevid":98193362,"modified":"2026-06-05T16:53:49Z","type":"item","id":"Q4924544","labels":{"en":{"language":"en","value":"Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171458"}},"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":"Q4924544$B3774CD7-49EE-4010-8E8F-E6E472D8668D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80aa8344bba6a3163da903b338afdce561ac130c","datavalue":{"value":{"text":"Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924544$0CB667DB-F3DC-4450-81D2-FD3550EA1585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11b2775473632d21a5e69cb69a160cc8f5830686","datavalue":{"value":"1264.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$1CDDFDFF-6F06-4854-B5F8-CE2872714DC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0c1a61d5d63b26df94821b380614f962948555","datavalue":{"value":"10.1016/S1571-0661(04)80755-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$E86A5710-EE49-47C7-B9A3-B6416BDDF8EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$9C66163F-E249-4B04-810F-5B2B397F533B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9994e22132749d99397bc99150caa21bed2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":457561,"id":"Q457561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$C0996C25-A9A8-4402-BD15-F8AC848413A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$A8BB2F91-A092-469E-95AF-CDC05CFD255C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924544$BBB8E6FD-E67E-4CC8-8E60-C7E4C042EEBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$4031085F-71BA-45C6-A6BD-93D67C9EECB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$ECA56246-B7C5-4945-9A7B-F99A92C7DBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$B49E43E5-5B9B-4EFB-87DF-FE39FD1DBB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$D1E2B3DB-164E-4443-9341-8C698B23A0AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b260e86565012cc868be0b33478d785be92385e","datavalue":{"value":"6171458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924544$FD5FC28D-1E64-4B36-9518-1238AD8E19A6","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":"Q4924544$4CC48F8B-2360-4E84-844C-643D7F9B24F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$6BE34781-25EC-4EE4-93FA-43AD5B08D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$4121566E-6E3F-46BA-A2DB-99BF8F11437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$102EE08D-3F82-41D4-812E-D0950241D853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$3B382997-14E4-4602-ACB5-735075AE4165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff96c37a66afe1add790c14afe39b8faf5825da","datavalue":{"value":{"entity-type":"item","numeric-id":4133591,"id":"Q4133591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$F3058193-C5CE-4C17-BDDF-0B19E8913E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$7CCA6224-08B2-489B-B075-05D5B4F643ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f09c5d69de1399b2c035e1c5f68d80d6f8fc608","datavalue":{"value":{"entity-type":"item","numeric-id":2543316,"id":"Q2543316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$5F3AEBC6-04AF-4CCD-A402-D652CA59A518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b88abe23b0f79d4b8ff90e19704ca5e6b2329f","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924544$3F6343FD-1C8A-4979-93A1-16F5D41BF33A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5872fc21b5f419b387964f6b17c691f7e732f609","datavalue":{"value":{"entity-type":"item","numeric-id":2503325,"id":"Q2503325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1b6050f70a4f43a4f0439acd80285775b53ca5","datavalue":{"value":{"amount":"+0.9823299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$CB3820BA-B0D6-45AD-855B-2603B29699B4","rank":"normal"},{"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":"956f9c647a79194f34afed8b0f59891997213a4b","datavalue":{"value":{"amount":"+0.8685612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$3CF73B6A-8FD6-4648-9EEF-77C56E513DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406a1b1e13b995afab3f3ac7e9a54d6e9fe89571","datavalue":{"value":{"entity-type":"item","numeric-id":3455187,"id":"Q3455187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5952337a975dac7cb946d048e3db2dfb96d8880d","datavalue":{"value":{"amount":"+0.86195755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$9EFFDD64-9462-4169-881A-DFCF3E50265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2722843a5476c30251f88d085af74ec5f9d816b","datavalue":{"value":{"entity-type":"item","numeric-id":412013,"id":"Q412013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506d8778f8cd57c7730a2d59615b7d9ace5ae8ee","datavalue":{"value":{"amount":"+0.8561581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$51664C85-1443-4E1E-A695-BE4B33361F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc928af395f4a4dedba984703afbd957eaa0da5","datavalue":{"value":{"entity-type":"item","numeric-id":5477357,"id":"Q5477357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24444fca2691cf08661c1dc293ec6fc344fe608","datavalue":{"value":{"amount":"+0.8553411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$C47A0DF1-1271-40F6-B1B1-A077DB841CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad6c3f11628493164c3cbded25bb426e591bc42","datavalue":{"value":{"entity-type":"item","numeric-id":473196,"id":"Q473196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176fd462364f826644b9fb60d381e7e988979009","datavalue":{"value":{"amount":"+0.8534145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$1BFEE7E9-8EAC-4ED2-B2B5-F5F9CD5AD804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acba577735dd51367f54c35b7c591d300ddf7f29","datavalue":{"value":{"entity-type":"item","numeric-id":1120561,"id":"Q1120561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c80254c0dc538ce930dcb112c8c65ec08d965ee","datavalue":{"value":{"amount":"+0.8499738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$6EA2A359-226B-4072-9E36-B2247592E366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a92649b2fb6ff85eeb99b4c20b2d3b6ba5991","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a77ca44fcfeda924fa7346294a697700b0b1fc","datavalue":{"value":{"amount":"+0.84748393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$65CD2B65-50C7-4E3C-9D99-8F86BD9D346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99812f8f0d789d7b3463f66b2fe06509e8e5177b","datavalue":{"value":{"entity-type":"item","numeric-id":4857864,"id":"Q4857864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbff8caafac45aaa7c4a63fae72b28d2f497eb9","datavalue":{"value":{"amount":"+0.8469749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$05A93369-8FA2-4A34-8A2D-3A056A2BE882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1e367af82d1f2f8f3678f487f0b7f5ec326391","datavalue":{"value":{"entity-type":"item","numeric-id":2922013,"id":"Q2922013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f977169b281bf60162d4cda5266018717155483","datavalue":{"value":{"amount":"+0.8464433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924544$264DADD3-FDEA-4925-A45C-92DFC3B77AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eigenvariables,_bracketing_and_the_decidability_of_positive_minimal_intuitionistic_logic"}}}}}