{"entities":{"Q3638248":{"pageid":5668154,"ns":120,"title":"Item:Q3638248","lastrevid":50699879,"modified":"2026-01-14T20:43:15Z","type":"item","id":"Q3638248","labels":{"en":{"language":"en","value":"Monadic Translation of Intuitionistic Sequent Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574312"}},"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":"Q3638248$EBB839DD-27AE-46D8-A64B-EA4BC99921B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91c60f3649d6d33381beeb3c60af63cdac337f26","datavalue":{"value":{"text":"Monadic Translation of Intuitionistic Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638248$79B06C4B-F9CC-4011-BAF7-BE7B315C86D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66047ef9b1dab00784cddef4cb6a9f0ce251b47f","datavalue":{"value":"1246.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638248$50DAFAA4-A108-4FA2-8A5F-9603A70632A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cedbfa46a6e8b47ab738b989ac7969f9d5c3b439","datavalue":{"value":"10.1007/978-3-642-02444-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638248$C7D6206A-B23E-419A-B14E-857D1D5F551A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$38B2429F-690E-4EB4-A6D5-FAC8C08D602F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$4324C64F-1F8A-46E5-88CC-AE41B5B0FCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$6452F138-9B0F-4056-913C-29D9078D9CA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$4267F6A7-A91A-48DD-AC85-3794CA414421","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638248$14EAD864-4E61-4A6B-9626-61D3A18734DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638248$02193BE2-298C-42E6-8B7C-8BAF056FBA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638248$D261A905-AB09-4DDD-A595-9A232D73AB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a723b36de7262375e6a00220a1b62943ee61d70","datavalue":{"value":"5574312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638248$761B890D-8837-4DCB-98DC-9B091FB35CB8","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":"Q3638248$1C54064B-B9FD-453C-9E5F-F1BE51942DE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be41ee79237a87031fe59608836222d376eb3eaa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638248$2A7979FA-BE20-48AA-A077-F9017C71549A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a585482950fc357d942b7435928c1f3dddc785fb","datavalue":{"value":"W1867484958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638248$2E262723-D51F-4725-806A-7CE1A8B1F50A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$4DB7F58F-DC63-4802-B305-31BD5936D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1af344aaa64537d1e2473bf97f3d1054bcd467","datavalue":{"value":{"entity-type":"item","numeric-id":3612626,"id":"Q3612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$6861C3C8-4230-40A1-A4B5-9F8040CAF753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2c29cfc2f6cf69387661eb43317351b89ab5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5432340,"id":"Q5432340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$292AFF03-B94A-4AD8-B5A8-0375DBD1B57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfce7713583a441f86e3874e5801a1ba7184896","datavalue":{"value":{"entity-type":"item","numeric-id":5901474,"id":"Q5901474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$499CBA0C-6E5A-4394-964E-0E2FB2AE6335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29848314358d236f60afb44adaef87d21b4940b","datavalue":{"value":{"entity-type":"item","numeric-id":5902124,"id":"Q5902124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$BE698C50-C2A8-412A-B642-BC50C0D33855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956f8f6ced52772736e9707cc664b497562a003b","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$73E840CE-4012-4E0D-80A0-2AE0F42AF7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be2512671605ebe72e3a700003c529ae354271d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$A223D5E0-62ED-452C-910B-0B9C9825AAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$D1D0ABF2-EF89-45BD-98A2-309F7B831F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1a6f045f9ac8b011f54546b8ebd71da22116a0","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$3C5BBBD3-C92C-4C3C-B6B0-F5E33668AA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$C42F0893-6EDA-48E0-9FA6-27656071714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$93F6B801-1F5B-4D34-AB7D-01F2A248734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1edee203e7a439bc4100ad982c678cedc9b35d2","datavalue":{"value":{"entity-type":"item","numeric-id":2817680,"id":"Q2817680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$550277DB-1A33-45B8-9505-98E04E824C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638248$91446DC7-2B5F-4E00-99B5-971D9B55B8D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da42f86e4eeb2e6dfcd27559f6d7441a7c6c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5410235,"id":"Q5410235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547a74185e46b1f98fad5c4021876e7179bfe868","datavalue":{"value":{"amount":"+0.8842929601669312","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":"Q3638248$D07F732C-5459-4707-9A16-4384C93D11E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bf77012d57da28cfaed8fc93134867507b7704","datavalue":{"value":{"entity-type":"item","numeric-id":5901474,"id":"Q5901474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b026dc9a8e8113b6ecd0660b81515c7ec7ab11f","datavalue":{"value":{"amount":"+0.7934557795524597","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":"Q3638248$704E36BE-46DC-4947-AB1B-3C0C1D88A354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e1b45d9663ce929ccaeb672fa61edae6815da0","datavalue":{"value":{"entity-type":"item","numeric-id":5902124,"id":"Q5902124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cb881eaebb85745846afc5bc5773e410e24e68","datavalue":{"value":{"amount":"+0.7916035652160645","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":"Q3638248$8A28404A-04C4-463C-A100-C86749600957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc109b3cad2c907503f7b212d7a53c5de8d99fd","datavalue":{"value":{"entity-type":"item","numeric-id":4435476,"id":"Q4435476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2e2aa50aa636b667aafe5f1b4f5dd71b016176","datavalue":{"value":{"amount":"+0.774328351020813","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":"Q3638248$7302478B-71C1-4530-A7AD-3B8BAD739169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8921d784ec4ec52345d9f08046bccc4c610997ba","datavalue":{"value":{"entity-type":"item","numeric-id":4417784,"id":"Q4417784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31e4df7483f33e1c5f168d84051460268182411","datavalue":{"value":{"amount":"+0.754135012626648","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":"Q3638248$9C9B3384-DD8E-43FC-A58D-0467BA931617","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638248"}}}}}