{"entities":{"Q4853339":{"pageid":6882919,"ns":120,"title":"Item:Q4853339","lastrevid":47359852,"modified":"2026-01-01T12:23:20Z","type":"item","id":"Q4853339","labels":{"en":{"language":"en","value":"HYBRID PARTIAL-TOTAL TYPE THEORY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 810160"}},"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":"Q4853339$C3684179-9307-4B4D-A5CF-ED48D987C480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8423777dda4204cac030406c36fb807a3a0e7ab7","datavalue":{"value":{"text":"HYBRID PARTIAL-TOTAL TYPE THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4853339$45A1776D-4254-4F00-A85C-C4AB3FF40961","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a121a3f3f73a8daf050f7edaa81ff4ba6c29f8c","datavalue":{"value":"0830.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853339$27656647-5F45-4D1D-AF05-95DEA6EAF843","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40ed4f9275d3f69dfecc0de827d777fca0a8ceaa","datavalue":{"value":"10.1142/S0129054195000159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853339$2193EDC7-F1E8-4058-9FD7-48285A749E4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce25c77d649bf8afb7d80a0da9c0296258f5677","datavalue":{"value":{"entity-type":"item","numeric-id":1314347,"id":"Q1314347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4853339$E95A4C30-12A7-469F-A257-B8D791683CBF","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":"Q4853339$1060DA35-315F-4C11-AB3C-43881992846E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9e1e5c28e67547367d3e71e19f3b7e287b30c62","datavalue":{"value":{"time":"+1995-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4853339$7EB1F44D-9719-464F-B9C8-778794EF9BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853339$BE7A51BE-7822-4A7B-A511-2F77A32CEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853339$ECEB4D8B-AB43-477C-A4CA-37FE7A6AA770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853339$4DBDAF0E-7015-4F30-8C82-3501441A8857","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f75f10ad0be8a5406ee5b27292904614c8ca2fa","datavalue":{"value":"810160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4853339$D4ECBAF4-B2A0-4D4F-89F9-ADACF26B469A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4853339$61FB785E-5B3F-478A-866E-AD68FF704D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d892829ddba2b6de56fa344fc618ce14b50b67e8","datavalue":{"value":"hybrid type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4853339$BD65879F-F924-43E4-8DD2-95E8DB86D3DA","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":"Q4853339$38B5B0D7-6A11-4F45-9661-2E6A51078341","rank":"normal"}],"P1643":[{"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":"82ce6a1c21d3403dabd3f2667d33ce9c4c70c178","datavalue":{"value":{"amount":"+0.7986123561859131","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":"Q4853339$06CD3BCA-586C-4659-B3E2-3BCC0E316C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d4eb8d1c2f623f8282637cc659b6f5ba91231d","datavalue":{"value":{"entity-type":"item","numeric-id":4249900,"id":"Q4249900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bcbbc62e0fea6c5ed37e238e66cee9dcf7c5fc","datavalue":{"value":{"amount":"+0.7976168990135193","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":"Q4853339$2CF4CBF0-0315-4663-AB4E-8ACBBA47C2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b012d905deaf6cc8d8d759d94a259e45b438d3","datavalue":{"value":{"amount":"+0.7702822685241699","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":"Q4853339$3AB0D63B-BEF9-4077-BA07-665A5834F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c26251f6824bc527e5a652aa3aafa9332146550","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227150f6c0772d0903f8befd54906d225b5f0f44","datavalue":{"value":{"amount":"+0.765753448009491","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":"Q4853339$C44C0F2B-B348-4123-9130-AF39FF6D7A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c15c59c0eaf3a881eb72640df088e435697580","datavalue":{"value":{"entity-type":"item","numeric-id":4910419,"id":"Q4910419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0b3070b0a1059a9b334a26948a9a75940dbaac","datavalue":{"value":{"amount":"+0.7651817798614502","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":"Q4853339$43AED651-88B0-4BFC-9EA5-76D7B3E2B072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4853339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4853339"}}}}}