{"entities":{"Q764262":{"pageid":766111,"ns":120,"title":"Item:Q764262","lastrevid":51433541,"modified":"2026-01-18T05:28:59Z","type":"item","id":"Q764262","labels":{"en":{"language":"en","value":"Constructive linear-time temporal logic: proof systems and Kripke semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014269"}},"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":"Q764262$D3A4C878-4F24-4205-8275-16F8B2740CFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69e8a866c5c06ce681a11063aeae1d430f966e26","datavalue":{"value":{"text":"Constructive linear-time temporal logic: proof systems and Kripke semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764262$4407FF3E-1135-42AE-83B7-B642E3EA2058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fac411b86e5aa651064ace0e626a066c771758b3","datavalue":{"value":"1248.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764262$B67EEFD3-F8CC-49C6-B4E7-9CB273FD7296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0179ba61809acd8ce680c7848183f60ed14497ab","datavalue":{"value":{"entity-type":"item","numeric-id":764260,"id":"Q764260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$256D875D-442D-47F1-9C77-B42A76D6C5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$60BCDF3A-FDCE-430F-924E-DD55D8971C67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$9CE8937F-35C1-4093-AE43-FA4FA2BB4F31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764262$A3A6DE3A-435D-467D-85D1-DBE1D898E28E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764262$3A71FEAF-D101-4C9C-8DDB-C845870056C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764262$65AA9788-24C0-4417-B65C-67ACBCBB3E90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"153f068bf6e03492619f95e0ff22c7c53fb2a7aa","datavalue":{"value":"6014269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764262$ABA2D76E-34AF-430A-91DB-B63C597AD4A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e3fe6dc30210c2163865dfc63a2f2020eea4c6","datavalue":{"value":"constructive linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764262$59FFFA4A-0F9D-49D6-91E3-A268CC8AE3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q764262$0FE817E5-6F72-4ADF-B2A3-6FA37142DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q764262$15674FBC-D12C-43C2-9494-2375AB378F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q764262$0CAE2B20-2102-45CC-AF08-4E1F850A085B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$11F61C63-807E-43FE-B82A-B146E98A5055","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":"Q764262$38D0F183-EEF2-485C-A677-613D8B349283","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2cf9f130ab17628913c28ecf29565cb1ac5379b","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q764262$9414C78F-BE78-4B84-BFE9-9061DA845008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c21279259f451883b2ea200fbdc35006c28abfc","datavalue":{"value":"W2039659978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764262$607E9E44-A61B-44AC-82C9-448734BB3A7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$EF62F448-DF7C-4C75-BA5C-E4CD5BB501B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$718A3202-B333-483F-A9D7-2FC59713A41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$78A2ADA9-C337-455E-B38C-7DBF633122AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e9c02e77f53b3bb7afe18a682426208a807600","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$A20D056F-241C-4678-9BB2-D95F9C3457F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$98DED766-55A2-4BEF-9B40-2C5005FDFE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$5DF0B5BC-B360-4DBE-AAF2-DDBE3A804193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$5B2E1C69-3242-4AD6-A905-FD1ABB275886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb50c78ca5b3b07e1bdd03b8580c9a3593e69b","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$CC3A026B-3D20-420F-B0CB-4EEFF8396180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$075CA096-C8C8-41B9-B545-3E82D3E4F351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0904591390c867b51887b41e53033e872e482b17","datavalue":{"value":{"entity-type":"item","numeric-id":1094406,"id":"Q1094406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$849DD216-1415-4B65-82D3-06F948C7A8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$4348975A-ACDD-4E5E-B4A8-949937A78694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$4E314D02-2C67-40A3-84E7-9B4123576933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$22024D7F-4E31-49F4-A693-D1BED663BA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a185365ea304676a668d997c851ad5b7001286f","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$4D5AAA40-C339-44C5-B687-BC4F107C6558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$AF4D1FD9-33B2-476B-BC61-A4942AE5813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c8de240b93bea49306a907de47045da72c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4417870,"id":"Q4417870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$80D48CC3-A487-4F18-A1F7-57B655A98210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6100d8dc18ac3a6066df8e7761c27fb4ab6d21","datavalue":{"value":{"entity-type":"item","numeric-id":5708289,"id":"Q5708289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$5AE99189-1BC7-4374-8675-5C46B897E027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d41812deaf69456c0e5da9ef36ff2973a5950b","datavalue":{"value":{"entity-type":"item","numeric-id":5348928,"id":"Q5348928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$8A21E64D-2A27-41DF-90D1-F4939905624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad140dba0e0d62853c16a3a3dbb366784e498da","datavalue":{"value":{"entity-type":"item","numeric-id":5894005,"id":"Q5894005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764262$9F31F142-6B80-4CF1-B868-9F7424B73965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1efe8a4552eede547b46b0323355a35b3a87c6d4","datavalue":{"value":"10.1016/J.IC.2010.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764262$2B81E168-C787-45EA-B6FD-322F1FC57629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fb2d6a8342b5b30767fadb756cdd5418ef649c","datavalue":{"value":{"amount":"+0.829569935798645","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":"Q764262$82B9BEB4-3CAC-418B-83FC-9E654B75F148","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":"7bc8d56e9b4f6a172135edc6fb6c5575f5396aed","datavalue":{"value":{"amount":"+0.8044579029083252","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":"Q764262$F4722706-AF04-48C2-AC02-56216B5B3B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84bd545647dad02509086e195823bbe1f5db783","datavalue":{"value":{"entity-type":"item","numeric-id":5412171,"id":"Q5412171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6938867ee653c82750306190e19f237b5459ef","datavalue":{"value":{"amount":"+0.7702314257621765","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":"Q764262$1F895778-CED2-4EE3-A421-B33942D74298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06e59a939e2919b1f5d558bf7e73fa09410b427","datavalue":{"value":{"entity-type":"item","numeric-id":3081245,"id":"Q3081245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f811fdbe1da9f2899ea4aa0443173c4ef654713","datavalue":{"value":{"amount":"+0.7657725214958191","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":"Q764262$34B3064E-6848-4870-A788-B1E95DA61E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f5833089598c2b67852d71578f7c74b9c2e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4952320,"id":"Q4952320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77357e74ab99985bf124b641b64f91457cda1621","datavalue":{"value":{"amount":"+0.7654393911361694","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":"Q764262$F58D73E2-24DA-4C44-8A5C-96A4BE7DA51E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:764262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:764262"}}}}}