{"entities":{"Q4532602":{"pageid":6562194,"ns":120,"title":"Item:Q4532602","lastrevid":47923699,"modified":"2026-01-03T02:33:32Z","type":"item","id":"Q4532602","labels":{"en":{"language":"en","value":"Some weak fragments of <i>HA</i> and certain closure properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749899"}},"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":"Q4532602$89B6A3C0-85CF-471C-905C-F969F412B5EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c26ce686a9dda4bcea1bbd82c099bd16e356d56","datavalue":{"value":{"text":"Some weak fragments of <i>HA</i> and certain closure properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532602$D3EB7E89-5600-426A-B6FE-70D0A37803AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"952f315ce368e5c9b2ca5fb5347bba98c9382316","datavalue":{"value":"1009.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$2D1797FB-1481-4B92-A491-46A39A67D941","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$65B1B202-702B-41FD-B7D6-AD39E65B9FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"242f36f019a188b1839d60c06a5be284616408ba","datavalue":{"value":{"entity-type":"item","numeric-id":190272,"id":"Q190272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$34E107D0-3C7E-4AB9-A7C1-DDA1341EA77D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$64CEE9C9-8953-4413-BA0C-DF6F1BE8A489","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9e86a8c56fde9f90dc8c251d5586de8d6671558","datavalue":{"value":{"time":"+2002-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532602$CBD7FDB1-2B29-4352-972A-BAD01B9B54E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71ffd46d863262176ebe048e3d7fe57fee1ada61","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.8723","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532602$EA046DFD-3D69-4631-A6C4-2A4F36F38ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$0DCA712E-AFA9-4439-9560-79C37137B4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$867C5A93-A678-4C97-8B29-635E72DC21B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$F3D4D2CE-689F-4218-BDF0-E17C4DAB5A00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32e831e5738c110b1aa4307bec56b2c0414d47d5","datavalue":{"value":"1749899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$0C3E09F1-1297-4CC8-A432-B8BCF19F7859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532602$919919B6-A6F6-4663-B272-9184F8B8E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0737eac123e6b5c09867e7a388b050fbf63553ac","datavalue":{"value":"weak fragments of Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532602$DC923D15-EF12-439E-BA23-A4F3199A409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb4696de9ddc80bb22737e4dce923792803b009","datavalue":{"value":"least number principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532602$9EB815F5-2123-4414-9D12-635295455DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532602$4634D5C8-6CA5-4483-833C-028809E73366","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":"Q4532602$52E45431-9CC1-4583-A910-7A27B68B06AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf4f24c02f352b6a1daa1a76a0793a61288f5cdb","datavalue":{"value":"W2043137360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$69B99F6D-797D-4D58-A65A-14E210B7309F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"580f986fb36576a01dfd47028d3e77571cc405d5","datavalue":{"value":{"entity-type":"item","numeric-id":1121883,"id":"Q1121883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$D28A7419-3334-443D-99E1-3ADE094624F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4425c7d09be6e4d246d4da44ee380bccc74b4770","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$5E5F3274-B9E7-460C-A20C-BA57E90BC7D5","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":"Q4532602$6B6BBF73-3404-4BCF-B2F3-D9D6DACBF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c0c4b13e5bbf2ae9fc3d1fd6731843b67af3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5937815,"id":"Q5937815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$83C67F03-EEE2-459F-8E22-351629F967EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2ccab9193bb053da1a9b2571d3b5f979d9014","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$62F795BB-EAEB-44DA-A440-12BAD0943FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88559a63a1c31b5a4a97af4cd21b41e1e98c56c4","datavalue":{"value":{"entity-type":"item","numeric-id":1355126,"id":"Q1355126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$FB22B6A6-CF00-4CEA-B13A-8867349743EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3166a1df231f17c0eace0ec4a3cd14533d6a0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":1095140,"id":"Q1095140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$DB157426-9330-47EC-AE44-0BA97185349F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$4860E010-01BB-462C-BCED-F795ABD22BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8934df35a6702ef84287877f53a5c5cad7bc6eb","datavalue":{"value":{"entity-type":"item","numeric-id":1196796,"id":"Q1196796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532602$CB09378E-3FEC-46B9-9612-D8CEB7EAF258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da07458fe2daf53d04109542cee561bbb42fd3b9","datavalue":{"value":"10.2178/JSL/1190150031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532602$74119C2D-8074-4E4A-B3CD-66DD79C5134A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc287e25e9cdb1bda67a79e41656a1ef6c3d107a","datavalue":{"value":{"entity-type":"item","numeric-id":1423636,"id":"Q1423636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97d91a77e5809081cb13c202cc039ada148c272","datavalue":{"value":{"amount":"+0.8118177056312561","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":"Q4532602$B4C310F1-7A14-4189-9B82-3E054272E300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cf38c3de34ad7cfd66c8b47fc2dcadc37c6e19","datavalue":{"value":{"amount":"+0.7660472393035889","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":"Q4532602$34A0B34B-E22B-41F9-8C41-3D67907709F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d802eeaa9173d1e2d1e827bacb320b5b1e808395","datavalue":{"value":{"entity-type":"item","numeric-id":2776821,"id":"Q2776821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cf38c3de34ad7cfd66c8b47fc2dcadc37c6e19","datavalue":{"value":{"amount":"+0.7660472393035889","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":"Q4532602$288896DE-51F6-45C6-87FB-899C74A4FE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53749888900a2133b4056d5653381c6868b1a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4808464,"id":"Q4808464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519117e7082f02ead1882373459d6d0a4e7dfdc9","datavalue":{"value":{"amount":"+0.7633441090583801","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":"Q4532602$2FD3F76D-8006-4DDC-955F-46A3B24455C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7661eec4135d4db476187d80408f2e3ee2b19821","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6204eece62cb2c0d826f5617947e3961eba95e32","datavalue":{"value":{"amount":"+0.7550835609436035","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":"Q4532602$EEECC519-60A9-42A3-B127-58A3B58E8704","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532602"}}}}}