{"entities":{"Q4938598":{"pageid":6968180,"ns":120,"title":"Item:Q4938598","lastrevid":47446561,"modified":"2026-01-01T18:53:04Z","type":"item","id":"Q4938598","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405619"}},"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":"Q4938598$536B0253-CA19-425F-9654-456683F17C4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73739bd40e9c8e8fcea71caeb4affc1f7f7f924e","datavalue":{"value":"0939.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938598$6AD8805B-2E7E-4FA5-B00C-5C7E6EED8BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938598$09868619-2058-4B20-B358-1F0581B73553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938598$902593F3-564A-4B79-A73E-225956D06E34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938598$2BE56B02-D2B0-4F44-83A9-81F73861984B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938598$4239C1B5-A9BC-44E3-A55A-51B3AB3491CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938598$4EAC9B31-C9A2-4D3E-8535-8E1EB759A3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938598$63BD42C5-9494-4D40-A0F6-5EB1695AB401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a9b8fd064994f7a9ed8513c776b4dc38d9afc6","datavalue":{"value":"1405619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938598$AAFD528A-DEED-4FA0-BEFC-01D159953917","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938598$86C86FD6-5D82-42D8-808B-DB03EF1E297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938598$0CCCB9C7-9559-4BB9-BEE4-8893D4E2F4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938598$902ACBF1-9481-4E14-9944-728653FBB216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a714aeb72b98d079622af8360225697b546de392","datavalue":{"value":"parallel syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938598$2C1F4866-2B61-4158-A932-971A18194DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938598$0BD99F13-799F-434F-A015-5FEAFFD433E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938598$65246721-52F1-40B9-A3D7-E6B9B5525E2C","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":"Q4938598$CE875BFB-BE80-4C98-BC0F-1A33181C06E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf72fe02636f2b7949c7e24d01fc14cb8801819","datavalue":{"value":{"entity-type":"item","numeric-id":2958373,"id":"Q2958373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38df34cae332e9851a076809d029dad2b8dec830","datavalue":{"value":{"amount":"+0.8162431120872498","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":"Q4938598$F5048DA5-B117-4017-8C2C-3B0E0E028B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1250138b7ee90ee996daa550f4376a9beabf35f1","datavalue":{"value":{"amount":"+0.8146833181381226","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":"Q4938598$E83AF9E4-AE88-4624-B71B-6AEA976F8E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d9075c9e829d985d67493ee701c3beb72520e","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1eba5d79e6cf7954a6de049b3e070cb6d9a093","datavalue":{"value":{"amount":"+0.8077204823493958","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":"Q4938598$A01ACDB5-12A5-4253-95E2-006D83A718FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b49bdbb4f0b194b53a916923e48e4d6c9496ef","datavalue":{"value":{"entity-type":"item","numeric-id":5055862,"id":"Q5055862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faffd8ab72220ef1e84a046635d2f79b4932b628","datavalue":{"value":{"amount":"+0.7986648082733154","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":"Q4938598$0CB547D2-6093-4340-8ED7-4E4DCA50C98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d8680edca9f58d9b77c520c1eeb1332d56e341","datavalue":{"value":{"entity-type":"item","numeric-id":4916174,"id":"Q4916174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa67064e79975c5030bf18e50f77c0b12bb8ea03","datavalue":{"value":{"amount":"+0.7941344380378723","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":"Q4938598$DF5FAA16-230C-4CAC-9F0D-F279F43EEAB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938598"}}}}}