{"entities":{"Q5096258":{"pageid":7125834,"ns":120,"title":"Item:Q5096258","lastrevid":54382100,"modified":"2026-01-26T17:53:25Z","type":"item","id":"Q5096258","labels":{"en":{"language":"en","value":"Independence results for calculi of dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572040"}},"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":"Q5096258$51613B32-D918-4D54-ADBE-36B074AD4D8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cb3b845d734952dec680571fe4d7c1b6a9fd256","datavalue":{"value":{"text":"Independence results for calculi of dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096258$A20D9667-1212-4BEE-B6A8-375E6D995E37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1153fc9518168b40e0d84bdf3c60306b9cfa7585","datavalue":{"value":"1496.03266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096258$7D878F0D-6E7F-4A85-98C2-E4811106DC97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096258$DA7D2B4B-C64C-487B-9372-A0C8AA9E8624","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096258$A1F9DFE7-7F35-44C8-B5C4-42A0AFC44C66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-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":"Q5096258$B1652DB0-958F-4CEC-82BA-CA1B9D935BEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096258$DBD1E994-FA4D-4760-987F-BD92FE6EB5E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7077855a731942327099d79ff62087016a09ce5e","datavalue":{"value":"7572040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096258$C17A40CB-DC39-47D8-97E5-E6F17433D94C","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":"Q5096258$3AC9C66E-6121-42D4-949D-0A3AFBAFAABB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096258$75A8E24D-7F0C-459F-A478-0F0487B45653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096258$AF0EC26A-76E5-42F5-97BA-7ECB71FC3FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91acc10d9280ae3d49da96b6130063e041a3319a","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096258$C9796A5A-B9F3-4229-BC7E-F1FCFB6421E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b863b2827f538761747c32d6629faa407d53e9","datavalue":{"value":"https://doi.org/10.1007/bfb0018350","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096258$7DCE4C7C-7C86-43E5-B6D4-DE323203C952","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24801b2dae61dd0ee739b2b00a82c32343fd5866","datavalue":{"value":"W1542254428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096258$6C20B4E9-35CC-4896-8C9C-5A8F3563FF16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8be93deac8ca78a5672caeaf1a75e5a1da068d8","datavalue":{"value":"10.1007/BFB0018350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096258$33D8DE78-6741-4D35-94C3-57319B6235F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5348f7970ff00c39fd4396ee481e25d5114de055","datavalue":{"value":{"entity-type":"item","numeric-id":4006238,"id":"Q4006238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a6ad01b373b08b5b2bb7f8a9350e7bd1a07c0e","datavalue":{"value":{"amount":"+0.9434041380882264","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":"Q5096258$74CE031B-61A6-4BAD-9194-BC7B64724A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be0b91bb51238d47e78566ec7c82225cb0d777","datavalue":{"value":{"entity-type":"item","numeric-id":2311883,"id":"Q2311883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2cc6e0ed9d108ce52541a69ea9611a619b9b39","datavalue":{"value":{"amount":"+0.9419776201248168","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":"Q5096258$834B7F88-7331-4245-AD8B-E1FEC55C3572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aebf838e3058a83e19757bd49c183a8933d443b","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e6d5663ebb19da705b6a00ca0ebb4c0b7d12ac","datavalue":{"value":{"amount":"+0.8174368143081665","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":"Q5096258$864E8641-A33A-4544-8E61-80D3F0E1A10C","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":"e6b8fce15eb7ea545e564caecdadcfa8e669b0b3","datavalue":{"value":{"amount":"+0.774596095085144","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":"Q5096258$164F9569-2A7C-4EE0-93F2-655051BFB1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557fe52cb2d789e27e0fa76724761dbafd3d5f21","datavalue":{"value":{"entity-type":"item","numeric-id":4647584,"id":"Q4647584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b8fce15eb7ea545e564caecdadcfa8e669b0b3","datavalue":{"value":{"amount":"+0.774596095085144","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":"Q5096258$454996CC-A3B8-4235-92C1-9F2564D62A4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096258"}}}}}