{"entities":{"Q2804938":{"pageid":2815676,"ns":120,"title":"Item:Q2804938","lastrevid":42138555,"modified":"2025-05-23T17:31:20Z","type":"item","id":"Q2804938","labels":{"en":{"language":"en","value":"Type theory should eat itself"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578007"}},"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":"Q2804938$D322A52C-E46F-413D-9E86-471FFD379DE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"138dee6ddb5f449070136bb3ac24b78bb14147d2","datavalue":{"value":"1337.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$BBEDDF8D-62FD-4C14-810E-288DD58AC0B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00aa7e93fa7f222310ed2c02639443a3d00d9426","datavalue":{"value":{"entity-type":"item","numeric-id":635961,"id":"Q635961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$2EA973BB-05E7-4612-8F41-F84FF4F0147C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$76FF2206-F200-4506-ABDC-DBC622CFEC65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804938$C734B676-FC13-4C1F-9BA5-E7EF001F954E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$BA439DA6-F091-4C6B-B56F-34F76C28AFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$E7A5170E-E8FA-478D-A491-FEDE07B7D53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$98393290-F2DD-442F-A5A6-335654099CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"649e7dc240def6e31c341c4763042b03bbe8b3c4","datavalue":{"value":"6578007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$604E90E8-9CB4-4109-9DDE-488A3ED16267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745c457897b735d9da3644edd47c653378fe4525","datavalue":{"value":"big-step normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804938$67185DBC-BDF2-4D18-9111-095E096850A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3a7c3bc6ef9cef67ac0c817fc517d9713736b4","datavalue":{"value":"typed syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804938$6355B5C8-F884-481E-A1ED-17603EBAFFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804938$4029EBE5-AD35-44D1-A902-E1BFCF9ACA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804938$3FE78724-97C1-4A8F-891D-C9FFC98FCEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804938$AD25D904-66DC-4541-B811-19744D30A7A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$97664A63-F95C-41BC-9751-9BF4D24A7CE9","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":"Q2804938$D809F0D7-651F-45E1-BD3D-8BFAA7D300E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f09a3e91f93980e1bd3c7bf6d4bc86941e9d515c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.114","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804938$AAA58C92-31CF-4B85-B19D-EAE47FD839C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25f52519281cbbe5862e8f624c98b495db62e773","datavalue":{"value":"W2147289514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$7E1CC678-C627-400E-B9D9-8E4B3F6626BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a7b7dc6a9f59a652773f7691dce2041bd9a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":3638919,"id":"Q3638919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$D8650060-8DDF-4ECA-9979-2772B4D430AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ea65729b1033e784ad198279fc14710fe85dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3521979,"id":"Q3521979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$F81DB7E6-6B3A-4C04-BB7D-DEBC6E79A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224b375b18b97f01436004cb27e211f581673b6","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$1F942586-A70D-44FC-8976-3CCF4B913838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7203cb3ad72ce92e4b41ada0e7bda2c785c4bc47","datavalue":{"value":{"entity-type":"item","numeric-id":2871881,"id":"Q2871881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$DF28374F-C07A-4999-ACC3-C306EC67228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739330a58a3c3aae77075c5fb847ca13d50160d0","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$90785379-E8E5-400D-BC34-0C6D0A176E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b459d33ed668cef3cd5e11aaa940ab996a4a88bc","datavalue":{"value":{"entity-type":"item","numeric-id":3612438,"id":"Q3612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$1149CA3C-8772-4050-8EC1-E90D97BB46CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$5774A4BC-CDC0-4C86-95BB-2F14EBED39A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9b23edb892289c99e8d75e027b4261a7065357","datavalue":{"value":{"entity-type":"item","numeric-id":4436029,"id":"Q4436029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$E899FACE-9EB9-4503-9C73-13B3F26FC32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$D041A457-D18D-4C05-9D2D-9BEF5D9AECB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b592d53764ef3c131f14ce7bc6910a2b7d973f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5253930,"id":"Q5253930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$FD4C60AF-5C97-41E2-AB12-B1F75234EA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203af7b2224e70d9229da9b044eb4282ff6c7420","datavalue":{"value":{"entity-type":"item","numeric-id":3024835,"id":"Q3024835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$A7C00572-4717-4BD1-A0FA-1617E95126A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$049C3137-929D-46F1-8F7D-BC6283141C2E","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":"Q2804938$75D5579E-15AC-46DF-84B1-655C4B5667AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$7371F03F-43E4-4CF1-B133-9C0588AA068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$2085D5A5-C7FF-4CF1-8902-34A01BD73A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804938$105B6AD9-70E5-4734-8717-16ECCDE8C076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea9addd27c3ecc6fc6ebbd71dfeef67a0355de81","datavalue":{"value":"10.1016/J.ENTCS.2008.12.114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804938$69FF18DB-506E-4E23-A8E8-A3F928097D12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0a0d565da92f52b216f298eba135557980aea","datavalue":{"value":{"entity-type":"item","numeric-id":3499754,"id":"Q3499754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812c5c24be6c0735c07d3a8f34531e5cf38eac71","datavalue":{"value":{"amount":"+0.86915946","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":"Q2804938$059B93B2-7573-46F0-8F05-194D87BE2C87","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":"505e189871e6cf5b18227082e77b24e8072c540e","datavalue":{"value":{"amount":"+0.85765433","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":"Q2804938$B89E284A-C6FE-49FD-92B8-AD55CC8A32C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba919e1924eb6dbf4450f84a8ab75e84164ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3823123,"id":"Q3823123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168eb9c58a75b306e8fca1a6628b31109071878b","datavalue":{"value":{"amount":"+0.8523972","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":"Q2804938$DB46E7ED-1728-4409-A6E5-C04ACA1B6D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf131a8f7c0e0b44639ec0bfa98e74a2c266a78","datavalue":{"value":{"entity-type":"item","numeric-id":3823124,"id":"Q3823124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f60b02570c4179c82d27d1ce30690cedff5233b","datavalue":{"value":{"amount":"+0.85187876","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":"Q2804938$AAEB762F-06E9-4D4D-8679-31B04E29E903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef02c4464ce96fa86ff5e42b80c0b6bbface31cd","datavalue":{"value":{"entity-type":"item","numeric-id":4325789,"id":"Q4325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee52db633c1177aeb5e7429a040df5e894ad9d1","datavalue":{"value":{"amount":"+0.84953034","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":"Q2804938$E9DA6B8B-70A1-4E4F-827D-074CB49ED94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71555a3198ca6ccf0804734c7fbe0d63a1610743","datavalue":{"value":{"entity-type":"item","numeric-id":4461714,"id":"Q4461714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7d256905c60d5f4b80dec567aace40e953656f","datavalue":{"value":{"amount":"+0.8373885","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":"Q2804938$A822FE6D-9BD9-4550-84A8-86A4A11805F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef23409cc58a5a35a1a4132da4f5cd43b7f0b42","datavalue":{"value":{"amount":"+0.8364846","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":"Q2804938$81C9E66C-9637-4EF4-9138-B24FC8814F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623065ff08437486ed50597a174c726e37e50f76","datavalue":{"value":{"entity-type":"item","numeric-id":4299858,"id":"Q4299858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a140cc140bf1f9ac40729ad0e2bdd7d268997fb8","datavalue":{"value":{"amount":"+0.8356571","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":"Q2804938$B7C14C72-95AD-4CB3-A136-8B1921F1A57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911a674ada1342013e70c2dfc11ccf95f8bed390","datavalue":{"value":{"entity-type":"item","numeric-id":5046719,"id":"Q5046719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815e1e5eac870a943501420f7721e55a22ac5c43","datavalue":{"value":{"amount":"+0.8351855","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":"Q2804938$31698932-1C66-4033-8C30-AEFCF9CF9A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e780c5f8a6b764b875c588e7730d4dc5cb7d08","datavalue":{"value":{"entity-type":"item","numeric-id":6075423,"id":"Q6075423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ea021bbe9f4ed5698dbfb3788b4c89dd387009","datavalue":{"value":{"amount":"+0.83501923","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":"Q2804938$BF8A4400-0D28-4A71-B7B8-A72CC54B6D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7d57c42b2cc08ac3801dca176afc87f0b04696e","datavalue":{"value":{"text":"Type theory should eat itself","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804938$179B6990-A67A-45A2-AE06-2053F6950611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804938"}}}}}