{"entities":{"Q4896531":{"pageid":6926110,"ns":120,"title":"Item:Q4896531","lastrevid":47418391,"modified":"2026-01-01T16:50:05Z","type":"item","id":"Q4896531","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937390"}},"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":"Q4896531$61EA5E6E-7390-4050-A995-B987A11836DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b73fbdbf25f45cbef65b14b29f8f1891dab859df","datavalue":{"value":"0862.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896531$7BF5F376-7D39-4623-9010-1BBA383C6F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896531$2AA03D01-F8AC-4381-A878-B9B7D61E1803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896531$9285C630-E0EF-4D26-B854-A0F90252776B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896531$33DD0F07-AA3C-4D96-B482-A2734E53A19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896531$01AFFEC4-8388-44F8-8594-5DE9E9187AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896531$E25F08F4-C5DF-4F4F-BD7F-7A41E92EF745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896531$4F5DF4CE-845C-4195-9A68-DB7E178F0F2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"808499239e684a8a3c465ca28a53f419b2ce68b9","datavalue":{"value":"937390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896531$744159AD-A5E9-4C41-9BC2-C2649382F99B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"434dd3940c6f66d43aa5e489684480d54f533139","datavalue":{"value":"constructive proof of Stone representation theorem for distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896531$28249678-4010-400C-815F-23770A1E52E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2c6836930f41ce04a15b89e6e9bf220a85c9080","datavalue":{"value":"formal topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896531$AA5D7F9A-C78C-4FAA-BFCD-3118BA12E00B","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":"Q4896531$21AD9633-E4EB-4FCA-8C31-1B0A7FDA480B","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":"Q4896531$7FDE5752-A463-441B-9A39-57DC03609F30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44897cddf7b1cc6259b2d554757f765246eb39e4","datavalue":{"value":{"entity-type":"item","numeric-id":949607,"id":"Q949607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c09cbbfff9254efc87b2811293c90f7446f627","datavalue":{"value":{"amount":"+0.8404653072357178","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":"Q4896531$D5CB3C87-835C-4160-91D6-7E43BB93AA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373d267fae3b998e7366516cd0d1d713a1e214f6","datavalue":{"value":{"entity-type":"item","numeric-id":4238433,"id":"Q4238433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38b60acf5e852bc868c55833c6b1a5b37ccb6d1","datavalue":{"value":{"amount":"+0.8104456663131714","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":"Q4896531$90E629B5-8D14-464B-8C26-CFC74690096C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b928bd32966eca9814af77f4c682b5d0068618","datavalue":{"value":{"entity-type":"item","numeric-id":4246953,"id":"Q4246953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc849b28860591dc23e4143edd3b028773d4b8f0","datavalue":{"value":{"amount":"+0.7916258573532104","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":"Q4896531$2CFDD992-0058-492E-A4E7-294F82A35B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0826fd62f78476accffaffe21ee071052a81f57a","datavalue":{"value":{"entity-type":"item","numeric-id":5310879,"id":"Q5310879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b5115064d1b844f8338291be4082da32c1de65","datavalue":{"value":{"amount":"+0.7819410562515259","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":"Q4896531$3C71D2FD-467E-427D-ACE8-CE32153633B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd01f9e866a676c97d0b8dbbe851d51a9c546466","datavalue":{"value":{"entity-type":"item","numeric-id":2386516,"id":"Q2386516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce049187e94e47400b526e5adfe8ad1dfe6e5c8","datavalue":{"value":{"amount":"+0.7560268640518188","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":"Q4896531$04EAABF8-E90F-41DA-8841-74C6706C1FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4896531"}}}}}