{"entities":{"Q3512433":{"pageid":5542337,"ns":120,"title":"Item:Q3512433","lastrevid":48887092,"modified":"2026-01-06T02:19:59Z","type":"item","id":"Q3512433","labels":{"en":{"language":"en","value":"New Challenges in Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301043"}},"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":"Q3512433$9D26EBEF-6E1C-40F6-A793-31176C1F89BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b6b1f5509184c0cce4d7983187891db9f00238d","datavalue":{"value":{"text":"New Challenges in Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512433$DB802CD0-5766-49DA-9196-033197F2CAF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bbd851c08bc5a794d1e8ca1e61787dc79814aa1","datavalue":{"value":"1142.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512433$B46208A2-5B8B-4B49-BF4B-D69900758AF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a07621be111431983fcdaa48fa0dd56d31b43b8f","datavalue":{"value":"10.1007/978-3-540-69850-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512433$8350B506-89D5-485F-823A-9E0C6D33B6B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512433$0A18F136-7977-4BD7-B583-9CD341D375EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512433$6552A098-936C-48E0-AF24-71B8DB9BAC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6f417f09c985107129e25aec6563cc542c4012","datavalue":{"value":{"entity-type":"item","numeric-id":457248,"id":"Q457248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512433$3F76E857-4561-4BD5-8351-1DAB972CF800","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":"Q3512433$CC4C8E84-284F-4EC8-A44C-379B04AA6553","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":"Q3512433$447E6FA0-1879-4724-BB4F-E8BEFCB3E7C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512433$0B1D7758-49D8-4409-9825-B44C40A85F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512433$48A73A47-48EC-47F1-A5B4-C0388D27AD1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24d6ff62d6c711533a1a4a2c8fbf44f8280276a","datavalue":{"value":"5301043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512433$48FD6F3A-F18B-4C14-9C09-ABE492A71E41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71ff3cf56c729d435abb8d73fcf62042609ec86","datavalue":{"value":"logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$73F50598-F895-4B25-89CC-D44D7614C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$E8CD2FB0-81CA-4B57-85DF-CB201499A78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171b65a7cb854c9ef61376c3217a3602a3fcb270","datavalue":{"value":"software reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$9011BC45-12C3-4E1B-8706-C3408DDBE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91498e4d2eb7a021203df33eabf3fc9f2c54f07a","datavalue":{"value":"software structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$87D76111-2239-4A6A-9045-6862736E2E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3e0c67f89a6f4c5d0c57701a75b92bac44f220","datavalue":{"value":"grand challenge project","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$1BA67093-8E0B-4180-90E4-DA2B6E54BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0afd7d12bf46a68bae602a4725451007c6a971e9","datavalue":{"value":"flash file system challenge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$F714B6C8-483F-453F-BD94-285A1CEA2218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134d866ccfdd8551df11b75c2298403fe04091f0","datavalue":{"value":"future perspectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512433$FBAA5158-8459-4B9D-A35D-40AFC3E4EAE2","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":"Q3512433$618516C2-B3AD-41BD-87DA-61F62D119DF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c308cb3a17c5064aa321b3c29160c5360238e0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69850-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512433$61DB65DA-CC8B-4894-AE72-15E3D541B013","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"383d9765bfa295d352f47ccae5860851d438b15e","datavalue":{"value":"W1725146958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512433$11FDDAE3-EE83-4F81-AC63-017308D37067","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512433$2C0DC026-6511-4D9C-B0A7-346D58BEA721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc8eac40142f19f8a0519a932eaf2be5e0ba0e6","datavalue":{"value":{"entity-type":"item","numeric-id":2643130,"id":"Q2643130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512433$F86C6F7A-52FB-47F3-ACDA-ADF1C4FBF4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512433$E739D58B-EA73-49FC-A14C-C7A8FF96134D","rank":"normal"}],"P1643":[{"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":"7c21f4becca5e58a66fbac980093eebfbe2fba1c","datavalue":{"value":{"amount":"+0.8971088","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":"Q3512433$7CDE45EA-A213-456C-94A2-70EC9B2D69E0","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":"f1d80d58b87a760595d2c25ee9f21f9764cd50a6","datavalue":{"value":{"amount":"+0.8930149","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":"Q3512433$88F6479A-DFFB-417D-86FA-6FBA30BF6DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4e69567d6aa8b80c6dee0fc5a69e3f2431b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8c96c5669043b654338e84ee3dcbd7ab5845ef","datavalue":{"value":{"amount":"+0.8826344","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":"Q3512433$8EBF0D79-8BCC-4E13-9D18-707E49305226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512433"}}}}}