{"entities":{"Q3338239":{"pageid":3348947,"ns":120,"title":"Item:Q3338239","lastrevid":48739255,"modified":"2026-01-05T18:19:37Z","type":"item","id":"Q3338239","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871347"}},"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":"Q3338239$26A97066-9DE1-40A1-BFD7-32B3C7E8BDAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a11c39f23e7ea45bb416489a3b1d46309766a2b","datavalue":{"value":"0547.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338239$F64E80B0-62D2-4568-928B-EFBAD4143919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3338239$B4AA96EF-4FAE-4EFB-AE4B-0FAC21724C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338239$BCF78F26-2340-4CD4-BEC5-CB2D8951222A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338239$B0847827-C395-4E92-BA12-6503BA21F299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3186fb1fb433d43a549de7de36e93fd4442a78a8","datavalue":{"value":"3871347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338239$A45A92C4-B5AA-4068-9E2A-A2EB01BA5DF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$8101FF7C-5267-4488-B142-1CC0BA5D2D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$4060E8A1-FB98-49C6-B4D6-B29ABD6C9DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6410e09019310eaf49e9c3335563ce3f3352ab","datavalue":{"value":"Nishimura's sequence of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$A27CA88D-7A88-4088-A4D1-211543BAA781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c06e5244e85d5d2e9338899264e08a0a341c67","datavalue":{"value":"arithmetical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$C3D81202-BEA1-4613-BD6B-CC29EB1DCAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e1335df43b0b86a5708665d262ee4c0b3137b9","datavalue":{"value":"formulas of one propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$92AA9201-9AA6-46F2-8447-AB67EF99666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$938D4F9E-FEB6-4D91-A58B-FB0998843A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338239$2C15E371-0D76-415A-91FA-37AF03C386B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338239$97FA2398-77CD-4F98-A363-D71F19C46A83","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":"Q3338239$22E9E078-7BB6-4B71-9BEB-126EE43A1657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c290012b951f8200d47ff6c362e06e5f62564a45","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653fd8de46f7b9c5a3fa2e306370410f085798f2","datavalue":{"value":{"amount":"+0.7688106298446655","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":"Q3338239$96298B94-5837-4042-9365-495FBE39BF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653fd8de46f7b9c5a3fa2e306370410f085798f2","datavalue":{"value":{"amount":"+0.7688106298446655","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":"Q3338239$07191054-C822-4EA0-9A3B-29C777476B00","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":"66b193b3286d747b2b884e7b1b9bb8014d7e42c0","datavalue":{"value":{"amount":"+0.7686149477958679","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":"Q3338239$40E88930-125E-47FC-8D6B-C1541CD79100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415f30b37373a8e3d9fed299abde096030b94850","datavalue":{"value":{"entity-type":"item","numeric-id":454378,"id":"Q454378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce254710f6e6f4b83e04ba3b55d9a5ae9095f22","datavalue":{"value":{"amount":"+0.7521675825119019","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":"Q3338239$96799BA9-7E0F-40D9-A9B6-2D1F4194D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20d7917e7899d39f57175c6b825d32e1657eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":1068825,"id":"Q1068825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7a237f9103cbacf6123b2ab38f947c63a2a8e6","datavalue":{"value":{"amount":"+0.7446845769882202","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":"Q3338239$CB9F051F-D19A-4D89-97CE-6B4D11ADBF95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3338239"}}}}}