{"entities":{"Q3964565":{"pageid":5994470,"ns":120,"title":"Item:Q3964565","lastrevid":55119667,"modified":"2026-02-03T20:49:25Z","type":"item","id":"Q3964565","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786776"}},"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":"Q3964565$14F458A8-2155-43C7-B747-A9FF5970B0CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d26cc8edb951f8cfd9d1af1e3788852bc892270f","datavalue":{"value":"0499.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964565$31242F75-1E8F-4BA3-8632-E81505BE30BB","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":"Q3964565$2B32501A-9678-474C-8E3C-0B2E9B5DD99C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964565$5DF1A356-6550-4781-A872-0ACA7DB427D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964565$8560E2CD-496E-41BB-911C-DE56EC758F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"779d926a32b9ab7156b4e90d72f80583fc375441","datavalue":{"value":"3786776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964565$036DDFA9-27F6-4C58-B5B4-BBBED34E5262","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6377cdc2bb4424b244e7123cb4ef14302e708bb","datavalue":{"value":"extensions of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964565$DC9650C4-CB95-4DA5-96A4-A82623D77303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af8e02dbe55b7a3013123997fd297e932e284e2","datavalue":{"value":"true arithmetic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964565$4C01FFA4-BEA4-420E-BA0C-F33E3A170DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd59f25e703caf87f744a450f007ddeacb16a86","datavalue":{"value":"local reflection schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964565$A0E5210F-91E4-42BE-BAB4-95A4816D1D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932ec3818e7695eb12b887aac8ead6d01626d7ab","datavalue":{"value":"heights of finite Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964565$D462E6B1-5E2C-4280-BCF6-5171E6B1384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964565$16810E30-E4B3-4F9F-921C-06B9018E3E37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964565$63E0222F-906D-4C8F-896D-E0A53F867934","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":"Q3964565$E8113D93-9082-42A8-A2A5-4007537A28F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3964565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3964565"}}}}}