{"entities":{"Q4644570":{"pageid":6674151,"ns":120,"title":"Item:Q4644570","lastrevid":90028382,"modified":"2026-06-04T18:54:34Z","type":"item","id":"Q4644570","labels":{"en":{"language":"en","value":"On the number of variables in undecidable superintuitionistic propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997981"}},"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":"Q4644570$AD9592D7-A32F-4EB2-B85F-2C9419182F04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a89b6d2b9c367dcf63034e0c254471c35021a96f","datavalue":{"value":{"text":"On the number of variables in undecidable superintuitionistic propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644570$8FB2410A-6C8C-490B-9152-C53B370133BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80635f2bcd22347a802cc985bc57a09cfd265804","datavalue":{"value":"1405.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$D4956953-5C62-43DF-A6B8-E4E8DA8094A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b58ef4b107cf93700b1f9bd56ae72fafc92fe5a","datavalue":{"value":{"entity-type":"item","numeric-id":549451,"id":"Q549451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644570$B014D1BD-9CF8-4304-A915-CDC51ED0DEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644570$F051B96E-5A80-40BA-92E2-FE9EF091DACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46509b7368ed0689a489270150648d29fc7708e1","datavalue":{"value":"https://arxiv.org/abs/1504.03358","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644570$155FCB6B-2E2C-478F-A699-68C1FB805795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$AD567779-A412-4CD8-9C72-503D87064910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$7FB282AE-2977-4619-BFBD-48E9222343A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$18CE0419-CD3D-4764-A7C4-0A28698AEA2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86a36a4c0b8936aed70ce53733a4c44d1110ab82","datavalue":{"value":"6997981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$D81DF8A3-F12F-403F-9DE9-04CB315838F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fa62005c2829e57fd488be8d1ee59decc89aab","datavalue":{"value":"superintuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644570$7F513E42-D5DD-4E83-99FD-F7264040B8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc0719ba22202379e72e5a474e0bc1e01080775","datavalue":{"value":"undecidable calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644570$74236B46-43AC-4FD9-86F0-5582300BAA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31eae7b4103c2d8f09de63a339b891ce1e0e4e9e","datavalue":{"value":"Minsky machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644570$F07B2418-1A05-4ECD-985F-3944A812DA1E","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":"Q4644570$FF271486-6F85-4261-BABE-C1DD136F06EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa36af755136b4ee1823487386b12c2a970037f2","datavalue":{"value":"W2283591084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$D4239AE6-BA1C-4951-BA5B-6963679CAA9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"814fc2510176fd9466d95d32fe4ce3077ba3c711","datavalue":{"value":"10.1093/JIGPAL/JZW018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644570$705747A4-BB91-46F8-8058-B7E7B9AA6F90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644570$4910EBE2-CE65-4E57-9494-CA858D5F2892","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18afeaeea352885a6741509c4ac8b71c1a0717","datavalue":{"value":{"entity-type":"item","numeric-id":2259003,"id":"Q2259003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017aa33e29648d8e6b95fca6c18439b2985cd646","datavalue":{"value":{"amount":"+0.8167687654495239","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":"Q4644570$5F575A40-B2F3-4961-9408-8FC7892EB892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4376259136514fce65c7ae960212f367ab5cba2","datavalue":{"value":{"entity-type":"item","numeric-id":1097259,"id":"Q1097259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d244ef82d839fbe8eb04cf3b968bf4c2e4918574","datavalue":{"value":{"amount":"+0.7970119118690491","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":"Q4644570$BF2279DA-A1BF-4494-A79E-26A18C448542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e29546be3e8574f3e84170fe92d3503baa4a059","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916da450e55611502b954cfb9a2886e754a68b0a","datavalue":{"value":{"amount":"+0.7855230569839478","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":"Q4644570$575A6956-475B-4BA2-873B-A612BE50D57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e74ec88077a1d663811b993747c5ece04eec9e","datavalue":{"value":{"entity-type":"item","numeric-id":2364331,"id":"Q2364331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179e6c8136d60ef1263bd62c801e846a1da73db3","datavalue":{"value":{"amount":"+0.7717126607894897","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":"Q4644570$89A92C9F-C65A-4A27-BF0D-399236F6287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd57b064a2c9d00b2353c69f7c9bb984dad168f","datavalue":{"value":{"amount":"+0.7598129510879517","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":"Q4644570$D19EE825-4AC1-401A-8C4A-5108A28892AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the number of variables in undecidable superintuitionistic propositional calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_number_of_variables_in_undecidable_superintuitionistic_propositional_calculi"}}}}}