{"entities":{"Q1986563":{"pageid":1997305,"ns":120,"title":"Item:Q1986563","lastrevid":72220920,"modified":"2026-04-14T03:25:24Z","type":"item","id":"Q1986563","labels":{"en":{"language":"en","value":"A decision procedure and complete axiomatization for projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7188529"}},"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":"Q1986563$02950159-208B-458B-B777-7F8B39A40D6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eae8d8cabae8327b1a360e3ddf76fa3e3efa548","datavalue":{"value":{"text":"A decision procedure and complete axiomatization for projection temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1986563$D5C214F3-A048-4BC7-A808-551B7EDBBD04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33da66a3d8603bcd1a537cc672a8b7f18136c683","datavalue":{"value":"1506.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$41D64042-13EF-4E17-853E-0E22C97D14F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17ef9109bc91fdb1bfa909e0330a5de3ec8d2061","datavalue":{"value":{"entity-type":"item","numeric-id":1986562,"id":"Q1986562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$54CAF5B8-E35A-4FA7-97F5-227DE25CA064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$9ECA57C5-67DE-454E-93AE-2D8B52901948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf04311cb9d0e682cbf34fe57dbae20044baee5","datavalue":{"value":{"entity-type":"item","numeric-id":995554,"id":"Q995554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$342878F1-5455-41FB-93E5-9B3168B78122","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$7B2617AD-C11F-4ACB-B1C3-0B6AF1C1A0C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26a75e2b82c7d52d04b09f73d9891a6078a1dc17","datavalue":{"value":{"time":"+2020-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1986563$9EE133D5-CF08-49C6-A8DB-62F24DF123D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$42A54678-B660-4C4C-A6B8-32F9CAFB9A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$9A13B36C-B7EA-4751-BF35-331083521617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$8E2BEC02-D809-4525-9728-A52723D8E31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf24341d1a8bd846037f8fcbd276078fb1f63cb8","datavalue":{"value":"7188529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$2B8E729E-FB75-4F4F-A959-7D4EC048F1DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1986563$C13D0A0D-A1A1-4143-8A78-1B2986CE7070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1986563$E2D370F3-B99B-4205-8BD8-E2F3070454DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aada6820ea8ec565f398c12b8f78ecfab943c489","datavalue":{"value":"labeled normal form graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1986563$E9947DA4-6C96-484C-9D2B-369019B7C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1986563$DEE030F6-A331-424E-878F-6CEEFA3E98E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6ed03cd1c862eaebed26e040255f950f67a07d5","datavalue":{"value":{"entity-type":"item","numeric-id":43421,"id":"Q43421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$A8111402-3EB6-4959-AD82-38E178C5E4D5","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":"Q1986563$BC59ECD6-A15E-4258-9E61-1AB06B89D2F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df1af7cedca30c1d9019bff8161db4517d2f2cb3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.09.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q1986563$53282DF5-5D63-40FD-ACED-DA47F2B93459","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0083d1036bb939a2bb4baa89e3bccede74ed934","datavalue":{"value":"W2760114350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$A42448B2-E68F-44E7-804B-7AA6D2AED94A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$C9F29F1E-F635-438B-8953-C66D41EE56A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$6D867848-1B2E-4819-9ADE-2C93F7646EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$EE4E8EB0-BCE4-4748-876C-33D8ABC53F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065d77508bde2102de076f9aed11735779ba78fd","datavalue":{"value":{"entity-type":"item","numeric-id":2817902,"id":"Q2817902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$5A5B9AC5-9E99-4980-94B8-B75D5E13D52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7236c0b2c24c5d1eba820a2db14f62e5fcbda6","datavalue":{"value":{"entity-type":"item","numeric-id":344760,"id":"Q344760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$2C54C1F8-EFEB-4B00-A33F-4DCAE86CFBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6590c69fcf7434ad9c492424d13423ed5a992d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3455051,"id":"Q3455051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$69D06AFB-194B-4316-AFDD-FE975C0892CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701a74ebaa5d29a41b6b5b09d6b7c0f4aa7f55f7","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$A0208DAF-9BBC-47B9-AB6F-585C9CECDC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$2749622E-54CE-4A06-8D4A-2E64F371F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$8FB1738C-38C7-47B5-AD28-B427D780531A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45671c6193ec441bc9e4dcc774fb57094354e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$47453D8D-9436-4D9C-B294-E558F193F01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d1b5b8cf7f7d3f1fd4ae91ff16265c8ce81bed","datavalue":{"value":{"entity-type":"item","numeric-id":391222,"id":"Q391222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$D13777FB-DC1B-445A-B672-A775178C0D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577e3641f90f6b5131804b8b399cede965764273","datavalue":{"value":{"entity-type":"item","numeric-id":5475789,"id":"Q5475789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$F7C6CE84-ACDF-4CED-912D-9C1EF0C2788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b1aaa12cb22baa573e2301380d3949f4de3d95","datavalue":{"value":{"entity-type":"item","numeric-id":4779585,"id":"Q4779585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$1B2DC8D9-F863-407E-991C-6893A1A8DEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1e44416a3c1cc347b58f2819f854351e6ffec","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$ADAE7808-A52E-4432-B086-C5E711476491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$FA446305-1B6F-48AC-BA14-1BCAF5D7E23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$1BD9A09C-C884-4E8D-9CF6-BF6DB36E659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$E203E819-7624-44A6-97CE-D3D3287C93C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0847dc10281eb05003b606c7949fd8f6a6c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$885B7AB5-ED1C-49B6-B6F4-FD0EEE930F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$D1E038A0-2D21-46A3-9CB9-BCB02D8330EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65d7985a100e347335721c87b8105aedc1e4468","datavalue":{"value":{"entity-type":"item","numeric-id":3643267,"id":"Q3643267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$4A892AFA-77FF-4EA8-A57A-BC5E1EC49E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3a406cb268c03d9699dfb0233447740dca308b","datavalue":{"value":{"entity-type":"item","numeric-id":896162,"id":"Q896162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$04DB8284-D69B-4CAC-9943-30C8A825306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$EE4CB72D-F8FA-4DC7-B3CC-C55083B12D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$5BD66113-58BE-4F6F-A6DB-BAB79BBCAACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceb9d4f1d49d9d9c45e2282f017b93d47d978fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919063,"id":"Q3919063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$3352C906-C422-4BAE-B8A2-8C5A76282F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$916A1CB5-FD22-4AFA-B877-0E676EAB7A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$96256EB9-60B1-43CA-B6AB-4B4BC98B39CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953fc5c05cca94208978dbd55a4c18e58d7b4208","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$129D5A7B-DA5E-4070-8E71-8CD6A2D48D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bcd1c764d9e49c815df391a15819153f8399b9","datavalue":{"value":{"entity-type":"item","numeric-id":5465439,"id":"Q5465439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$86470AC3-B378-4DD7-9F3F-BADB8C223A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb1d29f17f0fc309f325c3539d6d1791acef1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$871A2171-9FC9-46BB-BB35-E209163EBD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ee257c52df2c888421c620172603dc91463a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4820466,"id":"Q4820466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1986563$F2E2B2B3-675A-41AE-923C-1E85666FC0E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ea13a654d750b4472ac485fa0ee83c42356648","datavalue":{"value":"10.1016/J.TCS.2017.09.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1986563$923ED602-EEDE-4292-BBBF-75810E315977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561307f750473501718e9736601af1cef9537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3109143,"id":"Q3109143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8776451c36aa8a76b7ca870d9af02a9abe29e7fd","datavalue":{"value":{"amount":"+0.93217271566391","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":"Q1986563$A74B39BA-124C-4B83-AC37-E0968C6D2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b86d0541e0fa03c640aace3d612ac080587bd37","datavalue":{"value":{"entity-type":"item","numeric-id":2300069,"id":"Q2300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806adff2c35323465ece56b367737062a44a410e","datavalue":{"value":{"amount":"+0.8315911293029785","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":"Q1986563$263A2A76-DB86-49A4-A93A-060332C574AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec950a4cb4d04d957ef57d3078ac85883ded1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2197530,"id":"Q2197530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd378c3b36b50bbf251d05a25fd1d7b962bd361","datavalue":{"value":{"amount":"+0.813423216342926","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":"Q1986563$55D1DFF5-29A5-41CD-92C7-B513F315A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aff2658decb84d6f1329bda3e9aae1adc6aaabd","datavalue":{"value":{"amount":"+0.8132863640785217","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":"Q1986563$4E46F909-83E3-4BC9-B954-5C6D68D7F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586bb39309bb6c51c9a71fe18cbc5230e84ee9e4","datavalue":{"value":{"amount":"+0.8095340728759766","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":"Q1986563$DEF2A700-DA66-4A23-9D8E-DC5B33ADB92C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure and complete axiomatization for projection temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decision_procedure_and_complete_axiomatization_for_projection_temporal_logic"}}}}}