{"entities":{"Q2507781":{"pageid":2518524,"ns":120,"title":"Item:Q2507781","lastrevid":73443906,"modified":"2026-04-14T16:01:15Z","type":"item","id":"Q2507781","labels":{"en":{"language":"en","value":"Using source transformation to test and model check implicit-invocation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5060662"}},"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":"Q2507781$E297D3AE-2841-4512-9366-296CC90D33E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef708ebb5beb8097f5e9bde420b3ba86c94eae06","datavalue":{"value":{"text":"Using source transformation to test and model check implicit-invocation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2507781$7A4DD532-A770-4F1F-B31C-A32FDCA16065","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ece8807c51b519e013c5e24834538aa65cb0108","datavalue":{"value":"1100.68588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507781$6BB6AE8A-3E0B-4B7A-814C-65912ED87B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c302eff47a5387933edb7b2d7ade7cb783c1564","datavalue":{"value":{"entity-type":"item","numeric-id":2507780,"id":"Q2507780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$822D8D87-CC7F-4C27-A681-075F6F6B753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61489ce9723107e7af784e3c1cb94d6374e932be","datavalue":{"value":{"entity-type":"item","numeric-id":1021477,"id":"Q1021477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$105B869A-0A62-4589-9D23-42243B2875E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0380b83b3974d983edbfe0594792ba8b37542c8a","datavalue":{"value":{"entity-type":"item","numeric-id":394963,"id":"Q394963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$36CCA842-8A5E-452F-B53E-BF4C265B4629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"389d57e8ef45f856444103236bdc6bf13e41d958","datavalue":{"value":{"entity-type":"item","numeric-id":344061,"id":"Q344061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$B44806F0-3BA6-43F3-91BF-C73D590EDF74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$93E1F64C-F92E-4CCE-8C68-0FA8D93B74DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9941c6cb9bead4b9b06ed2bc3845b5f059597cda","datavalue":{"value":{"time":"+2006-10-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":"Q2507781$C417BE1B-9F02-4FA6-B469-2FD490350F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507781$D4AE28B8-2608-4906-B944-952857AF8543","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8305f77e6fec5d043852ed0564974999e7f5436","datavalue":{"value":"5060662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507781$33A4F267-9E55-49E5-9D5B-5270CFE84CC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49340dc976aeaa71cfd7b3462d2e98d34c4fcbf8","datavalue":{"value":"source transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507781$5E55B299-8EA3-4CD3-A85B-A421596D559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a9162ab85e0915b9e54a6f19fae18e611f8502","datavalue":{"value":"domain-specific language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507781$F9FBA3F2-B6E2-4F5A-BFF3-EFAAF3FD5CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507781$819B4998-9141-4E8A-87FB-82F131F30809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507781$C497D3B0-BE64-4BF2-9884-2A685AC57F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507781$BBA5AD54-21A0-40B2-94AA-704E3D81ACF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a29b10bd324a98855b5c1516ddac252d025237","datavalue":{"value":"implicit invocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507781$DE14ED94-7D55-4A2F-AB11-150A105CF4E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bce46bae23f3279b5d301a4fa69c26eb946289f9","datavalue":{"value":{"entity-type":"item","numeric-id":15595,"id":"Q15595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$1B7F2075-A252-46FF-A756-EC99FE9CA0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$8E37E477-77AA-4202-B46A-EF9E64488870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507781$1247566B-B315-415D-AEBD-099FFF9C2E69","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":"Q2507781$185392E4-34EF-4EF1-BF60-0B4DC87534B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eb4102e936f336dc15eedb6b37ecd8089858b6c","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.04.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2507781$FFBEEACD-4E37-4B46-8C88-9CDAD6021DE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8eee251e46fa3c789148b555ddd8122db2a6f47","datavalue":{"value":"W2092844858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507781$6CF166B4-ADB2-4219-97DD-5EF72FFB2C6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3368d52063d8060eb912e6dbae7573f1ad2781cd","datavalue":{"value":"10.1016/J.SCICO.2006.04.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507781$45FB2B15-5BEC-475A-8185-4AEACD7BC2F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb3eb996d28aa16bfb83be322efeadeeb90da8b","datavalue":{"value":{"entity-type":"item","numeric-id":1293883,"id":"Q1293883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e79e263d3b3b1ad07b6f4f7ccee7d6a2a8342b","datavalue":{"value":{"amount":"+0.6901161074638367","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":"Q2507781$79E1A9D1-91E0-4BA6-B8E4-B4B51403B9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c0d2c51367083858cb103cfe17a7ffa02a5948","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ce3d90fe9a1422a7da24b2c726b2e98e9acc77","datavalue":{"value":{"amount":"+0.6719253659248352","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":"Q2507781$1F44E91C-729F-4C6C-AD20-27BC603A66E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954fc7ab18a16d28c03dac3caa4d29e93cb716b7","datavalue":{"value":{"entity-type":"item","numeric-id":5404179,"id":"Q5404179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adf263240fb16429eb88839e4f4b949e9e407c5","datavalue":{"value":{"amount":"+0.65743088722229","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":"Q2507781$F763B7A9-1921-43BA-84DF-832770FD106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cc2a3a3c6998340a1976cd694e7a7a21e703d8","datavalue":{"value":{"entity-type":"item","numeric-id":701039,"id":"Q701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cbca53de5b7436feb49b7b58329c243a291a1c","datavalue":{"value":{"amount":"+0.6534258127212524","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":"Q2507781$23CC0818-3F68-47C4-8CC2-2BAFCAC70EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ae4ad6dd8ca355d8d6c3bf94cdd82b47b14189","datavalue":{"value":{"entity-type":"item","numeric-id":4417894,"id":"Q4417894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cbca53de5b7436feb49b7b58329c243a291a1c","datavalue":{"value":{"amount":"+0.6534258127212524","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":"Q2507781$E730D379-80DE-4FC5-8EE0-561AB908607F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using source transformation to test and model check implicit-invocation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_source_transformation_to_test_and_model_check_implicit-invocation_systems"}}}}}