{"entities":{"Q6535505":{"pageid":14146648,"ns":120,"title":"Item:Q6535505","lastrevid":55547056,"modified":"2026-02-17T18:35:58Z","type":"item","id":"Q6535505","labels":{"en":{"language":"en","value":"Specification and verification of a linear-time temporal logic for graph transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787529"}},"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":"Q6535505$D93D4E98-FD1E-4D76-97A4-26620129FCF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34576a53eff5609a206d0bcb06146c5c6f591f89","datavalue":{"value":{"text":"Specification and verification of a linear-time temporal logic for graph transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535505$A93ED37F-6034-4489-B13A-2C840B477174","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b39ffa402b05e83974cc369bb83533566ac098a","datavalue":{"value":"1545.6807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$AA532460-8A0B-48DA-B51B-4187CFE8CCBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c1bb4a8975b6935fee10089d595be8a1a583f8a","datavalue":{"value":"10.1007/978-3-031-36709-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$5471D2A3-5969-452E-AD22-DBDA0E8228D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$B66AE1ED-4985-4ACA-9F76-CDA23F0685EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2155d613b30def2d1d04ba4977dfdc4db592c985","datavalue":{"value":{"entity-type":"item","numeric-id":6428674,"id":"Q6428674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$810600BF-0661-480E-A9EF-187FA78947CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03b1afb622ec67b6fed87f1a43f526e8fe98e97e","datavalue":{"value":{"entity-type":"item","numeric-id":2151420,"id":"Q2151420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$9E97ED55-1712-470C-9593-75DA2950E409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535505$897BC5EA-AE51-44C8-A300-ED7A912AF95F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$2971D9C1-9F90-4E26-B0D7-31C239AA44C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$BAF91483-8A10-4EA7-84B5-D9B48B8716EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$2E2BD757-5C0C-4DC4-AE66-332DA61CBD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$DBCFD891-AEF9-4526-8311-B60FA4AD7025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"882f3df9d8b68911b15dffe926cd6065931ea7cc","datavalue":{"value":"7787529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535505$CFE3A8D6-93E3-4A48-962D-73C294D1D2B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586b44b549203c66170c67bcfe3dd1118d00edd7","datavalue":{"value":"counterpart semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535505$6939368E-5A55-4CB7-A5BE-CA54349CA488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa2db0c7633d99f63b292ca3aa020d0cb717cfa","datavalue":{"value":"linear-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535505$D09C8966-AE15-41E9-86ED-C55E5ABE3F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb89aac6f1f193ad9f7fc6ce27889d52187f4dc","datavalue":{"value":"Agda formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535505$F403FCBE-867C-4560-A073-962376B4C96F","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":"Q6535505$19FEBEE7-2E38-4938-A7A7-A8596F717207","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2024f77d65ef00da8219ef7e2d88b01ec7246f0","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$AF041B3E-6083-4C10-9A57-5AA23EA4361C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$A5807163-0C89-4FDA-BE8C-0AAC2EFB34FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9966dfc33823478b3f2a5be599bc819ede0f3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5493227,"id":"Q5493227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$9C7310F5-B17A-49D8-B1FE-2D1E871DD5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405ffb8c2f49dfb899a592081fcc626c5887e32","datavalue":{"value":{"entity-type":"item","numeric-id":3541945,"id":"Q3541945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$612C981A-ECE1-4629-8EA3-B8E829986EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2734f88fd72006d8b2708509b4e6be833b86adc3","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$4160A474-0744-45FD-A461-8FA32B9C570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$C4E1BD1B-8F22-451B-B2C3-49CDBDCA0324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"209ba799c22a528b8f40f83e733bab383bf0e15c","datavalue":{"value":{"entity-type":"item","numeric-id":1566702,"id":"Q1566702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$C1B0328C-1DED-4C41-97C3-AE350B5C5F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862061599e2cf610e0a9811f43493efd6b3954e5","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$92F17C7E-2492-42D6-954A-8EFB0F75A9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$C72AE150-11A3-46ED-9454-7F2A939FA91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db141461395587989ddb85557dd012897610f6","datavalue":{"value":{"entity-type":"item","numeric-id":2898468,"id":"Q2898468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$557B153E-7320-4DAD-BAAF-DE1432CB73FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e80e2a603e8868f47b5bc8440aa302e5f8a50e","datavalue":{"value":{"entity-type":"item","numeric-id":3804674,"id":"Q3804674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$91824982-0A24-4D1E-B79D-81D1F79D0DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c185be165f8c6dfddba1a2367aa012d2e7d15a","datavalue":{"value":{"entity-type":"item","numeric-id":5687319,"id":"Q5687319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$4332F5FC-B065-4389-8FB7-0691B2A8AA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990ada10c51cf652ffab8c11bec614b9bbb2df98","datavalue":{"value":{"entity-type":"item","numeric-id":6091323,"id":"Q6091323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$0A18757A-B071-462F-957F-13CEEFA52575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$B9AE4209-BF58-4B07-A840-EF635DF3B908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e227e598b4f65a927b7393a05720ddf79e3793","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$A446B24D-677B-427D-B643-53BF56CEB265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044f7f862947c6af57631200b796303291a009c","datavalue":{"value":{"entity-type":"item","numeric-id":2669249,"id":"Q2669249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$35D603CC-41B7-4B02-B2FA-F0EC710B1811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04ce2a0510f2f2d2765e00f971b3eabc1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":6109435,"id":"Q6109435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$743BC730-0E79-44EA-A426-2C8EECEDFFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77095c41135cb4764d3667c129e4e23c5421ff28","datavalue":{"value":{"entity-type":"item","numeric-id":2941181,"id":"Q2941181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$1FB0AC09-7F89-4774-B61B-206064766CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4687768e52dfec6af9a679b71e797770f27e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5897605,"id":"Q5897605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$60673128-B14C-4173-AEA9-730473635CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$7DA824E6-18F8-4444-9395-5A580F2B894F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$2765CB77-080F-497F-8A06-256DF5E51F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$20D211D5-3378-4433-AE7C-834CA6CE30A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680831dbefea42bb8c39138cafd9200ab976f2de","datavalue":{"value":{"entity-type":"item","numeric-id":2096431,"id":"Q2096431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$7DD4E731-A90E-42F5-9CAF-99A756E585E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9ffcda449e74fd2575a448245bf36e912c8f5e","datavalue":{"value":{"entity-type":"item","numeric-id":5100739,"id":"Q5100739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$324BBB28-18A6-4B2B-86E6-90DBE48FF1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8721145a13cff8f7dc8b33f656e2da5938bcc22f","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$2EA154CF-D542-436F-B60B-6316F7F38432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c25b9cf632fd99bf056006bf591b00946f3a75","datavalue":{"value":{"entity-type":"item","numeric-id":5200489,"id":"Q5200489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535505$67B6F724-5DCF-400F-8B96-7497A0D94821","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e98e2bfd65417d29651afdc08adf17ab3266af","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5753d12c83c93e3857579fdc90f62b57e981c4da","datavalue":{"value":{"amount":"+0.8314613699913025","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":"Q6535505$09DBED76-DDCF-4395-9FB2-34EF7FF4C8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943eca7f7fffb71ac45bce0f176f3b9d5b292fe6","datavalue":{"value":{"amount":"+0.8145524859428406","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":"Q6535505$3F9ADDC1-89C7-411F-BF14-60087B79AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd6935a53da0fadbbe4c74310f116db57a5bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4502817,"id":"Q4502817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80da19105fd4721e456206462abfe27878e02fc9","datavalue":{"value":{"amount":"+0.79777991771698","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":"Q6535505$D12BE081-991F-455E-946C-B487913FF654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67916a59cf519ee95390dbd2176ad5b631cb5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1663990,"id":"Q1663990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d8ec101a56a16c06b21e123812a964930f69f4","datavalue":{"value":{"amount":"+0.7778159379959106","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":"Q6535505$4B436FA5-481F-43B6-9C80-488A89499C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf292353d0ebdecc5d0222388ee1dbead7b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c3e200291c117cf21180e8dfc34e25cdadc00a","datavalue":{"value":{"amount":"+0.7675827741622925","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":"Q6535505$9DDAD9E4-3319-483F-B5DE-54713F4EAA3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535505"}}}}}