{"entities":{"Q6860367":{"pageid":20658835,"ns":120,"title":"Item:Q6860367","lastrevid":84251471,"modified":"2026-05-14T05:23:58Z","type":"item","id":"Q6860367","labels":{"en":{"language":"en","value":"A sequent calculus for trace formula implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8157986"}},"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":"Q6860367$A9009A99-DD66-4C25-92F7-3DCAF8D87239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2092b657b0ed1ad49c0b5a4deb1e2b10114a855","datavalue":{"value":{"text":"A sequent calculus for trace formula implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860367$CA31344D-BF3F-4A56-B687-787D3D69C024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f45909f40880a1156b72b6db5df051acc1efb9f0","datavalue":{"value":"10.1007/978-3-032-06085-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860367$6D3720D7-21AE-4978-8F8E-558A0B6631D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858dcf793fcc606075921d644dfb97d5c4715d2","datavalue":{"value":{"entity-type":"item","numeric-id":6860366,"id":"Q6860366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$8ECC0922-4FB4-4587-96A6-38EA02EC99B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$1405D7A9-1975-4ABB-BED6-69BAAFA19796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860367$44A504A4-D359-4FE5-AACD-776696CD340F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860367$9FE50486-D5C6-4298-A8A8-00845D9BBBF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec4a345c5caf6c44ce1e0c5469be2f0b2d5b9fd5","datavalue":{"value":"8157986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860367$4A330653-3466-4048-8C77-326FB73020C9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$04A280BD-C015-4798-AEBD-31BE641A0366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860367$829CE105-DA09-41D0-B63A-FDEC700EB9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860367$9B86D8AF-B9D7-4219-9C8F-43187AB3D517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30feb98d8b69e5e3427f875f6b9f371ab3d0f67b","datavalue":{"value":"\\( \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860367$726A1C70-6F5D-408B-BC53-8DE759B18AE5","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":"Q6860367$822C9D20-1ED2-4DAF-8ECD-59205FD58B8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$13CC891C-5B68-4334-8206-59C0C3B8599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d69628edd05f84dce6d2485296a67b18006ca92","datavalue":{"value":{"entity-type":"item","numeric-id":2075776,"id":"Q2075776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$48A85023-2F25-4619-9DA5-C774AB2FB31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfa05c4d62a01d518c15ad58d1f851be8ddc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3318104,"id":"Q3318104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$F6A9415C-D324-49E7-8F50-16D9F7C970CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$FB01FA82-5E8F-4FF1-8690-7B30E674D513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6402063c371d5f6eeb986c6c2ed16c202db80c5","datavalue":{"value":{"entity-type":"item","numeric-id":4738230,"id":"Q4738230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$5F105D0F-6E32-4977-8182-222D660C48AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29803942fd80c59aa36b84c1425085818ca9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4518439,"id":"Q4518439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$40B95B78-3730-4741-A678-509AB649C31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$34D4AA44-F133-4421-AD96-517425A83D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f131e44a68e9dade152b5374a19246dfeaefd7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$4BC293F1-983D-42E2-9399-6D088B05EE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$50573669-7337-4979-9BB5-CD5677F84584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35499366ce64847ee4967aa551258683d6d6eac","datavalue":{"value":{"entity-type":"item","numeric-id":4460690,"id":"Q4460690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860367$F41EFA2C-E5EF-4B61-9750-D1A8E7AA9569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sequent calculus for trace formula implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sequent_calculus_for_trace_formula_implication"}}}}}