{"entities":{"Q3612441":{"pageid":5642347,"ns":120,"title":"Item:Q3612441","lastrevid":49686253,"modified":"2026-01-09T01:44:03Z","type":"item","id":"Q3612441","labels":{"en":{"language":"en","value":"(In)consistency of Extensions of Higher Order Logic and Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527180"}},"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":"Q3612441$AA206F91-7351-48A3-BEF9-4F10B1351F5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8409ac4bce2ff13f57ac0d45074bde5743d370ae","datavalue":{"value":{"text":"(In)consistency of Extensions of Higher Order Logic and Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612441$932298B4-28C7-405F-94A5-58B4F27018CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1066a3b8fba0ed2a2a67ae591a7896a7e2bc0f62","datavalue":{"value":"1178.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612441$00F2E290-2468-4BA9-BFFF-B817D6011B2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96f5e8b1285a16a2e44a84988d15af6574241233","datavalue":{"value":"10.1007/978-3-540-74464-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612441$CFBDED8B-D46E-4F37-8CEE-B240CD15325C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612441$AAFF051C-1C67-4D34-87FA-DC48146753E2","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":"Q3612441$F53721D6-2814-4EDD-B3D6-A75F7D58869D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612441$C6B85C07-4BC8-42CB-84F4-E8814C31052D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612441$D77F2FF1-BBBE-4427-888D-A217158E83E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612441$8FB60BB6-4FB6-4C1E-B246-4FEB902BC5FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a73c330fdb0c6f1ef0639a352ef65b4ce3b87b","datavalue":{"value":"5527180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612441$E4A492DB-77D1-4639-B86C-D59A09F3318E","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":"Q3612441$EC04BC31-397A-4A7A-80C7-53B589DE409E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7aa0b94e9fd2a51a688a303154e1d8e0af0d53f2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612441$B3F27641-7773-4949-AA7C-7348421D0431","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c271d60b3c7c0e7cfbc2367a7e2328b6d692f168","datavalue":{"value":"W2125446785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612441$05F302A0-71CF-49C6-A5B2-FF3CC5D039B9","rank":"normal"}],"P1643":[{"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":"438e5158541820f7fbe34fdf9a624f08f75b2ac7","datavalue":{"value":{"amount":"+0.93495387","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":"Q3612441$D7CA0B1C-7BA1-4EBA-8BD2-46812B878DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6009f229da9cc183ad7bbbc5dd4ed923406f6b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5862337,"id":"Q5862337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb4d66a992ed6cb6272b86a950fc26d8725c0e5","datavalue":{"value":{"amount":"+0.9242184","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":"Q3612441$A69E8864-AAE8-444E-A5A3-BC618527E446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe0c345c37360ce60f7cb346c4738c3ddce0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b215f9fc699f146b12d00f2eef3e51c96e289de","datavalue":{"value":{"amount":"+0.91472304","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":"Q3612441$C55C658F-50C3-4A95-BAED-E06541943344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee796faf2ef2070f29395030e1e623047b48735","datavalue":{"value":{"entity-type":"item","numeric-id":4391434,"id":"Q4391434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f1e81573440f1e958c6978b6ff5be7c2ecadf8","datavalue":{"value":{"amount":"+0.9141929","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":"Q3612441$5FAD5DA7-C1CC-4BFA-B8E8-FB00D10096AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2b94836e8a223c309d2d7e0996ff8f6a6e9fde","datavalue":{"value":{"entity-type":"item","numeric-id":1194249,"id":"Q1194249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8386cd6a135505947dec9abbc4dd5974a47e6c25","datavalue":{"value":{"amount":"+0.90935475","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":"Q3612441$82A95604-651C-4256-A98B-86FFE8C4CD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4638dd7e51804cdccab4ef9ab92a5adc8520397","datavalue":{"value":{"amount":"+0.9087985","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":"Q3612441$B982E304-C111-4047-937D-E8D383DBEFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371bdefbc7d26a872e6752b3d62fc9ba2e00e071","datavalue":{"value":{"entity-type":"item","numeric-id":3832535,"id":"Q3832535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dfe16c8e7c140097d0e13f16b722b994a7ca6f","datavalue":{"value":{"amount":"+0.90806514","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":"Q3612441$05CBE854-ED73-4D76-8F6A-E58BE30EE5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920cea9b47420f3404cc2d0764270e98aa7d1cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3995928,"id":"Q3995928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dfe16c8e7c140097d0e13f16b722b994a7ca6f","datavalue":{"value":{"amount":"+0.90806514","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":"Q3612441$BDFAA401-6CBF-4411-A46A-02C9B03F72BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79efe2c6dbd42e36766761e062876f07ca1c2de","datavalue":{"value":{"entity-type":"item","numeric-id":4281475,"id":"Q4281475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc742c6b4a76692f9d9b664943a3eb0a7b69c01b","datavalue":{"value":{"amount":"+0.90756756","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":"Q3612441$8B4ACA71-1F16-4CCA-AA4F-6A2CC1BE9613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a09abd1a512358efe384f1af60408595b4245f3","datavalue":{"value":{"amount":"+0.9036603","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":"Q3612441$E3B84B86-2D29-4861-A992-1BF57FB3C22F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612441"}}}}}