{"entities":{"Q3605539":{"pageid":5635445,"ns":120,"title":"Item:Q3605539","lastrevid":80808518,"modified":"2026-05-06T17:02:51Z","type":"item","id":"Q3605539","labels":{"en":{"language":"en","value":"A Labeled Natural Deduction System for a Fragment of CTL *"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510301"}},"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":"Q3605539$6E0281A0-35B8-4A87-BFC2-6CD429E83794","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82995eca9a522dc7be6c3282ae176ded71429744","datavalue":{"value":{"text":"A Labeled Natural Deduction System for a Fragment of CTL *","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605539$CD2C7FC1-163B-4902-8CD1-0FBAA6FD2D9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a25ec9dd62b9552886e536620be89eac615ca43","datavalue":{"value":"1211.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605539$A9F82530-F064-44E3-938B-77276D20F144","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c872db5c3a53db3cc66ae45aeae61d0d043bf1f","datavalue":{"value":"10.1007/978-3-540-92687-0_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605539$2E6F240B-8738-4585-92C6-C650A1CE2539","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$DF44E313-1DCB-49ED-B67B-97A53909C9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e01041fe23d41c5fa2e9b7e399e4c0ecad96c4","datavalue":{"value":{"entity-type":"item","numeric-id":744989,"id":"Q744989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$6357CD52-BAEF-4998-98EE-DD4C6454C11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$96A5685D-E5EE-4114-B2C1-D63A2F0ED7AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$812C3F53-925E-4BAB-AAB6-D7E013C7EEB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605539$A30C4D2C-268B-4C7D-84D2-582896F7B84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605539$00E013A2-FB11-41D3-A618-D86F28AFB158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f2c0000e87cf41133654951a8b9e3bea67bf237","datavalue":{"value":"5510301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605539$CC2F1128-1D46-49DF-A7AF-0648AAE1D357","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":"Q3605539$841A4408-B89F-400E-852E-FD07CFC4B47F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39a7b31f457e22f467e580b2aa6ea51567be77c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92687-0_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605539$F7A2E4A4-3ABB-40C1-AEBA-48E21626D4B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c7f93083779340d8b42471f7ca265706c365cf","datavalue":{"value":"W1681762168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605539$A4EC4852-8592-41B4-8A43-4B8D8E4CF83B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55c79ef2cd5344accf6d392851121329699f96e","datavalue":{"value":{"entity-type":"item","numeric-id":3533121,"id":"Q3533121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$F2FF68AD-A8D8-49E6-844E-35A330CAC74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$441D15CB-1015-4106-8A50-00DCBD0424ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$928C3D12-C9FD-4A0A-9237-E681AAE1B759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$A563F822-FD24-4074-A1F1-DCC16B548F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$9DCEA341-5CEE-4AF9-8063-47062CFE99C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$ED0B20C4-CA1B-472C-AF18-AF7559A73E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$5D486BE4-2776-4BD5-A57A-9B8B4FB58C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$566E5F2C-9C3C-43C1-A732-1B8829A75D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03345bbe6cd70a80b6e4ad95ca765c7e4d23db43","datavalue":{"value":{"entity-type":"item","numeric-id":4438104,"id":"Q4438104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$FBCF4A9B-DD3D-437D-99C0-B5BB89F66D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$D8069755-9194-453E-A08B-9EA3D191664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf98953dd73acfddd93835fae1bda7618af622d","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$CF92C7EF-6964-469F-AD89-6C3C4C8E82AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652073d7697abbbfe99dfc3f90d474d4f3dd414b","datavalue":{"value":{"entity-type":"item","numeric-id":3437260,"id":"Q3437260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$D663A2A9-6A1A-4928-A9B8-E216448FBB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$A6450467-7845-4CE3-8196-5DD30C7B55AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$9466AE20-F2BA-4153-B35E-546DF0F16A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$62666A6B-E218-4D40-9BBF-237BEF21E573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$E2FEC599-0AEC-41D8-84B1-DA9C3BC8C3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605539$C1B36D13-B0A8-4397-BC8F-A37C89445DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb92cef32f50f57f66a6f27fb94b45a29a293b03","datavalue":{"value":{"entity-type":"item","numeric-id":3103980,"id":"Q3103980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0641cacaf0995a796ac00d9a61d3a9609a7fe5","datavalue":{"value":{"amount":"+0.8899692893028259","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":"Q3605539$9F4877B1-8885-4AB9-8ACA-468649B3159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85005d393f6d65e6d174fc445baface674fef2d8","datavalue":{"value":{"entity-type":"item","numeric-id":4583318,"id":"Q4583318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7fc4a02c507e3d13024605cc842a15bc020b03","datavalue":{"value":{"amount":"+0.8390240669250488","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":"Q3605539$9400AF5E-4ECD-4792-9CC8-705066C26D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0a3679b90f8821dcf4b1d045be32dbea453c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4438104,"id":"Q4438104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7239fe946303505cb488c756bf45539a007447b","datavalue":{"value":{"amount":"+0.8079712390899658","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":"Q3605539$C4A165DC-20CF-4B93-A6A4-278B07C2ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d41dd45ed69f938b450469a48358a139f8aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1419387,"id":"Q1419387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cd38cc105cba5bf03283a48b66bfd3b6bb24b8","datavalue":{"value":{"amount":"+0.7576103210449219","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":"Q3605539$B249B21F-0570-474E-BCA4-50F08A22BB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4d6f506e0370c531ea04d2d4e82518031d6ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647d76a6e827671b7f6c7b81edad32f26f100911","datavalue":{"value":{"amount":"+0.7551231384277344","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":"Q3605539$7E4BF9EC-BD7D-485E-9315-A3BE9BFCCD54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Labeled Natural Deduction System for a Fragment of CTL *","badges":[]}}}}}