{"entities":{"Q1400575":{"pageid":1411315,"ns":120,"title":"Item:Q1400575","lastrevid":48152149,"modified":"2026-01-03T19:28:21Z","type":"item","id":"Q1400575","labels":{"en":{"language":"en","value":"An axiomatic semantics for the synchronous language Gentzen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963842"}},"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":"Q1400575$078E45F4-82A9-4BD3-B325-4D36EEDA982F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73ec612821989e7618a91cf32ef3f19afa434d6d","datavalue":{"value":{"text":"An axiomatic semantics for the synchronous language Gentzen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400575$0D3D2C0F-BCC5-4C05-AC79-18C8D6824FBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dbb52115b476c7e89a7f382436e57b048a8f0fd","datavalue":{"value":"1035.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400575$DB51999A-F257-4C7A-8048-A221155E3FE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13d4258c4aaba49b661de794fd5b7755840f0b9e","datavalue":{"value":"10.1016/S0022-0000(03)00003-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400575$2EEEAE5E-924D-4E2C-8DCC-404778B529B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$BD640496-62CC-4695-A8B7-5B6BE9AC7224","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$48CF2608-54A8-40D4-8BC8-422E4F127E76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400575$5A625B97-7230-437C-974E-202FF4E8F5CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400575$7648BCEF-D60E-42E3-B638-BCF3BC6CB1B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d494fe99d7d09a6acf661ffd3e53e3892c7bca3","datavalue":{"value":"1963842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400575$D730BF81-20E5-4B39-A4FF-1CB653EB5FCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00757f89274b560d683c5d05e436daf871f79a6a","datavalue":{"value":"timed concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400575$CD3F8B9B-1F3C-4C6A-A215-CD289392077A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$1CB52B0E-1049-43F7-927D-7FDE9DA1763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$3E846FE8-B253-496F-A38E-A73593ABA528","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":"Q1400575$7E66EC6A-EF7F-42A8-B9B9-20B97B1A6758","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$0A39BB5B-2FE9-46AB-9C60-7AEE8B2357E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$817F4629-B45C-4A62-AD1C-81AC215EDFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$19ADD51A-F393-4C6A-B2F0-B75568912BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$9478996E-4403-4334-8CA4-079962C22E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c9d72cf4942f3ced9d5237f6cc1eaf60386dd7","datavalue":{"value":{"entity-type":"item","numeric-id":3736900,"id":"Q3736900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$F81D192F-F21C-4618-821E-B1031157BC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$36C37D5E-51FE-4A57-AC9A-80E797E6ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$D5861896-D23F-4CE1-A2B0-2A94A5FFA220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$59C8FB7F-A55B-48B7-BA1D-0A7F79700798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$7E550D23-3CD5-4C97-A020-666BA54E49D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$1D39B32F-94D9-43A7-8706-874A5601465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$271DF7E1-9918-45E8-A8B0-C2739BD331A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f05e5d64a6e6e44808e7f19556ff5151d11384","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$993FDB2D-38F7-4A90-AAA3-FE64AFD511E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863c7cca8085bd693f0187c355e1552c6f48372","datavalue":{"value":{"entity-type":"item","numeric-id":4499205,"id":"Q4499205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$AB89458F-2206-4117-AD9D-501F8EABEB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d3373b94fbc19f027f753423060c0f7e733553","datavalue":{"value":{"entity-type":"item","numeric-id":5958617,"id":"Q5958617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400575$6E02F4DA-1693-4194-9C1D-F83E5B461D3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f608da30beb93b01a521ae51a5b8729d9cbdf196","datavalue":{"value":{"entity-type":"item","numeric-id":2769444,"id":"Q2769444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fdab02e9d8817787d7660f9b43c44773d316054","datavalue":{"value":{"amount":"+0.9911967515945436","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":"Q1400575$E37A2226-6D11-487C-8AC7-207880D5C3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76530f8d8e6ca5784896fdbdd213f7c4e083b70","datavalue":{"value":{"entity-type":"item","numeric-id":5958617,"id":"Q5958617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa730254a0e15f31ed0f65ef0844d24e60aa7ab","datavalue":{"value":{"amount":"+0.7902320027351379","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":"Q1400575$A42CDF54-747F-4761-BDFA-E9085ACF81DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c73973295e62904ce2821e414edb1f3163c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3704884,"id":"Q3704884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3480bc6abe98df5bf2b46dfa091b4bcba4821ae3","datavalue":{"value":{"amount":"+0.7547026872634888","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":"Q1400575$348897B1-AF2B-4E3F-B123-BCCDBD5BB357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a94975bac43a8232b81e2c299cd8fc409d149cc","datavalue":{"value":{"amount":"+0.7479328513145447","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":"Q1400575$96740C65-E518-4A62-A94E-F0401E24585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aafdf84ef3d1d93abc1ee3d49abeebb8b5580f73","datavalue":{"value":{"entity-type":"item","numeric-id":1193599,"id":"Q1193599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ab452a58ce7dd1c8f6a24bf5176997f39881f3","datavalue":{"value":{"amount":"+0.7413365244865417","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":"Q1400575$11069AC4-8F20-48C8-B1FD-137E4689E1AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1400575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1400575"}}}}}