{"entities":{"Q3512435":{"pageid":5542339,"ns":120,"title":"Item:Q3512435","lastrevid":50405639,"modified":"2026-01-13T23:51:00Z","type":"item","id":"Q3512435","labels":{"en":{"language":"en","value":"Model Checking: From Tools to Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301045"}},"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":"Q3512435$EE290F71-40D7-4720-80F9-56E5713F6E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eaeba6b8e875128f172221ea3311337567847c7","datavalue":{"value":{"text":"Model Checking: From Tools to Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512435$25BE9EB3-CCDF-4AC9-95E0-3AA067112E2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf322482b376ebcc6e268704eacd9f26158a7bb","datavalue":{"value":"1142.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512435$26FFB3DF-7202-4014-BC87-92C46AFD63B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73fa337734771b75d30481e6b7ade72f9b6b7dd3","datavalue":{"value":"10.1007/978-3-540-69850-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512435$98FC32E3-859E-4801-A524-017EAF9786BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"956b4a1d122f6c82a284819a7860d6861ed89000","datavalue":{"value":{"entity-type":"item","numeric-id":3512429,"id":"Q3512429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512435$F98D1486-A8D4-4480-8EE6-4597E37E4880","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512435$25E9615B-E663-44AC-9165-EE15189748FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512435$505CD6C1-CD64-4C96-86E3-B3F737327B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512435$23120A40-3F25-45C8-9D60-03642E6503B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4596f79f04540fcf5674ab2670e5e07e94a95931","datavalue":{"value":"5301045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512435$A9E63E8D-7A59-484F-968E-18C5C3B16F00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512435$A6A557DB-FE79-43D9-8BE3-22A7441438AE","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":"Q3512435$20CC5A7C-07B1-455B-BD8B-14F85EBDCCEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a2a9996e9113737cb08f41060ccebf29ce0f280","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69850-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512435$8E02DE3C-EFD4-49CA-A826-1EB5BF1D2586","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891870f5e0da55d7dafa4e23579f3cc5e9784b7b","datavalue":{"value":"W1511286138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512435$0BB384EC-CBAD-40B9-922D-79B4E15F2173","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd0d618f27482dd700592c3a6a6f3c52e2054d","datavalue":{"value":{"entity-type":"item","numeric-id":5447361,"id":"Q5447361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afeff971864511f7bb5d4b1c255f726ef0fc31d2","datavalue":{"value":{"amount":"+0.855047345161438","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":"Q3512435$FED8FD71-D87D-4840-8329-0DA3CB24E71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1be9455741e97beccf8d99c6fea14ed8f8a142","datavalue":{"value":{"entity-type":"item","numeric-id":5505411,"id":"Q5505411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f6c52796524475f7f0050f265e38bd1d8368fd","datavalue":{"value":{"amount":"+0.8200739026069641","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":"Q3512435$C9B11D96-53EE-4B7E-96C7-9BD34A875C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2926f45d044bdd4057c99963c17f05de5cb82c","datavalue":{"value":{"entity-type":"item","numeric-id":3499762,"id":"Q3499762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f6c52796524475f7f0050f265e38bd1d8368fd","datavalue":{"value":{"amount":"+0.8200739026069641","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":"Q3512435$05E82167-B65A-4CB9-8DD9-1F2AE1BB8D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7344bfc1cde154881de03b438642ccefc2f4131","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e9b1dc3cf625ab85311d048477e913bf96cfb6","datavalue":{"value":{"amount":"+0.8151894211769104","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":"Q3512435$01AC607D-CADC-42D6-B7C2-A0CB479CDEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b310ea27a809fb1ca1d73735c29d5125bd9c67","datavalue":{"value":{"entity-type":"item","numeric-id":2798716,"id":"Q2798716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c727c3fb87ede445edd4073d4c7d85bbef469d7d","datavalue":{"value":{"amount":"+0.7949581146240234","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":"Q3512435$84259D69-F8AE-405C-8BE9-A77A07B3B893","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512435"}}}}}