{"entities":{"Q1870865":{"pageid":1881607,"ns":120,"title":"Item:Q1870865","lastrevid":73823529,"modified":"2026-04-14T17:23:24Z","type":"item","id":"Q1870865","labels":{"en":{"language":"en","value":"Efficient on-the-fly model-checking for regular alternation-free \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1910213"}},"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":"Q1870865$B76A144D-D6C5-496E-A24F-BD97EFB1063A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be1925e6b929075a11bcd4a4fd5896983d3def71","datavalue":{"value":{"text":"Efficient on-the-fly model-checking for regular alternation-free \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870865$20D1503F-4134-422F-9DC0-1E0C80E17CCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"126768812ff00392e62abc9a13e0cd7fc1fb6259","datavalue":{"value":"1026.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870865$FBD18F4A-F88A-4904-87CC-99908198D364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e8d76baf806b0b867392caf3c0c5a9fd3f1b243","datavalue":{"value":"10.1016/S0167-6423(02)00094-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870865$19303D12-6960-4F2D-96FF-48C45507A512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870865$169A1E7C-8481-4C45-8FD8-3ABAE3727819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870865$76DF67CD-ED70-4580-B53A-FC9316439883","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870865$5E506A80-AE76-4106-85F6-F3CE12428839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2739d9d5887c2ab5a6b70df0e9f5c64b00eb7649","datavalue":{"value":{"time":"+2003-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870865$A680D8B0-31FC-4C2C-87E6-F0D27D688ABE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870865$CD8A7896-3CEC-4150-891C-46EED75CC55F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98c5efc511a52bb9529a15a348a7693ded31c8d6","datavalue":{"value":"1910213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870865$ACB58149-11E3-4148-BEB7-C93B5B653951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22290e15bf1c1d350bd7d72c46338942a3df2630","datavalue":{"value":"Boolean equation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$E9537C92-901B-4E72-AEE5-494E9B240FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c069b986eb614d675114e3abd936c346a8290d90","datavalue":{"value":"diagnostic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$9B06D487-FF89-4296-8E8B-3BCF024044D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$3F2D4991-75F0-4B32-978C-07F619693234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$8AC69334-3C0E-4761-8482-01158057139F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$6DFAE8F0-375B-429E-8B78-A57DFD63153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$DAE89822-6491-41CC-8415-6F111EF2A8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$D4339B68-FB3C-4B24-BFD2-DA19E73E377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870865$D0E29431-BCFC-4CA0-AE50-7A933F6B56BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870865$C35B038D-415D-4653-832E-8C4D2357746B","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":"Q1870865$3C903740-F7F6-4AA8-A9CF-09B18C1318DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8f46eee37da4b1577b8907dc9730e6b46796ad4","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(02)00094-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870865$2B5E51D3-C6C6-426A-8305-00AA587A6233","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afe413a7ece97da1aab2dea17ef7e58727fbd34","datavalue":{"value":"W2026591657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870865$C3553374-D994-4255-838D-72EEA782C998","rank":"normal"}],"P1643":[{"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":"56d2cd490f033f9881e3b63abc2566399c2aec02","datavalue":{"value":{"amount":"+0.8289914727210999","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":"Q1870865$6EE3A10C-60E1-486A-A15A-44C74975FB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae25cf473c8be16654d1c0ba2af236bdfb51e756","datavalue":{"value":{"amount":"+0.8241648077964783","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":"Q1870865$3B2556D2-726A-428E-846E-33F47C76E3B5","rank":"normal"},{"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":"e0e2200e2acf3e87b8edc2157eb7c9cf58c70df9","datavalue":{"value":{"amount":"+0.8173308968544006","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":"Q1870865$76987F87-4C1E-4FD0-8D14-4BA805A2412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80be1a7e127d7adc800431913b61dd476e431639","datavalue":{"value":{"amount":"+0.8135444521903992","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":"Q1870865$224B4A0D-ADC5-44B5-B665-64DFE9790A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2e021bf8f3caf31e03257d3dc40644ff42c0c5","datavalue":{"value":{"amount":"+0.7958983182907104","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":"Q1870865$702AB7DB-D10A-497C-A6DE-04E7FE184952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient on-the-fly model-checking for regular alternation-free \\(\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_on-the-fly_model-checking_for_regular_alternation-free_%5C(%5Cmu%5C)-calculus"}}}}}