{"entities":{"Q2946674":{"pageid":2957394,"ns":120,"title":"Item:Q2946674","lastrevid":85133588,"modified":"2026-06-03T06:00:28Z","type":"item","id":"Q2946674","labels":{"en":{"language":"en","value":"Graded computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483179"}},"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":"Q2946674$EB8DF383-FC48-41B4-BF70-C5E2FC31A37C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8bce27ca388082f69deecd20423382652d5b4b9","datavalue":{"value":{"text":"Graded computation tree logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946674$BC841ED1-0253-432B-A4CB-C16AA0BCF789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba992fc4db27fa0dead0994df543397581d6b92","datavalue":{"value":"1351.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$ADED022C-AB1D-4662-8361-821D3B04A91A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc02bc3fe5897519c80e93d1ef1f864d6d183db6","datavalue":{"value":"10.1145/2287718.2287725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$F48C37FC-E881-40C9-A6E8-908507B17FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323b0117d0fd8c81fc68efb923a1c44dc810e598","datavalue":{"value":{"entity-type":"item","numeric-id":656820,"id":"Q656820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946674$1623CB15-F7B5-49A0-B9DC-03AC0C110909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946674$7F56A44D-4A26-4E36-ABBB-C5BDBA8DAAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946674$9B52CCC4-1426-4E06-88C9-D60193EEDE8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946674$4423615D-1868-4FED-813B-0ABB6B9F0A73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946674$5E5D7395-7458-42D9-90A5-7AA9DB5E0851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84b130c078644f86e5d124137c12e72ba62dea55","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.8955","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946674$0290F070-F8EC-4692-AA44-9C6E9C0192B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$B21CF230-85A9-4708-A7E2-9E6B913BEBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$15120178-51DE-4A87-9C10-1A51CE8D9B5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a737b4ebae45a87d15c50d89dea34df92938c6b9","datavalue":{"value":"6483179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$8C48615F-1704-412A-AC7F-4544B9B43C4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962cbee619916e7443a152d8e600710f7def0135","datavalue":{"value":"Branching temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946674$B5195D40-0D56-48D2-AC2E-E52222801B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45aae95e90632dfcd6ab7e0144d94e4b3ca37bd","datavalue":{"value":"graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946674$89C15B04-6DA6-40C6-BDE6-B9F98089BC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946674$C7518942-D918-4E26-8647-504263643154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946674$9B27934C-F78E-4F2B-8B9C-8C42981E182F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946674$DFCD6B14-F9D5-4A9C-BEC4-B5CC350F9112","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":"Q2946674$B0A951A2-7E59-45DC-8DD9-2345047E1C3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc41941bda2908cecee0555ccbf164ffab2e9bf7","datavalue":{"value":"W2114893507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$F60D140B-3CBD-4814-B6F1-651C655135D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"957b5036e123369a33ccaeea305e9eb6e6cbbf30","datavalue":{"value":"Q130857643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946674$388472A0-48F3-464D-992D-1C551D85F106","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf346bb08405d624db7e5913084380ebd1a8b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3586038,"id":"Q3586038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b1cb0a221433b23f7c0123aad3df073dc0d9b4","datavalue":{"value":{"amount":"+0.928339421749115","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":"Q2946674$3FCFCDF9-F069-472C-A31E-CF224DF1C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bebc6a0f6b7db0bdbb945bf39664b8ffddd92c","datavalue":{"value":{"entity-type":"item","numeric-id":3460061,"id":"Q3460061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8c568d0f77e9ec276de2b2da565690dc5ceb0f","datavalue":{"value":{"amount":"+0.9273853302001952","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":"Q2946674$959003D4-1FD8-42CF-AD63-76F828F0C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84076fcfc02c872a27bfb0acde86b8dbb8756690","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a080b53955e1b1098e5055e136a31d4abf9f86","datavalue":{"value":{"amount":"+0.9166958928108216","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":"Q2946674$758BFF79-1E57-450C-B8FA-C1616684E235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e207c6ff9814a6fefac4833831975dc3e82eb3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5894193,"id":"Q5894193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b9334bbe3eab42fc0b48e0f0015b6942b5ef80","datavalue":{"value":{"amount":"+0.9138337969779968","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":"Q2946674$D2301555-6F45-4137-B36D-46CB0BB06C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a6abadf66f072e719e9b1cd3cf4e0c782d32a6","datavalue":{"value":{"amount":"+0.858026921749115","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":"Q2946674$44E5550A-24B1-4C4C-93F0-46833327BE17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graded computation tree logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graded_computation_tree_logic"}}}}}