{"entities":{"Q1801498":{"pageid":1812240,"ns":120,"title":"Item:Q1801498","lastrevid":72988962,"modified":"2026-04-14T09:13:40Z","type":"item","id":"Q1801498","labels":{"en":{"language":"en","value":"A linear-time model-checking algorithm for the alternation-free modal mu- calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 205352"}},"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":"Q1801498$AE3E8E93-4B5D-476E-8A33-1F8FAFC8D1F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca2ff11588531821033289f1fd77c0f31fbe0359","datavalue":{"value":{"text":"A linear-time model-checking algorithm for the alternation-free modal mu- calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801498$FD3EE445-89AB-4478-8943-25F5EC25478B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e76f85eef95d82dfda9d8fa7ba243722baae203","datavalue":{"value":"0772.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801498$712A3D8D-626E-444F-9C73-EAB0A5122E22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff4e6e48c83255bef193dfc2fbafec48c35af5b4","datavalue":{"value":"10.1007/BF01383878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801498$15CAD520-E3E4-47B1-B65C-C8A7C49560B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$9A3E5EFA-1655-48AE-B6C4-86FDA82DA343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$A8803846-74D3-4F9E-9560-D674C80D63F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$3F536CF2-91CC-47EE-9A23-66ABA53F58A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-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":"Q1801498$8E4F0BB9-3FEF-4BE4-B3B0-1B1247246594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801498$3EA47DFB-270A-4D73-982C-5324E54589C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801498$9CA9C24B-AF86-4C0B-BE85-9B021EC72E32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0882b4e535f465baaa36a66db1e8224daa7d980","datavalue":{"value":"205352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801498$84C0C60F-FEC0-4A43-AE0F-A52C588C13FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801498$845AAE3D-D473-4576-8CAB-FFBD7A2E6D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f3889702612332792e32e0641114731bf5c66d","datavalue":{"value":"model-checking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801498$1743366B-DAE4-4BCF-984E-E9F9AE714728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43616c7e21441f0ff775441674093d81ab2179a6","datavalue":{"value":"automated verification tools for finite-state processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801498$B4904302-841E-495C-9382-D0458C82883F","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":"Q1801498$C70B5A2E-EC0F-43DA-912A-38B15190796E","rank":"normal"}],"P223":[{"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":"Q1801498$2B4C4BCB-84C5-4419-BD2C-D7CF5DE9D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$5316F858-5927-47DE-A1C5-C9F7E2270EF9","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":"Q1801498$A7212A07-AD59-4909-A795-986D70847A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$919B5BB4-3F0C-4536-B4EE-BD8268F8966F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$ABE4E43F-F1F6-4756-A4F0-685EDF283980","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":"Q1801498$968E9583-ED70-4749-8F0A-1E89E7A34D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$367ABCDF-2283-4D4F-8BF8-F24EB537C341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801498$C2ED7BA3-5C25-43F4-B74C-992C24FB288D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b9ddfd1730fe47f0ffca2cd76834dc430d4d420","datavalue":{"value":"https://doi.org/10.1007/bf01383878","type":"string"},"datatype":"url"},"type":"statement","id":"Q1801498$05E8C011-4D10-4EF7-82FD-84D819DE9954","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2742ab51e1428d99eaef599fa8a6a39f862610f8","datavalue":{"value":"W1791618115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801498$56A5B47A-2247-4CD2-A8E6-8396C11F9BB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e02ad59d118951d811b79818e866637bcf78a8d","datavalue":{"value":{"amount":"+0.8529505133628845","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":"Q1801498$51410FB8-FB30-4957-A263-AFF09B261E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80f0c0fda23968a7cf162e021f0fba0ad757824","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863f0e04ce69f8564149e824668a92b2872da9b0","datavalue":{"value":{"amount":"+0.8365821242332458","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":"Q1801498$AE71D67B-8405-4861-9FD4-A9EFDBA2106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f27ef787fa91b00b5802d39e2d9044ba98198","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b27baa11658ae4a5be3d0bca9fe0afdd964645","datavalue":{"value":{"amount":"+0.8328331112861633","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":"Q1801498$28BE1908-55BB-4DC4-BB0C-D72C007D499C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919fe0f087312ebd1d4e36fc023a9f0fa52ab0f4","datavalue":{"value":{"amount":"+0.8279435634613037","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":"Q1801498$59EE224C-BC7D-4CF7-A7CE-DDF808CD4059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad24936036c0a44cf39cec794943b33c28c7276","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd42254bf378350f8923e5354c0812768f0c56f0","datavalue":{"value":{"amount":"+0.8221483826637268","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":"Q1801498$270676A1-A9C7-401D-A9CB-AE2EB3574442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear-time model-checking algorithm for the alternation-free modal mu- calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear-time_model-checking_algorithm_for_the_alternation-free_modal_mu-_calculus"}}}}}