{"entities":{"Q2791889":{"pageid":2802627,"ns":120,"title":"Item:Q2791889","lastrevid":52483517,"modified":"2026-01-22T18:54:06Z","type":"item","id":"Q2791889","labels":{"en":{"language":"en","value":"Cut, invariant rule, and loop-check free sequent calculus for PLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6556768"}},"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":"Q2791889$C3C22938-E3A9-47D4-96A6-A7CAEE791050","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec9c06542d0ffa28eb4eab93513c0b427f207849","datavalue":{"value":"1338.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2791889$99B116C9-C436-4974-93A4-FA0BF0B8CA52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b417081ff3600658a3025bfda3ebccf222d36d2","datavalue":{"value":{"entity-type":"item","numeric-id":174447,"id":"Q174447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2791889$CF8036FF-817C-4F99-9495-3D6D6BB0D907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2791889$80F24655-AF9A-4822-A354-7F0CE1C4AB6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"712a527d2ce61cb45a0a55884f0a80dbfa0ad0ca","datavalue":{"value":{"time":"+2016-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2791889$8CB4B5DA-70AC-4A0B-AD5E-64993729DBB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2791889$69812799-15CD-4CD0-A07A-C3C063179E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2791889$9A5EC2F3-BAF1-411A-B46C-64D93DC7AE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2791889$EB78DC58-7A12-48B5-9E7C-65E111A719F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a8d1eb486809c02974efda0faa7e3a46f4a4b1","datavalue":{"value":"6556768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2791889$C4793EDC-9594-455C-9917-1358FBB4E155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2791889$74F1676A-F273-4D66-A73E-182E66E85644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2791889$EB25DD2B-EA00-4B7B-A3E7-3A8B8F9D7F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q2791889$AA582610-5FFA-4CB9-A736-85FA15CCB040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2791889$6B4C9C35-8A8A-4F2E-B340-EFA26F114582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2791889$64F6CC65-2518-4964-8B73-1067A9991BD3","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":"Q2791889$42F9059A-18BD-4B40-BCAA-2C8FBDD19FFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68214ab1bf5c761ca42c95f1362182d715055d37","datavalue":{"value":{"text":"Cut, invariant rule, and loop-check free sequent calculus for PLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2791889$7AB7F746-D079-4BA2-8CBF-2BDCA0864E1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2791889$BE71E961-7F2B-44C4-97C0-A4FB012C912D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32b6c26f58ccc301d3aafd374ce92adeb0e2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":2799590,"id":"Q2799590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feee6c801cad378fb60d353fb5df39ea5f53b34a","datavalue":{"value":{"amount":"+0.8787277340888977","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":"Q2791889$9074C1A1-429C-4834-A497-F2AB746791DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33c61005aea7190f1d7ab0262703b85d08bd024","datavalue":{"value":{"entity-type":"item","numeric-id":2228437,"id":"Q2228437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6319ca8052cf043b8f4e50e67475bd2df59a876d","datavalue":{"value":{"amount":"+0.8481943011283875","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":"Q2791889$A2BA648D-7A47-489D-89C5-B8D53AC5A4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c7bd2dc2dc31f29989bd94d784e75dd94c366","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477b2d70f2d698496b778d13405cac571a451312","datavalue":{"value":{"amount":"+0.8299182653427124","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":"Q2791889$840E2E8C-8ACD-4258-9CAC-0A1573E9E986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c3955651279e2a401b87adea661ba11608b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":2811591,"id":"Q2811591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f97928ce1c953ef4c9eb96646f4557bbd6ca1f","datavalue":{"value":{"amount":"+0.827629566192627","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":"Q2791889$6B5E822E-DB7A-4BF3-A2DB-20A5F82DC176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835be840976d82e0e3e69203203f8f9f3386ef08","datavalue":{"value":{"entity-type":"item","numeric-id":2799620,"id":"Q2799620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6048afbffcd2860d187f4377b79c38daa02fd6","datavalue":{"value":{"amount":"+0.8240704536437988","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":"Q2791889$171D5955-0B53-4847-BCEC-B2624CA2D755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2791889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2791889"}}}}}