{"entities":{"Q4252864":{"pageid":6282465,"ns":120,"title":"Item:Q4252864","lastrevid":41732066,"modified":"2025-05-07T16:52:23Z","type":"item","id":"Q4252864","labels":{"en":{"language":"en","value":"An Extension of the Formulas-as-Types Paradigm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1307027"}},"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":"Q4252864$E58D06F1-6C96-42E3-A802-DE90C9FA9AD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0c63680ca2fea0ada9f6501d805f9731d9656cf","datavalue":{"value":{"text":"An Extension of the Formulas-as-Types Paradigm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4252864$124FA982-382A-4B7D-9237-133FEE2F7DA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac7b31fc787872cad9f3dd35dcb9f83cf95b8fbf","datavalue":{"value":"0923.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252864$F513EA08-BEAF-4DC8-A3E3-AD7FB647D9DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a00c8f3acbc4292662f0bf2a0940bb204ff01246","datavalue":{"value":"10.1017/S0012217300009288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252864$E689D53D-FEAA-4F46-8494-CDB9BE411AA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57b69cb369abebc608b15454fc8b4a0945807847","datavalue":{"value":{"entity-type":"item","numeric-id":3416774,"id":"Q3416774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252864$59E1463D-F7BA-4543-8581-9B181658FCD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4252864$3FCAF9B7-AE11-48CB-9A8A-542C80CA54B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252864$113AEB96-6760-4C6F-9F89-EDB1E4B7B436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf079e3d69648738dbcce1688372ef7d962b29b2","datavalue":{"value":"1307027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252864$1DC28943-7ECE-41B8-BE11-FD84936D1890","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f9dc59d62ba772b1459e6079dc16bf25cbadb35","datavalue":{"value":"Gentzen sequents with zero formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252864$F8EE0200-EB37-4FFC-8AE7-3D84739BE76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d8a2f07d7915fd98dfb4b12ad3c7d69d7cec7f","datavalue":{"value":"refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252864$BEE6A9A0-9684-4FA9-B01E-B4150B8CD6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252864$62721C98-8889-4EA2-9749-217EC7F5D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252864$ADF7C527-6544-41A8-A4F9-7EAC95C83D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252864$FC344400-7EA1-4A1F-943E-E13CD0028E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67c495bd60f21879f3bd111ca222d1248750fd5","datavalue":{"value":"formulas-as-types paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252864$5B6CCDB6-21E6-401F-8608-4B544A1DACDA","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":"Q4252864$9E787289-A37A-47AC-9CB2-58CC1C4140BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8333f5555b15afe891d3c108ba1b5a869b647351","datavalue":{"value":"https://doi.org/10.1017/s0012217300009288","type":"string"},"datatype":"url"},"type":"statement","id":"Q4252864$5F0FAF3D-631A-4762-BC8F-A7DF796FD315","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00960c9d3658f802dbd9ba53f9b2cf577efbcb4b","datavalue":{"value":"W2049866628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252864$DCBB25E1-0DA4-4480-A733-989C015E8304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252864$D0B49039-3EEE-4344-A8FE-DCBAF61B7F87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20064da0a0397d979008c6ca2a64b9c8a4f5925","datavalue":{"value":{"entity-type":"item","numeric-id":2766808,"id":"Q2766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cde08420bbe30e343d8e001c24e26666dc69583","datavalue":{"value":{"amount":"+0.9296878","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":"Q4252864$DA46F2BF-6783-4F23-BEB2-12B82A9074D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547bb2911bbfff14f604a506a0221b473ff7181","datavalue":{"value":{"entity-type":"item","numeric-id":3824291,"id":"Q3824291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24004af3ab4e217bd380244316b0897a1c6954c6","datavalue":{"value":{"amount":"+0.8896441","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":"Q4252864$1F9DF6DE-C674-425D-BA08-78F59ADB37C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893d1c72a530eb02d90b63d27f336b6eac18ea4e","datavalue":{"value":{"entity-type":"item","numeric-id":1186105,"id":"Q1186105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b026db84edd73c178ab0b6458dc153d19319c032","datavalue":{"value":{"amount":"+0.88934994","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":"Q4252864$BB216EC5-A052-41AD-BC00-05A4CF6054FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7386574d8bb69dd67d31fcec227a37da518797ac","datavalue":{"value":{"entity-type":"item","numeric-id":5689160,"id":"Q5689160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107d9a3103b6e8293e7202691840a5da7c732f7b","datavalue":{"value":{"amount":"+0.8884211","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":"Q4252864$ABD1B2A7-2C9C-4BCC-BBF7-FE834977D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187b62627e66cd358a52ec0d56e639fc73eeacc8","datavalue":{"value":{"entity-type":"item","numeric-id":4025341,"id":"Q4025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c7409fb8646259ba01af05c5f5d7a252c88d9a","datavalue":{"value":{"amount":"+0.8877927","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":"Q4252864$34DA0591-33E1-42E8-A234-D91EFB8AC181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa957b74bd97088bf2097d500324cfe815d0aa2f","datavalue":{"value":{"entity-type":"item","numeric-id":4234966,"id":"Q4234966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1d4327f6d7bf66ea35775fb3840cde7b201fb5","datavalue":{"value":{"amount":"+0.88758874","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":"Q4252864$6F49320B-251A-4977-9755-490A54867514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5903c018dfbfe72f7d1634bd420323cd3552f29","datavalue":{"value":{"entity-type":"item","numeric-id":3184729,"id":"Q3184729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0110aedf8bedf830384dc80833cce5ad712733a","datavalue":{"value":{"amount":"+0.88697994","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":"Q4252864$17540729-6E85-4EFD-9166-D98512FC1688","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":"2c869a5a8d521621d71c411549ec034aeb8bcde6","datavalue":{"value":{"amount":"+0.88499314","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":"Q4252864$F6510A69-7E86-414B-B857-8AE1A040DA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05cc9808aaf2b3b05d7d8a32555b7fbf344a688","datavalue":{"value":{"entity-type":"item","numeric-id":5756511,"id":"Q5756511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d5b3ee3b40ac2465165b8241e79e7c8534231e","datavalue":{"value":{"amount":"+0.8848057","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":"Q4252864$5058121B-E759-4F48-B1A5-6416D535CA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e117671bc2b0e13b2aed601385909d75f9710d0","datavalue":{"value":{"entity-type":"item","numeric-id":3086770,"id":"Q3086770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b4f6833958995eba31642b804792007026416f","datavalue":{"value":{"amount":"+0.8835317","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":"Q4252864$C177A2F1-AF73-453F-A123-9C6D93ADF83D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4252864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4252864"}}}}}