{"entities":{"Q5221853":{"pageid":7251423,"ns":120,"title":"Item:Q5221853","lastrevid":41175877,"modified":"2025-04-18T17:27:00Z","type":"item","id":"Q5221853","labels":{"en":{"language":"en","value":"Cyclic Proofs for Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185548"}},"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":"Q5221853$10CFF156-7F86-4495-8417-10896111FC56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efd1ea20d7cc2400ea7f65fa64e0d0460627a205","datavalue":{"value":{"text":"Cyclic Proofs for Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221853$49244E08-4AA0-4572-87BE-0F96BA247663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce77fa39899c5336088c56792e00cb3b585db3ed","datavalue":{"value":"1433.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$ACA698D7-DAFD-4343-AFC3-91F98E81D2D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb57b929336a0401a138bb6e02b6e7d3b77647af","datavalue":{"value":"10.1515/9781501502620-011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$3B5C96C2-C472-4EA8-BA0C-A6FF323158F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8b4228269fdecc8ff7e25ad249ffb44a83e7d47","datavalue":{"value":{"entity-type":"item","numeric-id":1783739,"id":"Q1783739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221853$1D95A4B7-0312-4052-896A-60554879AB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221853$A51550AB-F6BE-435B-99AF-E22ABB271B11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221853$117832D0-D051-425B-B05A-893193627BA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221853$FDBC99EB-8D8F-4652-A42D-1D204E531F02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2bf879f2fa85e43175c6d683845ca94aaa4978d","datavalue":{"value":"https://boris.unibe.ch/85668/1/ks16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221853$4660CAA4-ACC9-451D-9A59-380A1B9AB812","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$D129F26B-8BA8-43E7-9A55-0F48AF1239CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$D4114C11-839E-4C6D-B95C-6EB578CFA01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$594E95EE-B4A1-4A4E-82BD-1C8771BB3983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14543cfff785c8ffb4e126f1876e65fa099fe79f","datavalue":{"value":"7185548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$E61ED7FA-00A5-40F7-915F-DD91D4A7C744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221853$D567B68F-4B53-4FDE-8724-EB6E12AA6C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221853$153E1DB7-EB1D-46DD-92F7-DD47381F134E","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":"Q5221853$0C2AE31A-B995-4EAC-A712-5FE57752A357","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d25b2baedd62763f3a52da69bde398e8430e8a7","datavalue":{"value":"W2506525304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221853$C815E420-5F3C-4D1B-ADD5-9CC9647D1130","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59794ce866fcce34268e65630d3559b3e3405dc4","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619224c9eb3b99b0f57f82d2a168e38162b9a85a","datavalue":{"value":{"amount":"+0.91827476","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":"Q5221853$D7307CB5-F212-4E18-A18C-0F85EBD900F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5e0720c6e60cce891371751aad32d08953a87","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f494331a1c8976390da8238d57da118b16032d","datavalue":{"value":{"amount":"+0.91546553","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":"Q5221853$0DF1FFD1-A929-49C7-ADC6-4C1E8AD2E5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db03fa4237b29e4b0f806a272a11f3381738bf0c","datavalue":{"value":{"amount":"+0.9074093","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":"Q5221853$34694DA8-B430-4C54-9E0D-9329297AD696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911c7fd06820f76c7f55f7cfbc3d7b4b46d98bfd","datavalue":{"value":{"amount":"+0.9046016","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":"Q5221853$0A9EA677-7869-47BC-ACB5-7C8422C0407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f18a6381eaad99e3a6f3eda8492b1e2e3554a3","datavalue":{"value":{"entity-type":"item","numeric-id":2454548,"id":"Q2454548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622bdb3a0c8e0b859deaa7de1a6b4a029ecf2db2","datavalue":{"value":{"amount":"+0.9034476","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":"Q5221853$91AB998C-7954-4CC9-A396-6559A297EBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6194f416d2385352b92d51a75642edf3f76343","datavalue":{"value":{"entity-type":"item","numeric-id":764266,"id":"Q764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb88e93c25e1efe296de65f43c27bd17ebd33618","datavalue":{"value":{"amount":"+0.90263915","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":"Q5221853$DF560150-3ECA-4B6F-B0A3-02BB8547D083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8fb516504aa4f550655f5f575b1869aca48140","datavalue":{"value":{"amount":"+0.89736056","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":"Q5221853$E06F90A1-4F3D-481C-9D06-400377EE63C7","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":"9a8c43d4f5d8f40746895907339cb48a1fdf90a1","datavalue":{"value":{"amount":"+0.8967926","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":"Q5221853$9F35BF76-84A0-4DDD-9B85-1DD091457575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811a149afc3798b3395c7a645c64f64044594729","datavalue":{"value":{"amount":"+0.8954794","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":"Q5221853$D72D2F33-CBBA-4FCB-85B9-1AF8BECD9B7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221853"}}}}}