{"entities":{"Q5202987":{"pageid":7232558,"ns":120,"title":"Item:Q5202987","lastrevid":49491445,"modified":"2026-01-07T07:17:15Z","type":"item","id":"Q5202987","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197953"}},"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":"Q5202987$EFFEB109-3862-4256-9F48-F39669DF0B8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"778cf8cdce248ad84f611a2b3be56f7dcc584ec0","datavalue":{"value":"0726.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$988A1CD8-2B6E-466B-8940-5E826DB7CF0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202987$0AF88B52-2AF6-4C3A-84C1-BF3F74428054","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5202987$AE45ED46-0C13-49B7-A39B-DBD92DFAE27F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5e2eef0cb10f61eb3a7ea1266e32fa9ca3e4b29","datavalue":{"value":"https://eudml.org/doc/118157","type":"string"},"datatype":"url"},"type":"statement","id":"Q5202987$2420B718-0ED5-4DE8-A152-1FD4FD4730B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$79252EB1-E1BD-4F2D-8CA1-325B271596D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$9F6CFFAE-5D3B-48D6-A909-11AE147BC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$41F7CE86-95F7-4DF3-BEF3-2D973EC4D396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$E4D6860B-A508-4501-9584-A6661BA0AB79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c344c2b105b543d332ca1e019a6bf1781652adbe","datavalue":{"value":"4197953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$B2B8A053-1D2A-4F76-B063-E3D5BF84F4DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202987$30C0B618-786B-4079-AA2E-EFC42AD73DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202987$0DD9EF69-AF72-4A24-8618-958E2E4E48C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80c20748a0e652080a28eb8bec6827282032b37","datavalue":{"value":"modal translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202987$4B8D918E-702A-498E-A3A2-3F05EA7A2716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5bb0e608bcd3bf87351f5b2bb5b9db64257f49","datavalue":{"value":"normal modal system S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202987$B626A8A8-ACC2-470C-BAB9-A837452068CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f9483f89657b70d958b89f0c728e045f1a6ba0","datavalue":{"value":"extensions of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202987$68A45D8A-5E41-450A-85B3-0A34B08B8FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202987$DEBB8E66-438C-44B2-B2C9-5EAD7DBF5C5E","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":"Q5202987$F9E2A866-B898-4852-855F-0C5D033A1108","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a88941560ecc5afcfc3fcee22121c67f7ecceac3","datavalue":{"value":"bafkreiab57n6b6tuyqezzrgcgvff7ojn7y4tdjq4zeccwgll4rgmgtt6xi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202987$214E6B8F-C59A-4083-AA98-FE6011D48247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aee1ec643e5899bfb767d365cb9a9ff68993f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3745828,"id":"Q3745828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de65b900567458d854bd1d50f897b13bb30b533","datavalue":{"value":{"amount":"+0.8450026512145996","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":"Q5202987$F0878807-598B-4635-BB92-9B1D44B0D76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea17d8319106036189dd20e04075299f94c7a36e","datavalue":{"value":{"entity-type":"item","numeric-id":4694248,"id":"Q4694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027e2c1261489e07565d6a57b15d36a028591d04","datavalue":{"value":{"amount":"+0.8294099569320679","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":"Q5202987$E94D84CA-E815-49DE-93F1-FC9A191A5B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b53a09cc11c89540fa24be28f8e3377cdc769c","datavalue":{"value":{"entity-type":"item","numeric-id":3764127,"id":"Q3764127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986c8ee64471d3ca56ddd0a227f89720b8246146","datavalue":{"value":{"amount":"+0.8259491920471191","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":"Q5202987$5DCAC4A5-F1A8-43CD-B7D4-E8769ECFF5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e26f8508d95ce06901fdc5191ac7b366f0c517","datavalue":{"value":{"entity-type":"item","numeric-id":4329242,"id":"Q4329242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b15ceccc32a60761372590a1ccb2a252c830702","datavalue":{"value":{"amount":"+0.774332582950592","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":"Q5202987$15E5528B-3EC0-4E59-BC22-DB142DBE2521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b2fba66e53ff81ddddc511719b39d326113c99","datavalue":{"value":{"entity-type":"item","numeric-id":3803087,"id":"Q3803087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cada598e654310ea3c957b13cf343f273f9e128c","datavalue":{"value":{"amount":"+0.7715573906898499","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":"Q5202987$5FD94368-91B5-4018-82E7-E74B6262BF64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202987"}}}}}