{"entities":{"Q4304806":{"pageid":6334407,"ns":120,"title":"Item:Q4304806","lastrevid":40699030,"modified":"2025-04-04T09:52:51Z","type":"item","id":"Q4304806","labels":{"en":{"language":"en","value":"A formalization of Sambins's normalization for GL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 627592"}},"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":"Q4304806$72DF5004-017B-4546-8EFD-B98791F24D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"750747674a438d452ba5500cd00d6c58cfaae247","datavalue":{"value":{"text":"A formalization of Sambins's normalization for GL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304806$C303781B-8AAA-4F79-A7BA-C92212809B0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27aafa45f7da73903851016cf3cdf5807e9b7c2c","datavalue":{"value":"0803.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$548ED6FE-556B-4C06-9756-9F12D4B99258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$6B3E5B1D-B98E-4645-A596-AFA738EBA9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01786917e5fc26c53da427413140e48f629a45b2","datavalue":{"value":{"entity-type":"item","numeric-id":2055763,"id":"Q2055763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$966408E0-0E8A-43B8-A6EE-EF5BFA14C542","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$12CE4FD4-8767-4772-98A4-55476E83BB09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb7328fa250b0e22157c1a026d2aa10f157d3ba9","datavalue":{"value":{"time":"+1994-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304806$00234C00-1AA6-4C2A-9C56-DC1AE58C5BDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$F0F1E1FD-B635-4100-82B4-E5A0E458407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$BD365A55-0150-4203-8F85-1AB1F4ADECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$5CB60517-6EF9-401C-A7FF-F9269EBAA10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$4345029C-DA61-460B-AFEE-3788105F50CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e22540710f07a4148160cc98e3c1e1aa04b580","datavalue":{"value":"627592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$95B28EC6-F552-48B5-8E37-5CF52C8B42F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ee251f99ee83df19adfd1aa147d4e5a22752d6","datavalue":{"value":"normalization theorem for GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$2D34B91E-3379-4BE9-8E7E-88FEC2515B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$791B886D-C1DC-4C01-905E-3D7C95536F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030ebb971ed35de2b58b34531df775e14fcf4525","datavalue":{"value":"mechanization of proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$134C136D-DBE0-4B2F-978C-190F0821BEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894d4cffe0e448b0a58004593401ea9dc815d128","datavalue":{"value":"modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$F699FCBD-B85B-4F06-9DDD-DB0B75DB78E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$3655302A-B702-4396-9121-5BECE7F6BBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$2BA840D0-1521-43C8-931B-C9C9BA946951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304806$CC8C4582-8D5B-4488-9A95-21FB4F74A811","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":"Q4304806$B0B69C8A-E75C-4369-833E-938D2E7F35A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a3b687725f4e17d98127b468adf1ea8cb68f7fe","datavalue":{"value":"https://doi.org/10.1002/malq.19930390116","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304806$F25AA334-A873-451F-AE81-DEEB1CBB9A3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0071f533dba9306e4d2ae906e9888edebc967ec5","datavalue":{"value":"W2111048265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$265FC012-E58D-44FF-A1E0-999FF6826A07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$0CA6336A-9C0C-4C33-9869-29C21844777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$6E0D2A2F-1441-48C5-B879-7758453B3B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2cf2a0dbdd01a7a4261488e61c1139b1e8ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":3919674,"id":"Q3919674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$75BF741C-8BD9-4B97-9AE6-D1357A23BB0E","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":"Q4304806$EA4F4928-583A-44F3-971E-FF8CCF7FFDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304806$AF85E47C-9171-4A14-9C44-BA89B8172343","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6bd2c06ce6dd102cd495b5d26099761ecfd2f781","datavalue":{"value":"Q126258839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$75C047FD-E184-4437-BA82-085676F48F26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bedad001a1605142c4b786afdbd66c48b44f50c","datavalue":{"value":"10.1002/MALQ.19930390116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304806$316BFD38-BBFE-465C-A5E3-7E9767A401C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ff016b47319c07594770c6c1cc646e65a2408","datavalue":{"value":{"entity-type":"item","numeric-id":2365320,"id":"Q2365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02b086eb8889c6497a506cb56cdb001c6560056","datavalue":{"value":{"amount":"+0.8544667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$C6FD4E16-3F92-4FD2-B6F9-1F80129121CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e85011cc4f8f812313279990efa8b25b1cecf3","datavalue":{"value":{"entity-type":"item","numeric-id":1926582,"id":"Q1926582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e7f0ceec46a7c8246accb8d7835c2519a37507","datavalue":{"value":{"amount":"+0.84209454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$7F210996-6FAA-4BFA-917E-D870A7D0CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b276bf8409c436b63d22468a25068e0acc81f329","datavalue":{"value":{"entity-type":"item","numeric-id":2357011,"id":"Q2357011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9b27717c21a5bcc618716eabe707787730552b","datavalue":{"value":{"amount":"+0.8344041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$07ABEB58-53A9-4150-8C7F-47CE70141EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12831c69016f24ca6498c1293dedac6d0e4da5e","datavalue":{"value":{"entity-type":"item","numeric-id":3826710,"id":"Q3826710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a51da850ed2600b62ce9ed619a7a1d12130a470","datavalue":{"value":{"amount":"+0.83222216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$A7F38674-876A-4DF3-B3BA-231EC90C0FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f6ef64db277c87327d0c8ee91d0405d2196570","datavalue":{"value":{"entity-type":"item","numeric-id":5864201,"id":"Q5864201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a1b45823a1c6a24fdb4c87f6b6d59546bc715a","datavalue":{"value":{"amount":"+0.8269903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$2DABE36D-F890-4919-9D4A-DC6B12015A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e1eb7aad5111a30c29ceff558cf732a8a6576d","datavalue":{"value":{"entity-type":"item","numeric-id":5903291,"id":"Q5903291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47230c1e463b1097228c5b2c9d7670ca9a3e9491","datavalue":{"value":{"amount":"+0.8265872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$D6BAA8B4-4E87-47F0-85A7-CFC36479E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d04c61fdb6b8a1245a3b8746e97444dfb0d79e1","datavalue":{"value":{"entity-type":"item","numeric-id":5966461,"id":"Q5966461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7024eae37438a924cfd53901a2dc115b418a452c","datavalue":{"value":{"amount":"+0.826587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$DD1A6DDC-03CA-4CC8-9CB8-4FD21056F74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263fcfb3bce851ef9972b681f8d71526c8d4f03e","datavalue":{"value":{"entity-type":"item","numeric-id":4376923,"id":"Q4376923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3c399456fd5190c3cb30978e5ede2fbf06b77e","datavalue":{"value":{"amount":"+0.82588905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$91285D4D-DB57-48D8-8E1F-4A9A88777A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad5a9e18113f030ea5d4068b6469b08ac8c6176","datavalue":{"value":{"entity-type":"item","numeric-id":3520435,"id":"Q3520435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbe473a6264275b58a70146378e859bf57628c8","datavalue":{"value":{"amount":"+0.824416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$08296780-F8E5-4E02-8839-8C9C98C6DD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1363a3db5f46b7a6e494009c3817500fc6c53db","datavalue":{"value":{"entity-type":"item","numeric-id":5494058,"id":"Q5494058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ae993206d440ce7877b50646413ffec390de03","datavalue":{"value":{"amount":"+0.8226115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304806$3461345D-7FF8-4E80-88C3-6F0A031E87E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304806"}}}}}