{"entities":{"Q4202953":{"pageid":6232554,"ns":120,"title":"Item:Q4202953","lastrevid":47184985,"modified":"2025-12-31T22:53:05Z","type":"item","id":"Q4202953","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 408808"}},"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":"Q4202953$AB6E93F4-C7B2-43EA-8377-82EB8AB53E98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"572cc4a951aa046c8519a1ef42d260205682364a","datavalue":{"value":"0783.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202953$FA383147-8E15-4B1D-A15B-7B3A1F51C74B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1016c7e6217ba6f9fc4fe7e518f619aad78f491c","datavalue":{"value":{"time":"+1993-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4202953$2EBCAE29-768F-45B5-AB23-547528993621","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202953$6B13DFFC-5BF9-4E70-BCB3-02DF31ADB309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202953$2BB2C164-CC15-4C52-9B2E-303BFEF25E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202953$B538EA98-C09B-46B1-BADF-034299D65CF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a5066dc4fea78fe38a91939de11dbd59ddfd75d","datavalue":{"value":"408808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202953$B687DD29-8E75-43CD-830E-E4C459BB5655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c5734e0e8d23c753ed2015213881f4701cb083","datavalue":{"value":"Gentzen calculus in program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202953$A6B720BA-A4DF-442C-A4AD-0F969D37EBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e5d1d5039e0e0a7617e02c3353b4a7e6640686","datavalue":{"value":"proof evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202953$777D9ED1-0BCF-418D-8897-C4EE6759FAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d7d6dd116ff2773050f4298b361ff43a4ec715f","datavalue":{"value":"sequent \\(K\\)- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202953$0A18805B-8717-4B50-8501-449D4EE97C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202953$B4DE0394-0154-42B4-B78F-20D9A8A2D974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f21b9d35660dda32f3ad1d3f12ca31aa7431bc","datavalue":{"value":{"entity-type":"item","numeric-id":1098647,"id":"Q1098647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4202953$9ADBEBF4-2C4B-467A-B650-97EF8045C32F","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":"Q4202953$29ED3D82-DE34-49EF-9172-A584AA152471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825978af4493bf09c69ca57b64a5c7520885849","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1abf25d41207457ae2bc0652db8f8841a74f9b8","datavalue":{"value":{"amount":"+0.7658992409706116","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":"Q4202953$87F4705A-FE8C-4FDB-AB31-FE315562EC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f1df44ceacc83047a3b7a43e782e7aad9020","datavalue":{"value":{"entity-type":"item","numeric-id":4249179,"id":"Q4249179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fafbadd068f9f798a97811713a957cceb3b77da","datavalue":{"value":{"amount":"+0.7633403539657593","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":"Q4202953$24D75218-02B5-4143-81F8-03DD8541C8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fafbadd068f9f798a97811713a957cceb3b77da","datavalue":{"value":{"amount":"+0.7633403539657593","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":"Q4202953$7CC96575-45DC-42C8-A981-EF8CD2577817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a905b5de8f6463a3e2a0cbad98a5415dabc5cbfe","datavalue":{"value":{"amount":"+0.7552818059921265","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":"Q4202953$E875201F-3C2A-4C29-9BED-AF096CE189E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e04afcb9e2b628698094cfc00d1a8b354f74f64","datavalue":{"value":{"entity-type":"item","numeric-id":2778826,"id":"Q2778826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002aebe069ae415b347db3120727770a836a4e5e","datavalue":{"value":{"amount":"+0.7513220310211182","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":"Q4202953$0052541E-D693-475C-84FB-7061DE201A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4202953","badges":[]}}}}}