{"entities":{"Q4883281":{"pageid":6912860,"ns":120,"title":"Item:Q4883281","lastrevid":46437939,"modified":"2025-12-24T19:10:44Z","type":"item","id":"Q4883281","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 895270"}},"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":"Q4883281$9E985934-70EB-4EB1-A5A1-7FE99A37FB26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3b870c33d4d93178feff70dca358438a39b9c2","datavalue":{"value":"0849.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883281$A58023A2-6ACD-4947-A426-803450CDA292","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ac3b7757105638e2e981935299079707489bb22","datavalue":{"value":{"time":"+1996-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4883281$BF47D381-B75E-4611-A385-3B4B80EF4B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883281$1FD695D2-B2BD-4ADC-82B6-06B429F20BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5d682795ed73fbbdf1174d26ebb7d41f70b47dd","datavalue":{"value":"895270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883281$F6DA08FC-13D2-45DB-AB27-22E401BBA58A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f10c41064384fcf055f75530010cda63ebbc1a","datavalue":{"value":"qualitative domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$BDDCDF84-CBA8-4FF5-9E88-E8789F3A8432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0440ebd05d0102a2572dc6ffa607b87acb8e37a5","datavalue":{"value":"universal domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$6B80ACF8-D4F2-4267-9512-867265C1346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$F0D4DA2C-F2F5-4E80-8B1B-2145D2F0B93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$2BE3422D-09C5-495B-9E37-A67F53724F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55bf95d912baf9969af286000b6c1b1a426f3ded","datavalue":{"value":"constructors of Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$746CB4BC-D3E7-4AC4-852F-F4D10DBC9E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490a4df8c4728376529839a32171400699bfd889","datavalue":{"value":"dependent sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$0A2BCB86-6CDC-4947-849C-97AF70479600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2239a348cde6f396a22a2926c05d930faf4dbade","datavalue":{"value":"dependent product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$CFD7190F-5359-4493-A57C-027339607403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883281$81EFE427-775E-42DA-9F74-B48451A0D6D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e7502148509557576dd7d15218a1a612c5e1fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1374673,"id":"Q1374673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4883281$CCFAE00C-566E-4C83-9443-5BAA8C193303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4883281$96ACE3BE-CB69-4778-83B2-84879C2A0E84","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":"Q4883281$3492A09E-C64C-4C71-839D-E6CD06ACB559","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea27bdfec2ba133868d47d02bd5dc4fb070c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797c7f7bb700eb4d15e2da1bdcffc0898c940c1c","datavalue":{"value":{"amount":"+0.7892560958862305","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":"Q4883281$A4498473-C31E-49FA-BD1F-51EBADB117CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e262febb2f183ed1be6190cb0cb20f29e3032f6f","datavalue":{"value":{"amount":"+0.7868590354919434","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":"Q4883281$E402B86B-F34C-46C7-9863-65DBB646B742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2298c82adc848bf3a76e9bc5b8f5f269661d2e","datavalue":{"value":{"amount":"+0.7795923948287964","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":"Q4883281$FEDEA348-A36E-4737-8C1C-B38D14D4C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7077bcdcfdbb1afc2c28fd4777a92925dbd296d","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73c61b52d302d54a2f5d7cf1f76888b8e152d63","datavalue":{"value":{"amount":"+0.765152096748352","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":"Q4883281$B9FE67A9-C6DE-44EE-B3AF-6EEE35E74DA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4883281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4883281"}}}}}