{"entities":{"Q5902425":{"pageid":8011647,"ns":120,"title":"Item:Q5902425","lastrevid":50864765,"modified":"2026-01-15T11:56:59Z","type":"item","id":"Q5902425","labels":{"en":{"language":"en","value":"Polynomial approximations for model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653049"}},"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":"Q5902425$5593425A-B1BB-4F0D-A972-CBADFE19FF4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05848c7ea3b914ee978c2b33555f525d5007e233","datavalue":{"value":{"text":"Perspectives of System Informatics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902425$30AE6BF1-F49A-4D0E-A61C-6E3738D4E147","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63fb1598ad2e1f95c91fd0bf155f99eb007bc540","datavalue":{"value":"1254.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902425$A910A78E-DA79-409A-A98D-3315AD09311A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902425$7A768E7D-5316-4554-B360-E7F98896987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"525ef182e2907d2c325c00d96699cbe267d26b17","datavalue":{"value":{"entity-type":"item","numeric-id":3654171,"id":"Q3654171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902425$C78E54DC-834A-40EA-9499-C07117D02983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902425$B94B0341-AC00-4F1B-A9B1-EAFEED275449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a298e5caca0f42371daea3257fe0d30ab5b1de8e","datavalue":{"value":{"time":"+2010-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902425$062F2D43-5E37-494B-BD23-C882ABA75BDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902425$184644F2-8BF2-4616-BF67-4EB6C7A17D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902425$79C2E92B-2C9E-44A9-AADB-6E26A768CEF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88801ae7e99b96c80672a03729c6f9035bd0ebf9","datavalue":{"value":"5653049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902425$EE3C7BE6-2007-4123-B319-D140496B92BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f9768601bd14dd8860f60bde13615efdf522","datavalue":{"value":"\\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902425$7DB949CB-016F-4098-BAF2-A27D0FC6F7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902425$53FBF7BF-63A2-40D7-856B-D804EEEB211B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902425$0CBC93C5-B45A-43EB-B909-45381E202056","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":"Q5902425$1544BFDE-7A45-4004-9CC7-2AECB65F57E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be4a721e4afdca1f9528dba142eeaac0c54430b9","datavalue":{"value":"https://doi.org/10.1007/b94823","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902425$F44DEDA3-5AC9-45B8-A27B-DCA416663DD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"641058c3b146cc75e3236969f7902b48493a9107","datavalue":{"value":"W4234004114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902425$E969AF8D-B3CF-4E69-BD8B-5C27685C212C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a8e7a7b1767d6589ae9f2811979f84202d95069","datavalue":{"value":"10.1007/B94823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902425$F3A25AC0-2D7F-440D-88E8-C09DC96D0E13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc508e5cb6549fe2a56d79ccccc703d4d9bccd3","datavalue":{"value":{"entity-type":"item","numeric-id":4947229,"id":"Q4947229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12408b50a9d5d4ed308bb79df93233cff0a1ad0c","datavalue":{"value":{"amount":"+0.8329157829284668","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":"Q5902425$6FB333BE-89FC-47EB-9C73-5646B67AD596","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":"9286969c0868693b5ea2e0083e1b2be285ff6fd1","datavalue":{"value":{"amount":"+0.8313896059989929","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":"Q5902425$5E08CFB5-466A-480A-8484-32AF541C0E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced5cf362612d739247ae3bb9153bb0331ee7774","datavalue":{"value":{"entity-type":"item","numeric-id":2368950,"id":"Q2368950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de3763b61c3eb4687d58680cf9da065a96c04f8","datavalue":{"value":{"amount":"+0.792776346206665","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":"Q5902425$C9796A3B-FD5E-4D26-B5BC-337F3903AD25","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":"286001adee9b51a46d82efffec5ac96442127b7a","datavalue":{"value":{"amount":"+0.7905558347702026","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":"Q5902425$14D25AC1-8C24-434F-8AEC-1E6B01EE6E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02cda41305cc32a73f956d4c667e6a100a369e94","datavalue":{"value":{"entity-type":"item","numeric-id":4417913,"id":"Q4417913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653cbda39f2e4ca76e30fe03ffe14cd129f169b8","datavalue":{"value":{"amount":"+0.7894436717033386","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":"Q5902425$7A5CB342-DDED-4CBE-B0FA-DEF7B73703A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902425"}}}}}