{"entities":{"Q4572078":{"pageid":6601667,"ns":120,"title":"Item:Q4572078","lastrevid":89543975,"modified":"2026-06-04T17:38:25Z","type":"item","id":"Q4572078","labels":{"en":{"language":"en","value":"Handbook of model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898579"}},"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":"Q4572078$5A00012C-C2A3-4249-9EBF-D72252FCDDC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3126da20b5f081b0a783cd44097998a81d448fe7","datavalue":{"value":{"text":"Handbook of Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4572078$C7E2FE47-8AF4-4A27-98B7-461E14E45A9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"736633327da99bd8437e50d54547ff0ee0ada8cd","datavalue":{"value":"1390.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$4FBCF499-848A-4D94-806D-1B56D55E1A8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f964401d0eee7943575bd8ad9fd515bb68f94390","datavalue":{"value":"10.1007/978-3-319-10575-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$35DDBA00-EE90-47B3-8A68-883F2483291D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4572078$AB130138-69DC-49EA-A775-28689D51A1E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$EB106F89-42A3-4D6B-84A6-0791D9ECA848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$29944F4E-FCA4-4326-812A-B67D0095E4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$9CB2C854-C735-46EE-9326-513863E7A142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ff0a1ab0834db3f300c255f9dd5f37685318a2e","datavalue":{"value":"6898579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$80A11071-A73B-4C51-99D6-413F0EB9CDDC","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":"Q4572078$8BBF2164-1F5C-4653-A92A-95EEB31AF0BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecc7ff24198789c2117a749132ea874b8ade75b4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4572078$189D0836-1206-4D47-9703-575A6CC5F056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2ac74fd33665ed4c60b0fd211634b064bfdfa9a","datavalue":{"value":"W2912640545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572078$2290B406-BFF0-425B-8FDB-5CA3501294B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a0b4111a50d568c974f205e7c8bcf650e98200","datavalue":{"value":{"entity-type":"item","numeric-id":3176359,"id":"Q3176359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c275d84cffb9e1cd0212529e0889a317b9d3f7f","datavalue":{"value":{"amount":"+0.9208776354789734","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":"Q4572078$20DF2F4B-23AA-4EBA-AA5F-37A450708701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac80580eb1ab9c19c56dd86f6f8668d02b285ab9","datavalue":{"value":{"amount":"+0.8575609922409058","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":"Q4572078$C5D6F898-D30A-462B-8DEA-22908829F305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123c16d7f472bbffdea13e8df770d2b1d248d109","datavalue":{"value":{"amount":"+0.8552071452140808","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":"Q4572078$DF910B93-8F40-45F6-BFDA-CE03A8525607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef48099b74248c1f0240553c00c8e0ab5abfd67","datavalue":{"value":{"amount":"+0.8547844290733337","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":"Q4572078$991D2C82-456A-42E2-832A-9DF88D0B782D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c7c6fc063c45afd9b5994c297e6c6d18ab2d42","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a731cb742091aaac844d900c7002833787ca9b9","datavalue":{"value":{"amount":"+0.849054753780365","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":"Q4572078$5995D01D-D643-4AF2-BB8E-183AA4E01988","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Handbook of model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Handbook_of_model_checking"}}}}}