{"entities":{"Q5056369":{"pageid":7085946,"ns":120,"title":"Item:Q5056369","lastrevid":91241996,"modified":"2026-06-04T22:38:24Z","type":"item","id":"Q5056369","labels":{"en":{"language":"en","value":"Syntactic Completeness of Proper Display Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628978"}},"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":"Q5056369$2DF3AB94-2882-4EAE-92B8-288BC148A7B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9dd38fdc78460a1403efe8fd3592f30d62ba7cc","datavalue":{"value":{"text":"Syntactic Completeness of Proper Display Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056369$A6B74093-E882-4819-9039-F360EC60D80C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c38debf75ac2296760234bf52de0062dee15e10","datavalue":{"value":"1505.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$E9A4BA3B-D698-4DF3-BC6D-23D40CD6D09B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45495dd9d4885d5649ba341628eba49cebb927fe","datavalue":{"value":"10.1145/3529255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$06BBD040-E6B9-40DD-AC96-C58A42D77D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e90dcb5a7c7d3ed80ccf5ab9bde272a10eac63","datavalue":{"value":{"entity-type":"item","numeric-id":1679792,"id":"Q1679792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$CCAD3FC5-90B8-4355-BCC9-BCACD8409E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$7DE17910-FC62-4CE9-AED9-6E6AAD308844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$3B667DC0-B987-4062-B74F-73393F07B6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4ea9ddfb2e8911c7e7aa8e3d9ae49b7851395f","datavalue":{"value":{"entity-type":"item","numeric-id":2035342,"id":"Q2035342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$D5F3B636-7B95-4BF4-85AC-431C52DDEAC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$F60EB950-2660-4D28-B418-7F9E597A7173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056369$EE6B8C9D-9098-4A2B-A733-E9CC4D2AEB97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3a068d4cc76c0e2daac0853ae578d3244bd1d0a","datavalue":{"value":"https://arxiv.org/abs/2102.11641","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056369$0DDA9D9D-B302-42FB-B31F-850B218C10FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$B580AD24-5841-42B6-B31C-DA6038241078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$1F8009DC-CBB8-4DEC-9726-9429BC7B07FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$1F4FA000-43D0-4FDD-853B-05FE475D1C01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34f5125b95dbc879aec7ac065e0346436d8c69aa","datavalue":{"value":"7628978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$3EF78FB6-5ED4-4347-8990-25626F95880B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a634ae570f1bd529058c1c947d4afa0a57fc6ba6","datavalue":{"value":"proper display calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056369$3B65C1E5-C4CB-4F98-B1B6-2B79AF4A30E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35472f3276a93c0e2f8612724e1774a5886696d","datavalue":{"value":"properly displayable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056369$59002265-42F9-42C4-BD6C-3EBE365BF391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e9fe9dda42c92a353665dc9e45f2e670ebd829","datavalue":{"value":"unified correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056369$0E909798-E8E3-4195-94D7-2E0DFA9C90EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744eef2c6999b917830114689c8c38a5a0c52ccf","datavalue":{"value":"analytic inductive inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056369$22BAE0D1-7F61-48F6-86F1-D259D624196F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f4441264824e819e4812bf500b7b1d40794b3","datavalue":{"value":"lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056369$86F7FC17-8354-44AE-8955-D351833AF4B6","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":"Q5056369$D0935A35-2B18-4ACA-AE43-B2E55023F3D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85b197312c055116e8c53fd9b8ad9b890d658de6","datavalue":{"value":"W3130894656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$0E68D440-0211-4A3B-826D-71CEE1849EBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$F6171C4B-7A2F-48DE-870C-899F99B7DB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$C5FE59B9-4B53-4897-959F-671F1A061D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08294c72e7d02efe5a83d2ed5291bc87872f6ab2","datavalue":{"value":{"entity-type":"item","numeric-id":5869717,"id":"Q5869717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$26702258-33F4-4071-A1EF-06A134A7234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$9285A87F-CCCE-41CB-BB22-C21F7086537A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784a52bfcdc2f054f1776a37101a66943d840dc","datavalue":{"value":{"entity-type":"item","numeric-id":4577999,"id":"Q4577999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$A50BB6C2-C809-4282-AF41-2050C593FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d184c33e91a939db9d67a3e7e163e2ce425a6e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2303583,"id":"Q2303583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$CD07FA53-D4A3-4247-9432-A3418E7A4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$4D331DD9-163E-476A-9630-BABF26F0859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d4418105492253e96e921adc5adf6a4549221d","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$17C54740-DA4F-49B3-8BAC-A4C958B0CD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe4354ac9f821569a16526e607a6aaf5b34b0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5277918,"id":"Q5277918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$6FC9740D-A223-4EC2-8A35-456E9B554069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9927d0df3bf5e2986726e23eb5f1317252d1b4","datavalue":{"value":{"entity-type":"item","numeric-id":483295,"id":"Q483295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$980A1F9A-2E08-4A9A-9BEA-C2279EB04757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$1E41A24F-E1EF-42B1-9D0A-821B06785050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$FC8A691D-FECC-4232-8630-6027F426D508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bcd3c2d1841454b2489acc1f46dec6b8812b7","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$AE0C0EFC-3DCD-4DBA-8BCF-4018F665836C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287d9e1e87e63afc348c977df3401bc3cb47ae4f","datavalue":{"value":{"entity-type":"item","numeric-id":5119388,"id":"Q5119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$F455F24E-ECE0-43B7-9358-091D53FE5536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce034fcd96b6028bded52cc1a651f677ce6a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4625704,"id":"Q4625704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$9A9F5F46-D63E-418D-8866-4A660FE9EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$24EDAD70-92C7-446C-B001-00319E46DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05e419693f12a8c3131daf95bbaf3885cf9929b","datavalue":{"value":{"entity-type":"item","numeric-id":5034226,"id":"Q5034226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$9ECEB839-07F9-4D36-99CC-FD2C3CDD3683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7863f2174c0a55f7876d0a9cacbcef92afe17a8","datavalue":{"value":{"entity-type":"item","numeric-id":4287485,"id":"Q4287485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$1508F55F-E62A-4C13-BE96-4565B338E706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333634f7d3d497391f33267f2c14b79085a57c13","datavalue":{"value":{"entity-type":"item","numeric-id":2957976,"id":"Q2957976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$0C73A7B8-64BA-4FFF-BE1B-7BEB436FF4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fc848641fe3fbc4a43830028219e7078030a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$CD40800D-3224-43F8-8249-4D7DD80A42E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e767f7a04b6de440fb1313e6534f8215abc3da","datavalue":{"value":{"entity-type":"item","numeric-id":2820696,"id":"Q2820696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$34D5095D-3B66-4C2C-99F8-7E74FC1AF53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$25AB4D66-CA60-45BB-8FE2-EC0542D09B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1291533788bfc6c9c22a4d787870854fe9c4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2284185,"id":"Q2284185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$DA8D7AA7-909A-4184-8D51-AC2BE8D5C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2863d8099216af2069706e2b70fff6627c6bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2333670,"id":"Q2333670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$78A3D18E-99F7-4C32-8E68-6252E2B873E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2246f3533ecb80694da1a567254a5f2d40e19ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1685926,"id":"Q1685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$724D2009-3916-4E73-BA12-1081024E24CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795518a9ab04327c07eb9db3c28b3abc97afdf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2021557,"id":"Q2021557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$3F372E9A-8DFF-4CC7-9EE3-21005AAD6DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6414a0e277752fa4e69101ae33a1dc2ae38f315","datavalue":{"value":{"entity-type":"item","numeric-id":2328914,"id":"Q2328914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$17E2B3CB-4602-455F-88F7-17678F47F0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e449f792aaa55f2b2ac29dac2a7211be77e4088d","datavalue":{"value":{"entity-type":"item","numeric-id":4612445,"id":"Q4612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$7C05791D-90E4-4BDB-8DE0-3F94E4B6D541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4fd1d8d83dab5a9bcb5634b96eb32e6e888556","datavalue":{"value":{"entity-type":"item","numeric-id":1685923,"id":"Q1685923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$DB12FC0B-3369-4820-8900-2B3503C6C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$85C4B186-4AD3-42FD-8DDB-26E7533417B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$A20BE3D1-8505-4ECF-87D0-F93E1FE9384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ea1b24971b7e19fa147a07b9c4ceaaf4537472","datavalue":{"value":{"entity-type":"item","numeric-id":3192201,"id":"Q3192201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$96667410-2464-48CD-85E0-8467B01122AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b71a77385562e154fc0f421bcaa2b0bd75e97","datavalue":{"value":{"entity-type":"item","numeric-id":4650578,"id":"Q4650578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$02CB2FF8-C5B9-4221-AEE4-6E2014F23F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf0c81be7ce773f5dd6bc35521b7b561c4306cd","datavalue":{"value":{"entity-type":"item","numeric-id":1818431,"id":"Q1818431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$E35E48DF-83DB-409C-86C5-2BA905B3D8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$E7ABD90C-53EC-494F-8ED1-680ADEFA7743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$E5874500-FF29-42B2-A63C-7E930A288549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$BA8F27C7-6E92-4CC1-892C-9C3C32C2F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$50D73524-388E-47AE-9EF5-289AD8A3078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3646f102d71d17ac575c494688afc62c361b7971","datavalue":{"value":{"entity-type":"item","numeric-id":1970594,"id":"Q1970594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$F0D762D5-F792-465E-AEE0-BBC604114872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb838bdc637fee4463df1338f3f072c6ae4a588","datavalue":{"value":{"entity-type":"item","numeric-id":1975160,"id":"Q1975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$461090A3-5935-4741-BBC0-CE9CC53C6C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c918bb0d37d193ae56f522b6070df3640b429216","datavalue":{"value":{"entity-type":"item","numeric-id":5718684,"id":"Q5718684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$A5D16EE7-2157-4631-AEC7-2E132FD6A2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$D49E82CB-FFF6-488C-B909-6A16ADC534D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056369$15DE01A7-D312-43A3-95D5-4A4A6C2131D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f64067eaef579dc31752e2d11a7d0ca6b20b4c1","datavalue":{"value":"Q130878629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056369$3D1C4C01-91F2-47B6-8638-BF80562D98EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18ef98c5a4a1c87ebb3962e6710ece34635719","datavalue":{"value":{"entity-type":"item","numeric-id":4761669,"id":"Q4761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20983ff67d0465a5eb57680c190f1a9507efe4d8","datavalue":{"value":{"amount":"+0.88900065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$9F7A072D-C37B-44E0-B8B1-0E9B4FCA8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c76793fba61a9fafab10ac23315aad68bd1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5723ddb467cf5604b604ff6b9216db39428a9e8a","datavalue":{"value":{"amount":"+0.8620992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$C58C79F0-F757-4A7B-B483-4961393EAF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b52dcb3a43fd3c0922cb00c393eae30968be3c8","datavalue":{"value":{"entity-type":"item","numeric-id":1652968,"id":"Q1652968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25c5fcfcb0d7bb5e265640870544b205e2b6351","datavalue":{"value":{"amount":"+0.8569822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$5697C2BE-52BF-487C-8A41-7BC4956863D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a47e3549c1f09ad1ccb2bf53fc197f0ef5e478","datavalue":{"value":{"entity-type":"item","numeric-id":2903761,"id":"Q2903761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ea6c25aeeb25211addf15cb7a1380570524f86","datavalue":{"value":{"amount":"+0.85573256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$B10A8B9B-B5E5-428A-9D3C-9FE14E894BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e293e6cb3b0abe3bcead78beadffe25929eb2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5327376,"id":"Q5327376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bbe56b6b707638641d76c4eae8cc6779bb5121","datavalue":{"value":{"amount":"+0.8503863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$6EE6EB38-FEC3-47B5-A48C-2A5C53CC7267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fda13639c41410bd7c1011f45ca646538e59705","datavalue":{"value":{"entity-type":"item","numeric-id":477588,"id":"Q477588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ababd27e48c1ed50bde1d3f49759190afeb78060","datavalue":{"value":{"amount":"+0.8457191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$A34B81D7-62FC-47E7-8306-C062B0EEC5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1145d2f0cc0091b094360215c837a837a528e826","datavalue":{"value":{"entity-type":"item","numeric-id":2277437,"id":"Q2277437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec5bee7c23ebf013313a66026d5f18f9d7c680b","datavalue":{"value":{"amount":"+0.84483516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$DBE78176-55BF-446C-9602-D958C7F68C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24124c6549167154d9b05d6b50277121676fd4e","datavalue":{"value":{"entity-type":"item","numeric-id":4499219,"id":"Q4499219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58918e65fd1bc241a9b9f53fd570a9a6ddb3b3a6","datavalue":{"value":{"amount":"+0.8415449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$B8553779-7E56-48D2-8EDB-8C5BD2F56E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49df3fd2240695b699b580e2660efc84fd9d9727","datavalue":{"value":{"amount":"+0.8385918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$F0A1E221-B4D7-4CC7-8C60-D315B9A6381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690aa8e9d88afeec64ad4b7b3081e9f9b080eefb","datavalue":{"value":{"amount":"+0.8385917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056369$DAF075D6-CB65-401D-8DC2-C2FCAF42A085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic Completeness of Proper Display Calculi","badges":[]}}}}}