{"entities":{"Q2413022":{"pageid":2423765,"ns":120,"title":"Item:Q2413022","lastrevid":53056943,"modified":"2026-01-24T03:30:45Z","type":"item","id":"Q2413022","labels":{"en":{"language":"en","value":"System-level state equality detection for the formal dynamic verification of legacy distributed applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856979"}},"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":"Q2413022$3645A187-0453-434B-95AA-041F18637A0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48130b7efa25b32dcb8a335ef24e7840de31a389","datavalue":{"value":{"text":"System-level state equality detection for the formal dynamic verification of legacy distributed applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2413022$72B6F40A-8443-4295-AC02-A8C9E9B74A79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1722c64c3bca16c91cce17b24cf26c9fe9c5a23","datavalue":{"value":"1430.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413022$F8FBFC61-F4AF-44DF-81C6-92DD0E9D5B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"870668a3e5072490d3a1940b5ebe0c9f307b6a79","datavalue":{"value":{"entity-type":"item","numeric-id":2413019,"id":"Q2413019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$238171E8-9B5C-4041-9B28-0568A4106EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbba8929dc7aff892295e2b07113da27834483cf","datavalue":{"value":{"entity-type":"item","numeric-id":2413020,"id":"Q2413020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$DBBAAA0A-A678-442F-91EE-1C843D3F99A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f00155a6389ce698d9f9c288fefa38cc6938c450","datavalue":{"value":{"entity-type":"item","numeric-id":2413021,"id":"Q2413021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$F20E1EB0-2C1C-4CA1-9B6E-AF53DECCC505","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$11E339D7-B86F-44E9-A9E6-6FA0FB302CC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2413022$57084D26-787E-4C34-83C4-916749AF75A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd9e2446f7955a7399332079248d6b9b5cc95a0b","datavalue":{"value":"https://hal.inria.fr/hal-01900120/file/journal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2413022$DD114FD5-A1DA-4602-A1D2-E3338F4FEFA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413022$B29363AC-24CC-4CA4-8774-4DB1053EC8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413022$5C6C078C-63D8-4BBB-903E-8DEF8DC4AD79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13cd463be3db7c6aafef61beb5cfd5795ef889b","datavalue":{"value":"6856979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413022$9F46B118-237B-43A2-B9E2-7168D3EF0E5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2afdabd2f4d22d08ba1ea7a9af6b0c6ffd0e36","datavalue":{"value":"dynamic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413022$9D5C1173-8744-4801-B508-A58FF7D0F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf2b9223201ca48d281f713556d3ec167f63de8","datavalue":{"value":"MPI applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413022$BC2B29F8-2BD3-4516-97FF-FE2CEE608567","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f31fbc7ecdc8dbd3b048c3aad004316d0ca234ef","datavalue":{"value":{"entity-type":"item","numeric-id":13354,"id":"Q13354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$50EACCA4-0C5C-4313-B9C6-461963C5F3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$038DAB86-D464-445B-8194-0DDA9945DA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f4c17796e229e6e7e123ed82c1d390311f97bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":17046,"id":"Q17046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$847C9831-7042-482A-865B-6E5D0D672535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a35b0017310eaf635eb17cc9a79120965ea8af5","datavalue":{"value":{"entity-type":"item","numeric-id":22525,"id":"Q22525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$FB6C4C8B-06C8-4E5C-880E-4AAAD1066FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$B9AC3EB7-AB36-4F0C-9A69-5431BD9FEF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$9A9EA11D-42F3-41AE-A01B-FA9385231D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$55D93362-1E83-4016-9535-BFDCB894A89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdcaf2057687cac0c1e62f45c5eecb25e7466391","datavalue":{"value":{"entity-type":"item","numeric-id":20834,"id":"Q20834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$B34CA9B0-34F1-47E7-900C-09C245176DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49c5c39569fd0ed2872b7f9aefbae8dce402c98d","datavalue":{"value":{"entity-type":"item","numeric-id":21453,"id":"Q21453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$CDDC9E7F-BCB6-4431-863F-C9133CD7B11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$3EE8473D-C6B6-4396-B6E6-DE58CB69C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e52735493c96056a5f9fc9d0bd08503ea2205783","datavalue":{"value":{"entity-type":"item","numeric-id":28906,"id":"Q28906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$078BE8C0-D814-43EF-8D35-3629CCB239E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da804fc3fd3cef73c1cceba794869f2f1bfaa614","datavalue":{"value":{"entity-type":"item","numeric-id":35519,"id":"Q35519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$5698109B-2AAB-4B43-885D-B6D32E50CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$9CED1AC6-2687-4A8F-9A8A-94C6167969DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$B5F34479-696C-41DA-A568-B95F8393E6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$073AC8AB-3A88-4587-9D42-A172C6D7E336","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":"Q2413022$727D88B0-28FE-480D-844E-CD01B6FF1FA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ecf3428120a81d9f5b4b656a08c29832d82bda0","datavalue":{"value":"W2789276100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413022$795DB414-365E-4CB0-832F-994EC06E0810","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$6409C86E-ACED-4E1F-8B2A-F8B643636CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$C481C7DA-1F23-4881-98A5-E465D416C2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$2FEAD726-107C-448F-85B6-0F4839325B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$226D7FEB-784E-4183-BA12-587AE0468AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae29fa61df2f7e9b8f7b41e6d93afeb1143844","datavalue":{"value":{"entity-type":"item","numeric-id":5389070,"id":"Q5389070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$69C1D2D3-8DAE-4045-840A-7ED176660ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5ebdbd293aa81ed66a0fc1f7ffb6e3fb36d5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4794724,"id":"Q4794724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$3BE4F3DB-1D96-4A10-8CCB-3FB9E23CB9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543ba9b6ea5c546c9186cee04b12561ad5cf8d60","datavalue":{"value":{"entity-type":"item","numeric-id":5452594,"id":"Q5452594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$93D6F347-0831-464D-AA09-2FE3E9D1357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829741667be3983b7964ccce80365d24e5dea50f","datavalue":{"value":{"entity-type":"item","numeric-id":5312934,"id":"Q5312934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413022$A429E1F8-2CDA-41AD-91DE-04F6A7E72F4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8436303f66aa44a328c2debc1045e6a7110aa2d8","datavalue":{"value":"10.1016/J.JLAMP.2017.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413022$DF685050-01AB-4DDD-AC96-43B6971F1CCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b8814c0b742c3435becefabb4f39599d6a0bec","datavalue":{"value":{"entity-type":"item","numeric-id":2024366,"id":"Q2024366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b499b67c9f7c56af4b38164b271acf58435019","datavalue":{"value":{"amount":"+0.665270209312439","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":"Q2413022$7754DB8F-B6FB-4BF2-8263-6C82C1894DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14524e89f1482febbb0b18ba80f7ff74eeefca5","datavalue":{"value":{"amount":"+0.6571683287620544","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":"Q2413022$27114506-A73D-4414-AB72-7F6EDEBF14C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a6af207576128f1cb824b42f378b5086130701","datavalue":{"value":{"entity-type":"item","numeric-id":5261538,"id":"Q5261538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1052ae0d5192e29029101118929db806c5ed7b19","datavalue":{"value":{"amount":"+0.6526907086372375","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":"Q2413022$D041670E-6630-41F7-8BDE-EB1D049F8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6bc25eb4a6c0e5d486266c6a9fe373823c4404","datavalue":{"value":{"entity-type":"item","numeric-id":2866324,"id":"Q2866324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96486e546b23b93036bbda094897917afad56a8f","datavalue":{"value":{"amount":"+0.6476470828056335","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":"Q2413022$503B60E1-EAF0-4E2F-87DC-4FE1751D22C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d5668e23533f212974931555fe59744923e87a","datavalue":{"value":{"amount":"+0.6454012989997864","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":"Q2413022$322E003A-6A94-4C0E-A421-D906A1C58683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2413022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2413022"}}}}}