{"entities":{"Q5758127":{"pageid":7787678,"ns":120,"title":"Item:Q5758127","lastrevid":97356866,"modified":"2026-06-05T14:32:03Z","type":"item","id":"Q5758127","labels":{"en":{"language":"en","value":"Improved Algorithms for the Automata-Based Approach to Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185796"}},"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":"Q5758127$DFC4DF19-D49F-4B60-AE9F-7FE3C6C4660B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cda73dec2835b4fb1e7799650341840301e5b5e8","datavalue":{"value":{"text":"Improved Algorithms for the Automata-Based Approach to Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758127$CE05E372-77AF-427E-973F-25327C0F5FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70981a8faa735ac30cf32daa4520288ab2102afd","datavalue":{"value":"1186.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758127$49FB821B-7D39-4F7F-9329-DC877B31460B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1dbcb809aecf154ae8cc6d34f5655a0efaed381","datavalue":{"value":"10.1007/978-3-540-71209-1_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758127$B9A1CB87-6C2D-451B-ACF8-83EBC2574E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758127$39BF6DE9-E441-4513-B47F-5C1D252E228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758127$2D6E17A8-328C-433F-AF14-F149E932BBD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758127$1AD79EBA-D158-4215-B18D-30D6837B46C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758127$E66FD58A-3803-48DF-8746-CD5773BBC854","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758127$B503E407-7995-46D2-B71F-6E6421A9B78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758127$08FF43AC-2011-4637-B340-9FF130241C95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f77e696807dd73517ab7966b9a709b76456ca19a","datavalue":{"value":"5185796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758127$929C212C-FA7C-4F96-85DD-A623998D4EDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758127$680D6315-93B4-4F96-A8CE-E96859B1727D","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":"Q5758127$D735804C-A285-49FE-9058-4F4A9551A77F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4189b144869b1cd34ff599a2cea7fa403a0b9c32","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758127$0A8372B6-AC84-4DCB-B8F7-C58ADCF92119","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3f047e00a7d57ed6c729c3bf698e5c911f5a4bc","datavalue":{"value":"W1846242859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758127$985D55E8-B84D-42BC-BE33-1D3617FE4A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f6c391425d8f11bce11e35b4b5391d931587fe","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38911432f433ddf083725d8f717aaedd0c45b64f","datavalue":{"value":{"amount":"+0.9007154703140259","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":"Q5758127$0DCE1549-B1D3-40D5-87C1-61A770F9E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4061a8671d6a097ca5aed03088441dd24b8d4","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43545d6851b81e34817bcc0a900bed5b09f001d1","datavalue":{"value":{"amount":"+0.8320356011390686","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":"Q5758127$34CBDD75-5FE3-4FE5-933E-9752555A8EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f7af71a178819ae7d36dd06aefc91832543ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0906aafe852e35c4204fd083e64117acd733fa68","datavalue":{"value":{"amount":"+0.8058358430862427","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":"Q5758127$A5B25C48-55CD-4867-A3BA-84F2DF4528D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c68e516242d0d7081ec8dae11cb888eb9de43e","datavalue":{"value":{"amount":"+0.8034533262252808","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":"Q5758127$E5B16AD6-9B4C-44DC-B0D7-F568A73E227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509e761dcdde395a89b8aefab333c1d82b96c05f","datavalue":{"value":{"entity-type":"item","numeric-id":2931784,"id":"Q2931784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc93b91d91a4c0711231c8c8b230d85d98ec242","datavalue":{"value":{"amount":"+0.7980935573577881","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":"Q5758127$4AF4BE3F-885B-4C89-B5C9-E9EBAA166793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved Algorithms for the Automata-Based Approach to Model-Checking","badges":[]}}}}}