{"entities":{"Q4222984":{"pageid":6252585,"ns":120,"title":"Item:Q4222984","lastrevid":46603209,"modified":"2025-12-25T04:42:40Z","type":"item","id":"Q4222984","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231659"}},"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":"Q4222984$40E6F348-D1E6-4DD7-9B67-2BB7A206E692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"708c2b5ea262eabf43078930e52c0363ba2a92d1","datavalue":{"value":"0917.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222984$29669ABE-44A9-4F1C-925F-5B0B2D60603D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222984$70692FD5-C406-4F77-99E1-05A504CC43BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac6288c4dd54f19de1f60f43de451f11c91c5d5","datavalue":{"value":{"time":"+1999-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222984$54608C55-2B3E-40D7-85D1-BAA9947A876C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f3e7e4a5f5d630053b7611a847d47c6aa22d1b8","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15008","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222984$F1B1037D-3441-4B11-8620-8ED954F6D99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222984$12D0D532-440D-4B7B-A9E9-F5C77ABBB386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222984$5363999A-5DE2-42EA-A1FD-3D08816918E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222984$772DEC89-A507-4B21-8467-BDB7BB085AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca341d2167b66ec1f18591031d8f1f577fad0000","datavalue":{"value":"1231659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222984$92B64564-D819-4FF6-8C1A-4BA04F43CBF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453f7188b69e61d326ef00aaa8fec9c4cb7c63d5","datavalue":{"value":"Curry-Howard semantic basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222984$904A3202-FC76-4AE4-87F9-3138990F223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222984$AD99D2FD-F831-4F10-B81F-312F8506337E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222984$0C132510-FEAF-4F50-AEAD-64C6FA4E6EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222984$7B0BEB81-E55C-4862-A58E-B45DED71567E","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":"Q4222984$B14E6732-892B-426B-8A82-92B509F6B0CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee768f64fa9c3ae09f1f99206e7b8e02161aa13c","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23f292cb6b3013dd54d9afa111746102a41ae3e","datavalue":{"value":{"amount":"+0.8007737994194031","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":"Q4222984$9E890D2F-4B16-4DD0-A319-11CABCDFB9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2afa134d7470aaccb08587d7bdc0d041f87c1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bacd693ac11d02e299844435188dd4458c05805","datavalue":{"value":{"amount":"+0.7647577524185181","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":"Q4222984$AAB719CD-132C-453E-B726-490408350001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26b695f1b6ba26006e2dc38f8d73c3f1c2e3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2851051,"id":"Q2851051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c462784968a4e120b5fbcc3a45fc684200e684","datavalue":{"value":{"amount":"+0.7429339289665222","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":"Q4222984$DB3038EC-A1E4-48EB-815C-3685264A7D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3777d41a4c755d453c8405ef54e222d4cab9543e","datavalue":{"value":{"entity-type":"item","numeric-id":875516,"id":"Q875516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf4febe54cf29e7139ef68168c1336b3b765086","datavalue":{"value":{"amount":"+0.7257787585258484","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":"Q4222984$5049A4C2-2E1B-44D7-820F-18E10E7C7848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ebd9b34a630884d2e80dfd938f84e69060b90","datavalue":{"value":{"entity-type":"item","numeric-id":2723887,"id":"Q2723887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f3a10893796c5b59b9101435964c1e4673ee26","datavalue":{"value":{"amount":"+0.710553765296936","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":"Q4222984$68CBAC6F-C754-4E69-9611-47EB3D2995D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222984"}}}}}