{"entities":{"Q4964697":{"pageid":6994276,"ns":120,"title":"Item:Q4964697","lastrevid":58379700,"modified":"2026-04-04T23:24:19Z","type":"item","id":"Q4964697","labels":{"en":{"language":"en","value":"Superdeduction in \\(\\bar{\\lambda}\\mu\\tilde{\\mu}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317229"}},"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":"Q4964697$C477D588-BEE8-4854-81D5-B7748B069122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f0151a33ccd120b0d5f46f152a18827775beac7","datavalue":{"value":"1456.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964697$25D09C86-D9FD-4DDD-B2D2-06695752DF42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e708c3837dd01826e990d479d06ec21c45976b0","datavalue":{"value":{"entity-type":"item","numeric-id":2873777,"id":"Q2873777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964697$CFFECECD-A8DF-49CE-B219-EA33F69971A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964697$DD15E715-1DB7-4DB6-8B98-0CD8F32DFF69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68902a97eff16e407052b69fcd34ef354c69a941","datavalue":{"value":"https://arxiv.org/abs/1101.5443","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964697$7DECCED6-9ABD-415E-8AAC-6F750DC80DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d40abe94fb1dcb350e55696daede48ed71a761d0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC10.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964697$C5C90C5E-878A-49C4-9B39-A5EAF02E0AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964697$F096AFB7-DBB1-430A-A45B-2B4175A7D50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964697$1FA5E39D-0033-4A86-8C3A-6E9AE38C12C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964697$EAFD8D49-7544-4CBA-BA32-6B9130093239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964697$3C33890C-74E4-4B1C-8442-E5D8672EBD61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef864cd6e847d17d23096c3cff5eb54f8139da7a","datavalue":{"value":"7317229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964697$3A6B52D4-15EC-4AF2-A386-29DB85EEF55B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddb6b92164e4b150c7315e5feb6d9606fe9ce06","datavalue":{"value":"classical sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964697$2F2803AE-A112-4560-BEE9-BBDDCC6CDB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b7a46a360629d222476cac2c1e10d68334605a","datavalue":{"value":"superdeduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964697$FAF6DC0B-3BD7-4189-AB3E-316EF08AF3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b58fae2ea181ba7e1df91909b24e6809c895363a","datavalue":{"value":"\\(\\bar{\\lambda}\\mu\\tilde{\\mu}\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964697$D868CB6F-1667-40A1-B7B0-F621A30AF37D","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":"Q4964697$B0E6F994-BC4A-4F57-9FDD-847CD714B302","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df5399f2ba8e77a787876807621806713762304","datavalue":{"value":{"entity-type":"item","numeric-id":3608815,"id":"Q3608815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0095f2a3168c185e75c158a9bcf8bbfccd16478e","datavalue":{"value":{"amount":"+0.8763042688369751","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":"Q4964697$C089DA93-CD15-42A0-ADBD-0890F5E57B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fceebb954c3f3eb9ff32d939250be2deb621261","datavalue":{"value":{"entity-type":"item","numeric-id":3638252,"id":"Q3638252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7de530a2812e774b57c4f37a21305d1d715846","datavalue":{"value":{"amount":"+0.8073575496673584","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":"Q4964697$17E58FAD-45A4-46FC-9769-D55229A58165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786f417d58cde01035ee16bc50864740cb419d1","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07dbddf71212b1da18ef68af43d71339666ed7ef","datavalue":{"value":{"amount":"+0.7588711977005005","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":"Q4964697$E336695E-950E-4A75-9598-07EB281A8E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322f173fb3575a797ce385c52c033636a0af7c95","datavalue":{"value":{"entity-type":"item","numeric-id":5432335,"id":"Q5432335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73114956aa13abc8a204a5ce818cc54c84af7be7","datavalue":{"value":{"amount":"+0.7422693371772766","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":"Q4964697$370450DA-CE2B-4781-AAC7-311F8B86CEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d801817ba38a5022c044acb2705af2a0ba08b3e","datavalue":{"value":{"entity-type":"item","numeric-id":691121,"id":"Q691121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade9528beefad9abbaf0716d3d75935c8997f404","datavalue":{"value":{"amount":"+0.7362805604934692","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":"Q4964697$2A30ED80-785F-4BA7-8C41-7F6030ECC43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964697"}}}}}