{"entities":{"Q4320167":{"pageid":6349768,"ns":120,"title":"Item:Q4320167","lastrevid":47294305,"modified":"2026-01-01T06:33:36Z","type":"item","id":"Q4320167","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 713392"}},"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":"Q4320167$EF181C77-62B5-41CA-8FA8-D02D900FB390","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e8a02c181088980179025ab8997622d4c1986ea","datavalue":{"value":"0921.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4320167$7A29C8B1-4443-4420-BDA5-E378A8BF339F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"492181eb8aa44cbf938cfd60adb13b29525a6c21","datavalue":{"value":{"entity-type":"item","numeric-id":753809,"id":"Q753809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4320167$322CA815-BC45-478F-B05F-F34317FE7AC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c374f1f14c21df2f6c69ff33b3bb05ee47d4c53a","datavalue":{"value":{"time":"+1995-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4320167$D59FFB34-A776-4F78-B15B-2419395D5175","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4320167$02EFC05E-A1EA-4FCA-8FF0-0DCF063E42D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea8436528771a6e5053a852b2a0a538f53dc7faf","datavalue":{"value":"713392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4320167$2F118D79-7112-4F02-8B67-32668E37EAE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66774779206bb0c94f9d0128e9613daf49a41601","datavalue":{"value":"generalization of disjoint union","type":"string"},"datatype":"string"},"type":"statement","id":"Q4320167$1F1B6B24-25FF-4F0F-92A4-D7282F5AC864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4320167$B7A9C861-09B2-4DBF-B926-52C11F1C3075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309fff9575521b7ca8fc996e01f8ba0c6bf09e1d","datavalue":{"value":"closure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4320167$52120F2B-B37D-4DCB-A0DA-B7065CF9405C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c016621abfe8965879d06c6c7c95d9a281610fb7","datavalue":{"value":"separation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4320167$FD96383E-49EA-49EB-84F2-C8CA1D00F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20db846d1230a48527d6a568ea6b518c5aff32f9","datavalue":{"value":"finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4320167$0371F992-2E85-44F4-B204-D3A53EF8E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad5abcb6351bddd3f42ee0bc56c5138b69df1d8a","datavalue":{"value":"definabilty","type":"string"},"datatype":"string"},"type":"statement","id":"Q4320167$E2E6F78A-B6FC-4C68-88B0-49922D5F6148","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":"Q4320167$9A68CDE2-7CB6-4F34-8061-8E2ABD76EAEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3334a04a8230168326609830e6978b2b0080532e","datavalue":{"value":{"entity-type":"item","numeric-id":3313859,"id":"Q3313859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26e3da5c4379d244b5dc640a87b9a26c11af746","datavalue":{"value":{"amount":"+0.8269444108009338","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":"Q4320167$6D3FEA81-6F28-4EA6-A383-8960D0AC2FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f212ae99a3cf56dd4e198198d078763b42fbaa49","datavalue":{"value":{"amount":"+0.7216218709945679","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":"Q4320167$8CCE6E99-9545-401A-88A3-58BA2A663B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fc0a66963dfdac6a20c98ebb884f164fe2f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4945199,"id":"Q4945199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f212ae99a3cf56dd4e198198d078763b42fbaa49","datavalue":{"value":{"amount":"+0.7216218709945679","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":"Q4320167$44B47D97-AA15-4EA1-8693-9726C758209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44c22066071272b876955d8d6ee48dc9b8c3851","datavalue":{"value":{"amount":"+0.7173628211021423","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":"Q4320167$6CBB2A1B-FBEB-4562-809B-C96DCAD17D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4e0b458245bda34b9dc51ed71cd4994ea274ad","datavalue":{"value":{"entity-type":"item","numeric-id":3749047,"id":"Q3749047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da0e080b8285e6609de331c4d60d0d911ca5523","datavalue":{"value":{"amount":"+0.7134674191474915","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":"Q4320167$8525E15D-906A-4DFF-9FB3-781516A8387E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4320167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4320167"}}}}}