{"entities":{"Q5144677":{"pageid":7174248,"ns":120,"title":"Item:Q5144677","lastrevid":58448814,"modified":"2026-04-05T06:41:28Z","type":"item","id":"Q5144677","labels":{"en":{"language":"en","value":"Stack semantics of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297878"}},"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":"Q5144677$58F42405-F539-4794-AB78-75752E60B60F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79573e997820c126db890f79b4827d95e926fdc3","datavalue":{"value":"1452.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144677$0F0E64D4-EBFD-45E9-9D59-2E7B13E39C62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144677$7A017D37-F88F-4BA8-922C-C591DF357D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea6504d86a7b2bece6ba0c846fcd038e7b467c","datavalue":{"value":{"entity-type":"item","numeric-id":1675766,"id":"Q1675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144677$98AC4F8D-E644-4EE7-9875-D65576D48F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1e7493cb5d978e559c7108a53489844c66332e","datavalue":{"value":{"entity-type":"item","numeric-id":5084308,"id":"Q5084308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144677$5D633221-BB51-4884-BC2A-8AF120457E17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144677$043F8C9B-204A-48B3-BA71-07518820CA38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0898f33310bb93ba428f17f5c4bb493283e9be02","datavalue":{"value":"https://arxiv.org/abs/1701.02571","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144677$B4EBAAD8-1212-49ED-89C2-4B5DE4C50930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"874a0e6968ed29aee03e75dae2457d34ef082391","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144677$1531780E-F4D2-4CC9-A2D1-35302936E939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144677$2F74E727-B7B8-4519-8E62-4FC793A49409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144677$DDA6BA93-31F3-4275-862E-E5F6CD95688E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144677$CBEB7679-2769-4AAF-9705-D61CC1929BE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97f2825b54b7846959adb3bdbe9aa37226988866","datavalue":{"value":"7297878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144677$FBEEC880-F332-4992-8051-8C0F0AD6D0F0","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":"Q5144677$A33ADC98-D9E8-44D9-BE93-7CA37F7AE403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ed0cf1a567bf227327d15a105dff26fe4378e5","datavalue":{"value":{"amount":"+0.7523460388183594","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":"Q5144677$E91936F3-F6D4-453C-9656-2E3C0C294886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bc13748246cb4424f6693df2a25ee3ece62e23","datavalue":{"value":{"entity-type":"item","numeric-id":5740650,"id":"Q5740650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23111cee52eb04d007631ecf70aec308abce3cbf","datavalue":{"value":{"amount":"+0.7498394250869751","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":"Q5144677$27A5A3E6-640B-4F78-A5A8-25619929A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176827a140ab785d8d708fd59cf12da7d32c145","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ed697c26ad4c03dcc25dde4cb39deb2fa7a589","datavalue":{"value":{"amount":"+0.7429015040397644","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":"Q5144677$AD9C3656-38B0-4E4A-922E-12EC6807AF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cdc96fa3ad2a22c3f007fc23ed67bdfe00719c","datavalue":{"value":{"entity-type":"item","numeric-id":5145682,"id":"Q5145682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84933b08964dee1b9f1c1429ad3e5b67cfdee624","datavalue":{"value":{"amount":"+0.7369087338447571","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":"Q5144677$6314DA86-98F8-4E64-8425-0B7CC2DB40AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7534f1f75ae3d3154e9dab273a40ac51a43bd815","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f8b0eff9a29d44835dbb79702ebeec37315da8","datavalue":{"value":{"amount":"+0.7331119775772095","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":"Q5144677$44A3B20C-BCAA-408F-8760-1391062448F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144677"}}}}}