{"entities":{"Q1398474":{"pageid":1409214,"ns":120,"title":"Item:Q1398474","lastrevid":71094861,"modified":"2026-04-13T19:26:40Z","type":"item","id":"Q1398474","labels":{"en":{"language":"en","value":"Encoding transition systems in sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956198"}},"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":"Q1398474$F0ED90DC-07B6-4849-8B2E-3AD4E51EE28C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8a92f87e2317bfcfc4d66ba4a26c1d7f0230000","datavalue":{"value":{"text":"Encoding transition systems in sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398474$9BB5CE19-7DC4-48ED-BEF2-F2D067377BEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"529c18299dccf0941cd9ebbc04aeca6519c33eae","datavalue":{"value":"1028.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398474$636D8BA7-A57F-4613-A36A-EBB5B7B5AA82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40c60f6bea24d7e4c2fe4cec9bdc89f35d6d0a2e","datavalue":{"value":"10.1016/S0304-3975(01)00168-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398474$313BC92E-3C09-4628-80DA-7FE0E47F8815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4307fea2d50149d4a84c2c45871db223588cdc29","datavalue":{"value":{"entity-type":"item","numeric-id":1398473,"id":"Q1398473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$9FDF7112-E990-4D11-9338-86E6E0B48AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$B01EBCA3-23F4-4342-A45E-B56E1F1602BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$EF9A4F0B-E17B-4DC5-95A9-3A4BED889037","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$D538A0CA-6F58-486B-91CE-BC54DBD66485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398474$907793CD-4565-4049-A702-B01D85D14E28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398474$649B405F-B158-45B8-8549-39D493B3DB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398474$23256F71-CFE4-4198-9B0B-474A7EE7B945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20bce1ad2a5d230e5f5c6ee8053e260bc4ae68cd","datavalue":{"value":"1956198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398474$CACBB3B7-94B7-4760-98E9-DF06E8B1BAFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d053bf7a9fa6371f946f2d4f0f04003deacdfc2","datavalue":{"value":"Transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398474$BC14D6C6-AA91-490B-8756-E2F99F6FF833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5da1a49d84f6d70f2f9e607fd386567d41c4677","datavalue":{"value":"Definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398474$F1820602-B9DE-4EAE-A1AB-B1698E5E21D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37234f4d6c36157e93c3077e976394ef60e279d","datavalue":{"value":"Logic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398474$C2BBFAD3-55D7-4058-8941-A5B7B0970624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398474$0EA879C0-5E47-43B3-BB5D-4E8F1EB6C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398474$60C968A6-8038-4011-83ED-1FA3BD83C711","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$4B2F0897-1888-4F61-9C3D-EAF90C66ADD2","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":"Q1398474$8C10AAE3-69C4-4984-979E-C8C6A246A68F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$D784818B-DD0A-4931-A002-19BD97885BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$798F9D6F-D9E3-4BAC-988C-816363A4C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6bf99cfc752b3148778ea996f0f8c7e20512af","datavalue":{"value":{"entity-type":"item","numeric-id":3819967,"id":"Q3819967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$83B7138A-5D3A-4B43-A67C-9255A5529C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$ECCFE66B-EF37-46A8-B44B-2A38A1EFFC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$6B934EE0-DD91-4B7B-819A-94D4E4FBED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$EE7576F7-830C-4FD8-BFEC-7CA544C05AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$0ECEDC8C-C1D2-41D7-B376-368A11786890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9decf1b2a1c84b14b9a8e43e91864b533cf418","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$040E633B-B9BD-4E34-BC85-E58C4400CA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$368519CA-6808-4A3F-82D3-C6132AFEEF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$021472E5-DC34-4E0B-8D0E-D54452E2F52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$7095204B-CF88-4A47-BBF5-5A452FB65290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$B9706C71-EDFA-4A1A-8CFE-CE14E5922A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$1CC7DF8E-9354-454E-804C-E5131846A81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$24324BE7-25EC-4C0D-88CA-3458336352DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$C39257D1-916D-4392-A8BF-2B95308DC86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00589f0c4c39e8d1625a08b8a2f19987aaf9c05c","datavalue":{"value":{"entity-type":"item","numeric-id":3988059,"id":"Q3988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398474$91C3A010-9B1A-4339-952E-2BD0F127C1D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07645af9996907161803a797e8c0c6d4eae8c34","datavalue":{"value":{"entity-type":"item","numeric-id":4222839,"id":"Q4222839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2171790a85f5536e202ec4c52650385def46977c","datavalue":{"value":{"amount":"+0.8872135281562805","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":"Q1398474$B7B2146D-B236-4B3A-8FFA-6F595E86739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd921d57b03ee9ec02a2e9c1b8146a200ebed24","datavalue":{"value":{"amount":"+0.7932908535003662","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":"Q1398474$D1AEA909-C385-4E8F-9600-FB10E2ECD6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45aca269ddde3e8010d6ccc450e103b822d4d206","datavalue":{"value":{"amount":"+0.7681768536567688","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":"Q1398474$91A0AFDF-E758-45E9-B5E5-B4F24E3D19F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aef2f61203f2243e7af1d08d376a7e4f50d0391","datavalue":{"value":{"entity-type":"item","numeric-id":2968415,"id":"Q2968415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568af9941071de34b2af69339e163e6e6071529c","datavalue":{"value":{"amount":"+0.7595144510269165","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":"Q1398474$A34E08EE-7125-42D7-9566-25108ECAA224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb084cc21912d07102756fd15ac2deb70d45782","datavalue":{"value":{"amount":"+0.737663745880127","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":"Q1398474$AB9D9DD1-608E-404A-9277-EBE4F4B2E295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding transition systems in sequent calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_transition_systems_in_sequent_calculus"}}}}}