{"entities":{"Q5756750":{"pageid":7786301,"ns":120,"title":"Item:Q5756750","lastrevid":50158052,"modified":"2026-01-13T07:25:42Z","type":"item","id":"Q5756750","labels":{"en":{"language":"en","value":"Bounded Model Checking for Weak Alternating B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187431"}},"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":"Q5756750$7618F687-6E53-43B9-9DFE-AB894D5E9B70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45baf3830ab2cfb3afefebeba368d5944be90929","datavalue":{"value":{"text":"Bounded Model Checking for Weak Alternating B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756750$5C99871D-9779-4D79-90F9-2CEA211E8DE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523896c22ad204d252153fdcbe58cd844621ce1b","datavalue":{"value":"1188.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756750$A1610CDD-4FC6-4F6F-B46C-B170B412A420","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"515d796718573da69224d7d312965cd0c67bb41e","datavalue":{"value":"10.1007/11817963_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756750$8743F747-4C23-4D05-BC47-A656DCA0CC7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$1947BB87-7D14-49D5-B73D-451B608FC86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$FE435A70-C5BB-4922-B4E7-C1A7F6DAA620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc40edb52aafd8d4b43f76c08624e9664a405b6","datavalue":{"value":{"entity-type":"item","numeric-id":414900,"id":"Q414900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$236B2F1B-7D24-432D-948A-FB433A1B365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$AC3A067E-DCBF-4BC6-B730-CACBA98A0112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3d63802dcd3ac1e4433559bd1c461faf8469ae","datavalue":{"value":{"entity-type":"item","numeric-id":4426371,"id":"Q4426371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$252A7CA8-3523-4467-A1D0-AC5F30B1E0F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$7901441B-C7CD-4F89-A427-2B8580B93C5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-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":"Q5756750$EA3881A8-693C-4E7D-91DD-A0424E3098F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756750$3BE3AE4D-1700-4131-B381-F254393C6878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756750$724ABF2D-5CF8-4EEC-8E42-05E0B660666E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e383c0986dd86defd90ae69a77b350d72c507a63","datavalue":{"value":"5187431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756750$B3E23D85-6C21-43D5-9B3B-95B21D0F1CA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbfe4050519c1daf38f08cd8100ed58722cabd2","datavalue":{"value":"weak alternating B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756750$F1F68490-EF2F-4EC4-A73C-966EED594F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756750$1852C14E-01C8-401D-A60D-B9506A6F856B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7979510b1e87891851cefdba13998806375141","datavalue":{"value":"PSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756750$57867A2F-8F87-4CFA-9804-EBB7500AD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e6e7fbc044e24a636f416a29bbfa6df53e6435","datavalue":{"value":"NuSMV","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756750$82FC71C5-DE65-44EC-A975-CA1007C01C1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756750$E1E0FB3A-BF26-41C4-9C09-5BB00F051F26","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":"Q5756750$24819383-E8E2-4BC7-A681-80B8C683044F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e00e6693fdb6edace8265f8f72c8c93b1bd843b","datavalue":{"value":"https://doi.org/10.1007/11817963_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756750$ED714C5E-84F0-4C5F-A613-9B2C6FFF5857","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac515f1d7a35f369b57873a70ec214580b1c90eb","datavalue":{"value":"W2020735753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756750$037C30F5-F533-4A4D-A6CC-8E5C87A08DCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e7e2c2bdfcb8da6245b5049b17f81ee014db00","datavalue":{"value":{"entity-type":"item","numeric-id":2849598,"id":"Q2849598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dc93fd2e6c8437e2e271ee4c70b7ae5f83c01f","datavalue":{"value":{"amount":"+0.7988070845603943","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":"Q5756750$FC549562-556C-4886-AAF2-51BB3CB2BDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9353b3b3b24b338fcae1b5a7af1977ccf4b16b","datavalue":{"value":{"entity-type":"item","numeric-id":2848673,"id":"Q2848673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f830daed7cfc3e61036806b6dc88aa4931ebeca","datavalue":{"value":{"amount":"+0.7930113077163696","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":"Q5756750$7C8A0BD1-FA68-4447-88FC-A5C1AC7750D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8b7bc506570e1ffa0717751930e8078f520df1","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c8b460b4b9d13b3c638ee1504ff633ed63ef37","datavalue":{"value":{"amount":"+0.7885620594024658","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":"Q5756750$53DD8A2A-3340-44BB-9A31-0AC81B1A7AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f2996a5c5ea635ebfebe68ef369e8e7f8bea99","datavalue":{"value":{"entity-type":"item","numeric-id":4551132,"id":"Q4551132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc440b8272e52f30e4e2ba54ff8044ea48746e37","datavalue":{"value":{"amount":"+0.77933269739151","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":"Q5756750$FFFC6AE3-B8E9-493B-A6BF-44B0E1235857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166d57c22464c42410a78d6d58a86c575c28a070","datavalue":{"value":{"amount":"+0.7736636400222778","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":"Q5756750$EBA31A02-D2FE-482C-95B5-0E539FA5FB2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756750"}}}}}