{"entities":{"Q4896536":{"pageid":6926115,"ns":120,"title":"Item:Q4896536","lastrevid":47418400,"modified":"2026-01-01T16:50:05Z","type":"item","id":"Q4896536","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937395"}},"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":"Q4896536$126FF96A-3F7D-4CA6-866D-9BD780C7FAE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"233fc6c5bd6d5b15a3740f48a285f9168d7d07af","datavalue":{"value":"0862.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896536$1AC1A0D2-DC13-47EF-9F7F-C83599915975","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896536$1B9FDD31-F486-4533-A3AE-E1B09C1513BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896536$E523C77C-319F-420A-84E8-49E8CFB3F25C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896536$20AE99AC-13D4-434A-8924-03A23052A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896536$8E5D7616-A10F-445A-810D-D1483C450096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896536$84D3F4FD-F971-433C-AA5C-C7C411C91FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50e40f43a3886f00f088f2a4d2b1a9de5c4d5094","datavalue":{"value":"937395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896536$39E537D5-B5DA-424C-89A6-6954783B0D1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4925f09203638789c6ff6353482ad6662192cc57","datavalue":{"value":"completeness theorem for formal topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896536$9A8D99B8-35F4-48C3-8C5B-F6D4A9A7C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e408a10baad34d2e02a00fd4694fdcdbac4f897b","datavalue":{"value":"constructive approach to topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896536$C0029C08-4D17-4C92-ACD3-92DA3A1FCBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba07892c54b20f0b9a09bf8d4002d05b77c89fe","datavalue":{"value":"Martin L\u00f6f's intuitionistic theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896536$95939CEB-CE41-40EF-BA41-DCDB4CBC9940","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":"Q4896536$19580DA1-7B41-476A-A33D-5E7AB465D854","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc622235aa796ec45cb84c15b5c83cf8620c","datavalue":{"value":{"entity-type":"item","numeric-id":3583800,"id":"Q3583800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcc1c12af34cfaf7c3d28c28619d3da9f5acf2a","datavalue":{"value":{"amount":"+0.7526440620422363","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":"Q4896536$FCBC903C-4624-4C47-95A3-8679B9CEE5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae82fb8630543a150523c4f3b1469a2d756d5e8","datavalue":{"value":{"entity-type":"item","numeric-id":1765104,"id":"Q1765104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d6c295c4a1bd8cabfa40f16735eed974e0c667","datavalue":{"value":{"amount":"+0.7486037015914917","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":"Q4896536$97C30E80-F35B-44A1-A8F4-990719CBC427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cedba991ac1ab1dc0caaec802a61e26d9a0bdce","datavalue":{"value":{"amount":"+0.7479559183120728","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":"Q4896536$C76F619D-ADAD-4E77-9C1F-447F30E16D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea0517dc2add87c909209540f02ec4c45dad178","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346ece07f0a72ac4704887810afc11c7cee60834","datavalue":{"value":{"amount":"+0.746049165725708","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":"Q4896536$B32F574E-D558-43D4-977A-5FF42C85824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8ce216893ee934bc545d13b22d482675822fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3822158,"id":"Q3822158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e023465bf8a980ec6ef16a8e0989ca7cc0246fd9","datavalue":{"value":{"amount":"+0.7433481812477112","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":"Q4896536$9101F2CE-FC22-4CA7-817D-60A1CC50600D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4896536"}}}}}