{"entities":{"Q493531":{"pageid":495298,"ns":120,"title":"Item:Q493531","lastrevid":62306553,"modified":"2026-04-11T05:11:54Z","type":"item","id":"Q493531","labels":{"en":{"language":"en","value":"A compositional automata-based semantics and preserving transformation rules for testing property patterns"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6478324"}},"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":"Q493531$04F1E334-0A65-487D-BA6E-9D8CE5316818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f842fd52681fecd145ddb4938c2d83a4d34fb474","datavalue":{"value":{"text":"A compositional automata-based semantics and preserving transformation rules for testing property patterns","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q493531$846C35C1-73F2-4E2C-8E3E-1EA3359899CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54aab889f38e7f99f7268437eb2bd430af303d89","datavalue":{"value":"1338.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$343323B0-68B2-48B4-93C9-E554BFAFB5B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd53c8731078527d627649fe950cc0ade5df0043","datavalue":{"value":{"entity-type":"item","numeric-id":493526,"id":"Q493526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$3D535684-1B71-4426-8334-9599D6F99AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ea8e448665b06fdc15b872b5a3c294da68ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":493527,"id":"Q493527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$3C570CE6-1A6A-471F-A791-EA41AC75A373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca564f6502f3a297d7aebeca7e481a2f2f1677c","datavalue":{"value":{"entity-type":"item","numeric-id":493528,"id":"Q493528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$8E004FC8-4C1A-497E-BDF8-164CC0BF971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d1c9da2eab898028e74b3a177536be1b2b19f1","datavalue":{"value":{"entity-type":"item","numeric-id":493529,"id":"Q493529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$B6A37EC9-9BFF-4596-AE46-971DE29019A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4661335319916222e2ba9ccae10ac5dea641a22","datavalue":{"value":{"entity-type":"item","numeric-id":493530,"id":"Q493530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$447F7537-9A6E-4760-BF56-685611E150E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$EE756277-F639-48CB-B852-2A6740B1125B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa0fd3a1e10787fd7fed19a9229fc1e734a275a","datavalue":{"value":{"time":"+2015-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q493531$60AFEEC1-F783-405A-83A8-166EDC7724E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$03333171-7490-459F-9686-42A684912F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$3F040874-4BA6-4A24-89AE-8A418D1BDBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$55C5CF11-FC47-477B-9900-9D0AE135CFFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"017af5c7cca0fb7908306361b84476307a134b80","datavalue":{"value":"6478324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$8CF705CF-71D5-40FE-9D5B-7B8EE68B1293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q493531$BA741238-7F93-4B3C-8B4F-AF847C97013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc0e5a8d6410b651dd3b743906e7e68aa4ef591","datavalue":{"value":"temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q493531$4388BA2F-4FFD-4EFD-937A-C0FB07D64EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fbb82658da02effb2b9786933c77a2adac0c36","datavalue":{"value":"compositional automata semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q493531$DFB48F95-4CC2-4EE0-ADE8-98F424D9CA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q493531$42D8BA93-76BD-4E74-B18A-2391EB74009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f0d8e4c07e2c19f951881ec9c4c62902d1f7c","datavalue":{"value":"property patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q493531$C45EF2A4-C5C0-4D27-8228-63D6FA985A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da41a3211af2d4633a7b473add4dd9cc1ecb6bd3","datavalue":{"value":"testing transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q493531$E139C006-4D98-4BE5-9C55-8B5F61DCF43D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$4B376745-911B-4A3E-AE72-5E791CADFA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$25033F1D-85C9-4AAC-85B5-751AD7F76035","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":"Q493531$CBF57B16-9135-49A0-A5A6-07B90D661530","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7cead5a9bd04e20ea468993dcb17b45fcc13a70","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0328-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q493531$E4124528-19E8-42A6-AFF5-2F6758ABDEED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03ea2c861444c299943d038f44b4a84e8542a5a4","datavalue":{"value":"W2023120093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$06F340BD-FAF0-4192-89FA-8AB822F07DBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$0E37251A-5FFF-43B6-923B-430BA2E9FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebcefe24ced4faf99efda592784f1f626bbef9e","datavalue":{"value":{"entity-type":"item","numeric-id":493531,"id":"Q493531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$77E1B522-9D23-436C-9F22-53B9A167A302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359856dbb38e7eabbf89c76fc46ab66f8a75570e","datavalue":{"value":{"entity-type":"item","numeric-id":5166705,"id":"Q5166705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$4AA21E05-938F-490E-86A0-327A00DD16C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$48220CF5-A9B9-4239-91AB-25E4CFC12D81","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":"Q493531$F7E96788-1074-4940-BF4F-9018C863F48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ca73d26231a1b566af43f5c10bfdf71dc5b13","datavalue":{"value":{"entity-type":"item","numeric-id":3395959,"id":"Q3395959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493531$88F6DA0A-02BE-47B7-A585-28969640A38D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f337aad1186590744ba92f1cbc5d14fb702c6815","datavalue":{"value":"10.1007/S00165-014-0328-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493531$E7E03C37-F553-4773-ACDB-6F7C178F4F0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edf69b83aff593c820e8cddb2e575a4e5108044","datavalue":{"value":{"entity-type":"item","numeric-id":3012971,"id":"Q3012971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b23de489f11030deb9032159b5c56dcec137dc","datavalue":{"value":{"amount":"+0.709100067615509","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":"Q493531$2CBC15FC-BDFF-4D7C-82C0-B57A96F501BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53411487d925dd368ae4f5f1d2fb7d4622957d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5902016,"id":"Q5902016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a528230f808aec0e4c94a397889383ada9018f1c","datavalue":{"value":{"amount":"+0.6994583606719971","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":"Q493531$0BEE6951-EB04-4578-83B1-42FFF1DB03CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e752c50c6fd39f6ecae171602f18935b9d9b76da","datavalue":{"value":{"entity-type":"item","numeric-id":4437063,"id":"Q4437063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400776069f776dc482ade5ecf91e2431fc08bdde","datavalue":{"value":{"amount":"+0.6978828310966492","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":"Q493531$E13EAE49-68A2-4D81-B41E-68EB11F80187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa83b478adba4cce289b1a46968c6d54fa64f7e9","datavalue":{"value":{"entity-type":"item","numeric-id":3179399,"id":"Q3179399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be4d9471d8cac16d9a84984f3cda5953b5159fa","datavalue":{"value":{"amount":"+0.6923298239707947","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":"Q493531$C1E00FE6-A93D-47C1-976B-38099A47BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85393b6f28202c87582faab526ab873ed6d523e8","datavalue":{"value":{"entity-type":"item","numeric-id":5348534,"id":"Q5348534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31156f99b575c8b720edee5d5c97902bb63f1555","datavalue":{"value":{"amount":"+0.6908947229385376","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":"Q493531$81898ED7-9124-4C48-8711-92B920C143BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional automata-based semantics and preserving transformation rules for testing property patterns","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_automata-based_semantics_and_preserving_transformation_rules_for_testing_property_patterns"}}}}}