{"entities":{"Q5262770":{"pageid":7292346,"ns":120,"title":"Item:Q5262770","lastrevid":41580572,"modified":"2025-05-06T01:43:56Z","type":"item","id":"Q5262770","labels":{"en":{"language":"en","value":"Application of Wu's method to symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6459454"}},"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":"Q5262770$B7CBFA3E-1B04-47C3-84B5-B25CEE8E61E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ddd8dd117b5c51187122a91ae8da6513b09168d","datavalue":{"value":{"text":"Application of Wu's method to symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262770$32F3AD32-4497-4A3E-860C-A5DF5C88509A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035ceaa814ec1f7ebb8677608664199247b73951","datavalue":{"value":"1360.68593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$14A617CC-3615-4BDC-93CE-866566A9A3DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a533735615517501ea15b68cfcd48536241dca3a","datavalue":{"value":"10.1145/1073884.1073918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$01742E63-5D62-4197-BE97-2D06FFF3F665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd7644144fbeab1cb929b89c4a5482c20c85da1","datavalue":{"value":{"entity-type":"item","numeric-id":5262769,"id":"Q5262769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262770$CAB9CB00-D464-471B-B2DC-D519212531A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262770$113B68D5-772F-4277-9CD9-B24DE244F509","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37b9c7314536760cad9d3a845cf3d15c16dd6e70","datavalue":{"value":{"entity-type":"item","numeric-id":5262735,"id":"Q5262735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262770$69E7FC4C-C029-4D1B-A572-1D124EEAE4FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38321b4e664b4a74165b417293e336a01a814025","datavalue":{"value":{"time":"+2015-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262770$E662388D-0267-4A06-81CC-54CFC7AA8D27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$939CE5B8-42E6-41FB-A780-58CBFB5006FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$57FD3EEA-66EB-4D2A-A092-E7CF637DD379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53c9afa0a8f6c9452bcc77a4b53332f149c98ac","datavalue":{"value":"6459454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$E2B8BACC-CB47-4D5E-BB84-883369CCF425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8cf8243737b642987140e639e60ec078529ee","datavalue":{"value":"Wu's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262770$1AAA4280-3FD1-4E22-96AF-68A19141F5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668ae909f3650f1a8f2ee97502b7814304133a91","datavalue":{"value":"characteristic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262770$6915B14F-1429-4AB6-B8AF-8B19A1A9019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262770$08E71A54-7560-4CA0-8483-BDDAB037FEC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262770$C10FA587-A4F9-4453-ACAC-BC1D31C21CA7","rank":"normal"},{"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":"Q5262770$2CBD5C8B-6D60-4C9F-8160-3A494B111AB2","rank":"normal"},{"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":"Q5262770$912D3A7B-8CCD-41F3-81DF-F34E0B94B96C","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":"Q5262770$6957A360-A5A4-4BD5-B439-961C230FE2EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f5983f7fd31d9cb5e89af33c7652f431099bba4","datavalue":{"value":"https://doi.org/10.1145/1073884.1073918","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262770$0C5D0C57-F08D-40D0-98B6-E3642937392C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe991a4f79fe4a768359d2810fb056b2cef3a8a9","datavalue":{"value":"W2038864046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$CAB13FFF-4985-4CC2-904D-F64657D86E5B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7928268b7ef8a64793610e4baae0ee67e46ce826","datavalue":{"value":"Q131120500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262770$96023648-5023-4E38-9037-913E8C405DA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec3a07828a6ddc31d28ca372c6cc91bcbf35262","datavalue":{"value":{"entity-type":"item","numeric-id":3640378,"id":"Q3640378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fa841609fe769b3dc19445834b640ee3b72eb8","datavalue":{"value":{"amount":"+0.9227545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$10835124-8C15-4B49-B7A0-52E9F785E936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ebe6a56881099d85f8b309c65ac9322f7d0ef5","datavalue":{"value":{"amount":"+0.89583373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$BE062524-EC7F-4282-9C30-E9E3C32ED5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6463d78d11a1208d30a334487f07a31b42ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1038325a3b9749248c956b1f6f73bb9588e2c4bb","datavalue":{"value":{"amount":"+0.8898575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$DE7B0BDC-D67E-4C4D-9738-82A5A7AA98EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab1985dc67ae2bb6c152657bfeb79bdd4168287","datavalue":{"value":{"amount":"+0.8884646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$342D1C1E-1602-4904-8188-5FB223DD4042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434ea089388c9595429bc59738eb3e1e8a1fd70c","datavalue":{"value":{"amount":"+0.8884324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$4E9AB123-D202-4994-927C-9704B90638EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f683277b3c94eef63b2f7fb5ccc2a8f7c8b4307c","datavalue":{"value":{"entity-type":"item","numeric-id":4440828,"id":"Q4440828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e40888dfc31e987112963e22be35029774ef260","datavalue":{"value":{"amount":"+0.88802487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$F3B5B0AC-08FB-4A91-A47E-596B135539F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35399b4f25cde61f64b6d37206e530db6e95b1dc","datavalue":{"value":{"amount":"+0.8880029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$A91AEDD1-6115-4558-9401-DBF0FEFE7B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f051937086bb2907463bf6ee78e7b61ae81e9","datavalue":{"value":{"entity-type":"item","numeric-id":4493882,"id":"Q4493882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210f3d9e761aa032d1396d4c25ff12ca218df060","datavalue":{"value":{"amount":"+0.8865589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$B79D248E-6CEC-40DC-8FA3-4D07FD8F2872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a574f326f503b571cef3533b8d114b9f54f330df","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383e0782ab1db1003aee1e69daac019204e74225","datavalue":{"value":{"amount":"+0.8845043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$CDF547B3-F927-4E03-B800-456232CE05C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fdecdb14b1ae1b943eb44c46edba501030baf3","datavalue":{"value":{"entity-type":"item","numeric-id":2729957,"id":"Q2729957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572148e6d4ee7e787a1e4f078f9d5b2963e2713e","datavalue":{"value":{"amount":"+0.8838118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262770$A5FD0488-4836-4A82-919B-0BB79165071F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262770"}}}}}