{"entities":{"Q3512431":{"pageid":5542335,"ns":120,"title":"Item:Q3512431","lastrevid":48886999,"modified":"2026-01-06T02:19:53Z","type":"item","id":"Q3512431","labels":{"en":{"language":"en","value":"The Beginning of Model Checking: A Personal Perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301041"}},"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":"Q3512431$52BD2518-9359-448F-B374-41C2136E403B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcbdc8d1273da064c1df94d32ed0ce3b309f6ba6","datavalue":{"value":{"text":"The Beginning of Model Checking: A Personal Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512431$97579B30-9800-4AD6-9201-7BD997C79817","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"292000564e18e85d66955ea58994f225ac700825","datavalue":{"value":"1142.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$5DD28435-F2EF-4D88-9D62-837481F1DE31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a217f6209fc510d35cb49d8223cdfd88fb8e3fed","datavalue":{"value":"10.1007/978-3-540-69850-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$C1C96288-3620-4D50-8646-A65159CE46BA","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":"Q3512431$644C482C-5799-422A-A6C6-92B05387B3BA","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":"Q3512431$DCEE2506-C0EC-4A8D-A135-F3FB96B3B268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$CC7DCDE0-67F5-45F8-928E-2F4660B20C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$3A8C7DDA-A63D-48D0-A7FD-3347A17469AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$034AD843-9BB8-4FA4-81A2-1B7BF118C03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$E342B184-40E1-4CD9-B925-13EB781E3F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$9837C07E-831C-4986-99B5-518CD55C8105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a01ee48b08b884a5b10ae6af3210eb9a8dd62ab","datavalue":{"value":"5301041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$6569B63F-BD4A-4EE2-B1DB-A11F6B460466","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512431$3D51D54C-AD19-4826-901F-8D7770109CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c91ed92dd9de9e4e9350902bbcb92a7f9b26ec","datavalue":{"value":"model-theoretic account","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512431$2FE09591-68A4-45AD-AC35-D32B7A8B41CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512431$55BE82D2-1B8F-49EA-9849-1F21C5151ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6956097331f21bc3bcc44dbe56d116bfeab59d69","datavalue":{"value":"history","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512431$41FD51E1-B5F0-42E0-870D-A7B38B1F22A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134d866ccfdd8551df11b75c2298403fe04091f0","datavalue":{"value":"future perspectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512431$3E29AEBF-32C6-40D6-93F5-E5A0A979F2E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512431$B8744AB2-824D-460B-A31E-43899C6DE4A1","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":"Q3512431$7E72FF14-3E12-4518-8197-6E615034C5DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"255a06b692c344031ccab5c81d28c779f7ad0bff","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69850-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512431$5921B423-601E-4E60-A5F4-2B06CA100F81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623d5cc18c17049a5038622eb2e9e55a3676dc6f","datavalue":{"value":"W1606452969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512431$E9586C87-9D99-4337-9F42-34FA3DB72970","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b4afe538e85a0417c8407aea569382d5df2589","datavalue":{"value":{"entity-type":"item","numeric-id":3512430,"id":"Q3512430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565cf54f348919a62c13b8484f76f4b69c987d4b","datavalue":{"value":{"amount":"+0.9387483","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":"Q3512431$E56BCAAC-FEF1-407E-8354-F00665B6ED3A","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":"e43a24b2e2d74d5462d710ed1c5d8a62770acb5b","datavalue":{"value":{"amount":"+0.90543747","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":"Q3512431$9DE55234-EEAA-4B63-8226-86E163083F6A","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":"9b3ae3c3428b577996c6fde4aa1bb37063fdc1bf","datavalue":{"value":{"amount":"+0.90095985","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":"Q3512431$C89A78EA-1DCB-4B72-8660-BA919DCFB59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52729ddab1fad130fa70a8f7e4bcbde02546ba5","datavalue":{"value":{"entity-type":"item","numeric-id":931876,"id":"Q931876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e31d8ff6de0512e4b74de65ec1ad386770ec43","datavalue":{"value":{"amount":"+0.89992356","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":"Q3512431$E57F7DED-9121-4B12-A338-19D8DEA02F39","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":"39a449aa5196a1b3d015c937200788f8151c1452","datavalue":{"value":{"amount":"+0.8978061","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":"Q3512431$B5F2160D-CE25-415E-A8D8-FE5B6B407AA2","rank":"normal"},{"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":"635d92aa0f0887b52c607cd7dccec8e3997e1c7e","datavalue":{"value":{"amount":"+0.8965858","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":"Q3512431$9E166F4E-9CF8-4F22-9814-CF6150C4C15B","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":"84ae5a3061306cf12175294ff9a2a6fa8062207a","datavalue":{"value":{"amount":"+0.89379704","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":"Q3512431$20B7CA31-2D73-4A03-8362-FA3AEA56DF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac15283fb1fcd619f5a3bf3d2cf7735a3344567a","datavalue":{"value":{"amount":"+0.8883339","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":"Q3512431$BF56DCC3-2CBD-4DF0-AD14-49E292E6EC62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512431"}}}}}