{"entities":{"Q5249285":{"pageid":7278853,"ns":120,"title":"Item:Q5249285","lastrevid":41749866,"modified":"2025-05-07T22:11:55Z","type":"item","id":"Q5249285","labels":{"en":{"language":"en","value":"ERRATA: \"The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK\""}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432509"}},"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":"Q5249285$571380FB-4F43-4213-8144-C8E4D2F281D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d9ba43311e1a84f1b2c1c2747f5b07d807345b6","datavalue":{"value":{"text":"ERRATA: \"The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK\"","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249285$BA504B8C-1C81-4016-AD60-0E1699DD920B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a90d37af0cd58f8696c4d999117d6da265394ee7","datavalue":{"value":"1320.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$DE1688EA-8D06-427D-9EE9-E35519C63DA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f9674216c3c665587161f489a9ea79542219e83","datavalue":{"value":"10.1142/S0129054101000722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$580223BD-4AE6-49FA-879C-6CF5046E81DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6909ca69b8bdf6deffac400466a5ea680bc58a5e","datavalue":{"value":{"entity-type":"item","numeric-id":504211,"id":"Q504211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249285$D3F35AE0-66D8-44F0-9E49-5D034F4AED64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249285$C03F51EC-8585-44B5-A10F-ACA4255F7BF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22703aaabf2a7c3eda53a43e7dac0317268998e3","datavalue":{"value":{"time":"+2015-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249285$1823AB21-9EA8-468C-B770-2C650D3342B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$41001B98-1F03-49A0-A2FD-509323335029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$61BF4355-B545-4097-8517-1FD5198BE2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$168CA284-A26F-4AF0-9F1D-446EB3758D35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c03404b4afd54b2c3b151f9506c5800be0d02dc5","datavalue":{"value":"6432509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$A414F240-19F8-4057-9F09-621D77612FF5","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":"Q5249285$A7D69634-60D8-4149-A91B-86EF1A4F1BC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78faa96130e4174121ef2a04597e77a98de54a03","datavalue":{"value":"https://doi.org/10.1142/s0129054101000722","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249285$5C377C02-3315-43D8-843C-92E1744F2B7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f32a6dfc78deae9d98fe94feb77e5fc0b7979c9","datavalue":{"value":"W1976972639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249285$CB053441-41C6-4679-860C-C89D0CF41336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c35c75cafbf27608f6b95b3958e388a1ec77ff53","datavalue":{"value":{"entity-type":"item","numeric-id":3318744,"id":"Q3318744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696de213c26463e8d9c407dc7f2fb65d15bd8a51","datavalue":{"value":{"amount":"+0.9004878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$98004F7D-DF93-4A6C-821F-6BF38FCBD6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6606d81851a96e083ccf35fd04b37d925d4e60d","datavalue":{"value":{"entity-type":"item","numeric-id":5249247,"id":"Q5249247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bab58f4011c42f3a37c7b4752c91d43aa4a383a","datavalue":{"value":{"amount":"+0.89528936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$C441C6BE-BC81-4DFA-995D-D1672BD35776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794d279d05da52b247bcca346036b3a0e9ee7c88","datavalue":{"value":{"entity-type":"item","numeric-id":583201,"id":"Q583201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfef958af292669c0497336e552f4c25fa3a30ea","datavalue":{"value":{"amount":"+0.8737263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$5257BC0B-471E-4A5C-AE8E-CCA8818D61AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa6ca2b903342d99e3784726cc229b5c197cb85","datavalue":{"value":{"amount":"+0.8718376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$B80233F4-C5A9-4A97-A514-6D61630225D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4d3acd6d6096328c4379dcf1b2a676d6425142","datavalue":{"value":{"amount":"+0.8621338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$0275D18A-E312-4C6A-A537-A57A1796934A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2328d4e24cbb43babd123d757602740b3452456a","datavalue":{"value":{"amount":"+0.8582146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$5057AAF9-FDEA-4F02-B8A5-13D0E53A6C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d2f4f8ed59ed8ce19ca2c0751b297c1d3a05b2","datavalue":{"value":{"entity-type":"item","numeric-id":5939957,"id":"Q5939957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d89e55becffc551f51c87840f85228f91ffb09","datavalue":{"value":{"amount":"+0.84840053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$27DE82AC-230A-4E60-9E06-AEA15A6F14B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a28dad48ab6ca77a6fff03e40a7357395740768","datavalue":{"value":{"entity-type":"item","numeric-id":4282620,"id":"Q4282620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e88aa17587b47b95b2db006f7770a74981af1a","datavalue":{"value":{"amount":"+0.8473037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$5F17B665-E256-4EE4-A4B6-571F85B655DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5fd2eb7196f81280ad58ece249f9ac5f6ed863","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d23fabcdbe01df41dc71f2c03b325c38d64b03","datavalue":{"value":{"amount":"+0.8458772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249285$97C84CFB-94F3-4368-A659-C8AAB8B774E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249285"}}}}}