{"entities":{"Q896917":{"pageid":898765,"ns":120,"title":"Item:Q896917","lastrevid":65171628,"modified":"2026-04-12T00:47:30Z","type":"item","id":"Q896917","labels":{"en":{"language":"en","value":"Model checking computation tree logic over finite lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521252"}},"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":"Q896917$6337D159-F3D1-4A07-9C4E-64371A063445","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5afa69cb7ff61d44fe012cfe6effbad0e52c6833","datavalue":{"value":{"text":"Model checking computation tree logic over finite lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896917$9543F00D-047F-49C4-9888-90B4112288AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"453b799dae803c1ff6d77560878afeb2b9db055d","datavalue":{"value":"1332.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$8711E78F-FEAB-484A-B026-9B06B0E3AB3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6727f902e49839f6e7f359fa77c1075b9ffc1814","datavalue":{"value":{"entity-type":"item","numeric-id":473366,"id":"Q473366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$39293337-2F71-45CD-8E3C-76731B7CC8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a842b4f7392d12f86caae8f14235c9e2cca8e437","datavalue":{"value":{"entity-type":"item","numeric-id":362280,"id":"Q362280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$556C297D-9AD2-43AA-998A-6D1E67672087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049a35abe40c2089a5c14810bf4e9b9bfe47bce","datavalue":{"value":{"entity-type":"item","numeric-id":460237,"id":"Q460237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$1E2C74F1-CA76-49A7-B39E-B098F3198B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$0978DCAC-898D-4E73-8871-93525DDD6CE5","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":"Q896917$31202E92-83D4-48EE-9C6D-D49C105DB2C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896917$62E5BC5E-C969-4472-B808-305DFEA95FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$75669FA1-0DE8-4D4B-9433-8EFF377ACD4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbe69e844ba011b2ab85cf296398965746078241","datavalue":{"value":"6521252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$B7136DD6-1887-4BD1-9FB4-E14CF8B89BC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q896917$D0A70BF6-16E8-4179-A89D-7AEC88A01704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q896917$C5D1A874-29DD-485D-A650-10CEEED4CFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q896917$009DCC26-AFFF-4B3D-AEE7-E7C5F2C63461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q896917$2E06523E-B6A6-406E-8E93-DE805017B8BE","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":"Q896917$1F709497-8E56-4B18-92E8-8A687C108D7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"195b0ee68862ca1ae6387772e64a69f789640920","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.10.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q896917$265FC91C-7BD1-4F9F-8C63-08813A9F59D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8b8d1357ac5397448265fb36b1196409c9ef05a","datavalue":{"value":"W2191419605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$73B87090-AC9D-489D-B4BC-41EF19F6C2B5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a08ad75104894f24d4e459fc8fd224ff2b13375b","datavalue":{"value":"Q62038097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$FA92312F-FD9E-4DBE-A901-ABDCD0786773","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b13a58813c0de94b33769112ddc206faeff818","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$CB995782-F032-4845-9515-70B598DDC0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$DDB93006-4516-421B-8D13-18EEF0D88606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$26F05C7E-89BA-4521-ABBC-EAA46EE43654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051a00b466e11d321f3ba238f084b317ed6b87f0","datavalue":{"value":{"entity-type":"item","numeric-id":3637211,"id":"Q3637211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$E9FFBE84-1F22-4575-8889-7345913508D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$2D129831-EDAA-4E0C-ABD3-93C725ED1400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5861c62396208c25b39d129257f274dcac62d0","datavalue":{"value":{"entity-type":"item","numeric-id":5312888,"id":"Q5312888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$DF7DF530-04E2-4B41-9A1C-029969A6A91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0e11c903534d506ba936ac0ee31a1082d014a","datavalue":{"value":{"entity-type":"item","numeric-id":5962025,"id":"Q5962025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$ED4D71FC-A6EB-4B1E-ADD2-49A2E4EE9E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$E9DD5478-66F7-4801-9AA2-4A9917777ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b09e8d4bfd0fab815f7aa4008f27455eaf0cc8","datavalue":{"value":{"entity-type":"item","numeric-id":991892,"id":"Q991892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$F681CCFC-5F13-492E-BB65-576114D93D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$904326B6-B7FB-4F0F-B6A9-97934A426438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3740027a130caef4060b853e78da2e4d92072123","datavalue":{"value":{"entity-type":"item","numeric-id":764336,"id":"Q764336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$70A39086-C1DF-4BC1-96FE-7CC5E7E16783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28511450b638452d6ea421536980d9a65b3e2b35","datavalue":{"value":{"entity-type":"item","numeric-id":845343,"id":"Q845343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$61FDFC0C-4E18-4C4B-91AC-B0E68FE2805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8000bf33d2a7b07859c02c191450efa31a03ee7","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$ABD67A94-5174-4317-9634-3D7FAFFE0676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$C02EC520-878A-47CF-A119-C0F53249E21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36da588071d067059823d7e571d291ad38c486d","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$27B1EB90-EB87-4D2D-AF27-6FFE792DF620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f62c4731187b7640525ed80834befb6b49bee6","datavalue":{"value":{"entity-type":"item","numeric-id":947781,"id":"Q947781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$53B9F08E-F27C-4CE9-92CA-30C87553DBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$2260A75A-D763-4ECC-8510-CD1D7BC9E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645c248b799110e0295b4065710f8300f24dbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4818743,"id":"Q4818743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$1138D039-7208-45EF-99DC-ED7239D8D3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec408d183737459b4a41d2f18bda04df2d13859f","datavalue":{"value":{"entity-type":"item","numeric-id":2447756,"id":"Q2447756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$16654E85-CA70-448E-8DA7-855557ABF0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2ea96d5280cc156f9302d42079ae1b9b61b053","datavalue":{"value":{"entity-type":"item","numeric-id":632699,"id":"Q632699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$5D749CAB-4282-48F8-A436-FA971AD898BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c665279d7e5b45c3e1b50e2b8d2dac4d92cbfdd2","datavalue":{"value":{"entity-type":"item","numeric-id":529055,"id":"Q529055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$2957C23E-9464-4499-9921-DDE8557D7929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96999696306f354a4d5eae2e096ab483e8d71c8b","datavalue":{"value":{"entity-type":"item","numeric-id":529056,"id":"Q529056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$DB94AC86-2538-4D20-8CC8-5496B0B4D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbb1a0fd4f1c3fefb1ee577ee3eda5ab76377ab","datavalue":{"value":{"entity-type":"item","numeric-id":2576952,"id":"Q2576952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$683743FE-460C-4C01-BB54-44D4B707E27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d3456f5ff3ad7dee7530cf53236a08ffaec8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5475785,"id":"Q5475785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$F775FF35-2F9E-4209-A095-E55EBA67B0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fc139186980597c456d0e6ea71cfff05086c9b","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$7A460349-D37B-4663-83A3-CD30B4B08104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b844fef9a4eff712eeb3690f9414102576de4a","datavalue":{"value":{"entity-type":"item","numeric-id":5291327,"id":"Q5291327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$6AC1E63A-F407-4149-810D-E111A18C543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$2E86BEF0-5645-469A-8017-34A78206C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f080a7e005cb6af18bf2372422983853dc85ca5a","datavalue":{"value":{"entity-type":"item","numeric-id":1586380,"id":"Q1586380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$2ABE05EF-3704-4928-A7EE-E7AD5F2A7D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffe1e978d99e2fe2287f54e017548dfc49d814c","datavalue":{"value":{"entity-type":"item","numeric-id":2575078,"id":"Q2575078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$33084312-28FF-4192-BFA9-F1842EF3638C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec6b1ef98401183e717d7ede4c2e92eb3f5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2946731,"id":"Q2946731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896917$7B866EED-7A66-4EAD-93B2-EB406CF58EDD","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c9162f58b5ce0e99684799d251a1c10e0af6bbe5","datavalue":{"value":"journals/tcs/PanLCM16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$835EA72D-AA75-4FCE-B75E-61BBB80564C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ed59402c1b623f356404f81630c7b232b1c416c","datavalue":{"value":"10.1016/J.TCS.2015.10.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896917$1D90B6D5-743B-4FF8-AA05-FE7983C8F0CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237a11b72e2d646a678bdc54e1549b34ce51e60e","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486860366db4f8d35f8a4c537432c4f5d0f08d6e","datavalue":{"value":{"amount":"+0.8566288948059082","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":"Q896917$99883181-8B6B-46F2-BF59-7B5EAF70925B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c57564b42540b67653ee9fe2c14a4d275e82c","datavalue":{"value":{"entity-type":"item","numeric-id":4450445,"id":"Q4450445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f052efaa757516e4a0828a48f458f6f677c404e","datavalue":{"value":{"amount":"+0.852200984954834","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":"Q896917$82F90715-6CDD-4332-8F50-A008063678CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4372567df21db25ca3fd6611ae8741b2467630","datavalue":{"value":{"amount":"+0.8521173596382141","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":"Q896917$71295233-403C-4083-9605-585BE3AD2A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca31711aaa221a2cb2e1d07abcdbe3134d735ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6720d9367855d0d1b83e1094c702bd29942b72","datavalue":{"value":{"amount":"+0.8179336190223694","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":"Q896917$675D4C14-40D4-4CA0-9459-432D13B5D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516254be15977e59058d90c0bf8267a568a9486e","datavalue":{"value":{"entity-type":"item","numeric-id":5368012,"id":"Q5368012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2796eaec13a2c9a5ccd1a192563c9b42f39a713","datavalue":{"value":{"amount":"+0.8095878958702087","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":"Q896917$50372D53-8BCB-4463-9FCF-9B248313AAF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking computation tree logic over finite lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_computation_tree_logic_over_finite_lattices"}}}}}