{"entities":{"Q4988650":{"pageid":7018227,"ns":120,"title":"Item:Q4988650","lastrevid":91888979,"modified":"2026-06-05T00:19:47Z","type":"item","id":"Q4988650","labels":{"en":{"language":"en","value":"An Experimental Spatio-Temporal Model Checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7349338"}},"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":"Q4988650$181A99DA-5433-4EDB-B745-1471D5EB324B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"163f684fd750e3484f67072a27d4af38e73f8d3f","datavalue":{"value":{"text":"An Experimental Spatio-Temporal Model Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4988650$D418D4B0-D876-4572-95A1-12D5106804BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4852f5d49d9788b4d8926c4058d62a5ba01595fa","datavalue":{"value":"1461.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$769EE5AE-3D8F-46C8-92B6-3C4E5B0161E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d293312693a533bcd4d3c63eed84ce787dfb7274","datavalue":{"value":"10.1007/978-3-662-49224-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$030E59FC-D7DC-4A65-9B12-124FEE752B8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c719f266f63852b3636f681da867f560f1d4b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":618164,"id":"Q618164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988650$E1EE594F-0B35-4AEC-8C8B-6FADCDB77683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760e71b9c0e5ffad7dc066e767536a990b111cd","datavalue":{"value":{"entity-type":"item","numeric-id":1679790,"id":"Q1679790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988650$2B94363F-9D91-4AB7-A317-AE650B1E17C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988650$951CC156-DD7D-477A-ADB2-60A9A871BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988650$27D5A5AE-7B12-44E0-99C9-D25118564C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988650$F18C8D5F-5FDE-4082-A89C-162E6ABA09C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988650$2991A156-43FA-41FD-A534-9506272842DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdebb62d7a8887c495c6d5cbf51f30c9d6c5d73d","datavalue":{"value":{"time":"+2021-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4988650$24C22DBF-EAAD-4A4E-9BA5-FA8D154A8F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$94092BEA-3FC7-4C25-B0F9-FA1C1EA247E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$7E1DBA73-6E98-45F4-982D-11F01BFE337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$D1A59611-5C98-4B8A-BDE8-BA7906B7BBBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2c244cc94549d57dc5b2f83fc02fabf35bc2f12","datavalue":{"value":"7349338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$B2A5CF39-8F7D-461F-96E1-E61E8C0DCC5F","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":"Q4988650$B3C81649-6D96-43CA-B5BB-1B62264B29A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2ab209bece5d724b9cf09ea07e12ea8d99b2469","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49224-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4988650$D4C683B1-B6F7-482F-A60A-B6BAFC1DB962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e5b94c80a75c98d5bfc57901ace2b86333a0b5c","datavalue":{"value":"W2234073770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$7868F7BB-F8D7-4D99-BF75-9150AD54065E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f82465e77693748b2e4851284bd98b36dfab206c","datavalue":{"value":"Q124438980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988650$AA456AC1-2802-4706-A83E-35B59C74477B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e53f9d4330d326d050bce7117ad7b00c4d9cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3525160,"id":"Q3525160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e9b7250c70d36ababb2240e5eba2860783caf9","datavalue":{"value":{"amount":"+0.904883","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":"Q4988650$7980E8F2-2E60-4055-B8E2-424B43270DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0320d6f7a8ef1b22393e65d775087725c6c252f6","datavalue":{"value":{"entity-type":"item","numeric-id":6487260,"id":"Q6487260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61a1a2edb5780fa1625f6bfafe6f839c2fee269","datavalue":{"value":{"amount":"+0.8947618","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":"Q4988650$E1656367-BF6A-47F3-8673-9A1DA03A5645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3c1e2dc8d28fde145284e73ff18ff7041f9f6e","datavalue":{"value":{"amount":"+0.88919073","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":"Q4988650$6CB58250-B7CC-4C11-AABF-B8688C3F1B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fe0a6bccca620436a60bac766bdedeb0cec53b","datavalue":{"value":{"amount":"+0.8831625","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":"Q4988650$852C8F16-81DE-47F4-931E-A6F02CFEB0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b80a40346033141a2929d854f8c53eded7aea6c","datavalue":{"value":{"amount":"+0.87134695","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":"Q4988650$135D3D43-EBFC-4578-90F0-67B37A993C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11fbe834f5d5cc57f184320c8537942a956f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5479159,"id":"Q5479159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e9225f7ee095559f0da9a8891cab8cc21b6cbc","datavalue":{"value":{"amount":"+0.8688751","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":"Q4988650$39A3D028-074D-46BD-A79F-200804C6C6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a832ec7c79c4cdee36c1ee0f286138124ffaa15","datavalue":{"value":{"amount":"+0.8688165","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":"Q4988650$F9448315-1D72-48EF-8DAB-4C5965DEE457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ada2c4233c1c1c12e3f6fb91891afb566676489","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0460516265ccae7219185b899286d74abbd93f59","datavalue":{"value":{"amount":"+0.86861426","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":"Q4988650$8D57E1EF-7BDA-4476-BF92-09A510F60AAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Experimental Spatio-Temporal Model Checker","badges":[]}}}}}