{"entities":{"Q4222823":{"pageid":6252424,"ns":120,"title":"Item:Q4222823","lastrevid":46608795,"modified":"2025-12-25T05:01:17Z","type":"item","id":"Q4222823","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231511"}},"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":"Q4222823$EC65881C-2C3B-4867-BDED-587DFF008E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78cea4d2802967141611aa96c586110399bbb931","datavalue":{"value":"0908.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222823$91241F66-F154-42D2-9AE1-A5048921251A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222823$5B9FD00C-3D1E-4276-ABE7-4423743286CA","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":"Q4222823$5AE061B3-1FF9-4839-8DEB-6263FAAF6C9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ba4747200bffc922d87e0535f53d5185dbbf652","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#bierman","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222823$F3FEBA1B-3208-4325-A039-5A28ACF4F2C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222823$AB436A5D-696E-4975-A461-4EB68D00D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222823$FECF7646-4091-45D7-8A2C-31CA44110AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222823$5CAC6AC9-40FB-4143-8D83-DBF515B4DAD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a6154fd902577d8bf2609c455d3da3e567fa021","datavalue":{"value":"1231511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222823$40CEC622-69ED-445A-ADD5-797D1E5A4376","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4bd394e76ef589115abd6ca79c3d8c66a021930","datavalue":{"value":"typed \\(\\lambda\\)-calculus for classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222823$D49E218A-A833-4660-9B02-83F0FE59272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9bf97017df369b23bec8061d27f3c63cb01539","datavalue":{"value":"multiple-conclusion formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222823$85F764C1-4FE2-4AC5-BD5E-7A54F04C067A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222823$AF9F551F-B2D3-4EC6-B110-AE61B4BD76B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6eb5bffeb2d6c65baa3ec9958f3049e1627b028","datavalue":{"value":"continuation-passing paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222823$236499A6-FA90-40BE-8630-3813AFFF9B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e52cbab532c825b230cea076ec59e8ca03f71300","datavalue":{"value":"computational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222823$BC65E5AA-5EDC-4AB9-9065-DABF3DB3323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7f2f96d62ffb53162175f24df2315a0dddb746","datavalue":{"value":"continuation programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222823$4D339BF4-53F5-4608-A252-EBDE2126AA90","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":"Q4222823$1A9F90E6-66C7-40C4-9572-C5F92F163F13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6bfd0264180dd1d561b9acf5ce8273f188d1b9","datavalue":{"value":{"entity-type":"item","numeric-id":1575877,"id":"Q1575877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5239fe50acf83d6da86dc65eea42e86bec9290a0","datavalue":{"value":{"amount":"+0.9311326146125792","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":"Q4222823$9A4DDAAB-CF0B-4D2C-ABA7-66C24DDDEA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673ce79055a0731e794fdcc730f374a87024b12e","datavalue":{"value":{"entity-type":"item","numeric-id":1330460,"id":"Q1330460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6982eea2d436ba6baa617c5317192c58da8798fe","datavalue":{"value":{"amount":"+0.8671537637710571","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":"Q4222823$C9F3A98B-01AE-46DC-9B62-8F022330DD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed38084237281586c0d529a2fb0bf67af0e5a3b","datavalue":{"value":{"amount":"+0.8179511427879333","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":"Q4222823$479F6FCE-E07B-4026-ABCA-2E0FF59B38FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e59fb634eb19db4669640803129f654e7436854","datavalue":{"value":{"amount":"+0.8105482459068298","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":"Q4222823$7FCF447F-F5BA-4A65-BE5F-1D35781CD08D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222823","badges":[]}}}}}