{"entities":{"Q5044747":{"pageid":7074324,"ns":120,"title":"Item:Q5044747","lastrevid":54433673,"modified":"2026-01-26T19:44:49Z","type":"item","id":"Q5044747","labels":{"en":{"language":"en","value":"Applications of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611274"}},"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":"Q5044747$F4680D71-2766-484F-A763-234D967011CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd5d808271098945efa4bc52bd8eeaff69d492a7","datavalue":{"value":{"text":"Applications of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044747$374FCB40-3BC3-44A5-B471-53BC791CD1C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fd9b099fd36973fbd9223108592754cfa070ae0","datavalue":{"value":"1497.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$87909187-B8AF-4BC5-B05C-531A41435B13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a36de45a0557d31c74f34ed107ca92f23db5527","datavalue":{"value":"10.1007/3-540-56610-4_75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$9AE758B0-4549-4891-86EC-1093B276EAE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$4864AC3D-10DF-408A-B71E-C4A67C64B5A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044747$56FBD11E-E706-401A-AECF-EE08677C5187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$D3452AAC-4D2C-440C-9F0C-52009A44AB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$5B4BE698-B4E9-4069-B55C-DCE01169CA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$284A98A0-B4EE-4FD1-8E36-2AB8C9565859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$BB1DC6A0-B3CC-401C-B0D3-897FB06811C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$4DFA9B42-E7F5-41C2-9411-6FA9E9173A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff22bc65646a8d8fc99b139ef3dd4ca00b792db","datavalue":{"value":"7611274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$EA88D07D-538B-4277-9A2B-9938C8331DA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b5f3b70fba88d3a973068faec54efc2792c3462","datavalue":{"value":{"entity-type":"item","numeric-id":1158951,"id":"Q1158951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$3545DE29-BD7C-4A6C-8904-8728229BC7C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$1CA43014-25B9-4BCC-A242-902232BEE5DA","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":"Q5044747$453C4DE3-63DD-4A87-BAFD-0B8A9B1A5659","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04d669fb05e7297d436724688d46307f6050c4e2","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_75","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044747$9580AC9D-B0A7-406F-8E98-9CC5BD2BE541","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a725a67dc10aaba64deac7eaf62dc0ca362d515a","datavalue":{"value":"W1548945680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044747$242E40FD-FE68-403F-A104-98C59B782BB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$F303E0E3-3881-43B4-85B9-BE417C911A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5513f0715193610c61f3fcaf56a4ff1aca6968","datavalue":{"value":{"entity-type":"item","numeric-id":3996678,"id":"Q3996678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$10B954BA-DA17-4B33-86E3-6F0EBA096390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$E920BF6F-1551-434A-B6DD-E34D6D2058C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$5466AF11-A634-4D15-A023-F286AA4C50CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$BD633B7B-BFBC-4233-A8FB-69B6A6D8039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$6DC47E03-431D-4A41-9697-9D81A8A114A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d844946f4e92d1ecc9432f3761f7e794ecc22a1","datavalue":{"value":{"entity-type":"item","numeric-id":1091389,"id":"Q1091389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$D480FE98-B571-4D36-8505-891BD09877D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$C9E8A94F-2CD0-487F-ABA8-B4FBE0EE95BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$C381E1B8-E54F-474F-B4EC-26BDC91527FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$E1490544-4F29-43D7-8C9F-C16B6E020AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$700358D5-10F4-4A0E-B829-921CE472245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$133ED92B-5193-499A-AE1B-830FEE896B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$8E7B6680-F481-44D0-BEA1-F46C4650EFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$096A3E31-DDCE-4512-ABAE-59A211D99DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$40C739F1-1A62-4D33-893B-51087E5C66CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044747$C7B4247E-DBF0-411F-945E-2628FD500D4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df480ce7ac47efcd5f708d35954a70af19079583","datavalue":{"value":{"amount":"+0.7656413316726685","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":"Q5044747$F9670AE5-83BB-412A-9857-F1ECE8B53CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee6f886ef0705827062d0a4c87d655476ba33e","datavalue":{"value":{"entity-type":"item","numeric-id":4204148,"id":"Q4204148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0e9892f02db6250d9cab0dcf7cabec9571d6a2","datavalue":{"value":{"amount":"+0.7548026442527771","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":"Q5044747$67B1E74A-5C73-4227-B1C8-3B83E6AE7368","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":"a67ef46fa9a341b19bcd11300c199df71ff229c2","datavalue":{"value":{"amount":"+0.7376384139060974","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":"Q5044747$9B8C98D0-7818-41A3-9753-CF5D7D55F071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f9242db5cf52fae93875abf93dcee96f827d6","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67ef46fa9a341b19bcd11300c199df71ff229c2","datavalue":{"value":{"amount":"+0.7376384139060974","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":"Q5044747$08282847-DF9E-49E9-AA17-AC7F1997A06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0075ae187eb79d0dab64d4a6e29e7567a294f384","datavalue":{"value":{"amount":"+0.7335435748100281","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":"Q5044747$34D08384-93D8-4B1A-A796-55E239C9016B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044747"}}}}}