{"entities":{"Q2000674":{"pageid":2011416,"ns":120,"title":"Item:Q2000674","lastrevid":53465930,"modified":"2026-01-25T00:19:53Z","type":"item","id":"Q2000674","labels":{"en":{"language":"en","value":"Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7075018"}},"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":"Q2000674$BBCAB6EB-85DD-40AD-8304-4798A7C5F693","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8577ea056015071c8629db023116a17784162735","datavalue":{"value":{"text":"Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2000674$D749D6E7-CE8F-4409-8AE5-800D8706662A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04c1c9edb56e541098ddb35192e28d6b87e8372f","datavalue":{"value":"1457.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$46B31F8A-7F10-451A-AE1C-230E072218FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e75eadb858d1c143d0e036ca12d189847ed9c21","datavalue":{"value":{"entity-type":"item","numeric-id":2000673,"id":"Q2000673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$0A77FC99-943D-478E-B305-D75D139B527A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7489c6ee2f6b00541d36810d81bbb03b1d8c436e","datavalue":{"value":{"entity-type":"item","numeric-id":361867,"id":"Q361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$F1C69FA3-7F6C-4C31-8C88-AF5DFA5ABD6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$12B34B17-79C3-47F2-B2E0-88077EA5F997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab0b92bb422a2682ae5414b977605094dde79eda","datavalue":{"value":{"time":"+2019-06-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":"Q2000674$6876E339-593F-40C1-983A-B6BC3E136EDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$117D8896-4CA9-4D09-834B-868E6F3304C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$B53B4465-BA99-40B4-BA3E-3994524865A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$D65F65F3-34A6-4250-808D-A3F8B47E2CCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d05332eb6b47edda320f6267650b8aa0e9e7661","datavalue":{"value":"7075018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$1312EB9D-9480-461C-B1E4-5A207A7DD4D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000674$1427E006-2C2F-40F8-9779-76D067739DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2260f76f79a0908063211cd2aa3f10191c097a","datavalue":{"value":"second-order intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000674$50DE4EA6-3146-418E-88E1-520D45B4F772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000674$FDFBE1DA-85F8-435E-B3C5-1645FA3303F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000674$9BFF146D-A77A-44C4-AF9C-B193581A1A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000674$2DC175A6-59F9-46AF-A6F3-54AAD6A55884","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":"Q2000674$F2E260C7-130D-47BB-AC1A-91A17CC86471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8b83e3ff987920a9c6e50f2984422433751dd55","datavalue":{"value":"https://doi.org/10.1007/s10992-018-9484-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2000674$E02F5108-FC35-4DB5-A662-E1E9DC55FD7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ae93df2d8013a03ba4f861b68319fcd2acf3f8f","datavalue":{"value":"W2889815034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$178BD634-8136-4736-B253-2F0A557D118C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$E1B96C72-3733-430F-A003-77379EF07CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc4effc81a4438fd341a78ab5ddac25c3b2e695","datavalue":{"value":{"entity-type":"item","numeric-id":1770417,"id":"Q1770417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$AAC131A5-8193-4F33-A3EC-2D46438E1B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$A808B196-443B-4093-B134-6C499302BCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0313d5850338c0fe1ee514022ca399a28cba8f63","datavalue":{"value":{"entity-type":"item","numeric-id":2454610,"id":"Q2454610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$73C08F0B-D4A0-4BED-B055-4C559C96D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$BA345393-F3CB-4485-9B8C-9C049C049640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17f55e4fc76a118d1feea8cc1fb64a5f1c4c95f","datavalue":{"value":{"entity-type":"item","numeric-id":3507467,"id":"Q3507467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$09AAC032-BCAA-4A98-BF22-23E02EA109C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$0BB62C16-D291-4B72-B61E-972C8F10E378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad767dff991af4c71c957cbfeddaa7f34a0964d2","datavalue":{"value":{"entity-type":"item","numeric-id":495649,"id":"Q495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$7F5E4993-1424-4007-9D97-439F06D39B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000674$E27E0728-EA42-48BE-858F-78B240DD1903","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cacae5090d8aa11f3907a6415a1165dc6f2fa6bd","datavalue":{"value":"10.1007/S10992-018-9484-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000674$12E182AA-ADAB-4402-84AC-EAA1C920A5D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235d23e6d6d2cf5ce97f5110424a8673a3b15b9","datavalue":{"value":{"entity-type":"item","numeric-id":4222841,"id":"Q4222841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79894b1c1a7744dc5799bcf4b610df555a26d9e3","datavalue":{"value":{"amount":"+0.8355789184570312","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":"Q2000674$F973FAB4-965B-4F92-ADEC-7D1FA43DAC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68d7e462a8f0d3bb57304b32d5e62f80b7f3965","datavalue":{"value":{"amount":"+0.7747841477394104","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":"Q2000674$77B0435D-EACA-4668-871A-542F5435B5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c1c54bfd5140b1a38cefe5f9ecea15c306608","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffeb85ea14eae042b9c008126c55dbcbd0a4ca4e","datavalue":{"value":{"amount":"+0.7708590626716614","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":"Q2000674$02E78729-CF5D-4764-A43A-4251299727EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2375097e11473bb8bd774f64cd2034a1221b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3608816,"id":"Q3608816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f9204694e439c10d624e7a74984d5ac176db6c","datavalue":{"value":{"amount":"+0.7631946802139282","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":"Q2000674$9486845D-9232-4902-97AB-BDB7016D0C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418f04edcf11ec662a481924a0aaf5060c05f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ca72d2a3a0d7828cbaffa3c8eeac154fb0bef2","datavalue":{"value":{"amount":"+0.7602183222770691","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":"Q2000674$88D79B9A-1E02-461D-93BF-761DC8703BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2000674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2000674"}}}}}