{"entities":{"Q2322309":{"pageid":2333052,"ns":120,"title":"Item:Q2322309","lastrevid":43877247,"modified":"2025-11-15T17:22:17Z","type":"item","id":"Q2322309","labels":{"en":{"language":"en","value":"Book review of: E. M. Clarke (ed.) et al., Handbook of model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7101164"}},"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":"Q2322309$599959F7-41DB-41C4-869A-3430D498DEAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa3de22bdf0e77cb510c70b23eab62b3cafe610","datavalue":{"value":{"text":"Book review of: E. M. Clarke (ed.) et al., Handbook of model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2322309$351260FA-766A-473F-B52C-D85C79114B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e24e4640641a585660da6914923aba798535d774","datavalue":{"value":"1435.00030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$7BE2FA50-0AC9-4097-A857-E8513EBC4BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322309$271F40A6-56CC-4434-9379-031CA87FAB26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322309$FE222BBC-557A-4F0D-95F8-26778A998346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"761866c458b823deb2476ea286c91321ef138424","datavalue":{"value":{"time":"+2019-09-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":"Q2322309$72BB9B25-B301-4525-A4D6-14850101C9DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$A084DAED-3CBC-46AE-B510-254015063FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$05E1EBD9-1BEB-4613-9D4B-13210CA5C22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$3EA36E8B-2D2A-45AF-9835-7C487990CBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$DC595D67-EEC4-4A67-A0D4-A88682583184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0461edcb64a2da9bc3821e737cc64c1b1e4e78b2","datavalue":{"value":"7101164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$D0F9649F-4A8D-48A3-83BA-6EB3DF8D6957","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":"Q2322309$1D7926C1-3594-4FD4-A1CB-89A5D3AD03F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14709670521178aa701225cdf28e638caa0a326b","datavalue":{"value":"https://doi.org/10.1007/s00165-019-00486-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2322309$B71185E8-F1D5-4FE3-8DCB-7B63A59146DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e06aa84b72206938a8b56e4309ce51138ab43e70","datavalue":{"value":"W2953315080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$198A0C4A-FFF1-4164-A034-E5BF5B6D474A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322309$52E14659-134A-4E91-9465-10F112D3BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322309$607DA4DD-708D-4D71-9B7D-F147592185F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322309$5392310D-3C08-4375-A67B-F168F4630887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322309$ABCC67CE-2E37-42C6-B22C-B9D74EC61898","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0195270426257cacff78b181d63b349978655745","datavalue":{"value":"Q127657758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$57C48F00-CB48-4649-8AF2-BAFC4FE244B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdd6c607b124398bb7f36cd2da0e333f0bfc63a2","datavalue":{"value":"10.1007/S00165-019-00486-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322309$212C116E-7B67-4CF0-A967-0C533D0423A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ddf6d3f94a3ef3482afe97ee1efc0d38454691","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb8c835e749047dfc769bedcefa1e98194b0472","datavalue":{"value":{"amount":"+0.8969284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$E9F0716E-ADAF-4846-B6F1-7C09E7B58777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a332cc1d91fca55b17188e0854a958f69f303f6b","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbd4583075a2894e9ca8c7f8c2bfe1b22950a3a","datavalue":{"value":{"amount":"+0.8573387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$BC92FF4C-42F9-42C1-A310-35C2B7191A0B","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":"1b5b7ed03657bac49306562dcb7cc6e858a5e07b","datavalue":{"value":{"amount":"+0.857002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$91D4E9E9-92A0-4B18-8684-F83B81E7C15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480c14f167d9906800fc3fc0a3e03c295aabd45e","datavalue":{"value":{"amount":"+0.8550995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$3FEAF9CC-64A0-48FB-AADA-1309183BFCF4","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":"c9feaa696dec7e6f7b07a324703fbcd23b223ce3","datavalue":{"value":{"amount":"+0.85357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$5A346DD9-CD55-4685-BF21-0F1436C3753F","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":"c6660846752978cc24b827ca744200f38c8169ed","datavalue":{"value":{"amount":"+0.85197365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$8B85EBD2-3F8F-468B-983F-92BED808A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831d01ef7190830a695b10183ad112503f06e6fc","datavalue":{"value":{"amount":"+0.8477349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322309$D1BD673D-0503-4C6B-8035-2B25EB87F1E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2322309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2322309"}}}}}