{"entities":{"Q2325847":{"pageid":2336590,"ns":120,"title":"Item:Q2325847","lastrevid":53546981,"modified":"2026-01-25T06:04:02Z","type":"item","id":"Q2325847","labels":{"en":{"language":"en","value":"Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111066"}},"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":"Q2325847$1A905DED-6794-4289-BD82-6268A28AEF2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9404670163616825af1236c02d183114f705b572","datavalue":{"value":{"text":"Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2325847$FB3189B0-96AB-485E-A43F-B9CCA4D92BE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d037c0089946e3214afa22aa03831be3dbdee4bb","datavalue":{"value":"1423.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$5F46775F-4335-4B1E-9AC7-481B9BA9AFCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff2064c7aceca36e023669e63144687240dd86cd","datavalue":{"value":"10.1007/978-3-030-30942-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$6854619C-66AC-4763-B7B9-3E7E11990414","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2325847$B638BD3E-B54F-4F26-8354-7B4F212BD073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3b7ccd269919f970638470e33bea54a8b8649e2","datavalue":{"value":{"time":"+2019-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2325847$14634322-50D7-4DE5-BCD9-57719CD3E35B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$B0BB2C58-22C6-4258-853A-DA57FCD7F9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$08CD2642-0167-4064-AB3A-5BF60D4548F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$89699068-9A52-4551-90CE-06829FED0D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$F973705F-E183-4322-B3CE-BB3B62E1F45B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"580978db80b0e06f8b9a063242088ba9db9d13f3","datavalue":{"value":"7111066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$A9314FD9-FEF3-4AFE-962D-80E0B05AEDB4","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":"Q2325847$0A8CCCBE-4D37-468F-84D3-29D928BEAE26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b031dc5b681c6a47805c4a7ffbc58756f649be7d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-30942-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2325847$A119D728-4B33-4DC5-8E51-B2E9F5745E36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69120203fa9f336f8410eff15fc027cac82a1a60","datavalue":{"value":"W3120151673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2325847$F7F45158-95EA-4226-B706-4EA9EDE68A07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500f796212e6ae7821802b43c19cfcee48664e64","datavalue":{"value":{"entity-type":"item","numeric-id":2662243,"id":"Q2662243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e616201b9cd1fdb960e2f3992db4562af74481","datavalue":{"value":{"amount":"+0.9038435220718384","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":"Q2325847$2BA3BCCC-A5B5-46F2-8A49-63AFFFAA6C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602299dd09ef1987edb6e4f3064628a940d11c81","datavalue":{"value":{"entity-type":"item","numeric-id":2147686,"id":"Q2147686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769341330d228ac3802cee0f7efcfcece15208be","datavalue":{"value":{"amount":"+0.889225423336029","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":"Q2325847$CAE0167D-3187-421C-AFEF-9B58DCCEA877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f51939e0af4183f42558a7ce5a4907380f9807b","datavalue":{"value":{"entity-type":"item","numeric-id":2662242,"id":"Q2662242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe58ee99c82ba47a653058e9aaede37e02980d4","datavalue":{"value":{"amount":"+0.8817353248596191","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":"Q2325847$97BB60CC-4187-4DD6-B024-B33DCC36BBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6b66126c4b6713034858765b21955339c1d2ff","datavalue":{"value":{"entity-type":"item","numeric-id":1036131,"id":"Q1036131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3469047213ad8e574b39a62e44af745a6181f736","datavalue":{"value":{"amount":"+0.8682411909103394","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":"Q2325847$A9407F81-0955-4EFB-BD78-D9C3F3C08429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fc8fcd7b4462ceb078d6a68c992c5fd1b6074c","datavalue":{"value":{"entity-type":"item","numeric-id":5918094,"id":"Q5918094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9bb4986ee2ce48e3298d6ed9f203c5e139821c","datavalue":{"value":{"amount":"+0.8594374060630798","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":"Q2325847$0662A91B-E31E-4044-8E2F-B95C17F47FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2325847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2325847"}}}}}