{"entities":{"Q2452756":{"pageid":2463499,"ns":120,"title":"Item:Q2452756","lastrevid":52009826,"modified":"2026-01-20T18:09:49Z","type":"item","id":"Q2452756","labels":{"en":{"language":"en","value":"An automatic method for the dynamic construction of abstractions of states of a formal model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300988"}},"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":"Q2452756$1EFF1197-1FA0-4BEC-81D5-FA5D4961532D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a1e165e3e34748c2dd4943501cd16afe2932a0e","datavalue":{"value":{"text":"An automatic method for the dynamic construction of abstractions of states of a formal model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452756$CFA6AA20-4E81-4967-AD4D-7886DD60F315","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b06c1a589885832c60c46524eb90e1c92057c65","datavalue":{"value":"1288.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452756$44F1D3E1-2195-4AD5-867A-2896E6183BD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d0571598dfa313e0efa32b4f7743e569d15b435","datavalue":{"value":{"entity-type":"item","numeric-id":1182380,"id":"Q1182380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$4CC56E26-F104-4C71-8743-F858099A070F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$165C45AB-F1A1-4FDB-BCB6-4BCC373352C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452756$A7AECB57-F80F-4908-A9FE-DAE53E761648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452756$967FD806-2C61-481D-AF39-D23F6029C375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36d92abf875b25704bbf6d1689c25b7e431cb330","datavalue":{"value":"6300988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452756$70D81EDF-89BA-4710-9794-7C7BBCD97A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452756$A472BF3A-1B6B-456E-9272-3645131D5974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452756$79ABAEF9-D8FB-47FA-9C50-0FA0B45152F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452756$26C38EDA-74DC-45D0-BA2F-F246EF6506BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b485674cbc9dfc3b336d20e17ae381ad90accd9","datavalue":{"value":{"entity-type":"item","numeric-id":19511,"id":"Q19511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$6CFBA398-1E87-4CC6-9BC1-409F11563B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$1C6B642E-225D-4541-90AA-26537EAE1053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$651F4A5D-F2E7-40EE-8AB3-D379A260C864","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":"Q2452756$2CBC90A4-38B5-485A-99E3-E54B7461A66B","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":"Q2452756$E0279F7B-F991-471E-B3AE-F3F1DD6E2A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$1321880C-8A7A-40FB-A2B7-C55B04A94028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98cd83fd979958aaf8f55eedae733a1697011a8b","datavalue":{"value":{"entity-type":"item","numeric-id":20964,"id":"Q20964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$41EFF979-0CE3-48EA-9E8C-12B460F8E7C3","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":"Q2452756$B2B44D87-D502-4C9C-992F-D1A9F70A924C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f4c771e403ad6eb1ec86c9518a56bbcd3ab23ed","datavalue":{"value":"https://doi.org/10.1007/s10559-010-9235-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452756$1C9D02FA-EC9B-4E0B-99FB-F0C621993E5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c79d60da60dfda399072ec4c68f49323f02287e1","datavalue":{"value":"W2037318704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452756$82398F28-9AEB-410B-A90B-788CCC8272CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$18BC44A9-4C65-47DA-AECB-D0B2F671B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$D1BA0999-DEC6-4F56-AA1A-20C1BCF9AFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$85758407-76B3-45BF-9232-50A3C43B5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$9355C8F2-0D46-4051-BBAE-3BF14C5D6C1D","rank":"normal"},{"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":"Q2452756$836AD368-194B-426B-BAA8-E1980BC63FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$50DC8C2F-1C62-4BED-993B-6B43D82512E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bafb189e8c5e0def0d7b1ada0df6f3252951ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2508786,"id":"Q2508786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$0A32DE5D-9A88-4E9C-8191-C7B519EF3927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$C5692590-2F95-49F6-871E-2316E9858E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426e2dec292567619d8946d3b9c6e612c9eee6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$0E3B8507-3F53-4681-AF6A-3FAD5D897A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$E638BA08-E4BD-4012-AE90-64B06E1A6887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf0e7549abbeaeb4c770d7e9f8179e576dc25d3","datavalue":{"value":{"entity-type":"item","numeric-id":1856157,"id":"Q1856157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$338D8F98-417A-47D2-950F-A22FCCE3C2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$0EA434CD-63E5-4E28-9D46-4944E01F035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0652363afa544a87262390d6c6d3869a5882d21","datavalue":{"value":{"entity-type":"item","numeric-id":5929098,"id":"Q5929098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$7130BF60-EDE0-4252-836C-FE39BB9871A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$15ED8BAD-322C-4FDA-ADF0-10A224CA9A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$A6259E0D-8B59-497D-ABBD-12F235E3F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3eddeb89340a23a9ca142dbec0d4de38658a7","datavalue":{"value":{"entity-type":"item","numeric-id":1311970,"id":"Q1311970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$3CFD75AD-5A65-40AF-8F9D-76E240ECEA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$CC1BCED4-C884-45F5-BF71-8D2BF9850D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$314449F0-3389-4A32-AAFE-797790367011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$54564A1E-958A-4F0D-8292-B4D859D91C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452756$3FB1FF66-3505-49B8-860A-F16E6A0484C0","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":"Q2452756$9E17443B-7F52-4743-9D12-F4DB098BE7D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e0464c6ba0f0dda89b5d11d246f4cbbef4b386f","datavalue":{"value":"10.1007/S10559-010-9235-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452756$DAD6AECC-8D9E-4A76-AA67-7F34BB1CAC2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7444059a9f1938ecd7437a1edeb1c7cec5bae933","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec8e4166cad020af078eef3a8f07b6233f8f869","datavalue":{"value":{"amount":"+0.7813963890075684","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":"Q2452756$9754D329-E090-4AF2-B1F0-F8F9F5BEDECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6967d3d12245c5fd99bf8faed04321e480975c1","datavalue":{"value":{"amount":"+0.7715567946434021","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":"Q2452756$BB43AEC4-6332-4555-BD35-1827DDC1A4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c0f00d9b71a9a877f6850c965482c94068a47a","datavalue":{"value":{"amount":"+0.7712544798851013","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":"Q2452756$5E4D9588-E63A-4B9C-9197-5A694D0C7B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f89c2bc27eef1cdb709afd3f818dfc87424f5d0","datavalue":{"value":{"entity-type":"item","numeric-id":3087967,"id":"Q3087967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19c97e65be5deeff49072c2c4441f536fa5f70e","datavalue":{"value":{"amount":"+0.768766462802887","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":"Q2452756$BB6D63CE-8D5E-47AF-91DB-51811317ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb38a49ca1838fe330e36e3740a601855e8ffcd","datavalue":{"value":{"amount":"+0.7645862698554993","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":"Q2452756$19138188-252F-4FBF-B42F-D32DDECECF3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2452756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2452756"}}}}}