{"entities":{"Q4879903":{"pageid":6909482,"ns":120,"title":"Item:Q4879903","lastrevid":34161297,"modified":"2024-05-24T10:24:51Z","type":"item","id":"Q4879903","labels":{"en":{"language":"en","value":"Bimodal logics for extensions of arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883461"}},"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":"Q4879903$E3366375-1B30-4E5D-B063-3CC42ECDB86B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6120c9ecb787717183e02b556f3655cfcefa57f","datavalue":{"value":{"text":"Bimodal logics for extensions of arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879903$B493AE53-F773-4645-B90C-878F8619B292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd399db765bc783b2f6eec70378c6ef4a05c648c","datavalue":{"value":"0858.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879903$6D4D8C1B-5152-4966-B2EA-34E47FEB6215","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e589fbf1a0334b4d68774fc217cd67924106a572","datavalue":{"value":"10.2307/2275600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879903$81E0F66D-CDD4-47AD-A614-B19B0078FFC3","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":"Q4879903$3316382D-0D06-409B-A40A-24A52FE9E338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d27e2971fbc9cfb986491ff590c4e095f1799e7","datavalue":{"value":{"time":"+1997-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879903$E1C4630E-DFDB-49C4-9EB3-21CA9A3F5535","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879903$C102FCD1-E40D-48D6-B9AC-0548C81401A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879903$BDBBA675-C6D0-405C-A674-B0C6F3C5F7BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"801f903f88d06b7009926e3724535f6bd10b25c9","datavalue":{"value":"883461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879903$85616C13-80D5-4BE5-B159-3F454B5398F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2409b4fd174c9ffd3928f6641c311e83dcb934a3","datavalue":{"value":"recursively enumerable arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879903$CF5A3A71-EE61-4E9A-94CE-F1D00374E7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc013fa250b68e4bbf2dc4f5215b9cd852fffa9b","datavalue":{"value":"bimodal provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879903$24610165-800D-422E-A8BC-98BAB50C86CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879903$1B3DC57B-19D8-4980-90AB-60690D5396D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879903$29190D17-C899-4457-AC2B-24CAFF6AC332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$86C95795-E579-40CD-9862-7DDDAC841C65","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":"Q4879903$0CF34423-2E76-4F4B-A556-CD004B1690A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d4865b9f99e0905c7132605caf54a82938538a9","datavalue":{"value":"https://doi.org/10.2307/2275600","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879903$91638200-41B9-400D-AA7F-671FE3F83977","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d23f3066eaceaf8f869486a10e3f0ab3593a519","datavalue":{"value":"W2165953467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879903$557CC37C-9D36-42A4-9237-0A02B6666F6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$9FCB02CE-6DF1-4CA5-9CDE-A06502C27EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$8E0B6502-5319-4826-9DF5-9D889A2F2E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$67C73B3A-829D-4249-85EB-E7AF86DC465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$9AE7940C-D722-405E-868D-6FB3E492979C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$A2590E27-0599-4F2A-9B9E-5E27B703D7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1668273eb33266e97223b2479b5afb80945b345","datavalue":{"value":{"entity-type":"item","numeric-id":1344434,"id":"Q1344434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$B5C04606-D974-4F00-9AF7-9FFC52400FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4738c2a117f561e52657f7870a152b66a3a08a","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$5D2827E1-CC73-4B67-BDA0-BBE564456B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$7509704C-B842-4BA8-80F0-D48740004755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e777158c9f8457220e13a07244295aac671a","datavalue":{"value":{"entity-type":"item","numeric-id":5575557,"id":"Q5575557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$8726276E-5A52-4155-8F9B-45A89C71EFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ce2e1be7062ada793624a42c35614af512a31e","datavalue":{"value":{"entity-type":"item","numeric-id":3760515,"id":"Q3760515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$6933AEEE-754B-4CB5-A396-127E77788652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af45ee1ad3111a50a2bace55c07e1900e5ee6f5","datavalue":{"value":{"entity-type":"item","numeric-id":579232,"id":"Q579232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$6EFF9D05-BD2D-4670-9202-372F92F71409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d558c00f30291bc883563882c953842e78b4ad5","datavalue":{"value":{"entity-type":"item","numeric-id":685073,"id":"Q685073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$A252408A-4E73-416F-A658-A4CF1D2FCC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1540adaa2892b49b62abc6e74327970633e8f1c","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$B3D2B564-74AE-41C0-9A49-E053F708EA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$6BA8ABFF-56F7-42BE-8A45-AE4DECDB8748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3ad4bbff8e140149c73f6e10164e1934ee6283","datavalue":{"value":{"entity-type":"item","numeric-id":1332858,"id":"Q1332858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$5690DA54-9E13-469D-B3D6-B445EC8454C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779186db0d2d0816b0b59cea24824e8abcc730b9","datavalue":{"value":{"entity-type":"item","numeric-id":1891253,"id":"Q1891253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$730496CA-654B-4C84-9700-1031794C2321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879903$B5176051-447C-4ACF-8065-4FDBB7A601DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879903"}}}}}