{"entities":{"Q2811591":{"pageid":2822329,"ns":120,"title":"Item:Q2811591","lastrevid":42159919,"modified":"2025-05-26T18:06:52Z","type":"item","id":"Q2811591","labels":{"en":{"language":"en","value":"Restrictions for loop-check in sequent calculus for temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592216"}},"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":"Q2811591$068C984E-22C4-4AC2-985B-A788BFA700A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f44c8a2e3fa4700aef0189ceff5191195e8c32d","datavalue":{"value":"1344.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811591$6938A881-DEFA-4396-A3B2-A47E3C45AC6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2567ab1cb18b4c003c1b2bc9c7757f1b5382bb67","datavalue":{"value":{"entity-type":"item","numeric-id":926637,"id":"Q926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811591$75FC4216-079A-4A09-ACEC-9D9A51CE9808","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-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":"Q2811591$93B06BB9-4228-459B-88DA-EE100268D1B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811591$81B1F2EE-0989-4A57-BDEB-010F82A906DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f8ec823353909a55681931fbb4450d3ea65ef13","datavalue":{"value":"6592216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811591$BB58132E-840B-41C0-8869-080E3B8912FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811591$A252312A-8C04-4B75-BC0B-9387AACBF451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811591$635C6A8E-CCC5-4EE5-BFB2-D8CBB4748F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5048660f7a134eaa2b6d8cbe35bc228ba6d330ed","datavalue":{"value":"efficient loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811591$0E7BD4E4-851E-471F-BB42-BCFDCC8D7914","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":"Q2811591$F4C5842A-C13B-49A1-ABA1-D0A92959D133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4e6768b26b01fc524b79567bf638aae3416f34","datavalue":{"value":{"entity-type":"item","numeric-id":2809676,"id":"Q2809676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80afd95fc778f5b0b11b568eb2d1f05e5af96891","datavalue":{"value":{"amount":"+0.97605747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$9DFCAE13-7863-42E1-845E-03902E3C1259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f345ce49dbfed073e38e9c112caf25b259d8dcef","datavalue":{"value":{"entity-type":"item","numeric-id":2106881,"id":"Q2106881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4074c71a82f86030eb6b70500d973c5ad7eb338","datavalue":{"value":{"amount":"+0.9580086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$B19C0504-50BB-433C-A789-275396258D94","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":"5c3c715f5565016779035bf1a0b2e224cb639336","datavalue":{"value":{"amount":"+0.92626005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$35828472-DEBE-4593-A190-74223E93A3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa713341ab6deee54c19ed4f3f12543a3d8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5942192,"id":"Q5942192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeea30146d30362b70639cfaa69a784c4bf92a8","datavalue":{"value":{"amount":"+0.89078236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$6203DF9F-7176-4923-9810-BA6A24093B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8e57288b7308066f880abd3e2816d45846c866","datavalue":{"value":{"entity-type":"item","numeric-id":5942197,"id":"Q5942197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a72c4442503f1a432431915f5f9828c0d8427d","datavalue":{"value":{"amount":"+0.88725895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$76C3DF43-0D4E-4F54-8E76-4EDD2EB7088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c993bba267553717b879a4f5870ae7144dc2f538","datavalue":{"value":{"entity-type":"item","numeric-id":5040806,"id":"Q5040806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b940a0e5ba1e4f8e5fe1d7aca10711f8ba38c8ce","datavalue":{"value":{"amount":"+0.8823486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$0D54B22A-E2D6-4ADF-BE6C-79D7D777D038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79cf21de47ba6ff03a897d8cd84e6e2d168de4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4503155,"id":"Q4503155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee599086333356ad670517c5e5c9e4d137d6696","datavalue":{"value":{"amount":"+0.8791486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$8BDA14EA-4D13-4559-9865-D1A235ADB9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a727728c823d941a76dd62f43e5f0649aab66c","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defc29f727b9fe6602cf0b8f71c6f9e0ef9a43dd","datavalue":{"value":{"amount":"+0.8770229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$2AC4A8DD-3B86-4C75-8E94-4670DBDBCC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0211c3285752a7689c0c330b38b0aa5cbce9c8","datavalue":{"value":{"entity-type":"item","numeric-id":737106,"id":"Q737106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61cd4042ffb344ca95ad751bc6d3165f041c6a7","datavalue":{"value":{"amount":"+0.8749581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$9A6FA935-A6B1-4538-826C-2313DCC43D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455eff5655d25768f845d720778c71989e77003a","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf93ed38953e54fc6f07bfcdde8c859ce9375c2e","datavalue":{"value":{"amount":"+0.8718697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811591$CD7D7627-370E-40C6-AC4D-3C203570171D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc7071d84d3e59a0e31fad5689554fe7a93785a5","datavalue":{"value":{"text":"Restrictions for loop-check in sequent calculus for temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811591$86CDCEDC-C5B3-4DD4-823A-BFF40722BDCC","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":"Q2811591$384D816C-2C48-4A71-8317-C7D247D2C930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811591"}}}}}