{"entities":{"Q6176119":{"pageid":13311007,"ns":120,"title":"Item:Q6176119","lastrevid":58751523,"modified":"2026-04-06T14:25:48Z","type":"item","id":"Q6176119","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730636"}},"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":"Q6176119$FB894A13-A462-4479-A426-855490AE32EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176119$C18D933D-B889-4348-83A5-C0172A9017BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2e083e83c74857ae79a511ce9968b81d15b1f2","datavalue":{"value":{"entity-type":"item","numeric-id":1989322,"id":"Q1989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176119$0C5A5197-3594-470D-93E1-5C39DF1C8874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176119$6C6B79B9-310F-4ECB-936C-633226ED1558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176119$0A25F6F7-4C46-4801-92B4-CA4F960E15DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7fe12e0feaf40303501eebffc5311f4babdaf73","datavalue":{"value":"https://arxiv.org/abs/2104.07293","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176119$46259BC6-4CF7-416D-B384-3A229191C3AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176119$B54170B0-CB15-4F2B-8405-E282C133F441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d300e411c989a0ff555b2c060b59288588002965","datavalue":{"value":"7730636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176119$89E8CB2B-04F7-4A28-BC3A-41C9DF4FAB01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176119$0DB81379-7F79-4B78-870B-9108EBC62FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf668e7083e995a82b3a5dd9f206b7c9ea60e89","datavalue":{"value":"Pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176119$4599796C-7F75-49D5-91A2-89DC9003438A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176119$7272EE0C-44E3-466B-A946-B6481DF0F441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176119$C4E2513D-160C-4DB2-A5C5-3198F23DC831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1136bdc7fbfcb36b3ff143aad6613f71c05e1ad","datavalue":{"value":"usages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176119$5160F1FA-D45F-4F15-812A-9D0463A3105C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87eba31a19b98c71e9abca58a20a6775e063d827","datavalue":{"value":"sized types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176119$5594A31F-C56E-47C4-A476-74D9449BD8A1","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":"Q6176119$E80FD816-A674-4446-B7B7-46A650F11CBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c29db1e761ea9f95c1a88cc81da7ff7b3a22e47","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176119$027AC5DD-2C75-4094-B808-DA5A0CAACCBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176119","badges":[]}}}}}