{"entities":{"Q4981278":{"pageid":7010856,"ns":120,"title":"Item:Q4981278","lastrevid":92132429,"modified":"2026-06-05T00:56:56Z","type":"item","id":"Q4981278","labels":{"en":{"language":"en","value":"Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6307772"}},"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":"Q4981278$E0AED9B2-251E-442B-9033-E7DB6EFC7425","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb746247c422cd29253d950e24af00be6ca2f4f4","datavalue":{"value":{"text":"Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4981278$214C5B83-BF42-4032-AFB3-A8D84B832D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c08ce660b29bf64b5787edf11b592745c3366911","datavalue":{"value":"1291.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981278$FDFE2261-E4A9-46EC-9BC1-CF5C6451D12F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73e4200eb8be5744b23cc5d4e249a8e21f97f70b","datavalue":{"value":"10.1007/978-3-662-43742-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981278$EA024314-0CD1-4F53-AF4E-35926E2482E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981278$757DC7B2-23A7-42D0-AAEC-07BC5747EE4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2f7df35b5207f5cdd4837c7f318bff65c83b389","datavalue":{"value":{"entity-type":"item","numeric-id":3010331,"id":"Q3010331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981278$ECBE6A32-89C0-47D1-AB86-E7EF2B9AC71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4162171d534841eaba82df8e339e73a24ff6ed5c","datavalue":{"value":{"time":"+2014-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4981278$BAB16970-856F-42B2-A153-DEC85A621088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981278$F0A0359D-9A60-4B00-9E74-1FA6155DCEBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cf7b5cc7ac264a4610e226a212f9b7544dabf24","datavalue":{"value":"6307772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981278$63647C45-51CC-4064-B8A7-A8A9F88BDDC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981278$887A72D4-0D45-48E6-9FD4-1F60CEE19ADC","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":"Q4981278$EB9C7EEC-1642-4FC0-8A61-5AF2958D7D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0a6492782bf565333be2a08240dc4ef6f240141","datavalue":{"value":"https://doi.org/10.1007/978-3-662-43742-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4981278$F78D6AEC-A73B-40BD-8069-9464FB55AA1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66c571843f71ce6cb5366f5f467b7e3f55b6c121","datavalue":{"value":"W88496791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981278$A199157A-4E5A-4234-A270-F0979C7A0625","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d68d128f5362206664bf741ea88f5f40c22565","datavalue":{"value":{"entity-type":"item","numeric-id":4981275,"id":"Q4981275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b559643411abb0664b99ed5299dd0b3e2b67e1d","datavalue":{"value":{"amount":"+0.7774593830108643","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":"Q4981278$9415FC23-F5F9-4026-8476-8F8F8CBE9011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e4e2bcd98cdcdc0893ac16fbc8711e07c17c89","datavalue":{"value":{"entity-type":"item","numeric-id":4981248,"id":"Q4981248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bde38f9f241d60abeb6cda6c3e7d02c6dc4b74","datavalue":{"value":{"amount":"+0.7276845574378967","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":"Q4981278$49EDF296-D9F9-4725-A009-6BE3C2C5F554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd9f57788e09e28624459d7d113b2e87fa5cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3584997,"id":"Q3584997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2aad63a5c259a9e2dc904298771aac6739e280a","datavalue":{"value":{"amount":"+0.7198336124420166","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":"Q4981278$B9C70DB3-9B2B-435F-9567-8CD65EBE3831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143ec24c56d554014693dab1d3fc85c3f81075bc","datavalue":{"value":{"entity-type":"item","numeric-id":683682,"id":"Q683682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25e67812e80fcf2fc8c024960711912bbf7d414","datavalue":{"value":{"amount":"+0.6995774507522583","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":"Q4981278$C44C6774-36D8-4A8B-8261-44284D8468DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151ee9948b29371098a15559d2f267ffb4cac3ff","datavalue":{"value":{"entity-type":"item","numeric-id":4981271,"id":"Q4981271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dc1be69be981a4622625b2122dfd139867a259","datavalue":{"value":{"amount":"+0.694401741027832","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":"Q4981278$12D78289-93BA-4EA3-A4A5-E54296A95FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?","badges":[]}}}}}