{"entities":{"Q2317834":{"pageid":2328577,"ns":120,"title":"Item:Q2317834","lastrevid":57836712,"modified":"2026-04-02T18:04:37Z","type":"item","id":"Q2317834","labels":{"en":{"language":"en","value":"The model checking fingerprints of CTL operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7093327"}},"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":"Q2317834$E7B99A2C-3251-43B4-9155-27CA6BC332D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3381f38096817ca8153661c7f869cb3c8e7af54","datavalue":{"value":{"text":"The model checking fingerprints of CTL operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2317834$6FBACA0D-93D6-4CA9-A0C7-5AA1F83605FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829bc50340edfe921fc3b611716ef26132335b4a","datavalue":{"value":"1423.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317834$AAEBB0CC-F273-4436-B24D-BBD6D2EA9C12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2544a2aff544dc84ffd23bad61458f6d1fd945ff","datavalue":{"value":{"entity-type":"item","numeric-id":347113,"id":"Q347113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$EADD66F5-B163-43C2-B9F7-DA878C1B4BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$09A7A35F-C743-4F3D-B00E-F605AB1AC1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$22A53DF2-B016-4A71-9704-BC826988173C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$B73FF583-8F8F-4A0F-ABE6-90DFCF928122","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30176b6b09f172a9f50ba8c678f0b9b419b2c80c","datavalue":{"value":{"time":"+2019-08-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":"Q2317834$1F4730A7-7035-425E-A6A7-38342785A01D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c3a165243334734b97c75dc8e9b368d226afa5e","datavalue":{"value":"https://arxiv.org/abs/1504.04708","type":"string"},"datatype":"url"},"type":"statement","id":"Q2317834$32D52CE6-DBBD-4F6C-9B5B-EB05A8CEA230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317834$7055DCFD-2FBA-495D-A8D7-ECCE62DA207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317834$FE3732E2-CBEC-4E12-B10D-1E29AC8DAA4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c711fdd477a36b9faf00c36b60ccca7bdeb53b","datavalue":{"value":"7093327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317834$5E1FB0AB-582F-4449-BCFF-B74E4BB57ABE","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":"Q2317834$9F94D324-9EC1-426D-BA60-AF7B8F318D6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f74d16ed994200adaea03990a77afc641bcc44ac","datavalue":{"value":"W2885823445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317834$A5A0D187-F3A6-4168-8E19-0BB12B9B8A79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$0FC96129-FAFE-4D68-B181-4D954914FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bc955f7f5fe2a604d1c9fb07d26a28282b532f","datavalue":{"value":{"entity-type":"item","numeric-id":2946630,"id":"Q2946630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$9B070770-E671-4A36-8737-76BB7E5FD8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4724c47f3cacb30f5e37f3e2ace4b84b4d68e76","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$65FBDB4A-5266-4183-B530-DD830561F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23b3752cbc4c769b60c95f20472d78f8e5e76f5","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$3FA349A4-8FA8-4B24-8926-993DA81BD41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$34C8A4F4-396F-4BFB-94BC-8AF3FCA138F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e6cbd4cac7d29232e78c2253400fd14d5b3c94","datavalue":{"value":{"entity-type":"item","numeric-id":1173637,"id":"Q1173637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$CF862A69-666B-46EB-BBB1-A409B132AADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$10F7F6B3-D07B-4094-A0F7-F00A5692366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$237B2E34-5B3D-4A41-8429-842C9D61A320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90df03a170fcc85d9f6d5af38c0866a51f22b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3694688,"id":"Q3694688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$2CE0FECF-35AA-4C76-BAAC-690E61145662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$518BA229-D2DF-4D3A-8A4F-A8E24BE51EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$740F72DB-FF09-4CC7-8855-4F78F2E0753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$9CB9FBA6-8C5F-41DF-96A8-2268E168C44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$45E052C5-47BB-40B0-BC8B-2D9F6DEA03F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fe6cfd7d25e5985034c16a5c94c7755b159956","datavalue":{"value":{"entity-type":"item","numeric-id":2317834,"id":"Q2317834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$2BA0C254-69FD-4D8D-B4B5-341776A870E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$E79FD978-67B1-4E8B-ACF9-1AB95DCAE7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea58ba5e953470bc04804e0c29c2bf92082f9c67","datavalue":{"value":{"entity-type":"item","numeric-id":672975,"id":"Q672975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$DEE53502-2798-45C5-89C3-9E106AC0329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e98158d822d007789a513671832bf001ce546f","datavalue":{"value":{"entity-type":"item","numeric-id":4584892,"id":"Q4584892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$4EE23A56-2DAB-48ED-BA56-CF0914BFFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadf047eae02acc752fd99fdb0f376c7d3dbf224","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$59C29081-B7A3-4BB7-8395-3E4AC1C3C8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4378df8407971ba463bb1352c293bfa851187fd6","datavalue":{"value":{"entity-type":"item","numeric-id":2800418,"id":"Q2800418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$A1EBA4B5-A759-42B2-9F64-8B1E216E2A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f50847d5587480f582823170be408821eb7967a","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$8A921311-7A63-42BB-9322-0DE9AB8E5597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496e76b4f63d2888b796ea80ce87d3473f19e39","datavalue":{"value":{"entity-type":"item","numeric-id":475340,"id":"Q475340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$FEEF769E-E7F0-4A0E-9B6A-12A39518EA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$8EACEAA1-828A-4E16-9BD2-8ACE16A00CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$0C9B7160-B276-4361-80FA-786D3AE55F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$5A1FF095-1A0B-46F0-934E-890B1001A8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$430CBABA-8DB6-4A1B-BDEF-5A3A17830C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$5D6C3CCF-427B-4DFA-AF7F-40C77A5AC76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317834$D4BF3E3E-C9B2-4D77-B32D-AAE8143ECE1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"703d1e6c4df4eedb22b9ac47f4ae7c48c18bfc10","datavalue":{"value":"10.1007/S00236-018-0326-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317834$95477403-054C-47A9-97A4-325453AE6278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12d93ff16e94a08499c2788142ba8eba2816983","datavalue":{"value":{"amount":"+0.7756510972976685","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":"Q2317834$16A6E535-EB1B-4FBB-80AB-36B6D94F534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a791890838493c6050b6ac56254aee274b707b56","datavalue":{"value":{"amount":"+0.7754717469215393","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":"Q2317834$0D015B17-D55E-411D-B7D5-C1F5E8CDE932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99075a29069e8b9ccf7b53999493389a3a9d6061","datavalue":{"value":{"entity-type":"item","numeric-id":4584892,"id":"Q4584892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2c0c3f94348564cb4fe35c5e82166e1a2324b1","datavalue":{"value":{"amount":"+0.7716788053512573","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":"Q2317834$18971C01-6190-4A2A-80CC-317036B3FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14070852c8df7987d8604bf6df5dc8c02d330885","datavalue":{"value":{"amount":"+0.7654922604560852","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":"Q2317834$A8275D67-ECDC-4D4A-A82D-F437067710A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2112e4bd00ab7ec46d6c7f355901c7734d9baf5","datavalue":{"value":{"amount":"+0.7644906044006348","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":"Q2317834$BC691A8F-813E-4D27-A0F0-41F86D764180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2317834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2317834"}}}}}