{"entities":{"Q5426798":{"pageid":7456372,"ns":120,"title":"Item:Q5426798","lastrevid":100943444,"modified":"2026-06-05T23:30:34Z","type":"item","id":"Q5426798","labels":{"en":{"language":"en","value":"Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211143"}},"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":"Q5426798$339D3AF3-E50D-47C4-A15F-1DA28E551823","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"888b19fd6c3d7112b488a9ced36b0693716e7f9e","datavalue":{"value":"1123.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426798$15E963C8-89BA-4280-8CA9-1106A7A1B4CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c86af1ced2e2740e5d17387be596614a746714","datavalue":{"value":{"entity-type":"item","numeric-id":2926295,"id":"Q2926295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426798$BF0F9B35-A1B8-414A-9645-5DC343861A98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5426798$D64C9F26-EB9E-46C1-9A8D-1489C82D9EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426798$7B762F5F-F7A9-44FB-8045-87095688B031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426798$ADF7E295-5314-46A4-A800-9E5745E3F23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426798$3EE36AC8-0B04-4A53-8FB5-10542C2EC729","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90fe0ac0765ba3d54810f420be2ddd4aa329d6e5","datavalue":{"value":"5211143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426798$79A3E577-1ED4-4590-8617-6484E41A4236","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c66bb8f74c8dd5ca03df3e513e0dccc9769fc3","datavalue":{"value":"provability-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426798$75F5AE6E-C70B-44FC-8CB7-D6B92CDED7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a142e2b816f9e81f01df931c9927a832cac3f207","datavalue":{"value":"functional expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426798$CAB1C257-DF8B-403D-82B9-212D1F87FC5E","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":"Q5426798$5E5EB4B0-8EB6-4FAE-90DA-8C3B6CE3A2DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b66d347261d365385aa081336997732aa3ead02","datavalue":{"value":{"entity-type":"item","numeric-id":2941273,"id":"Q2941273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda85f259e541097a3eac7602d1f57ad412ad173","datavalue":{"value":{"amount":"+0.8478420376777649","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":"Q5426798$60B7DF62-1841-4221-B718-FC26E2FCC0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7a6edb38700a82922e6aadda32762ae252b39c","datavalue":{"value":{"entity-type":"item","numeric-id":3542154,"id":"Q3542154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b2e73270fcc2c9c1f2409db7870690bc307a54","datavalue":{"value":{"amount":"+0.8098878264427185","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":"Q5426798$D52B111E-FFB4-4FF6-9865-D75655D0B515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77e85c2bd3577a7ac614002906e1cc473d614c7","datavalue":{"value":{"entity-type":"item","numeric-id":4870286,"id":"Q4870286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88387b6f7956fe9e04d79c8f93f291dff7ed4a99","datavalue":{"value":{"amount":"+0.7696305513381958","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":"Q5426798$616F34CE-A75A-4E93-9A15-E2D47A51AD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966ffbe81574f9be87412b84c7854b4008bf8f07","datavalue":{"value":{"entity-type":"item","numeric-id":3331202,"id":"Q3331202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a04464b0b22892cda8e5f81a6433d65126e67a","datavalue":{"value":{"amount":"+0.7683815360069275","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":"Q5426798$341486B7-DD73-4CB9-B1B9-D1F3965E5EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4b4a854ff7370308b5348079a1a7bb71465f4c","datavalue":{"value":{"amount":"+0.7620573043823242","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":"Q5426798$C0B0C0BE-28B6-4F22-920E-07E40B3F173E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic","badges":[]}}}}}