{"entities":{"Q3095249":{"pageid":3105964,"ns":120,"title":"Item:Q3095249","lastrevid":51357314,"modified":"2026-01-17T22:05:51Z","type":"item","id":"Q3095249","labels":{"en":{"language":"en","value":"ProMoVer: modular verification of temporal safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5965370"}},"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":"Q3095249$F711319F-2EF3-42E2-B564-33AB5DEFE3D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52e73a3ac50bde473ca39d6729a77b8d1a9b86bf","datavalue":{"value":{"text":"ProMoVer: Modular Verification of Temporal Safety Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3095249$63B4B90E-F376-4A0B-A639-D6860B51CD12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f895f37bc56d8d60cc5a1964fe6552719af9181a","datavalue":{"value":"1350.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095249$B8C7C574-90AA-49B2-B26B-2176AC650E5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"343e7488e785ca397fc5c2f3e86295d87ad13430","datavalue":{"value":"10.1007/978-3-642-24690-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095249$E57F0DC6-9564-4C27-A115-EC2AAC4B4501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4147766c1f955469bb6beef8732b37f3bd7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3095248,"id":"Q3095248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$9CD5E4C8-7AC6-4888-9F9E-4C9632B8A6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$72DF7467-642B-4913-8DD2-68B33ECEAD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$B48767FD-1431-4588-904F-DFD1D81C9F09","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":"Q3095249$D5624A77-A65F-4D7D-B7B8-DC6256F042E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2900c2786b097edbfba1608d72278b11f29ad22b","datavalue":{"value":{"time":"+2011-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3095249$2C2BB30C-A9F6-4E22-8C3C-DDDB65C8B0FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095249$DF8636B2-F672-4B84-9AE9-BCF6B39F2357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095249$93AD6F68-A466-4FD1-AE9C-DB3387A9B1FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a2ac8e9e6aa97e35ab6785d4ed565d6ad71d80","datavalue":{"value":"5965370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095249$21F28FAF-4D24-4B8A-B1C2-A2F0D5375A8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786f074714cc52bbc721e5954d51fa51d9510f27","datavalue":{"value":{"entity-type":"item","numeric-id":32086,"id":"Q32086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$CC282A00-7707-4162-9BA7-A52CA94EDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"887e62ff194d93394bfc57263335807a750fb857","datavalue":{"value":{"entity-type":"item","numeric-id":12946,"id":"Q12946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$F15FB9CC-98BF-43DA-9806-BD2A407AE796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b228a697c0f765d10ec50fe2067c681b40e8b54","datavalue":{"value":{"entity-type":"item","numeric-id":13574,"id":"Q13574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$E9D00C7D-DAB7-4111-8F64-3846A714545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f001eb735991a93b9abcf6784d2099d4ede049e","datavalue":{"value":{"entity-type":"item","numeric-id":19681,"id":"Q19681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$651859AA-8682-4AFB-B48F-6FEBABD23855","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":"Q3095249$8E5B038B-BF91-4344-8E30-39F694A43EC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3b5dae75f20bd0c759f39f05c40d99413e22de8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24690-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3095249$291AFC70-33E9-44F6-97A2-198D08F48AE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5512cace1c88bb3c659b8e9e5400a32795a34cf1","datavalue":{"value":"W2124026064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095249$04D5A88E-4986-43E6-A2FF-1EFB2B8D1534","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$5232B828-1814-4CF6-824B-B4843A2212A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ab0a3227d147233c18b03cb4a4d265aae9ca8b","datavalue":{"value":{"entity-type":"item","numeric-id":3656875,"id":"Q3656875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$6FE42B60-BD06-4185-B7CB-762F179B553B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$D9E9BA7C-9416-4C06-9DCD-5351FF18EE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39baa8ae7ba81a618958b1612caee5a01b3f45e","datavalue":{"value":{"entity-type":"item","numeric-id":5758114,"id":"Q5758114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$FC281495-03ED-4641-8FB2-31055916E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6f1b409f7bbe8b6cbd07d29c42bc733c4a9bda","datavalue":{"value":{"entity-type":"item","numeric-id":3600471,"id":"Q3600471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$D1A8F249-E02A-4FB3-BAC3-74E79D51688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fce2dd31ccc93846cbc0c414ddb5456b57ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":937300,"id":"Q937300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$1A161947-4920-43BE-9552-7FEA8DABD846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12e9f5ff733e5f886b91fe78190b644294cd278","datavalue":{"value":{"entity-type":"item","numeric-id":3067538,"id":"Q3067538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$B3E979F3-492A-4CDB-BC85-946C52575899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b45c33c02f47976c75cf01745732a1069f76004","datavalue":{"value":{"entity-type":"item","numeric-id":3067539,"id":"Q3067539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$3EEFBCD2-36D0-4F15-9FD6-441B916C4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$54E6DD4E-FBCD-4CA7-A97E-C63718AA0061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$3FF79CB2-DBD1-4C6D-98AE-797668C3E052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114010ad9d68a3ad635c718d940e966ce8c26265","datavalue":{"value":{"entity-type":"item","numeric-id":3095249,"id":"Q3095249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095249$08B12C77-202E-4F55-997C-2F56B7CF9803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4619d27d4dec37f0f3c9c07ff065c408d361f8","datavalue":{"value":{"entity-type":"item","numeric-id":4037111,"id":"Q4037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455818dbbb010596a1ad1c5711bacbe359722d23","datavalue":{"value":{"amount":"+0.7614471912384033","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":"Q3095249$6CE3243D-8087-4355-A330-BF3886941BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dfbb9b21c5ca4511b02dd92cf1868a43b7313f","datavalue":{"value":{"amount":"+0.7597842812538147","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":"Q3095249$BE2CA4D5-77C4-4AC4-98C4-926E8E0E74D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5a259d70a73af340682efdb2e31ac3ccb4e804","datavalue":{"value":{"entity-type":"item","numeric-id":937300,"id":"Q937300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21de29965884648bc56d45f3bd7150217d36d67","datavalue":{"value":{"amount":"+0.7495293617248535","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":"Q3095249$D577E107-F397-4712-B59B-48175DE39526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f416fab8a7371bf70e6cfc3b3e66dc9f3ad65fa","datavalue":{"value":{"entity-type":"item","numeric-id":4037386,"id":"Q4037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c29019a2f2c65766385ba4c1cca799324b89de","datavalue":{"value":{"amount":"+0.7409957051277161","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":"Q3095249$D8B926F1-A5CB-48C7-9FA4-6B4168E54854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88827f48bf6b91929654c43abc066842806d3b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4270053,"id":"Q4270053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c29019a2f2c65766385ba4c1cca799324b89de","datavalue":{"value":{"amount":"+0.7409957051277161","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":"Q3095249$CAC3FC08-54E4-44C9-9656-F754847F9431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3095249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3095249"}}}}}