{"entities":{"Q1407560":{"pageid":1418300,"ns":120,"title":"Item:Q1407560","lastrevid":48176914,"modified":"2026-01-03T21:11:05Z","type":"item","id":"Q1407560","labels":{"en":{"language":"en","value":"On the formal points of the formal topology of the binary tree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982489"}},"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":"Q1407560$21F38B3F-5B1E-40F2-B89F-CEEB34393C2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48183dd9e52436b48bfe01bb84d0482b8264c88b","datavalue":{"value":{"text":"On the formal points of the formal topology of the binary tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407560$D7D075EF-C119-47A4-B24E-23796CD12BCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03757be9b89bb64a8d8c79c9fb4bc20e6f99be1a","datavalue":{"value":"1024.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$81D51858-944C-4211-9773-020D8D3B46B6","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":"Q1407560$0BF7A863-3291-41A0-8B90-AC5FBDD9AEAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407560$D6A3F888-36C3-4D89-945E-063377694782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407560$04BAF9C7-5839-43E8-A62F-8B9499052106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$8D2EE13A-E5FD-4DA4-957B-DDD90BB80F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$9A9B9311-F1E3-4FDC-B709-B4F5D110C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$92F78C23-19D4-476D-8BE4-7C5A0779E334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$FBC27126-3C60-4233-AA6B-3E4C876FB286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35cf6447a67c0da73fc35885419557167f6d903c","datavalue":{"value":"1982489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$FB4C8D6B-7D8D-4DD4-948E-130BFB08F2B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407560$E3DAE55D-9B1A-4237-89B4-73DEBE6A9DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407560$394546B5-296C-4A4D-B1EF-BBE34C5E3206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326e070f112846d1b917caaa0cc59a13d33f2d84","datavalue":{"value":"formal point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407560$7F261367-7390-418F-A717-A201F1372D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a97dfc4cdbefd3f57d99769e73315eb8add0b3f","datavalue":{"value":"Martin-L\u00f6f's constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407560$61FBBFD6-915D-4C4C-8894-60C64856E7C7","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":"Q1407560$5CB50B0F-447C-400D-9922-EB003B079F85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41f00f2d0f83055206b7a3e34bb496ce0178889","datavalue":{"value":"https://doi.org/10.1007/s001530100133","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407560$C681B3CB-075D-4E3D-BF4B-FE1EA8D6E462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98b96dfb48dfe4b8a0fb8bd507d9c95788bc3695","datavalue":{"value":"W1995866419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$05880D5E-92F2-4DBA-9B99-579442B7F58F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c56ed07be1349076651b45c7a472a8a8178fb51","datavalue":{"value":"10.1007/S001530100133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407560$E11BD8DE-C333-46E5-B095-90AD606CB479","rank":"normal"}],"P1643":[{"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":"684176afdbf0171630000f2046d2a75bc00bb850","datavalue":{"value":{"amount":"+0.8246749043464661","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":"Q1407560$359B78AA-FFC9-4A67-ADDC-DC94782B12AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ccc6872f92ba7a5182ef3e701fee32e51c374f","datavalue":{"value":{"entity-type":"item","numeric-id":4693262,"id":"Q4693262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f5a57b0588d27f8da0d7dc9f06cda2b29a1c4d","datavalue":{"value":{"amount":"+0.809002161026001","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":"Q1407560$B1761204-8DE5-4A79-AC6A-CF09CA798356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7586d092379550cbf3d4290f11a021ca15dd71","datavalue":{"value":{"entity-type":"item","numeric-id":4944859,"id":"Q4944859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f5a57b0588d27f8da0d7dc9f06cda2b29a1c4d","datavalue":{"value":{"amount":"+0.809002161026001","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":"Q1407560$F04F5270-E6D8-4B36-8022-8A3D94B20AB9","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":"bf8be596e8a74a4d87f50ac319e62b9981c06597","datavalue":{"value":{"amount":"+0.8023398518562317","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":"Q1407560$44C5273F-200A-4426-B00F-45BF16F79FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2004bf5bcbb287c1afbdb6cb4a6ad04ecbeb44ee","datavalue":{"value":{"entity-type":"item","numeric-id":5718569,"id":"Q5718569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d47eafa9b771ecb247269160efc402788bc10b","datavalue":{"value":{"amount":"+0.798710286617279","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":"Q1407560$586D0FB2-B67E-45D0-92BF-DF18C8006EF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1407560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1407560"}}}}}