{"entities":{"Q2789057":{"pageid":2799795,"ns":120,"title":"Item:Q2789057","lastrevid":83336204,"modified":"2026-05-07T07:16:10Z","type":"item","id":"Q2789057","labels":{"en":{"language":"en","value":"A ZDD-Based Efficient Higher-Order Model Checking Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546229"}},"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":"Q2789057$1D53F0F4-D5EA-44B0-AF7D-396D132B5B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f96f5c3ec9eb72ccd4a140a4a297ac76b5b3d45b","datavalue":{"value":{"text":"A ZDD-Based Efficient Higher-Order Model Checking Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789057$5A0CF7E9-768F-4219-871C-82E272795D13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4cbebdb06f6595ab5c095b3610e0f99cb5070f4","datavalue":{"value":"1453.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789057$2E663FFA-E819-4D65-A048-94D09FC2940C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a04bc4caff15a82abcde4d8879e3893103e9643","datavalue":{"value":"10.1007/978-3-319-12736-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789057$9C41F2C2-80E3-42CA-81FA-9D53A1300FF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3e6d59b17f6d8a39710a49eb393293a3969cdff","datavalue":{"value":{"entity-type":"item","numeric-id":2789056,"id":"Q2789056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789057$F75F00ED-636F-4441-9FAF-FA9A8F50A01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789057$17044D29-7159-4B4F-9AF0-500157545FDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789057$82640D3C-7974-46C4-BA8E-24448CC32794","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789057$95EABAA4-73E8-483D-B307-4F3C3F334940","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789057$BD6985F5-BC07-4AA8-8FD8-E0DD7D8C9888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"973da0dfb4214b179d6a5d258e6fb6656a393348","datavalue":{"value":"6546229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789057$1EC46563-9F7A-45D1-8C91-5B2C562E0655","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":"Q2789057$FF79CBBC-060B-4E89-8A5A-2536AD8F2FA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04dd3f75bd4cec675d782ea596a4f50256cad952","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12736-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789057$AFB5E4AC-BA3A-48CE-BE6C-BA6483C67648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b07fdc060d69e4c1f6bcf71e0c4f8de4a8f1845","datavalue":{"value":"W5947967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789057$839CB668-898A-4267-82B6-882F00381F3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c51b09a671c633d4abb8602a348666f9e3667c4","datavalue":{"value":{"entity-type":"item","numeric-id":5168915,"id":"Q5168915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1363c49a1d8bd1b9e7c7ea8c9b8ef1b3a1b3b0","datavalue":{"value":{"amount":"+0.896928","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":"Q2789057$BE77C854-8DDC-47D7-8886-DF2338524DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ddb782c2778aed1366cb02f09bdc07bcfb562e6","datavalue":{"value":{"amount":"+0.87738305","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":"Q2789057$92F68550-F7D4-4F23-A66D-8850A5F95560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4b5b74d6be11d52a6f189a1af729d6f6844b95","datavalue":{"value":{"amount":"+0.87038237","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":"Q2789057$257FD31D-F597-4BB6-968E-A03D2C4DE006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bd5a8c8df6852a6d8f982252b72a58e591fcb9","datavalue":{"value":{"amount":"+0.8700486","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":"Q2789057$2B679CF8-4449-4024-9093-6434AC3CD2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9708e0ada1a50f4a4662575752f3d2c523cd2fc4","datavalue":{"value":{"amount":"+0.868845","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":"Q2789057$5A54EDDD-8AC0-4961-A785-5A898BB7D7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871c574f5c378d899789693374eaae7d43fc17fe","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef7746b411941f1426375480cb94e5c8d6b5f87","datavalue":{"value":{"amount":"+0.86300135","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":"Q2789057$C22C3DF2-485A-4752-ADDB-E265E18D769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4944a7aec002b3f760e6f6d7c05e4d7f80021cb0","datavalue":{"value":{"amount":"+0.86294645","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":"Q2789057$0034CDD9-F313-4600-B743-E5D2B5D01F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a800bb7f91f33e825ab8b1d03a7f9ab30f78b9","datavalue":{"value":{"amount":"+0.8598252","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":"Q2789057$1E32A5B1-814B-43D9-982F-C09CD9BC5311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A ZDD-Based Efficient Higher-Order Model Checking Algorithm","badges":[]}}}}}