{"entities":{"Q4645729":{"pageid":6675310,"ns":120,"title":"Item:Q4645729","lastrevid":82245323,"modified":"2026-05-06T20:26:47Z","type":"item","id":"Q4645729","labels":{"en":{"language":"en","value":"Deep Proof Search in MELL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999982"}},"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":"Q4645729$91CA2394-5879-4ACC-8B78-2849522BBFF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545a9e4427afc7285ba2ea002126f61f8796387f","datavalue":{"value":{"text":"Deep Proof Search in MELL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645729$D07B8247-F21B-40A4-93B5-0B3F41F03653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d8b007ba31cf9d50cd8102a0c6f6c2cde2e56fa","datavalue":{"value":"1402.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645729$26536264-9E1E-4C65-8E39-EDFF546257A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eb7c906224cb25d5c90b525202d2d3da1ea1cb5","datavalue":{"value":{"entity-type":"item","numeric-id":1041041,"id":"Q1041041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645729$2286CFA8-6462-4516-B796-66A1D24CAD8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645729$FEFA1743-9B52-4CF1-981F-9158D16656B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645729$D8897C4C-68F6-46DD-99F6-F27793D4DC92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645729$44A65374-289B-4D19-B365-EACA0FF3507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645729$748DF821-F4D8-4FC0-B3EA-F58D03B88B1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"567d147fbc60d1e2b58e4dbe1d7308a3af20a217","datavalue":{"value":"6999982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645729$701CDEC4-108B-4CE3-A0E8-6004958D1648","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645729$0029A2E3-B873-4EAD-BAD0-E583C8327ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645729$D1224714-E9FF-46E9-86B8-550173B0E5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e46f59268597cdd6cb5d879dfcd7f314ef47d415","datavalue":{"value":"MELL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645729$94623407-9F4D-4383-886A-DFFD8F81B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645729$02D6CAC3-8D0C-4E01-B36B-E2675E52F43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645729$B6437C55-F087-459F-B4FE-888AF61F8259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645729$0EF304AB-C4E5-462D-A9CD-BB47E0AF7777","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":"Q4645729$822CF38C-82FD-4A97-AD5A-51897DB9280D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3b19f8feffb06d24ffb41e8a582e4a9e9cd5774","datavalue":{"value":"https://doi.org/10.29007/p1fd","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645729$9271FEA3-2F9E-4EB7-A972-6BB574E0E560","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"278f57ebfb57fe7f57098f1b923a3c80e009c93f","datavalue":{"value":"W2740710672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645729$F41009C5-0BD3-4319-AE00-2CB1B114FB5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aba3e9460b1667c00883d85181588666badc5244","datavalue":{"value":"10.29007/P1FD","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645729$5500C30D-6979-45BC-8F2A-6DF710795719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d676a20d759eb2c347a2af29635001d6c1db2ec0","datavalue":{"value":{"amount":"+0.8667074","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":"Q4645729$0BCBDBFC-F509-4D12-925B-C24FC9C07161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678713d54d3e994b17a677ec23602d5d5def9ae6","datavalue":{"value":{"amount":"+0.8440658","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":"Q4645729$24EFC239-80EB-4D43-919E-C638EC14D665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90ece50c455dd50cdf55a88690655d14aa89fee","datavalue":{"value":{"entity-type":"item","numeric-id":2703720,"id":"Q2703720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8252fb13e39fbd0d1b537549dc8196530685d9","datavalue":{"value":{"amount":"+0.834602","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":"Q4645729$9641D7AC-8547-4431-B9B7-DDB83A6A6830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6bb0b3756c9b1cf12f12e5de7c37230b07d7d15","datavalue":{"value":{"entity-type":"item","numeric-id":3088031,"id":"Q3088031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf493c59ef10792669fd1bad9804e0be6185f23","datavalue":{"value":{"amount":"+0.83308583","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":"Q4645729$7A43933F-CF87-4B26-84FB-F56C9AFEEF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04b93a5dba603cc23d28bcf963b49d7679ae495","datavalue":{"value":{"entity-type":"item","numeric-id":2947574,"id":"Q2947574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf493c59ef10792669fd1bad9804e0be6185f23","datavalue":{"value":{"amount":"+0.83308583","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":"Q4645729$67392DEB-F267-4E30-969C-B6C5CE4F79C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e19cabe13341f67aaef2cf0b284b7eec0db861","datavalue":{"value":{"entity-type":"item","numeric-id":5419489,"id":"Q5419489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575defe5e880518dfc51466f5f3af876ab7bcd9c","datavalue":{"value":{"amount":"+0.8329484","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":"Q4645729$8E188CB2-BC86-4EDE-BA7D-36A24AA3DB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c0143e76e5ce42fd14529ad18ba017483153dc","datavalue":{"value":{"entity-type":"item","numeric-id":2811588,"id":"Q2811588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0d82a556fed905770a7cf690b66d58b12f5c36","datavalue":{"value":{"amount":"+0.8320389","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":"Q4645729$70B8D6C7-F4E5-41E1-A738-0EC335EE836D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9860d5c8dd1008bf9847a365188ad0d8230a618a","datavalue":{"value":{"entity-type":"item","numeric-id":582116,"id":"Q582116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5da5263fa1d89978738fc3d29114d714f6a0702","datavalue":{"value":{"amount":"+0.83193946","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":"Q4645729$DD95F440-8435-4F36-99A4-66CFEE9EFE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bd0aaf26d806093c2563e1ec1bd9bced45c39d","datavalue":{"value":{"entity-type":"item","numeric-id":4364375,"id":"Q4364375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54293ece5514a0dfc6ffa787f9ac95eddf5c52a0","datavalue":{"value":{"amount":"+0.83042777","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":"Q4645729$E3D899A0-C6AE-460D-AE3D-FDA1D91D3E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e804744fb786ea3d41a8eb4585fc7729045353e8","datavalue":{"value":{"entity-type":"item","numeric-id":2888855,"id":"Q2888855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca03d63558c522945b1f0a5acf040181bf1739f","datavalue":{"value":{"amount":"+0.82918173","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":"Q4645729$1B36EA9E-4FBA-43B9-9373-6BE0F2382833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deep Proof Search in MELL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deep_Proof_Search_in_MELL"}}}}}