{"entities":{"Q5283422":{"pageid":7312996,"ns":120,"title":"Item:Q5283422","lastrevid":58520913,"modified":"2026-04-05T14:09:46Z","type":"item","id":"Q5283422","labels":{"en":{"language":"en","value":"Type theoretical databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751234"}},"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":"Q5283422$FF86F7D6-0E35-401C-9846-30C0F0E0B42D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d88332e01c93ac973f944b27bafcd127573f948","datavalue":{"value":{"text":"Type Theoretical Databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283422$260B45A4-06F2-4C0A-A45C-365C3C6129AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"119ea50a682f88980db65f9218c19ee56395dc7f","datavalue":{"value":"1474.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$F43D5C69-60AD-48DE-BB32-A956A23AD72A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e1a7717ce0a88cd34a0c8a69aa49f0874993eca","datavalue":{"value":"10.1007/978-3-319-27683-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$ADF403BF-D1DE-4878-B62D-D3B06D92F560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e65c852f01b30316629c90f6ce7af494cee2b102","datavalue":{"value":{"entity-type":"item","numeric-id":1935869,"id":"Q1935869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$52AC5E39-DB94-4343-A95D-6A4CDEC34EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1ed88ea0a547b9223ca35db4366e46e5ece60d","datavalue":{"value":{"entity-type":"item","numeric-id":4692083,"id":"Q4692083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$4E7462FD-C327-417A-8A9B-5D7D746ACBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fbbf69258f6d48525479abc15deea1d10693da4","datavalue":{"value":{"entity-type":"item","numeric-id":618739,"id":"Q618739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$C4AD014E-BBE5-4C02-9F14-6F27F61A7F1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$A0811CCD-F513-465E-90EA-DF449593C6AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283422$07521FD6-591A-4413-A0C9-EDA028C0AF13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbd56823a11bc46ac50dde193437e1033b5646ac","datavalue":{"value":"https://arxiv.org/abs/1406.6268","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283422$6FB59D10-8EDB-4C58-8668-E2E9DF4D9AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea1c26c9b911639636d83658ad02af26370bb5f2","datavalue":{"value":"http://hdl.handle.net/10852/85289","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283422$CC8BB1D6-8379-4924-8A7A-5496F56898BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$11453022-DB03-4914-8439-414D6E7468C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$F18EF67E-B76F-462A-8B90-67ADD08CBDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c7442634c6d8cafb76c4ee63fbf3377fffd6458","datavalue":{"value":"18N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$15F20DD6-2B01-4CAF-9623-2D94B5EE9DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$8A1C3D5C-035F-4996-A408-59DA09B3A8F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b5e8a49e90be606710e75166dfb1e7fe8f832f5","datavalue":{"value":"6751234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$49DE6578-B64C-4A80-B692-59073029CFA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283422$3110AFB3-5C87-43E8-8DD7-5B4767C55B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133420bd8ecb43ae9c8a8a6ecaa5316069870b2","datavalue":{"value":"simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283422$814A5103-5FD2-435C-B0B5-4E20DD66782F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781db5f810100b1c75183665ffe0c10b181c915","datavalue":{"value":"relational databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283422$B211889A-E254-493A-907F-4F107BC29BA1","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":"Q5283422$EDFFAD22-51D3-4803-B571-8CDBCADB29BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2e81db46f53cafdd82ec5da7b639137e2a49824","datavalue":{"value":"W2963574586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283422$A25106F0-9E8F-4912-9546-9CE85861B0FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$BA9401B6-2354-401D-9372-8229956D6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5046c20b1f4bb7eec9389598ae05047c876c4a49","datavalue":{"value":{"entity-type":"item","numeric-id":3026387,"id":"Q3026387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$7D5D71EF-9702-4675-B7F2-FC6835F75D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25e4d77bf8ba07af9384a3ea99d14b005c3e318","datavalue":{"value":{"entity-type":"item","numeric-id":5283422,"id":"Q5283422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$130CB0D4-93FB-4EAF-BE35-7B3CAE4F57B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332fe6b755e7ef8965aa14f567f1186a5eb2ae3c","datavalue":{"value":{"entity-type":"item","numeric-id":422031,"id":"Q422031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$22E059BE-59DD-4001-BFB6-656E929404A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$E96B117D-5BC1-427B-8CF2-8F6339B479B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$79199011-6AD5-4259-B1E7-EFEC6B9812C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$5736C53E-1051-4F7D-B11F-43CED0EF5434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283422$3CE0204D-FC8A-4C5B-9DF7-846E2C8B86E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402e7b29bb1db4ef58143fb37df9291cf5e7af47","datavalue":{"value":{"entity-type":"item","numeric-id":5108023,"id":"Q5108023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fa44650837f615390fa9b97f0de46faa7bf238","datavalue":{"value":{"amount":"+0.9888688325881958","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":"Q5283422$28B31AE4-CA05-41D5-9FD6-2256F05280A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c893a84ec6d0c2ab7f9c36b9ad86c6214343e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2981748,"id":"Q2981748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a2bad9a0537d8338d1cba18d468005565a8527","datavalue":{"value":{"amount":"+0.7731127142906189","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":"Q5283422$55C70346-9781-4606-B13F-E3AFECF0C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95eeec525ab8649cb3390a4c04f450be130d7444","datavalue":{"value":{"entity-type":"item","numeric-id":714735,"id":"Q714735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0c1ba9757428ff635baf7a4a978fd685dadf27","datavalue":{"value":{"amount":"+0.7639085054397583","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":"Q5283422$79206086-B3CE-4AAE-A8E7-5C9E4E8F4684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646619420ee2e181582a6089681572d9e0ab80c4","datavalue":{"value":{"entity-type":"item","numeric-id":4510742,"id":"Q4510742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def91198bbf39d138039ecd7ea9bca0fcefa80fb","datavalue":{"value":{"amount":"+0.7623728513717651","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":"Q5283422$AF297120-18D4-4761-832A-3FE5DF41EEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38f44e97fc730504359e35901c56c68f3f7798d","datavalue":{"value":{"entity-type":"item","numeric-id":4490753,"id":"Q4490753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8f780a382d6c1c0db3833d8a9369ee358bacf1","datavalue":{"value":{"amount":"+0.7623726725578308","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":"Q5283422$B443167B-1061-4FCD-B5AE-CD3A13CACE6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283422"}}}}}