{"entities":{"Q4222777":{"pageid":6252378,"ns":120,"title":"Item:Q4222777","lastrevid":46594149,"modified":"2025-12-25T04:00:19Z","type":"item","id":"Q4222777","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231474"}},"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":"Q4222777$D147FA37-5EBB-47DA-90FE-2894B56A1687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc5b8948283aa872f0859c55b111413ef7e02fdd","datavalue":{"value":"0908.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222777$D85C2945-C40E-4315-AC2D-3BB362932F57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4c2470c3f6fc47b3112e775fa16f7d7ef511e2","datavalue":{"value":{"entity-type":"item","numeric-id":971107,"id":"Q971107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222777$81472646-6AEA-4953-95F6-45DD649C4AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222777$4B9AD58E-3786-406D-9C76-095079547D55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14701bb5591a3900212a7a439a0ba9af8910872a","datavalue":{"value":{"time":"+1998-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222777$55C1FD7A-0509-4AEE-9BCA-4A0322D8B8E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e009c9d7dd7138bbc7a21a9cb0b2302f2a46d193","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#pfenning","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222777$93A70620-BEB4-41CB-81CE-ECB42BFDFAA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222777$8AC09CEF-3F64-4660-BAC2-A14428F8F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222777$1070E298-FEAA-4816-8209-5E0077EDED73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222777$8E8A04C7-F6AD-4D16-8006-E61755A7BFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222777$B14E5E06-2796-47C3-B307-7CC68700DC79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d25dc835fdb911c5b1a7ecce9d79587495eb5427","datavalue":{"value":"1231474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222777$49FB7B2F-7F32-4182-BECE-3F7D91D18689","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed4ceb33ecee92af3b4c3c433935378ec1c13d88","datavalue":{"value":"proof term calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222777$75E052C2-8D7A-4314-B645-97499CD6FDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd47dfea3c852bf6f5d28a819ea6994da7063b4","datavalue":{"value":"intuitionistic modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222777$76934AC9-130A-49B1-952D-83831D76E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c82e9f3e64a99ad38c9d693df9b9409d36aa30e","datavalue":{"value":"type checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222777$DC986FC8-39F4-433B-A2A8-0A1F12BA78D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222777$2E7A8B31-115A-4AA8-A730-2332F2B185CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222777$880A6F96-D08E-4342-A73D-86D948A50FC0","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":"Q4222777$B13F29D9-583B-4432-A332-3FF439988B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0234589f2ebd950feb0efa0de76dafdbbee659d1","datavalue":{"value":{"entity-type":"item","numeric-id":4506397,"id":"Q4506397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aea522ab37bdf7fd9dde9ecf8a5b567e35d4215","datavalue":{"value":{"amount":"+0.830916166305542","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":"Q4222777$87122453-CEB2-45E2-9155-BD5432E46587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4f75df3cb2c1fb8c3a57e7899b98074dd316c6","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13325903578cfc3788dc753cc3ee251e74da9163","datavalue":{"value":{"amount":"+0.8125842809677124","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":"Q4222777$9F51BF22-2AED-4062-BCFF-17BECDE09F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb847ebdcae208034f9620182a520029ff85766c","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520cd2745a1fa6a7fc64e4dfcee41ddb2118936f","datavalue":{"value":{"amount":"+0.8108669519424438","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":"Q4222777$C4CCC989-98CB-4BB8-B5B7-69CB3797635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f03b4a04f8081ec36348a38c4a8b1a8b5b4655","datavalue":{"value":{"entity-type":"item","numeric-id":4944849,"id":"Q4944849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3abb0c997ff06a61d31733078cbb9e952ac26b","datavalue":{"value":{"amount":"+0.8065471649169922","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":"Q4222777$88CF7F04-0BC1-4C4E-ABEA-0F0860061B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a040adbe77a147499cb6425b899b2acaa44d3aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7f74750f805dc24d667c3b3edf185c1dd20150","datavalue":{"value":{"amount":"+0.797486424446106","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":"Q4222777$F8ADF3A3-C406-4115-85F9-94B8C4CAFC56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222777","badges":[]}}}}}