{"entities":{"Q5022925":{"pageid":7052502,"ns":120,"title":"Item:Q5022925","lastrevid":57188841,"modified":"2026-03-27T10:26:12Z","type":"item","id":"Q5022925","labels":{"en":{"language":"en","value":"Model structure on the universe of all types in interval type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7460115"}},"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":"Q5022925$9A267CAC-476F-48C9-A9A6-4D2E28F2AAF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af2b6695a529faf2c348b418797d66cfd320964","datavalue":{"value":{"text":"Model structure on the universe of all types in interval type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5022925$8A269F1D-38F0-48BE-B885-879591E4D832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11894c78535a2b4ea2f165beb8f0e9acd5b77ce2","datavalue":{"value":"10.1017/S0960129520000213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022925$69090002-3D62-461F-AA9E-DB296FD79759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb8671b5b74811c81f29e2d55dce0ba176aa70c","datavalue":{"value":{"entity-type":"item","numeric-id":1791138,"id":"Q1791138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$A47E4F80-7318-49F3-848E-B1274D8B8BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$167691FE-2D54-4298-B233-950D33F55659","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$BDA73492-67C3-4402-8426-7F844BD7FE0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebd861193c3ac4410ae533f47c231ce1f6035942","datavalue":{"value":{"time":"+2022-01-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":"Q5022925$549322E1-92E2-49B4-A98F-649C755603F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022925$46659097-81E9-4092-9D99-6BD2E4E17693","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"223539175a7ca1a4c89c10ede8a31546a6c87d30","datavalue":{"value":"7460115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022925$9993EE6C-CCE2-42FB-841B-2120852DC892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022925$7D657019-C733-45A2-92F8-0A581F2D2FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24458ee539115f9df9820d613461bd91563b1495","datavalue":{"value":"model structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022925$F8C0B0E1-6EDD-432E-9A30-6393811ADC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec9fe1ef481d27047d08f993dc37e9b2c56cdb4a","datavalue":{"value":"fibrant types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022925$0DE1E906-8A6E-4220-A3E4-B04B071588FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d28c763f4ded1d4b855d896d7bc27e0ad4717c7","datavalue":{"value":"interval type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022925$D0713B16-1C9F-4328-AD2E-A864FA024B11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$217CD77C-0125-48BD-B08C-0F644285D17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$DA2B9264-7BE1-415F-909B-A9D93509765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70ecc88dbe8ae0b3981f98a8d0dfe72c1cf716a8","datavalue":{"value":{"entity-type":"item","numeric-id":46473,"id":"Q46473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$C6D884EC-0D90-4A3C-833A-FC72C38AB5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$A9E53E5F-9349-40CF-9A16-3E13A00FF510","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":"Q5022925$B4B83B54-D36A-413F-A8CA-4A9BF4A27D34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$5505C9D6-AE1B-4EE2-BFC4-3577F2821BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbad67c372b78d4e89fdcc7d1bf3491d1269881","datavalue":{"value":{"entity-type":"item","numeric-id":5278407,"id":"Q5278407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$B41A1F68-A09E-4E4B-8C32-DA11F58B2EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3196c52ecefe6bbfc4fe1f8084810a6dceb61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$4EE9EB47-2C3C-4D95-93CB-2EC39F94F4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$8E26A586-B874-4E3A-B634-9641D2B6FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2474dddf4d0718a97eaa90dc970e977a75057fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$1AF2DB48-FD0F-4AD5-9C08-94C99E46DA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391aeb8b96dc10482046e802c462ef5af9a88ee3","datavalue":{"value":{"entity-type":"item","numeric-id":5277833,"id":"Q5277833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$6BA9DE70-0E0D-4B68-9EDA-092F957BE214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$1486F260-001F-4B5B-870C-55CE6E7A2225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$1A5DF815-39B6-4E50-951E-E9BDBB55F675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$A47BB650-BF56-4FCB-BCF8-4707B4E99A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$92E2B0BA-F19E-4B49-90C8-4D1F345DAF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$45153755-F103-47E5-8922-D315751DDE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$D1420716-F439-49A2-9265-E278C0C8B84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48993ea9945f8ab06330f06e825d5780aa43c4","datavalue":{"value":{"entity-type":"item","numeric-id":5428640,"id":"Q5428640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$8B5BEBD1-F8AD-412F-90A0-3529E34E43A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$84F0C51B-29BF-4D64-908A-0BDC1DDC6F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$0855DFEB-9291-4169-A8FB-9FD2157876D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d71d26e466e0e250d946a4995d441465f07c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$80B5E6F0-8B21-4779-8B26-D5948872878E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289ab5ea3338f7c7e8e70f9e0a2117be23a476f4","datavalue":{"value":{"entity-type":"item","numeric-id":2974664,"id":"Q2974664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$9A28DA06-9966-4BB9-9283-44245A03682C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ec3e75bee04b7003473c39b424f82e083ec7f7a","datavalue":{"value":"https://doi.org/10.1017/s0960129520000213","type":"string"},"datatype":"url"},"type":"statement","id":"Q5022925$68FD9AAD-B2DE-4688-930A-05A9C7C40E7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5004d04a5ce0e9a141c9ad2144025d6aa9fa6b65","datavalue":{"value":"W3119304695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022925$4CBCED5F-89A8-41F0-BB3C-3A14FB06A113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de9f9775bfb6732028a05d09009c5c4af0bb64a","datavalue":{"value":{"amount":"+0.8052749633789062","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":"Q5022925$CBC327BF-AC64-4514-A15F-66B86D9666E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb60628d719ef645f81c624eef87ae06c3320f3","datavalue":{"value":{"amount":"+0.788402795791626","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":"Q5022925$4E4003FA-B31F-428D-B1C1-C984C63A47A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1092b454bc7bc5eafea5030fd4fae8e4a665f2","datavalue":{"value":{"amount":"+0.7855704426765442","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":"Q5022925$F47E5D2E-5BD2-481C-A6DF-BF47945F8BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae52aa79f5fcc91db71ab6de0d9b0489e9e3a76b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fb199a5932a309af08849a09e14f20e23b2bde","datavalue":{"value":{"amount":"+0.7838636636734009","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":"Q5022925$597DFA5B-D36A-4DC1-A938-9563B9216768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78b3c47873abd755402e2604bc3fa96c4373859","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418b08288d02f87e10175888188847fbec8bce46","datavalue":{"value":{"amount":"+0.78055739402771","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":"Q5022925$CDBA8910-F588-4554-A956-5D4E9891AD28","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022925$75BECE1F-7184-40C1-B5D6-122F96D1FB41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5022925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5022925"}}}}}